Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.09 | 1784.68 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb |
MD5SUM | ce5e0345d0e70478396f95e2ebabfc80 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.38057 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 654768 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 654768 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/362333-1177010528/instance-362333-1177010528.opb 0.20/0.20 c reading problem ... 6.38/5.19 c ... done. Wall clock time 4.987s. 6.38/5.19 c CPU time (experimental) 4.07s. 6.38/5.19 c #vars 155000 6.38/5.19 c #constraints 5300 1401.64/1389.27 c cleaning 115242 clauses out of 230500 for limit 6.198591000038589E-6 1407.51/1395.03 c cleaning 58126 clauses out of 116261 for limit 3.352317670436148E-5 1409.74/1397.26 c cleaning 29312 clauses out of 58634 for limit 1.0950931767268884E-4 1414.38/1401.89 c cleaning 15156 clauses out of 30321 for limit 5.753529411190296E-4 1416.61/1404.02 c cleaning 7822 clauses out of 15664 for limit 0.0018348330686087377 1420.58/1407.97 c cleaning 4166 clauses out of 8342 for limit 0.005681786815110663 1423.79/1411.17 c cleaning 2332 clauses out of 4678 for limit 0.016742480941318236 1427.34/1414.65 c cleaning 1417 clauses out of 2851 for limit 0.045531426741530844 1429.16/1416.44 c cleaning 949 clauses out of 1927 for limit 0.1103166503628966 1431.37/1418.60 c cleaning 733 clauses out of 1479 for limit 0.23727118866296756 1433.18/1420.49 c cleaning 613 clauses out of 1245 for limit 0.46437112143236325 1434.68/1421.93 c cleaning 557 clauses out of 1132 for limit 0.8422558097309849 1436.50/1423.78 c cleaning 525 clauses out of 1075 for limit 1.4626414101403453 1437.80/1425.08 c cleaning 519 clauses out of 1056 for limit 2.470275372413436 1440.02/1427.24 c cleaning 508 clauses out of 1032 for limit 4.147753301776292 1441.54/1428.77 c cleaning 503 clauses out of 1024 for limit 6.893639134194453 1443.25/1430.40 c cleaning 497 clauses out of 1020 for limit 11.401702514129925 1444.97/1432.16 c cleaning 504 clauses out of 1023 for limit 18.747792173059104 1446.36/1433.52 c cleaning 504 clauses out of 1023 for limit 31.04159759306289 1448.19/1435.37 c cleaning 499 clauses out of 1018 for limit 51.391736864090525 1450.41/1437.57 c cleaning 494 clauses out of 1016 for limit 84.66418212179691 1451.81/1438.92 c cleaning 503 clauses out of 1023 for limit 138.8059843718029 1453.01/1440.12 c cleaning 498 clauses out of 1019 for limit 229.57839495757668 1454.01/1441.12 c cleaning 502 clauses out of 1021 for limit 377.86384913044594 1455.13/1442.22 c cleaning 501 clauses out of 1020 for limit 624.3833497351851 1457.45/1444.54 c cleaning 495 clauses out of 1018 for limit 1030.6829274678428 1459.55/1446.69 c cleaning 502 clauses out of 1023 for limit 1691.4264342366655 1461.57/1448.64 c cleaning 504 clauses out of 1021 for limit 2794.852497289176 1463.19/1450.22 c cleaning 502 clauses out of 1017 for limit 4627.213820549331 1464.79/1451.87 c cleaning 504 clauses out of 1016 for limit 7646.051382097229 1466.41/1453.43 c cleaning 500 clauses out of 1012 for limit 12659.200973443523 1467.81/1454.87 c cleaning 499 clauses out of 1012 for limit 20876.715922816333 1469.53/1456.55 c cleaning 501 clauses out of 1012 for limit 34394.06889642064 1471.03/1458.00 c cleaning 500 clauses out of 1012 for limit 56777.19796438101 1472.43/1459.41 c cleaning 498 clauses out of 1011 for limit 93632.0835876848 1473.55/1460.56 c cleaning 502 clauses out of 1013 for limit 154106.971234917 1475.75/1462.77 c cleaning 497 clauses out of 1011 for limit 254645.76733859538 1477.27/1464.22 c cleaning 501 clauses out of 1014 for limit 418702.49560286466 1480.09/1467.02 c cleaning 496 clauses out of 1013 for limit 691178.063437916 1483.04/1469.95 c cleaning 496 clauses out of 1017 for limit 1135361.9242242188 1487.08/1473.99 c cleaning 504 clauses out of 1022 for limit 1865068.475452363 1491.01/1477.81 c cleaning 500 clauses out of 1017 for limit 3087778.2200622433 1495.64/1482.45 c cleaning 501 clauses out of 1020 for limit 5092444.48237334 1500.89/1487.65 c cleaning 508 clauses out of 1016 for limit 8405917.407808848 1503.81/1490.53 c cleaning 507 clauses out of 1014 for limit 1.39734559161256E7 1506.33/1493.01 c cleaning 492 clauses out of 1001 for limit 2.320366159421994E7 1509.36/1496.05 c cleaning 493 clauses out of 1010 for limit 3.796292137809188E7 1512.37/1499.04 c cleaning 507 clauses out of 1016 for limit 6.21739796312476E7 1514.89/1501.53 c cleaning 495 clauses out of 1010 for limit 1.0324556363936839E8 1516.21/1502.89 c cleaning 500 clauses out of 1016 for limit 1.6942966967910212E8 1518.43/1505.05 c cleaning 500 clauses out of 1018 for limit 2.7942181199755085E8 1520.63/1507.20 c cleaning 507 clauses out of 1014 for limit 4.607740024384925E8 1523.44/1510.09 c cleaning 491 clauses out of 1009 for limit 7.651730525495033E8 1527.19/1513.73 c cleaning 507 clauses out of 1016 for limit 1.250673617402528E9 1530.41/1516.94 c cleaning 504 clauses out of 1009 for limit 2.0768370237219949E9 1533.74/1520.26 c cleaning 501 clauses out of 1005 for limit 3.4386138559020686E9 1537.46/1523.92 c cleaning 495 clauses out of 1010 for limit 5.676636096528714E9 1540.30/1526.71 c cleaning 507 clauses out of 1014 for limit 9.315278605140926E9 1543.94/1530.39 c cleaning 501 clauses out of 1003 for limit 1.5468589354542906E10 1547.86/1534.22 c cleaning 492 clauses out of 1001 for limit 2.5535181032543804E10 1551.41/1537.74 c cleaning 494 clauses out of 1010 for limit 4.1777461112227066E10 1555.22/1541.59 c cleaning 497 clauses out of 1015 for limit 6.848867280489025E10 1557.84/1544.18 c cleaning 509 clauses out of 1018 for limit 1.126141340487058E11 1559.96/1546.29 c cleaning 507 clauses out of 1014 for limit 1.8738342405138187E11 1563.68/1549.91 c cleaning 502 clauses out of 1004 for limit 3.1116286704465686E11 1566.41/1552.60 c cleaning 502 clauses out of 1005 for limit 5.1417959492712537E11 1569.43/1555.67 c cleaning 492 clauses out of 998 for limit 8.496375274210901E11 1572.06/1558.28 c cleaning 494 clauses out of 1007 for limit 1.3900331446659258E12 1574.18/1560.34 c cleaning 497 clauses out of 1013 for limit 2.278773015930267E12 1576.08/1562.25 c cleaning 508 clauses out of 1017 for limit 3.74696778612045E12 1577.70/1563.87 c cleaning 494 clauses out of 1007 for limit 6.228139122691378E12 1579.92/1566.08 c cleaning 497 clauses out of 1013 for limit 1.0210199250795342E13 1584.86/1570.92 c cleaning 500 clauses out of 1016 for limit 1.6788266002527531E13 1588.49/1574.52 c cleaning 511 clauses out of 1023 for limit 2.768989988084267E13 1592.01/1578.05 c cleaning 499 clauses out of 1005 for limit 4.615781710719575E13 1595.04/1581.06 c cleaning 503 clauses out of 1006 for limit 7.604474887527389E13 1597.35/1583.38 c cleaning 493 clauses out of 1004 for limit 1.2578356420534711E14 1599.58/1585.56 c cleaning 496 clauses out of 1012 for limit 2.0600013066068453E14 1601.90/1587.81 c cleaning 487 clauses out of 1014 for limit 3.383739466236871E14 1605.43/1591.30 c cleaning 509 clauses out of 1035 for limit 5.5109504117404175E14 1609.49/1595.39 c cleaning 509 clauses out of 1018 for limit 9.166401327748448E14 1612.01/1597.82 c cleaning 496 clauses out of 1010 for limit 1.525160927815397E15 1615.53/1601.40 c cleaning 502 clauses out of 1016 for limit 2.5053490849168998E-5 1617.85/1603.68 c cleaning 502 clauses out of 1012 for limit 4.13969463104528E-5 1620.58/1606.34 c cleaning 501 clauses out of 1010 for limit 6.840428879182135E-5 1622.59/1608.30 c cleaning 502 clauses out of 1011 for limit 1.1292197376695293E-4 1624.41/1610.14 c cleaning 502 clauses out of 1008 for limit 1.865908999275485E-4 1627.03/1612.71 c cleaning 499 clauses out of 1004 for limit 3.0832173561742675E-4 1629.85/1615.55 c cleaning 499 clauses out of 1006 for limit 5.079608870613213E-4 1632.77/1618.42 c cleaning 495 clauses out of 1006 for limit 8.368577610992925E-4 1635.29/1620.97 c cleaning 496 clauses out of 1011 for limit 0.0013732650279786173 1638.13/1623.71 c cleaning 499 clauses out of 1015 for limit 0.002255772826030678 1640.55/1626.18 c cleaning 496 clauses out of 1016 for limit 0.003716409674650151 1642.35/1627.92 c cleaning 499 clauses out of 1021 for limit 0.006104947683730592 1643.87/1629.44 c cleaning 499 clauses out of 1021 for limit 0.010057807560325663 1645.37/1630.95 c cleaning 501 clauses out of 1022 for limit 0.01657044055783241 1647.29/1632.85 c cleaning 501 clauses out of 1022 for limit 0.027354227461205357 1649.52/1635.04 c cleaning 500 clauses out of 1021 for limit 0.04515496340536114 1651.74/1637.22 c cleaning 500 clauses out of 1020 for limit 0.07446504224299655 1653.96/1639.41 c cleaning 499 clauses out of 1020 for limit 0.12280281641382962 1656.28/1641.71 c cleaning 502 clauses out of 1021 for limit 0.20231991967084892 1658.30/1643.73 c cleaning 500 clauses out of 1019 for limit 0.3343074762448521 1660.82/1646.22 c cleaning 502 clauses out of 1019 for limit 0.5513177511818097 1663.14/1648.57 c cleaning 498 clauses out of 1017 for limit 0.9109847231619861 1665.76/1651.12 c cleaning 502 clauses out of 1019 for limit 1.4993870307885193 1668.28/1653.62 c cleaning 497 clauses out of 1017 for limit 2.477552511646063 1671.61/1656.94 c cleaning 500 clauses out of 1020 for limit 4.073798428241562 1673.51/1658.81 c cleaning 498 clauses out of 1020 for limit 6.718238591173943 1677.44/1662.77 c cleaning 501 clauses out of 1022 for limit 11.057592632543834 1682.09/1667.30 c cleaning 508 clauses out of 1022 for limit 18.253703212554733 1685.90/1671.18 c cleaning 497 clauses out of 1013 for limit 30.339876645490275 1701.99/1687.18 c cleaning 1504 clauses out of 3018 for limit 124.46650053876488 1704.40/1689.53 c cleaning 996 clauses out of 2012 for limit 307.27738749066333 1707.51/1692.65 c cleaning 744 clauses out of 1517 for limit 672.7650101233802 1709.72/1694.82 c cleaning 627 clauses out of 1272 for limit 1321.8532429387067 1712.23/1697.36 c cleaning 564 clauses out of 1145 for limit 2421.702290187482 1714.44/1699.52 c cleaning 533 clauses out of 1082 for limit 4230.47737916617 1716.34/1701.41 c cleaning 516 clauses out of 1048 for limit 7195.761004521148 1718.24/1703.31 c cleaning 507 clauses out of 1033 for limit 12051.138853753188 1720.15/1705.22 c cleaning 503 clauses out of 1025 for limit 20009.024767690247 1721.75/1706.83 c cleaning 502 clauses out of 1023 for limit 33095.165122502396 1723.26/1708.35 c cleaning 500 clauses out of 1020 for limit 54684.14037232105 1724.86/1709.95 c cleaning 503 clauses out of 1020 for limit 90181.46298737662 1726.27/1711.34 c cleaning 503 clauses out of 1019 for limit 149165.42669384257 1729.88/1714.91 c cleaning 496 clauses out of 1017 for limit 246724.23135086606 1732.01/1717.01 c cleaning 503 clauses out of 1018 for limit 405263.351083183 1734.82/1719.85 c cleaning 504 clauses out of 1019 for limit 670355.0097723918 1737.54/1722.57 c cleaning 498 clauses out of 1016 for limit 1109879.2555409092 1739.45/1724.43 c cleaning 499 clauses out of 1014 for limit 1826624.7045389044 1742.17/1727.19 c cleaning 507 clauses out of 1014 for limit 3009336.1507665636 1746.19/1731.16 c cleaning 503 clauses out of 1007 for limit 4997295.992972653 1750.10/1735.05 c cleaning 502 clauses out of 1004 for limit 8265834.747052182 1754.94/1739.83 c cleaning 499 clauses out of 1002 for limit 1.3658675799006144E7 1759.16/1744.01 c cleaning 485 clauses out of 1006 for limit 2.2502862158796526E7 1762.98/1747.88 c cleaning 499 clauses out of 1018 for limit 3.656287303176224E7 1767.40/1752.24 c cleaning 491 clauses out of 1019 for limit 6.0237896137032226E7 1770.32/1755.12 c cleaning 514 clauses out of 1028 for limit 9.847063798303352E7 1773.85/1758.60 c cleaning 507 clauses out of 1014 for limit 1.646333435363933E8 1777.86/1762.69 c cleaning 504 clauses out of 1009 for limit 2.7339432641273844E8 1782.59/1767.33 c cleaning 496 clauses out of 1003 for limit 4.526542416691666E8 1786.92/1771.69 c cleaning 503 clauses out of 1007 for limit 7.435222062681971E8 1791.25/1775.94 c cleaning 502 clauses out of 1005 for limit 1.2298375568113232E9 1795.18/1779.84 c cleaning 487 clauses out of 1002 for limit 2.0322047721527996E9 1799.79/1784.40 c cleaning 506 clauses out of 1015 for limit 3.3084534855528064E9 1800.00/1784.61 c starts : 19 1800.00/1784.61 c conflicts : 305039 1800.00/1784.61 c decisions : 679648 1800.00/1784.61 c propagations : 85799068 1800.00/1784.61 c inspects : 305812194 1800.00/1784.61 c learnt literals : 0 1800.00/1784.61 c learnt binary clauses : 0 1800.00/1784.61 c learnt ternary clauses : 0 1800.00/1784.61 c learnt clauses : 305038 1800.00/1784.61 c root simplifications : 0 1800.00/1784.61 c removed literals (reason simplification) : 0 1800.00/1784.61 c reason swapping (by a shorter reason) : 0 1800.00/1784.61 c Calls to reduceDB : 144 1800.00/1784.61 c speed (decisions/second) : 382.08573947145914 1800.00/1784.61 c non guided choices 11397 1800.00/1784.61 s UNKNOWN 1800.00/1784.61 c Total wall clock time (ms): 1784.406
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-362333-1177010528 -o ROOT/results/node39/solver-362333-1177010528 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362333-1177010528/sat4jPseudoResolution.jar /tmp/evaluation/362333-1177010528/instance-362333-1177010528.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.99 0.99 0.99 3/77 4298 /proc/meminfo: memFree=1606032/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=152 CPUtime=0 /proc/4298/stat : 4298 (java) R 4296 4298 3489 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 148964907 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 11092267 0 0 4096 0 0 0 0 17 1 0 0 /proc/4298/statm: 38 26 19 9 0 4 0 [startup+0.0610379 s] /proc/loadavg: 0.99 0.99 0.99 3/77 4298 /proc/meminfo: memFree=1606032/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1777708 CPUtime=0.04 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 3606 0 1 0 3 1 0 0 18 0 7 0 148964907 1820372992 3349 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 444427 3349 1069 9 0 442063 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1777708 [startup+0.102042 s] /proc/loadavg: 0.99 0.99 0.99 3/77 4298 /proc/meminfo: memFree=1606032/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1780108 CPUtime=0.08 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 3969 0 1 0 6 2 0 0 18 0 12 0 148964907 1822830592 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 445027 3711 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302077 s] /proc/loadavg: 0.99 0.99 0.99 3/77 4298 /proc/meminfo: memFree=1606032/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1781512 CPUtime=0.31 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 6403 0 1 0 28 3 0 0 18 0 12 0 148964907 1824268288 6142 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 445378 6142 1264 9 0 442990 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781512 [startup+0.702146 s] /proc/loadavg: 0.99 0.99 0.99 3/77 4298 /proc/meminfo: memFree=1606032/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1783012 CPUtime=0.9 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 10594 0 1 0 85 5 0 0 18 0 12 0 148964907 1825804288 9869 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 445753 9870 1296 9 0 443365 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1783012 [startup+1.50128 s] /proc/loadavg: 0.99 0.99 0.99 2/89 4310 /proc/meminfo: memFree=1542896/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1783012 CPUtime=1.82 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 24742 0 1 0 172 10 0 0 18 0 12 0 148964907 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 445753 24017 1302 9 0 443365 0 [pid=4298/tid=4300] ppid=4296 vsize=1783012 CPUtime=1.24 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 22664 0 1 0 115 9 0 0 25 0 12 0 148964908 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109147564 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 148964910 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 148964910 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 148964912 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 148964912 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 148964912 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 148964916 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1783012 CPUtime=0.32 /proc/4298/task/4307/stat : 4307 (java) R 4296 4298 3489 0 -1 64 1077 0 0 0 32 0 0 0 16 0 12 0 148964916 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336827 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1783012 CPUtime=0.24 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 282 0 0 0 24 0 0 0 16 0 12 0 148964916 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 148964916 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1783012 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 148964916 1825804288 24017 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.82 Current children cumulated vsize (KiB) 1783012 [startup+3.10154 s] /proc/loadavg: 0.99 0.99 0.99 3/89 4310 /proc/meminfo: memFree=1459120/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1784300 CPUtime=3.84 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 48704 0 1 0 363 21 0 0 18 0 12 0 148964907 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446075 47231 1313 9 0 443687 0 [pid=4298/tid=4300] ppid=4296 vsize=1784300 CPUtime=2.48 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 37670 0 1 0 233 15 0 0 24 0 12 0 148964908 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109551234 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1784300 CPUtime=0.18 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 3465 0 0 0 17 1 0 0 16 0 12 0 148964910 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1784300 CPUtime=0.18 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 5158 0 0 0 17 1 0 0 16 0 12 0 148964910 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1784300 CPUtime=0 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 148964912 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1784300 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 148964912 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1784300 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 148964912 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1784300 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 148964916 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1784300 CPUtime=0.53 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 1358 0 0 0 53 0 0 0 16 0 12 0 148964916 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1784300 CPUtime=0.41 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 328 0 0 0 41 0 0 0 16 0 12 0 148964916 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1784300 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 148964916 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1784300 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 148964916 1827123200 47231 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 1784300 [startup+6.30128 s] /proc/loadavg: 0.99 0.99 0.99 4/89 4310 /proc/meminfo: memFree=1355568/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1788004 CPUtime=8.31 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 72558 0 1 0 797 34 0 0 18 0 13 0 148964907 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 447001 67139 1334 9 0 444613 0 [pid=4298/tid=4300] ppid=4296 vsize=1788004 CPUtime=4.78 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 37714 0 1 0 462 16 0 0 19 0 13 0 148964908 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109190854 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1788004 CPUtime=0.89 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 15877 0 0 0 81 8 0 0 18 0 13 0 148964910 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1788004 CPUtime=0.89 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 14920 0 0 0 82 7 0 0 18 0 13 0 148964910 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1788004 CPUtime=0 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 148964912 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1788004 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1788004 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1788004 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148964916 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1788004 CPUtime=0.92 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 2655 0 0 0 91 1 0 0 17 0 13 0 148964916 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1788004 CPUtime=0.78 /proc/4298/task/4308/stat : 4308 (java) R 4296 4298 3489 0 -1 64 662 0 0 0 78 0 0 0 17 0 13 0 148964916 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102297815 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1788004 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 148964916 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1788004 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148964916 1830916096 67139 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.31 Current children cumulated vsize (KiB) 1788004 [startup+12.7024 s] /proc/loadavg: 0.99 0.99 0.99 2/90 4311 /proc/meminfo: memFree=1337640/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1787940 CPUtime=14.99 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 74280 0 1 0 1464 35 0 0 18 0 13 0 148964907 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446985 68205 1334 9 0 444597 0 [pid=4298/tid=4300] ppid=4296 vsize=1787940 CPUtime=10.99 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 37719 0 1 0 1083 16 0 0 25 0 13 0 148964908 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109744576 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1787940 CPUtime=1.05 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 16297 0 0 0 97 8 0 0 16 0 13 0 148964910 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1787940 CPUtime=1.04 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 15737 0 0 0 97 7 0 0 16 0 13 0 148964910 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1787940 CPUtime=0 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148964912 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1787940 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1787940 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1787940 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148964916 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1787940 CPUtime=1.01 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 3125 0 0 0 100 1 0 0 16 0 13 0 148964916 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1787940 CPUtime=0.83 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 672 0 0 0 83 0 0 0 17 0 13 0 148964916 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1787940 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 148964916 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1787940 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148964916 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4311] ppid=4296 vsize=1787940 CPUtime=0 /proc/4298/task/4311/stat : 4311 (java) S 4296 4298 3489 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 148965502 1830850560 68205 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.99 Current children cumulated vsize (KiB) 1787940 [startup+25.5015 s] /proc/loadavg: 0.99 0.99 0.99 2/90 4311 /proc/meminfo: memFree=1326696/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1787664 CPUtime=28.19 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 77674 0 1 0 2782 37 0 0 18 0 13 0 148964907 1830567936 70972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446916 70972 1334 9 0 444528 0 [pid=4298/tid=4300] ppid=4296 vsize=1787664 CPUtime=23.46 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 37724 0 1 0 2330 16 0 0 25 0 13 0 148964908 1830567936 70972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109875344 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1787664 CPUtime=1.36 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 17905 0 0 0 127 9 0 0 16 0 13 0 148964910 1830567936 70972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1787664 CPUtime=1.36 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 17413 0 0 0 128 8 0 0 16 0 13 0 148964910 1830567936 70972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 70972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 70972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 70972 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=4298] ppid=4296 vsize=1787664 CPUtime=1616.55 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 504001 0 1 0 161373 282 0 0 18 0 13 0 148964907 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446916 375339 1334 9 0 444528 0 [pid=4298/tid=4300] ppid=4296 vsize=1787664 CPUtime=1586.51 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 47627 0 1 0 158617 34 0 0 25 0 13 0 148964908 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109991355 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1787664 CPUtime=13.77 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 228782 0 0 0 1262 115 0 0 16 0 13 0 148964910 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1787664 CPUtime=13.77 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 222789 0 0 0 1263 114 0 0 16 0 13 0 148964910 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1787664 CPUtime=0.27 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 164 0 0 0 12 15 0 0 16 0 13 0 148964912 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148964916 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1787664 CPUtime=1.19 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 3136 0 0 0 118 1 0 0 17 0 13 0 148964916 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1787664 CPUtime=0.98 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 780 0 0 0 98 0 0 0 16 0 13 0 148964916 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 148964916 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148964916 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4311] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4311/stat : 4311 (java) S 4296 4298 3489 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 148965502 1830567936 375339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1616.55 Current children cumulated vsize (KiB) 1787664 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/90 4313 /proc/meminfo: memFree=72872/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1787664 CPUtime=1677.04 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 513453 0 1 0 167416 288 0 0 18 0 13 0 148964907 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446916 383678 1334 9 0 444528 0 [pid=4298/tid=4300] ppid=4296 vsize=1787664 CPUtime=1645.94 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 48217 0 1 0 164559 35 0 0 25 0 13 0 148964908 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845607 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1787664 CPUtime=14.29 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 233683 0 0 0 1312 117 0 0 16 0 13 0 148964910 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1787664 CPUtime=14.31 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 226739 0 0 0 1314 117 0 0 16 0 13 0 148964910 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1787664 CPUtime=0.28 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 175 0 0 0 13 15 0 0 16 0 13 0 148964912 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148964916 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1787664 CPUtime=1.19 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 3136 0 0 0 118 1 0 0 17 0 13 0 148964916 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1787664 CPUtime=0.98 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 780 0 0 0 98 0 0 0 16 0 13 0 148964916 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 148964916 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148964916 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4311] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4311/stat : 4311 (java) S 4296 4298 3489 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 148965502 1830567936 383678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1677.04 Current children cumulated vsize (KiB) 1787664 [startup+1722.3 s] /proc/loadavg: 1.04 1.02 1.00 2/90 4313 /proc/meminfo: memFree=1266088/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1787664 CPUtime=1737.33 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 517101 0 3 0 173424 309 0 0 18 0 13 0 148964907 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446916 85277 1336 9 0 444528 0 [pid=4298/tid=4300] ppid=4296 vsize=1787664 CPUtime=1704.9 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 48240 0 1 0 170455 35 0 0 25 0 13 0 148964908 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109882605 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1787664 CPUtime=14.6 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 234631 0 0 0 1343 117 0 0 16 0 13 0 148964910 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1787664 CPUtime=14.62 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 227769 0 0 0 1344 118 0 0 16 0 13 0 148964910 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1787664 CPUtime=0.97 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 1822 0 2 0 63 34 0 0 16 0 13 0 148964912 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148964916 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1787664 CPUtime=1.19 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 3136 0 0 0 118 1 0 0 17 0 13 0 148964916 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1787664 CPUtime=0.98 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 780 0 0 0 98 0 0 0 16 0 13 0 148964916 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 148964916 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148964916 1830567936 85277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4311] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4311/stat : 4311 (java) S 4296 4298 3489 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 148965502 1830567936 85277 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) 1787664 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/90 4313 /proc/meminfo: memFree=1286376/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1787664 CPUtime=1797.68 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 517142 0 3 0 179457 311 0 0 18 0 13 0 148964907 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446916 80131 1336 9 0 444528 0 [pid=4298/tid=4300] ppid=4296 vsize=1787664 CPUtime=1764.46 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 48281 0 1 0 176410 36 0 0 25 0 13 0 148964908 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109803400 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1787664 CPUtime=14.99 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 234631 0 0 0 1382 117 0 0 16 0 13 0 148964910 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1787664 CPUtime=15.01 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 227769 0 0 0 1383 118 0 0 16 0 13 0 148964910 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1787664 CPUtime=0.99 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 1822 0 2 0 64 35 0 0 16 0 13 0 148964912 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148964916 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1787664 CPUtime=1.19 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 3136 0 0 0 118 1 0 0 17 0 13 0 148964916 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1787664 CPUtime=0.98 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 780 0 0 0 98 0 0 0 16 0 13 0 148964916 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 148964916 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148964916 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4311] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4311/stat : 4311 (java) S 4296 4298 3489 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 148965502 1830567936 80131 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 1787664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.6 s] /proc/loadavg: 1.01 1.01 1.00 2/90 4313 /proc/meminfo: memFree=1287208/2055920 swapFree=4154924/4192956 [pid=4298] ppid=4296 vsize=1787664 CPUtime=1800 /proc/4298/stat : 4298 (java) S 4296 4298 3489 0 -1 0 517144 0 3 0 179689 311 0 0 18 0 13 0 148964907 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/4298/statm: 446916 80003 1336 9 0 444528 0 [pid=4298/tid=4300] ppid=4296 vsize=1787664 CPUtime=1766.75 /proc/4298/task/4300/stat : 4300 (java) R 4296 4298 3489 0 -1 64 48283 0 1 0 176639 36 0 0 25 0 13 0 148964908 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109591035 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4301] ppid=4296 vsize=1787664 CPUtime=15 /proc/4298/task/4301/stat : 4301 (java) S 4296 4298 3489 0 -1 64 234631 0 0 0 1383 117 0 0 16 0 13 0 148964910 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4302] ppid=4296 vsize=1787664 CPUtime=15.04 /proc/4298/task/4302/stat : 4302 (java) S 4296 4298 3489 0 -1 64 227769 0 0 0 1385 119 0 0 16 0 13 0 148964910 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4303] ppid=4296 vsize=1787664 CPUtime=0.99 /proc/4298/task/4303/stat : 4303 (java) S 4296 4298 3489 0 -1 64 1822 0 2 0 64 35 0 0 16 0 13 0 148964912 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=4298/tid=4304] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4304/stat : 4304 (java) S 4296 4298 3489 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4305] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4305/stat : 4305 (java) S 4296 4298 3489 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148964912 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4306] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4306/stat : 4306 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 148964916 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4307] ppid=4296 vsize=1787664 CPUtime=1.19 /proc/4298/task/4307/stat : 4307 (java) S 4296 4298 3489 0 -1 64 3136 0 0 0 118 1 0 0 17 0 13 0 148964916 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4308] ppid=4296 vsize=1787664 CPUtime=0.98 /proc/4298/task/4308/stat : 4308 (java) S 4296 4298 3489 0 -1 64 780 0 0 0 98 0 0 0 16 0 13 0 148964916 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4309] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4309/stat : 4309 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 148964916 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4310] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4310/stat : 4310 (java) S 4296 4298 3489 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148964916 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=4298/tid=4311] ppid=4296 vsize=1787664 CPUtime=0 /proc/4298/task/4311/stat : 4311 (java) S 4296 4298 3489 0 -1 64 5 0 0 0 0 0 0 0 18 0 13 0 148965502 1830567936 80003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1787664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1784.68 CPU time (s): 1800.09 CPU user time (s): 1796.92 CPU system time (s): 3.16952 CPU usage (%): 100.863 Max. virtual memory (cumulated for all children) (KiB): 1792236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.92 system time used= 3.16952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 517164 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47056 involuntary context switches= 53829 runsolver used 1.70274 second user time and 4.97624 second system time The end
Begin job on node39 on Thu Apr 19 19:22:09 UTC 2007 IDJOB= 362333 IDBENCH= 1551 IDSOLVER= 159 FILE ID= node39/362333-1177010528 PBS_JOBID= 4630532 Free space on /tmp= 66479 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370b.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362333-1177010528/sat4jPseudoResolution.jar /tmp/evaluation/362333-1177010528/instance-362333-1177010528.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-362333-1177010528 -o ROOT/results/node39/solver-362333-1177010528 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362333-1177010528/sat4jPseudoResolution.jar /tmp/evaluation/362333-1177010528/instance-362333-1177010528.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= ce5e0345d0e70478396f95e2ebabfc80 RANDOM SEED= 451670912 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1606632 kB Buffers: 44820 kB Cached: 312792 kB SwapCached: 17952 kB Active: 82488 kB Inactive: 303796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1606632 kB SwapTotal: 4192956 kB SwapFree: 4154924 kB Dirty: 10152 kB Writeback: 0 kB Mapped: 31236 kB Slab: 48280 kB Committed_AS: 1773648 kB PageTables: 2012 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= 66479 MiB End job on node39 on Thu Apr 19 19:51:55 UTC 2007