Trace number 365779

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.12 1791.3

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
MD5SUM51456bad41bf92f026526861ffdd231e
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.045992
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5250
Total number of constraints145
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
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 numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

Launcher Data (download as text)

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