Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.17 | 1787.1 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb |
MD5SUM | c00448b3bb1fb54d1d5ecdb2bc9f967d |
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 | 8.05977 |
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 | 654121 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 654121 |
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.14 c no version file found!!! 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.9-22.EL.rootsmp 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1651659224 0.08/0.14 c Max memory 1654456320 0.08/0.14 c Total memory 1654456320 0.08/0.14 c Number of processors 2 0.08/0.19 --- Begin Solver configuration --- 0.08/0.19 c Stops conflict analysis at the first Unique Implication Point 0.08/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.08/0.19 c Learn all clauses as in MiniSAT 0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.19 c No reason simplification 0.08/0.19 c --- End Solver configuration --- 0.08/0.19 c solving /tmp/evaluation/362361-1177011254/instance-362361-1177011254.opb 0.08/0.19 c reading problem ... 6.42/5.14 c ... done. Wall clock time 4.956s. 6.42/5.14 c CPU time (experimental) 4.05s. 6.42/5.14 c #vars 155000 6.42/5.14 c #constraints 5300 1257.49/1247.45 c cleaning 97741 clauses out of 195500 for limit 0.452798582629564 1261.17/1251.09 c cleaning 49125 clauses out of 98262 for limit 1.4901350958293285 1264.77/1254.64 c cleaning 24808 clauses out of 49634 for limit 4.850475531673844 1269.83/1259.61 c cleaning 12658 clauses out of 25326 for limit 15.676636162261824 1273.90/1263.63 c cleaning 6581 clauses out of 13169 for limit 49.76879005596773 1276.12/1265.84 c cleaning 3542 clauses out of 7090 for limit 152.75258049725622 1281.36/1271.08 c cleaning 2015 clauses out of 4046 for limit 440.5505784947153 1285.90/1275.59 c cleaning 1260 clauses out of 2533 for limit 1162.8170071574796 1290.74/1280.40 c cleaning 870 clauses out of 1774 for limit 2740.8378816914455 1295.78/1285.38 c cleaning 676 clauses out of 1401 for limit 5706.255060613048 1300.12/1289.66 c cleaning 606 clauses out of 1230 for limit 10772.40442828611 1305.07/1294.58 c cleaning 548 clauses out of 1122 for limit 19436.218277422948 1309.20/1298.65 c cleaning 530 clauses out of 1081 for limit 33502.437072715125 1315.27/1304.63 c cleaning 507 clauses out of 1040 for limit 56799.5653409875 1321.72/1311.02 c cleaning 495 clauses out of 1034 for limit 94307.92981326088 1326.86/1316.14 c cleaning 506 clauses out of 1041 for limit 154790.01110919486 1332.12/1321.36 c cleaning 513 clauses out of 1041 for limit 256806.42735628344 1336.16/1325.30 c cleaning 484 clauses out of 1019 for limit 428773.28212164226 1340.01/1329.11 c cleaning 503 clauses out of 1036 for limit 696197.6339555901 1346.35/1335.41 c cleaning 495 clauses out of 1033 for limit 1151457.3700596618 1349.67/1338.78 c cleaning 495 clauses out of 1040 for limit 1889904.054204334 1354.31/1343.32 c cleaning 521 clauses out of 1043 for limit 3101527.605457719 1358.83/1347.81 c cleaning 513 clauses out of 1027 for limit 5220570.460806608 1364.17/1353.15 c cleaning 504 clauses out of 1009 for limit 8719278.85426257 1368.30/1357.24 c cleaning 496 clauses out of 1006 for limit 1.4436574338165214E7 1372.85/1361.74 c cleaning 503 clauses out of 1023 for limit 2.3718708548239436E7 1376.27/1365.16 c cleaning 505 clauses out of 1010 for limit 3.9224378206728205E7 1379.40/1368.26 c cleaning 500 clauses out of 1000 for limit 6.500709660710411E7 1382.23/1371.05 c cleaning 500 clauses out of 1001 for limit 1.0720550600441836E8 1386.17/1375.00 c cleaning 503 clauses out of 1010 for limit 1.768057104439764E8 1388.17/1376.94 c cleaning 498 clauses out of 997 for limit 2.9243764132812434E8 1391.90/1380.68 c cleaning 500 clauses out of 1000 for limit 4.8130328907041776E8 1396.45/1385.17 c cleaning 490 clauses out of 1000 for limit 7.937335112791916E8 1402.30/1390.93 c cleaning 496 clauses out of 1012 for limit 1.2960421161237514E9 1408.36/1396.99 c cleaning 510 clauses out of 1021 for limit 2.129130743013717E9 1412.19/1400.76 c cleaning 497 clauses out of 1011 for limit 3.5459516074923234E9 1414.22/1402.78 c cleaning 503 clauses out of 1007 for limit 5.830003211665358E9 1416.74/1405.26 c cleaning 503 clauses out of 1006 for limit 9.643289267703207E9 1420.48/1408.92 c cleaning 498 clauses out of 1000 for limit 1.5950545004922533E10 1423.31/1411.71 c cleaning 487 clauses out of 1003 for limit 2.625215698136061E10 1425.20/1413.62 c cleaning 504 clauses out of 1020 for limit 4.274247712400385E10 1428.84/1417.26 c cleaning 507 clauses out of 1015 for limit 7.076445930544778E10 1433.27/1421.65 c cleaning 488 clauses out of 1005 for limit 1.1750802442422649E11 1438.10/1426.47 c cleaning 508 clauses out of 1017 for limit 1.9149988640993622E11 1443.84/1432.10 c cleaning 482 clauses out of 1011 for limit 3.1831948872415924E11 1449.18/1437.47 c cleaning 503 clauses out of 1026 for limit 5.1572641378453033E11 1453.92/1442.18 c cleaning 512 clauses out of 1024 for limit 8.530160014011809E11 1470.84/1459.02 c cleaning 1005 clauses out of 2011 for limit 1.9461585264649316E12 1477.86/1466.09 c cleaning 997 clauses out of 2012 for limit 5.322076981980864E12 1484.17/1472.40 c cleaning 745 clauses out of 1520 for limit 1.1675997316356816E13 1490.17/1478.34 c cleaning 611 clauses out of 1264 for limit 2.2901649199330293E13 1495.59/1483.76 c cleaning 559 clauses out of 1154 for limit 4.140935080444109E13 1500.80/1488.97 c cleaning 547 clauses out of 1094 for limit 7.196283827575612E13 1507.61/1495.73 c cleaning 524 clauses out of 1048 for limit 1.2400943308030683E14 1512.72/1500.84 c cleaning 491 clauses out of 1023 for limit 2.0929639418460912E14 1516.43/1504.55 c cleaning 494 clauses out of 1040 for limit 3.422441408792422E14 1519.44/1507.56 c cleaning 519 clauses out of 1039 for limit 5.610067907073344E14 1523.75/1511.88 c cleaning 483 clauses out of 1021 for limit 9.424283075387029E14 1528.15/1516.26 c cleaning 507 clauses out of 1037 for limit 1.5286803510472122E15 1532.66/1520.72 c cleaning 514 clauses out of 1032 for limit 2.538286576486845E15 1537.78/1525.81 c cleaning 507 clauses out of 1015 for limit 4.2433285539455695E15 1542.99/1531.00 c cleaning 485 clauses out of 1009 for limit 7.046475310306556E15 1548.10/1536.16 c cleaning 486 clauses out of 1023 for limit 1.1450088470823064E16 1553.12/1541.19 c cleaning 518 clauses out of 1037 for limit 1.8627801725994524E16 1558.12/1546.19 c cleaning 510 clauses out of 1020 for limit 3.1262995641686452E16 1562.64/1550.63 c cleaning 505 clauses out of 1010 for limit 5.2067326083080496E16 1567.75/1555.77 c cleaning 477 clauses out of 1005 for limit 8.629318011422787E-4 1572.36/1560.35 c cleaning 485 clauses out of 1030 for limit 0.0013913302312096901 1577.67/1565.65 c cleaning 498 clauses out of 1047 for limit 0.002261755605229384 1581.90/1569.87 c cleaning 499 clauses out of 1052 for limit 0.003723368664747362 1585.81/1573.77 c cleaning 515 clauses out of 1045 for limit 0.006132185468636254 1588.62/1576.51 c cleaning 503 clauses out of 1034 for limit 0.010261361020710113 1592.53/1580.49 c cleaning 500 clauses out of 1028 for limit 0.01697011335376458 1595.64/1583.51 c cleaning 504 clauses out of 1027 for limit 0.027985224135040974 1598.26/1586.18 c cleaning 501 clauses out of 1023 for limit 0.04633183344247587 1601.37/1589.26 c cleaning 510 clauses out of 1026 for limit 0.07648947736143084 1604.18/1592.03 c cleaning 500 clauses out of 1014 for limit 0.12737903743138793 1606.58/1594.47 c cleaning 496 clauses out of 1013 for limit 0.21006217001730298 1611.00/1598.88 c cleaning 504 clauses out of 1024 for limit 0.3451078242916985 1615.12/1602.91 c cleaning 498 clauses out of 1012 for limit 0.5712866069004827 1618.14/1605.99 c cleaning 499 clauses out of 1016 for limit 0.9402985313857641 1620.86/1608.64 c cleaning 501 clauses out of 1016 for limit 1.5491273910730237 1624.46/1612.25 c cleaning 496 clauses out of 1014 for limit 2.5571974413587344 1629.56/1617.30 c cleaning 506 clauses out of 1028 for limit 4.201555515726788 1633.28/1621.02 c cleaning 501 clauses out of 1012 for limit 6.968406508835634 1636.28/1624.09 c cleaning 495 clauses out of 1014 for limit 11.50364464398141 1639.29/1627.06 c cleaning 499 clauses out of 1020 for limit 18.878332875272182 1643.61/1631.33 c cleaning 490 clauses out of 1017 for limit 31.100022150135583 1647.22/1634.97 c cleaning 508 clauses out of 1027 for limit 50.78869976758378 1650.54/1638.28 c cleaning 504 clauses out of 1023 for limit 84.4220392799318 1654.15/1641.84 c cleaning 499 clauses out of 1020 for limit 139.77248914761887 1656.47/1644.15 c cleaning 506 clauses out of 1027 for limit 230.31084313344894 1659.18/1646.86 c cleaning 496 clauses out of 1010 for limit 381.97919798235927 1661.89/1649.53 c cleaning 499 clauses out of 1016 for limit 627.4690209204136 1665.10/1652.79 c cleaning 496 clauses out of 1016 for limit 1033.7455764448073 1669.32/1656.91 c cleaning 499 clauses out of 1019 for limit 1698.0659884436664 1671.44/1659.05 c cleaning 501 clauses out of 1020 for limit 2797.5925487570858 1673.64/1661.24 c cleaning 502 clauses out of 1021 for limit 4618.31767373757 1675.65/1663.26 c cleaning 501 clauses out of 1017 for limit 7630.894607676019 1677.47/1665.02 c cleaning 506 clauses out of 1022 for limit 12598.199176133498 1680.59/1668.18 c cleaning 491 clauses out of 1013 for limit 20897.881987405697 1683.70/1671.28 c cleaning 504 clauses out of 1020 for limit 34158.46996327442 1687.61/1675.18 c cleaning 500 clauses out of 1016 for limit 56553.665688930196 1691.83/1679.34 c cleaning 500 clauses out of 1015 for limit 93263.0901548262 1695.94/1683.45 c cleaning 496 clauses out of 1016 for limit 153805.73670222348 1700.57/1688.06 c cleaning 493 clauses out of 1019 for limit 252646.5856519311 1703.38/1690.82 c cleaning 508 clauses out of 1030 for limit 413851.3029251866 1706.39/1693.85 c cleaning 497 clauses out of 1019 for limit 687796.1162954943 1709.31/1696.72 c cleaning 507 clauses out of 1029 for limit 1131139.0557471393 1713.62/1701.00 c cleaning 500 clauses out of 1017 for limit 1877992.0430776959 1717.23/1704.64 c cleaning 496 clauses out of 1016 for limit 3097008.2914281893 1720.25/1707.70 c cleaning 509 clauses out of 1018 for limit 5087157.239283435 1723.36/1710.76 c cleaning 506 clauses out of 1012 for limit 8464510.524305992 1726.78/1714.11 c cleaning 496 clauses out of 1005 for limit 1.4042281512038888E7 1729.69/1717.07 c cleaning 489 clauses out of 1008 for limit 2.306559064601706E7 1732.70/1720.01 c cleaning 511 clauses out of 1022 for limit 3.76299497876254E7 1735.93/1723.26 c cleaning 504 clauses out of 1009 for limit 6.273071416376518E7 1738.44/1725.71 c cleaning 502 clauses out of 1005 for limit 1.038630862462078E8 1741.55/1728.84 c cleaning 501 clauses out of 1003 for limit 1.716256673917913E8 1744.56/1731.87 c cleaning 489 clauses out of 1000 for limit 2.833153045659572E8 1746.27/1733.53 c cleaning 497 clauses out of 1011 for limit 4.621412843448347E8 1749.59/1736.87 c cleaning 496 clauses out of 1018 for limit 7.599273561035578E8 1752.40/1739.67 c cleaning 508 clauses out of 1031 for limit 1.2486125171498709E9 1754.31/1741.53 c cleaning 506 clauses out of 1013 for limit 2.0748546266183493E9 1756.62/1743.89 c cleaning 503 clauses out of 1006 for limit 3.442076461524077E9 1760.35/1747.50 c cleaning 500 clauses out of 1001 for limit 5.693394534669103E9 1764.07/1751.25 c cleaning 493 clauses out of 1003 for limit 9.389216107405592E9 1767.39/1754.59 c cleaning 504 clauses out of 1008 for limit 1.5376468380440277E10 1770.40/1757.56 c cleaning 503 clauses out of 1006 for limit 2.545915947368068E10 1773.21/1760.34 c cleaning 500 clauses out of 1002 for limit 4.211101369595713E10 1776.33/1763.42 c cleaning 492 clauses out of 1001 for limit 6.944655634062256E10 1779.15/1766.27 c cleaning 493 clauses out of 1011 for limit 1.1362098439288734E11 1782.16/1769.23 c cleaning 509 clauses out of 1019 for limit 1.8609123494692432E11 1785.08/1772.11 c cleaning 503 clauses out of 1007 for limit 3.0961570594173395E11 1788.09/1775.16 c cleaning 502 clauses out of 1004 for limit 5.12123409140693E11 1790.70/1777.75 c cleaning 495 clauses out of 1004 for limit 8.462516694041133E11 1793.21/1780.25 c cleaning 507 clauses out of 1014 for limit 1.3887489452988499E12 1796.13/1783.10 c cleaning 478 clauses out of 1000 for limit 2.3060886680722095E12 1799.26/1786.20 c cleaning 507 clauses out of 1024 for limit 3.7213537485199927E12 1800.06/1787.01 c starts : 18 1800.06/1787.01 c conflicts : 266158 1800.06/1787.01 c decisions : 568414 1800.06/1787.01 c propagations : 82190664 1800.06/1787.01 c inspects : 299721023 1800.06/1787.01 c learnt literals : 0 1800.06/1787.01 c learnt binary clauses : 0 1800.06/1787.01 c learnt ternary clauses : 0 1800.06/1787.01 c learnt clauses : 266158 1800.06/1787.01 c root simplifications : 0 1800.06/1787.01 c removed literals (reason simplification) : 0 1800.06/1787.01 c reason swapping (by a shorter reason) : 0 1800.06/1787.01 c Calls to reduceDB : 139 1800.06/1787.01 c speed (decisions/second) : 319.1131970604582 1800.06/1787.01 c non guided choices 27445 1800.06/1787.01 s UNKNOWN 1800.06/1787.01 c Total wall clock time (ms): 1786.827
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-362361-1177011254 -o ROOT/results/node10/solver-362361-1177011254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362361-1177011254/sat4jPseudoResolution.jar /tmp/evaluation/362361-1177011254/instance-362361-1177011254.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.92 0.98 0.99 2/77 32140 /proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=324 CPUtime=0 /proc/32140/stat : 32140 (java) R 32138 32140 31099 0 -1 0 60 0 0 0 0 0 0 0 19 0 1 0 177162925 331776 44 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 1 0 0 /proc/32140/statm: 81 44 33 9 0 6 0 [startup+0.070654 s] /proc/loadavg: 0.92 0.98 0.99 2/77 32140 /proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1777708 CPUtime=0.05 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 3702 0 1 0 4 1 0 0 18 0 7 0 177162925 1820372992 3445 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 444427 3445 1081 9 0 442063 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1777708 [startup+0.102661 s] /proc/loadavg: 0.92 0.98 0.99 2/77 32140 /proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1780108 CPUtime=0.08 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 177162925 1822830592 3721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 445027 3721 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302703 s] /proc/loadavg: 0.92 0.98 0.99 2/77 32140 /proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1782148 CPUtime=0.36 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 6453 0 1 0 33 3 0 0 18 0 12 0 177162925 1824919552 6192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 445537 6192 1269 9 0 443149 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1782148 [startup+0.702785 s] /proc/loadavg: 0.92 0.98 0.99 2/77 32140 /proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1784104 CPUtime=0.95 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 11335 0 1 0 89 6 0 0 18 0 12 0 177162925 1826922496 10540 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 446026 10541 1296 9 0 443638 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 1784104 [startup+1.50196 s] /proc/loadavg: 0.92 0.98 0.99 2/89 32152 /proc/meminfo: memFree=1705776/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1784104 CPUtime=1.89 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 24969 0 1 0 177 12 0 0 18 0 12 0 177162925 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 446026 24174 1302 9 0 443638 0 [pid=32140/tid=32142] ppid=32138 vsize=1784104 CPUtime=1.27 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 22779 0 1 0 116 11 0 0 25 0 12 0 177162926 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 177162928 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 177162928 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 177162930 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 177162931 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 177162931 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1784104 CPUtime=0.31 /proc/32140/task/32149/stat : 32149 (java) R 32138 32140 31099 0 -1 64 960 0 0 0 31 0 0 0 16 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102497606 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1784104 CPUtime=0.29 /proc/32140/task/32150/stat : 32150 (java) R 32138 32140 31099 0 -1 64 510 0 0 0 29 0 0 0 16 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104792130 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1784104 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.89 Current children cumulated vsize (KiB) 1784104 [startup+3.10131 s] /proc/loadavg: 0.92 0.98 0.99 2/89 32152 /proc/meminfo: memFree=1623280/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1785392 CPUtime=3.9 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 48912 0 1 0 369 21 0 0 18 0 12 0 177162925 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 446348 47352 1313 9 0 443960 0 [pid=32140/tid=32142] ppid=32138 vsize=1785392 CPUtime=2.52 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37730 0 1 0 237 15 0 0 23 0 12 0 177162926 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109658114 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1785392 CPUtime=0.18 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 3678 0 0 0 17 1 0 0 16 0 12 0 177162928 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1785392 CPUtime=0.18 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 5110 0 0 0 16 2 0 0 16 0 12 0 177162928 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1785392 CPUtime=0 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 177162930 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1785392 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 177162931 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1785392 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 177162931 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1785392 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1785392 CPUtime=0.5 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1005 0 0 0 50 0 0 0 17 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1785392 CPUtime=0.46 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 664 0 0 0 46 0 0 0 16 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1785392 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1785392 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 1785392 [startup+6.302 s] /proc/loadavg: 0.93 0.98 0.99 2/89 32152 /proc/meminfo: memFree=1521136/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1788240 CPUtime=8.36 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 73025 0 1 0 802 34 0 0 18 0 13 0 177162925 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447060 67166 1334 9 0 444672 0 [pid=32140/tid=32142] ppid=32138 vsize=1788240 CPUtime=4.78 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37775 0 1 0 463 15 0 0 18 0 13 0 177162926 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109929553 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788240 CPUtime=0.89 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 16739 0 0 0 81 8 0 0 18 0 13 0 177162928 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788240 CPUtime=0.89 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 14524 0 0 0 82 7 0 0 16 0 13 0 177162928 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788240 CPUtime=0 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 177162930 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788240 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788240 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1788240 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1788240 CPUtime=0.89 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1561 0 0 0 89 0 0 0 16 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1788240 CPUtime=0.84 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 1697 0 0 0 84 0 0 0 16 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1788240 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1788240 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.36 Current children cumulated vsize (KiB) 1788240 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/90 32153 /proc/meminfo: memFree=1501608/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1788016 CPUtime=15 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 75061 0 1 0 1464 36 0 0 18 0 13 0 177162925 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447004 68563 1334 9 0 444616 0 [pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=10.99 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37780 0 1 0 1084 15 0 0 25 0 13 0 177162926 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845271 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=1.05 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 17676 0 0 0 96 9 0 0 16 0 13 0 177162928 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=1.06 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 15417 0 0 0 98 8 0 0 16 0 13 0 177162928 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 177162930 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=0.94 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1565 0 0 0 94 0 0 0 17 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=0.89 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 1894 0 0 0 89 0 0 0 16 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 15 Current children cumulated vsize (KiB) 1788016 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.99 2/90 32153 /proc/meminfo: memFree=1487016/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1788016 CPUtime=28.21 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 79755 0 1 0 2782 39 0 0 18 0 13 0 177162925 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447004 72264 1334 9 0 444616 0 [pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=23.47 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37785 0 1 0 2331 16 0 0 25 0 13 0 177162926 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109738944 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=1.36 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 20328 0 0 0 126 10 0 0 16 0 13 0 177162928 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=1.37 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 17149 0 0 0 128 9 0 0 16 0 13 0 177162928 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 177162930 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=32140] ppid=32138 vsize=1788016 CPUtime=1614.52 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 526360 0 3 0 161131 321 0 0 18 0 13 0 177162925 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447004 78310 1336 9 0 444616 0 [pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1588.25 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43434 0 1 0 158792 33 0 0 25 0 13 0 177162926 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109844859 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=11.54 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236711 0 0 0 1027 127 0 0 16 0 13 0 177162928 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=11.56 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236119 0 0 0 1032 124 0 0 16 0 13 0 177162928 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0.94 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 5576 0 2 0 62 32 0 0 16 0 13 0 177162930 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.13 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1575 0 0 0 112 1 0 0 17 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1614.52 Current children cumulated vsize (KiB) 1788016 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/90 32351 /proc/meminfo: memFree=1464736/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1788016 CPUtime=1674.74 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 526458 0 3 0 167151 323 0 0 18 0 13 0 177162925 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447004 76838 1336 9 0 444616 0 [pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1647.77 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43509 0 1 0 164742 35 0 0 25 0 13 0 177162926 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109991564 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=11.88 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236722 0 0 0 1061 127 0 0 16 0 13 0 177162928 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=11.9 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236123 0 0 0 1066 124 0 0 16 0 13 0 177162928 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0.97 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 5581 0 2 0 64 33 0 0 15 0 13 0 177162930 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1674.74 Current children cumulated vsize (KiB) 1788016 [startup+1722.3 s] /proc/loadavg: 1.04 1.03 1.00 2/90 32351 /proc/meminfo: memFree=1490728/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1788016 CPUtime=1735.02 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 532363 0 3 0 173172 330 0 0 18 0 13 0 177162925 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447004 70284 1336 9 0 444616 0 [pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1706.83 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43602 0 1 0 170647 36 0 0 25 0 13 0 177162926 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109844791 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=12.22 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236878 0 0 0 1094 128 0 0 15 0 13 0 177162928 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=12.23 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236379 0 0 0 1098 125 0 0 16 0 13 0 177162928 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=1.51 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 10981 0 2 0 114 37 0 0 16 0 13 0 177162930 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1735.02 Current children cumulated vsize (KiB) 1788016 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/90 32351 /proc/meminfo: memFree=1491432/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1788016 CPUtime=1795.33 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 532561 0 3 0 179201 332 0 0 18 0 13 0 177162925 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447004 70092 1336 9 0 444616 0 [pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1766.37 /proc/32140/task/32142/stat : 32142 (java) S 32138 32140 31099 0 -1 64 43702 0 1 0 176601 36 0 0 25 0 13 0 177162926 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=12.59 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236938 0 0 0 1131 128 0 0 16 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=12.6 /proc/32140/task/32144/stat : 32144 (java) R 32138 32140 31099 0 -1 64 236415 0 0 0 1134 126 0 0 15 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=1.53 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 10983 0 2 0 116 37 0 0 15 0 13 0 177162930 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.33 Current children cumulated vsize (KiB) 1788016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787 s] /proc/loadavg: 1.01 1.02 1.00 2/90 32351 /proc/meminfo: memFree=1491496/2055920 swapFree=4152380/4192956 [pid=32140] ppid=32138 vsize=1788016 CPUtime=1800.06 /proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 532569 0 3 0 179673 333 0 0 18 0 13 0 177162925 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32140/statm: 447004 70092 1336 9 0 444616 0 [pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1771.04 /proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43710 0 1 0 177068 36 0 0 25 0 13 0 177162926 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109990763 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=12.61 /proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236938 0 0 0 1133 128 0 0 16 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=12.63 /proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236415 0 0 0 1137 126 0 0 15 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=1.53 /proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 10983 0 2 0 116 37 0 0 15 0 13 0 177162930 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15 /proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03 /proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0 /proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1788016 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): 1787.1 CPU time (s): 1800.17 CPU user time (s): 1796.79 CPU system time (s): 3.37449 CPU usage (%): 100.731 Max. virtual memory (cumulated for all children) (KiB): 1800268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.79 system time used= 3.37449 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 532590 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= 46577 involuntary context switches= 60259 runsolver used 1.73673 second user time and 4.88226 second system time The end
Begin job on node10 on Thu Apr 19 19:34:14 UTC 2007 IDJOB= 362361 IDBENCH= 1554 IDSOLVER= 159 FILE ID= node10/362361-1177011254 PBS_JOBID= 4630491 Free space on /tmp= 66261 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-n370c.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362361-1177011254/sat4jPseudoResolution.jar /tmp/evaluation/362361-1177011254/instance-362361-1177011254.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-362361-1177011254 -o ROOT/results/node10/solver-362361-1177011254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362361-1177011254/sat4jPseudoResolution.jar /tmp/evaluation/362361-1177011254/instance-362361-1177011254.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= c00448b3bb1fb54d1d5ecdb2bc9f967d RANDOM SEED= 645924121 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1772072 kB Buffers: 24100 kB Cached: 183788 kB SwapCached: 8556 kB Active: 64356 kB Inactive: 166936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772072 kB SwapTotal: 4192956 kB SwapFree: 4152380 kB Dirty: 10232 kB Writeback: 0 kB Mapped: 30676 kB Slab: 38164 kB Committed_AS: 3572944 kB PageTables: 1708 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= 66261 MiB End job on node10 on Thu Apr 19 20:04:03 UTC 2007