Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.12 | 1791.3 |
Name | normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb |
MD5SUM | 51456bad41bf92f026526861ffdd231e |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 0.045992 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5250 |
Total number of constraints | 145 |
Number of constraints which are clauses | 75 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 70 |
Maximum length of a constraint | 75 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 76 |
Number of bits of the biggest sum of numbers | 7 |
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.16 c Max memory 1654456320 0.08/0.16 c Total memory 1654456320 0.08/0.16 c Number of processors 2 0.20/0.21 --- Begin Solver configuration --- 0.20/0.21 c Stops conflict analysis at the first Unique Implication Point 0.20/0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.21 c Learn all clauses as in MiniSAT 0.20/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.21 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.21 c No reason simplification 0.20/0.21 c --- End Solver configuration --- 0.20/0.21 c solving /tmp/evaluation/365779-1177052622/instance-365779-1177052622.opb 0.20/0.21 c reading problem ... 1.16/0.83 c ... done. Wall clock time 0.616s. 1.16/0.83 c CPU time (experimental) 0.51s. 1.16/0.83 c #vars 5250 1.16/0.83 c #constraints 145 842.34/839.01 c cleaning 66242 clauses out of 132500 for limit 2.822241534875845E12 845.46/842.12 c cleaning 33366 clauses out of 66759 for limit 9.246782310013758E12 846.96/843.64 c cleaning 16933 clauses out of 33893 for limit 3.003629295599233E13 847.95/844.66 c cleaning 8729 clauses out of 17460 for limit 9.615414063700164E13 1209.67/1205.34 c cleaning 35103 clauses out of 70232 for limit 1.2629489843773145 1212.47/1208.14 c cleaning 17807 clauses out of 35628 for limit 4.1015761171118825 1213.97/1209.67 c cleaning 9147 clauses out of 18320 for limit 13.141293806719288 1215.07/1210.60 c cleaning 4830 clauses out of 9673 for limit 41.04481416783204 1215.97/1211.57 c cleaning 2662 clauses out of 5344 for limit 122.64318792047762 1216.77/1212.38 c cleaning 1586 clauses out of 3182 for limit 339.67657044307936 1217.68/1213.24 c cleaning 1041 clauses out of 2096 for limit 850.4139506629768 1218.37/1213.98 c cleaning 771 clauses out of 1554 for limit 1889.6963101631286 1219.17/1214.74 c cleaning 634 clauses out of 1284 for limit 3775.447231145777 1244.34/1239.64 c cleaning 4817 clauses out of 9651 for limit 4092621.5866830274 1245.44/1240.75 c cleaning 2658 clauses out of 5332 for limit 1.2191878583477745E7 1246.33/1241.63 c cleaning 1574 clauses out of 3174 for limit 3.377611808409298E7 1247.13/1242.47 c cleaning 1050 clauses out of 2100 for limit 8.418859252432033E7 1247.93/1243.26 c cleaning 775 clauses out of 1550 for limit 1.881034376800879E8 1250.87/1246.18 c cleaning 1137 clauses out of 2276 for limit 5.751198347402488E8 1251.67/1246.98 c cleaning 814 clauses out of 1638 for limit 1.3165521945754519E9 1252.47/1247.75 c cleaning 651 clauses out of 1325 for limit 2.68674530898034E9 1253.31/1248.52 c cleaning 571 clauses out of 1173 for limit 4.999950912969147E9 1253.90/1249.18 c cleaning 539 clauses out of 1102 for limit 8.776837250494795E9 1254.60/1249.88 c cleaning 523 clauses out of 1063 for limit 1.5005216373398304E10 1255.30/1250.55 c cleaning 520 clauses out of 1041 for limit 2.529386498780448E10 1256.10/1251.35 c cleaning 508 clauses out of 1020 for limit 4.25291917359436E10 1257.53/1252.77 c cleaning 756 clauses out of 1513 for limit 7.805390915158405E10 1258.23/1253.47 c cleaning 629 clauses out of 1258 for limit 1.5496846964524426E11 1258.93/1254.19 c cleaning 561 clauses out of 1127 for limit 2.84699649717844E11 1259.63/1254.87 c cleaning 523 clauses out of 1067 for limit 4.964057783584177E11 1282.35/1277.30 c cleaning 4502 clauses out of 9043 for limit 2.888047183024813E14 1283.45/1278.41 c cleaning 2505 clauses out of 5043 for limit 8.55761526354188E14 1284.45/1279.44 c cleaning 1518 clauses out of 3036 for limit 2.3395203209852385E15 1285.25/1280.28 c cleaning 994 clauses out of 2019 for limit 5.807412417693551E-5 1288.68/1283.66 c cleaning 1507 clauses out of 3025 for limit 2.866930446770197E-4 1289.58/1284.53 c cleaning 999 clauses out of 2018 for limit 7.087241976906929E-4 1290.28/1285.27 c cleaning 749 clauses out of 1518 for limit 0.00155220124176167 1291.81/1286.78 c cleaning 876 clauses out of 1771 for limit 0.003625617917798046 1292.51/1287.40 c cleaning 687 clauses out of 1393 for limit 0.00758641057091594 1292.91/1287.84 c cleaning 594 clauses out of 1209 for limit 0.014458411485875277 1293.31/1288.25 c cleaning 543 clauses out of 1112 for limit 0.02584606581536587 1293.80/1288.77 c cleaning 519 clauses out of 1069 for limit 0.04433813434205086 1294.31/1289.29 c cleaning 515 clauses out of 1051 for limit 0.07444624597301801 1294.83/1289.75 c cleaning 509 clauses out of 1035 for limit 0.12454507094672405 1295.33/1290.23 c cleaning 505 clauses out of 1026 for limit 0.20719316301101218 1295.82/1290.74 c cleaning 501 clauses out of 1022 for limit 0.34336994915119723 1296.32/1291.26 c cleaning 499 clauses out of 1021 for limit 0.5668175974047345 1296.82/1291.76 c cleaning 493 clauses out of 1021 for limit 0.9338232875763564 1297.32/1292.25 c cleaning 503 clauses out of 1028 for limit 1.52951314776347 1297.92/1292.87 c cleaning 500 clauses out of 1026 for limit 2.529818517872389 1298.65/1293.52 c cleaning 502 clauses out of 1027 for limit 4.1721189616423375 1299.24/1294.20 c cleaning 506 clauses out of 1026 for limit 6.8939823117864965 1299.85/1294.76 c cleaning 499 clauses out of 1017 for limit 11.43533585487941 1300.54/1295.45 c cleaning 504 clauses out of 1018 for limit 18.839873667032606 1301.24/1296.14 c cleaning 501 clauses out of 1017 for limit 31.193509128186022 1301.95/1296.81 c cleaning 498 clauses out of 1014 for limit 51.49132827236324 1320.99/1315.70 c cleaning 4243 clauses out of 8515 for limit 18333.571563237674 1322.09/1316.86 c cleaning 2375 clauses out of 4774 for limit 54034.88435118637 1324.56/1319.24 c cleaning 1935 clauses out of 3897 for limit 296295.37514396117 1325.46/1320.10 c cleaning 1222 clauses out of 2462 for limit 773433.7457068971 1326.06/1320.73 c cleaning 859 clauses out of 1740 for limit 1804753.1320708427 1326.66/1321.35 c cleaning 690 clauses out of 1381 for limit 3749982.671680316 1327.26/1321.98 c cleaning 595 clauses out of 1191 for limit 7170791.004478341 1327.86/1322.58 c cleaning 548 clauses out of 1096 for limit 1.2850622304975135E7 1328.70/1323.33 c cleaning 510 clauses out of 1049 for limit 2.21640756636655E7 1329.29/1323.97 c cleaning 506 clauses out of 1038 for limit 3.690193452917197E7 1329.99/1324.60 c cleaning 497 clauses out of 1033 for limit 6.121199932298894E7 1330.59/1325.23 c cleaning 504 clauses out of 1036 for limit 1.0065445876038714E8 1331.19/1325.82 c cleaning 498 clauses out of 1031 for limit 1.6663087822087535E8 1331.80/1326.43 c cleaning 517 clauses out of 1034 for limit 2.7427360103426087E8 1353.48/1347.91 c cleaning 4251 clauses out of 8517 for limit 9.965798278802896E10 1354.57/1349.05 c cleaning 2378 clauses out of 4766 for limit 2.9369772905551215E11 1355.47/1349.93 c cleaning 1435 clauses out of 2888 for limit 7.993064629976925E11 1356.07/1350.56 c cleaning 976 clauses out of 1953 for limit 1.949234804017393E12 1356.84/1351.28 c cleaning 738 clauses out of 1477 for limit 4.2505173396484775E12 1357.55/1351.99 c cleaning 619 clauses out of 1238 for limit 8.354549144632903E12 1358.24/1352.69 c cleaning 554 clauses out of 1121 for limit 1.5246247327415281E13 1359.14/1353.51 c cleaning 533 clauses out of 1066 for limit 2.641391304693814E13 1359.84/1354.29 c cleaning 507 clauses out of 1033 for limit 4.495163720616173E13 1360.54/1354.94 c cleaning 512 clauses out of 1025 for limit 7.46351388961216E13 1386.69/1380.82 c cleaning 4996 clauses out of 10014 for limit 0.0010264929918027078 1387.79/1381.91 c cleaning 2740 clauses out of 5517 for limit 0.0030696012778873654 1388.59/1382.76 c cleaning 1626 clauses out of 3279 for limit 0.008534310603788193 1389.29/1383.47 c cleaning 1059 clauses out of 2151 for limit 0.0214119546346985 1389.89/1384.09 c cleaning 780 clauses out of 1592 for limit 0.04771001450242203 1390.39/1384.58 c cleaning 638 clauses out of 1312 for limit 0.09547170178514112 1390.99/1385.14 c cleaning 567 clauses out of 1174 for limit 0.17595284325718485 1417.74/1411.63 c cleaning 6044 clauses out of 12107 for limit 1693.9993711805027 1418.84/1412.78 c cleaning 3272 clauses out of 6566 for limit 5166.641537133267 1419.54/1413.47 c cleaning 1884 clauses out of 3792 for limit 14724.06562146723 1420.04/1413.95 c cleaning 1188 clauses out of 2408 for limit 38238.027166337284 1420.44/1414.36 c cleaning 845 clauses out of 1720 for limit 88283.471064665 1420.84/1414.78 c cleaning 685 clauses out of 1374 for limit 182071.71772830395 1456.39/1450.04 c cleaning 5831 clauses out of 11689 for limit 1.2884909656239228E9 1457.79/1451.43 c cleaning 3179 clauses out of 6358 for limit 3.906556410324327E9 1498.56/1491.97 c cleaning 7582 clauses out of 15180 for limit 2.6817522388915956E14 1502.26/1495.54 c cleaning 4291 clauses out of 8597 for limit 1.2865324918023752E-5 1503.26/1496.55 c cleaning 2399 clauses out of 4806 for limit 3.795244907641466E-5 1503.87/1497.16 c cleaning 1444 clauses out of 2907 for limit 1.0347476003625045E-4 1504.46/1497.74 c cleaning 972 clauses out of 1963 for limit 2.527057053384351E-4 1505.06/1498.38 c cleaning 739 clauses out of 1491 for limit 5.486730012741382E-4 1505.86/1499.10 c cleaning 617 clauses out of 1252 for limit 0.001077563300542826 1542.39/1535.33 c cleaning 6053 clauses out of 12135 for limit 11.03805976635428 1543.99/1536.94 c cleaning 3276 clauses out of 6583 for limit 33.589154006082325 1545.19/1538.16 c cleaning 1887 clauses out of 3807 for limit 95.78465314216122 1546.19/1539.11 c cleaning 1195 clauses out of 2420 for limit 248.49595787842452 1546.99/1539.94 c cleaning 852 clauses out of 1724 for limit 574.6703739402857 1547.69/1540.67 c cleaning 671 clauses out of 1372 for limit 1190.8521513883336 1548.39/1541.30 c cleaning 593 clauses out of 1204 for limit 2244.630668322964 1580.39/1573.18 c cleaning 6554 clauses out of 13108 for limit 5.55045500639653E7 1581.59/1574.35 c cleaning 3517 clauses out of 7054 for limit 1.700926121967911E8 1614.53/1607.06 c cleaning 7009 clauses out of 14040 for limit 3.129182990944456E12 1615.83/1608.37 c cleaning 3752 clauses out of 7529 for limit 9.603900125805324E12 1617.01/1609.47 c cleaning 2126 clauses out of 4276 for limit 2.7859198058314906E13 1617.81/1610.25 c cleaning 1316 clauses out of 2650 for limit 7.413380997421127E13 1618.51/1610.98 c cleaning 906 clauses out of 1835 for limit 1.7673254221061812E14 1619.21/1611.67 c cleaning 714 clauses out of 1428 for limit 3.741500098528236E14 1619.91/1612.34 c cleaning 607 clauses out of 1214 for limit 7.257903151005954E14 1620.61/1613.00 c cleaning 553 clauses out of 1107 for limit 1.312617293087503E15 1621.32/1613.73 c cleaning 510 clauses out of 1055 for limit 2.273650368109336E15 1655.89/1648.15 c cleaning 7256 clauses out of 14544 for limit 1.9953661472067985 1657.19/1649.49 c cleaning 3883 clauses out of 7790 for limit 6.155933484601479 1657.99/1650.23 c cleaning 2192 clauses out of 4406 for limit 17.931154752338724 1658.77/1650.94 c cleaning 1343 clauses out of 2714 for limit 48.00636194604424 1659.17/1651.36 c cleaning 924 clauses out of 1872 for limit 114.89290035252998 1659.57/1651.78 c cleaning 708 clauses out of 1447 for limit 244.87919076539205 1659.97/1652.15 c cleaning 606 clauses out of 1238 for limit 471.5428272461945 1660.37/1652.51 c cleaning 554 clauses out of 1133 for limit 850.5547547121544 1660.57/1652.80 c cleaning 523 clauses out of 1078 for limit 1472.7695653446438 1660.97/1653.12 c cleaning 511 clauses out of 1057 for limit 2482.00976051455 1661.27/1653.43 c cleaning 513 clauses out of 1045 for limit 4136.028828095217 1661.57/1653.73 c cleaning 502 clauses out of 1031 for limit 6906.572221002349 1661.87/1654.02 c cleaning 503 clauses out of 1030 for limit 11412.3319871189 1662.27/1654.41 c cleaning 502 clauses out of 1026 for limit 18874.94244642182 1685.34/1677.35 c cleaning 5502 clauses out of 11024 for limit 6.4130912505633846E7 1689.11/1681.02 c cleaning 3501 clauses out of 7023 for limit 4.519455644111141E8 1690.11/1682.06 c cleaning 2010 clauses out of 4021 for limit 1.3004573061859121E9 1690.91/1682.81 c cleaning 1239 clauses out of 2513 for limit 3.438449054301536E9 1691.61/1683.51 c cleaning 869 clauses out of 1774 for limit 8.032622439281223E9 1692.22/1684.17 c cleaning 702 clauses out of 1404 for limit 1.6721115126800386E10 1714.47/1706.26 c cleaning 4341 clauses out of 8702 for limit 8.074347901464008E12 1715.37/1707.13 c cleaning 2415 clauses out of 4860 for limit 2.381834836722831E13 1716.07/1707.89 c cleaning 1472 clauses out of 2945 for limit 6.4821413956299234E13 1717.63/1709.40 c cleaning 1237 clauses out of 2474 for limit 2.1006339962006303E14 1718.33/1710.07 c cleaning 868 clauses out of 1736 for limit 4.931984913068623E14 1719.03/1710.76 c cleaning 685 clauses out of 1370 for limit 1.0327038679610684E15 1719.73/1711.41 c cleaning 581 clauses out of 1184 for limit 1.968638814866137E15 1720.33/1712.03 c cleaning 542 clauses out of 1104 for limit 3.485291213637382E15 1762.53/1754.01 c cleaning 4773 clauses out of 9560 for limit 0.03269544066998544 1764.62/1756.16 c cleaning 2631 clauses out of 5287 for limit 0.09749709237180168 1765.82/1757.31 c cleaning 1564 clauses out of 3156 for limit 0.26935179055489605 1766.42/1757.98 c cleaning 1035 clauses out of 2092 for limit 0.6701176676784534 1767.02/1758.57 c cleaning 769 clauses out of 1557 for limit 1.4848412460546234 1767.72/1759.24 c cleaning 633 clauses out of 1292 for limit 2.9627844453017027 1789.45/1780.73 c cleaning 4564 clauses out of 9157 for limit 2059.16150635528 1790.75/1782.05 c cleaning 2532 clauses out of 5091 for limit 6095.75342871053 1791.65/1782.92 c cleaning 1520 clauses out of 3060 for limit 16741.696359186364 1792.44/1783.72 c cleaning 1003 clauses out of 2040 for limit 41413.945440552096 1795.88/1787.14 c cleaning 1505 clauses out of 3037 for limit 205757.43180446237 1796.68/1787.95 c cleaning 1002 clauses out of 2033 for limit 507403.3644987514 1797.39/1788.67 c cleaning 751 clauses out of 1530 for limit 1110761.109652693 1798.21/1789.41 c cleaning 622 clauses out of 1278 for limit 2190799.4231661884 1798.91/1790.14 c cleaning 578 clauses out of 1157 for limit 3994758.3348986926 1799.61/1790.82 c cleaning 528 clauses out of 1078 for limit 7063606.294549599 1800.01/1791.21 c starts : 19 1800.01/1791.21 c conflicts : 437426 1800.01/1791.21 c decisions : 557305 1800.01/1791.21 c propagations : 49432138 1800.01/1791.21 c inspects : 1296606089 1800.01/1791.21 c learnt literals : 0 1800.01/1791.21 c learnt binary clauses : 0 1800.01/1791.21 c learnt ternary clauses : 0 1800.01/1791.21 c learnt clauses : 437426 1800.01/1791.21 c root simplifications : 0 1800.01/1791.21 c removed literals (reason simplification) : 0 1800.01/1791.21 c reason swapping (by a shorter reason) : 0 1800.01/1791.21 c Calls to reduceDB : 164 1800.01/1791.21 c speed (decisions/second) : 311.2788850585241 1800.01/1791.21 c non guided choices 2416 1800.01/1791.21 s UNKNOWN 1800.01/1791.21 c Total wall clock time (ms): 1791.001
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-365779-1177052622 -o ROOT/results/node60/solver-365779-1177052622 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365779-1177052622/sat4jPseudoResolution.jar /tmp/evaluation/365779-1177052622/instance-365779-1177052622.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.97 0.96 2/64 6986 /proc/meminfo: memFree=1832272/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=152 CPUtime=0 /proc/6986/stat : 6986 (java) R 6984 6986 5696 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 153172171 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 5533995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6986/statm: 38 26 19 9 0 4 0 [startup+0.0382519 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6986 /proc/meminfo: memFree=1832272/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1776088 CPUtime=0.02 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 3145 0 1 0 1 1 0 0 18 0 4 0 153172171 1818714112 2893 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 444022 2893 885 9 0 441658 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1776088 [startup+0.101078 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6986 /proc/meminfo: memFree=1832272/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1780108 CPUtime=0.08 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 3937 0 1 0 5 3 0 0 18 0 12 0 153172171 1822830592 3679 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 445027 3679 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301098 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6986 /proc/meminfo: memFree=1832272/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1781420 CPUtime=0.3 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 5140 0 1 0 26 4 0 0 18 0 12 0 153172171 1824174080 4879 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 445355 4879 1264 9 0 442967 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1781420 [startup+0.701137 s] /proc/loadavg: 0.99 0.97 0.96 2/64 6986 /proc/meminfo: memFree=1832272/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785316 CPUtime=0.97 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 8110 0 1 0 91 6 0 0 18 0 12 0 153172171 1828163584 7161 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446329 7161 1308 9 0 443941 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 1785316 [startup+1.50221 s] /proc/loadavg: 0.99 0.97 0.96 4/77 6999 /proc/meminfo: memFree=1806504/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785640 CPUtime=2.12 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 9865 0 1 0 205 7 0 0 18 0 13 0 153172171 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446410 8911 1320 9 0 444022 0 [pid=6986/tid=6988] ppid=6984 vsize=1785640 CPUtime=1.03 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 7122 0 1 0 98 5 0 0 25 0 13 0 153172173 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109703470 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 153172174 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153172174 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 153172177 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 153172177 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153172177 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828495360 8911 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785640 CPUtime=0.56 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1120 0 0 0 56 0 0 0 16 0 13 0 153172181 1828495360 8914 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785640 CPUtime=0.49 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 901 0 0 0 49 0 0 0 16 0 13 0 153172181 1828495360 8915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828495360 8915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828495360 8915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828495360 8915 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 1785640 [startup+3.10238 s] /proc/loadavg: 0.99 0.97 0.96 2/77 6999 /proc/meminfo: memFree=1792360/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785640 CPUtime=3.73 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 14741 0 1 0 364 9 0 0 18 0 13 0 153172171 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446410 13786 1320 9 0 444022 0 [pid=6986/tid=6988] ppid=6984 vsize=1785640 CPUtime=2.62 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 11996 0 1 0 255 7 0 0 25 0 13 0 153172173 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109693249 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 153172174 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153172174 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 153172177 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 153172177 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153172177 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785640 CPUtime=0.58 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1122 0 0 0 58 0 0 0 17 0 13 0 153172181 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785640 CPUtime=0.49 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 901 0 0 0 49 0 0 0 16 0 13 0 153172181 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785640 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828495360 13786 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.73 Current children cumulated vsize (KiB) 1785640 [startup+6.30168 s] /proc/loadavg: 0.99 0.97 0.96 2/77 6999 /proc/meminfo: memFree=1757480/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785480 CPUtime=6.96 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 22657 0 1 0 683 13 0 0 18 0 13 0 153172171 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 21648 1322 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=5.81 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 19907 0 1 0 570 11 0 0 25 0 13 0 153172173 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109693232 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 153172174 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153172174 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 153172177 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153172177 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785480 CPUtime=0.62 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1127 0 0 0 62 0 0 0 17 0 13 0 153172181 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785480 CPUtime=0.5 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 901 0 0 0 50 0 0 0 16 0 13 0 153172181 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828331520 21648 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 6.96 Current children cumulated vsize (KiB) 1785480 [startup+12.7023 s] /proc/loadavg: 0.99 0.97 0.96 2/77 6999 /proc/meminfo: memFree=1711464/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785480 CPUtime=13.35 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 33305 0 1 0 1317 18 0 0 18 0 13 0 153172171 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 32256 1322 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=12.21 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 30554 0 1 0 1205 16 0 0 25 0 13 0 153172173 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109747680 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 153172174 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 153172174 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 153172177 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153172177 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785480 CPUtime=0.62 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1127 0 0 0 62 0 0 0 16 0 13 0 153172181 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785480 CPUtime=0.5 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 901 0 0 0 50 0 0 0 16 0 13 0 153172181 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828331520 32256 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.35 Current children cumulated vsize (KiB) 1785480 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.96 2/77 6999 /proc/meminfo: memFree=1550440/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785480 CPUtime=26.34 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 73569 0 1 0 2589 45 0 0 18 0 13 0 153172171 1828331520 71318 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 71318 1331 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=24.8 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 37656 0 1 0 2460 20 0 0 25 0 13 0 153172173 1828331520 71318 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109774011 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=0.16 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 17244 0 0 0 5 11 0 0 16 0 13 0 153172174 1828331520 71318 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=0.16 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 15908 0 0 0 6 10 0 0 16 0 13 0 153172174 1828331520 71318 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=6986] ppid=6984 vsize=1785480 CPUtime=1609.83 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 491919 0 1 0 160665 318 0 0 18 0 13 0 153172171 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 105199 1335 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=1591.94 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 37784 0 1 0 159169 25 0 0 25 0 13 0 153172173 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109693254 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=7.16 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 220280 0 0 0 583 133 0 0 16 0 13 0 153172174 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=7.18 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 210114 0 0 0 593 125 0 0 16 0 13 0 153172174 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785480 CPUtime=2.11 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 20883 0 0 0 179 32 0 0 16 0 13 0 153172177 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785480 CPUtime=0.75 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1140 0 0 0 75 0 0 0 16 0 13 0 153172181 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785480 CPUtime=0.63 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 998 0 0 0 63 0 0 0 17 0 13 0 153172181 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828331520 105199 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1609.83 Current children cumulated vsize (KiB) 1785480 [startup+1662.3 s] /proc/loadavg: 1.04 1.02 1.00 2/77 6999 /proc/meminfo: memFree=1425256/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785480 CPUtime=1670.25 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 491926 0 1 0 166706 319 0 0 18 0 13 0 153172171 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 101836 1335 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=1651.34 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 37791 0 1 0 165109 25 0 0 25 0 13 0 153172173 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109703880 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=7.61 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 220280 0 0 0 628 133 0 0 16 0 13 0 153172174 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=7.63 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 210114 0 0 0 638 125 0 0 16 0 13 0 153172174 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785480 CPUtime=2.22 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 20883 0 0 0 190 32 0 0 16 0 13 0 153172177 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785480 CPUtime=0.75 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1140 0 0 0 75 0 0 0 16 0 13 0 153172181 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785480 CPUtime=0.63 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 998 0 0 0 63 0 0 0 17 0 13 0 153172181 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828331520 101836 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1670.25 Current children cumulated vsize (KiB) 1785480 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 3/77 6999 /proc/meminfo: memFree=1426600/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785480 CPUtime=1730.73 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 491948 0 1 0 172754 319 0 0 18 0 13 0 153172171 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 101457 1335 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=1710.65 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 37799 0 1 0 171040 25 0 0 24 0 13 0 153172173 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109726741 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=8.14 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 220280 0 0 0 681 133 0 0 17 0 13 0 153172174 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=8.16 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 210114 0 0 0 691 125 0 0 16 0 13 0 153172174 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785480 CPUtime=2.33 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 20897 0 0 0 201 32 0 0 16 0 13 0 153172177 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785480 CPUtime=0.75 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1140 0 0 0 75 0 0 0 16 0 13 0 153172181 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785480 CPUtime=0.63 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 998 0 0 0 63 0 0 0 17 0 13 0 153172181 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828331520 101457 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1730.73 Current children cumulated vsize (KiB) 1785480 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 6999 /proc/meminfo: memFree=1431080/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785480 CPUtime=1791.05 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 493851 0 1 0 178785 320 0 0 18 0 13 0 153172171 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 100391 1335 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=1770.19 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 37803 0 1 0 176994 25 0 0 25 0 13 0 153172173 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109691156 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=8.5 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 221071 0 0 0 717 133 0 0 16 0 13 0 153172174 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=8.51 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 211219 0 0 0 726 125 0 0 16 0 13 0 153172174 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785480 CPUtime=2.4 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 20900 0 0 0 208 32 0 0 16 0 13 0 153172177 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785480 CPUtime=0.75 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1140 0 0 0 75 0 0 0 16 0 13 0 153172181 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785480 CPUtime=0.63 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 998 0 0 0 63 0 0 0 17 0 13 0 153172181 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828331520 100391 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1791.05 Current children cumulated vsize (KiB) 1785480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.2 s] /proc/loadavg: 1.00 1.01 1.00 2/77 6999 /proc/meminfo: memFree=1432808/2055920 swapFree=4183236/4192956 [pid=6986] ppid=6984 vsize=1785480 CPUtime=1800.01 /proc/6986/stat : 6986 (java) S 6984 6986 5696 0 -1 0 493853 0 1 0 179681 320 0 0 18 0 13 0 153172171 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6986/statm: 446370 99939 1335 9 0 443982 0 [pid=6986/tid=6988] ppid=6984 vsize=1785480 CPUtime=1779.03 /proc/6986/task/6988/stat : 6988 (java) R 6984 6986 5696 0 -1 64 37805 0 1 0 177878 25 0 0 25 0 13 0 153172173 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109693249 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6989] ppid=6984 vsize=1785480 CPUtime=8.56 /proc/6986/task/6989/stat : 6989 (java) S 6984 6986 5696 0 -1 64 221071 0 0 0 723 133 0 0 17 0 13 0 153172174 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6990] ppid=6984 vsize=1785480 CPUtime=8.57 /proc/6986/task/6990/stat : 6990 (java) S 6984 6986 5696 0 -1 64 211219 0 0 0 732 125 0 0 16 0 13 0 153172174 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6991] ppid=6984 vsize=1785480 CPUtime=2.41 /proc/6986/task/6991/stat : 6991 (java) S 6984 6986 5696 0 -1 64 20900 0 0 0 208 33 0 0 16 0 13 0 153172177 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6992] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6992/stat : 6992 (java) S 6984 6986 5696 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6993] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6993/stat : 6993 (java) S 6984 6986 5696 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153172177 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6994] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6994/stat : 6994 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153172181 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6995] ppid=6984 vsize=1785480 CPUtime=0.75 /proc/6986/task/6995/stat : 6995 (java) S 6984 6986 5696 0 -1 64 1140 0 0 0 75 0 0 0 16 0 13 0 153172181 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6986/tid=6996] ppid=6984 vsize=1785480 CPUtime=0.63 /proc/6986/task/6996/stat : 6996 (java) S 6984 6986 5696 0 -1 64 998 0 0 0 63 0 0 0 17 0 13 0 153172181 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6997] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6997/stat : 6997 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153172181 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6998] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6998/stat : 6998 (java) S 6984 6986 5696 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153172181 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6986/tid=6999] ppid=6984 vsize=1785480 CPUtime=0 /proc/6986/task/6999/stat : 6999 (java) S 6984 6986 5696 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 153172256 1828331520 99939 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1785480 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): 1791.3 CPU time (s): 1800.12 CPU user time (s): 1796.85 CPU system time (s): 3.2765 CPU usage (%): 100.492 Max. virtual memory (cumulated for all children) (KiB): 1786484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.85 system time used= 3.2765 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 493873 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37949 involuntary context switches= 30797 runsolver used 1.72974 second user time and 4.85426 second system time The end
Begin job on node60 on Fri Apr 20 07:03:42 UTC 2007 IDJOB= 365779 IDBENCH= 2567 IDSOLVER= 159 FILE ID= node60/365779-1177052622 PBS_JOBID= 4640146 Free space on /tmp= 66414 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365779-1177052622/sat4jPseudoResolution.jar /tmp/evaluation/365779-1177052622/instance-365779-1177052622.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-365779-1177052622 -o ROOT/results/node60/solver-365779-1177052622 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365779-1177052622/sat4jPseudoResolution.jar /tmp/evaluation/365779-1177052622/instance-365779-1177052622.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 51456bad41bf92f026526861ffdd231e RANDOM SEED= 814193901 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1832680 kB Buffers: 37564 kB Cached: 117876 kB SwapCached: 3476 kB Active: 24848 kB Inactive: 140264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832680 kB SwapTotal: 4192956 kB SwapFree: 4183236 kB Dirty: 3676 kB Writeback: 0 kB Mapped: 15516 kB Slab: 44084 kB Committed_AS: 2424156 kB PageTables: 1464 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= 66414 MiB End job on node60 on Fri Apr 20 07:33:35 UTC 2007