Trace number 362361

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 NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.17 1787.1

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb
MD5SUMc00448b3bb1fb54d1d5ecdb2bc9f967d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark8.05977
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 654121
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 654121
Number of bits of the biggest sum of numbers20
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.14	c no version file found!!!
0.08/0.14	c sun.arch.data.model	32
0.08/0.14	c java.version	1.6.0
0.08/0.14	c os.name	Linux
0.08/0.14	c os.version	2.6.9-22.EL.rootsmp
0.08/0.14	c os.arch	i386
0.08/0.14	c Free memory 1651659224
0.08/0.14	c Max memory 1654456320
0.08/0.14	c Total memory 1654456320
0.08/0.14	c Number of processors 2
0.08/0.19	--- Begin Solver configuration ---
0.08/0.19	c Stops conflict analysis at the first Unique Implication Point
0.08/0.19	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.08/0.19	c Learn all clauses as in MiniSAT
0.08/0.19	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.19	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.19	c No reason simplification
0.08/0.19	c --- End Solver configuration ---
0.08/0.19	c solving /tmp/evaluation/362361-1177011254/instance-362361-1177011254.opb
0.08/0.19	c reading problem ... 
6.42/5.14	c ... done. Wall clock time 4.956s.
6.42/5.14	c CPU time (experimental) 4.05s.
6.42/5.14	c #vars     155000
6.42/5.14	c #constraints  5300
1257.49/1247.45	c cleaning 97741 clauses out of 195500 for limit 0.452798582629564
1261.17/1251.09	c cleaning 49125 clauses out of 98262 for limit 1.4901350958293285
1264.77/1254.64	c cleaning 24808 clauses out of 49634 for limit 4.850475531673844
1269.83/1259.61	c cleaning 12658 clauses out of 25326 for limit 15.676636162261824
1273.90/1263.63	c cleaning 6581 clauses out of 13169 for limit 49.76879005596773
1276.12/1265.84	c cleaning 3542 clauses out of 7090 for limit 152.75258049725622
1281.36/1271.08	c cleaning 2015 clauses out of 4046 for limit 440.5505784947153
1285.90/1275.59	c cleaning 1260 clauses out of 2533 for limit 1162.8170071574796
1290.74/1280.40	c cleaning 870 clauses out of 1774 for limit 2740.8378816914455
1295.78/1285.38	c cleaning 676 clauses out of 1401 for limit 5706.255060613048
1300.12/1289.66	c cleaning 606 clauses out of 1230 for limit 10772.40442828611
1305.07/1294.58	c cleaning 548 clauses out of 1122 for limit 19436.218277422948
1309.20/1298.65	c cleaning 530 clauses out of 1081 for limit 33502.437072715125
1315.27/1304.63	c cleaning 507 clauses out of 1040 for limit 56799.5653409875
1321.72/1311.02	c cleaning 495 clauses out of 1034 for limit 94307.92981326088
1326.86/1316.14	c cleaning 506 clauses out of 1041 for limit 154790.01110919486
1332.12/1321.36	c cleaning 513 clauses out of 1041 for limit 256806.42735628344
1336.16/1325.30	c cleaning 484 clauses out of 1019 for limit 428773.28212164226
1340.01/1329.11	c cleaning 503 clauses out of 1036 for limit 696197.6339555901
1346.35/1335.41	c cleaning 495 clauses out of 1033 for limit 1151457.3700596618
1349.67/1338.78	c cleaning 495 clauses out of 1040 for limit 1889904.054204334
1354.31/1343.32	c cleaning 521 clauses out of 1043 for limit 3101527.605457719
1358.83/1347.81	c cleaning 513 clauses out of 1027 for limit 5220570.460806608
1364.17/1353.15	c cleaning 504 clauses out of 1009 for limit 8719278.85426257
1368.30/1357.24	c cleaning 496 clauses out of 1006 for limit 1.4436574338165214E7
1372.85/1361.74	c cleaning 503 clauses out of 1023 for limit 2.3718708548239436E7
1376.27/1365.16	c cleaning 505 clauses out of 1010 for limit 3.9224378206728205E7
1379.40/1368.26	c cleaning 500 clauses out of 1000 for limit 6.500709660710411E7
1382.23/1371.05	c cleaning 500 clauses out of 1001 for limit 1.0720550600441836E8
1386.17/1375.00	c cleaning 503 clauses out of 1010 for limit 1.768057104439764E8
1388.17/1376.94	c cleaning 498 clauses out of 997 for limit 2.9243764132812434E8
1391.90/1380.68	c cleaning 500 clauses out of 1000 for limit 4.8130328907041776E8
1396.45/1385.17	c cleaning 490 clauses out of 1000 for limit 7.937335112791916E8
1402.30/1390.93	c cleaning 496 clauses out of 1012 for limit 1.2960421161237514E9
1408.36/1396.99	c cleaning 510 clauses out of 1021 for limit 2.129130743013717E9
1412.19/1400.76	c cleaning 497 clauses out of 1011 for limit 3.5459516074923234E9
1414.22/1402.78	c cleaning 503 clauses out of 1007 for limit 5.830003211665358E9
1416.74/1405.26	c cleaning 503 clauses out of 1006 for limit 9.643289267703207E9
1420.48/1408.92	c cleaning 498 clauses out of 1000 for limit 1.5950545004922533E10
1423.31/1411.71	c cleaning 487 clauses out of 1003 for limit 2.625215698136061E10
1425.20/1413.62	c cleaning 504 clauses out of 1020 for limit 4.274247712400385E10
1428.84/1417.26	c cleaning 507 clauses out of 1015 for limit 7.076445930544778E10
1433.27/1421.65	c cleaning 488 clauses out of 1005 for limit 1.1750802442422649E11
1438.10/1426.47	c cleaning 508 clauses out of 1017 for limit 1.9149988640993622E11
1443.84/1432.10	c cleaning 482 clauses out of 1011 for limit 3.1831948872415924E11
1449.18/1437.47	c cleaning 503 clauses out of 1026 for limit 5.1572641378453033E11
1453.92/1442.18	c cleaning 512 clauses out of 1024 for limit 8.530160014011809E11
1470.84/1459.02	c cleaning 1005 clauses out of 2011 for limit 1.9461585264649316E12
1477.86/1466.09	c cleaning 997 clauses out of 2012 for limit 5.322076981980864E12
1484.17/1472.40	c cleaning 745 clauses out of 1520 for limit 1.1675997316356816E13
1490.17/1478.34	c cleaning 611 clauses out of 1264 for limit 2.2901649199330293E13
1495.59/1483.76	c cleaning 559 clauses out of 1154 for limit 4.140935080444109E13
1500.80/1488.97	c cleaning 547 clauses out of 1094 for limit 7.196283827575612E13
1507.61/1495.73	c cleaning 524 clauses out of 1048 for limit 1.2400943308030683E14
1512.72/1500.84	c cleaning 491 clauses out of 1023 for limit 2.0929639418460912E14
1516.43/1504.55	c cleaning 494 clauses out of 1040 for limit 3.422441408792422E14
1519.44/1507.56	c cleaning 519 clauses out of 1039 for limit 5.610067907073344E14
1523.75/1511.88	c cleaning 483 clauses out of 1021 for limit 9.424283075387029E14
1528.15/1516.26	c cleaning 507 clauses out of 1037 for limit 1.5286803510472122E15
1532.66/1520.72	c cleaning 514 clauses out of 1032 for limit 2.538286576486845E15
1537.78/1525.81	c cleaning 507 clauses out of 1015 for limit 4.2433285539455695E15
1542.99/1531.00	c cleaning 485 clauses out of 1009 for limit 7.046475310306556E15
1548.10/1536.16	c cleaning 486 clauses out of 1023 for limit 1.1450088470823064E16
1553.12/1541.19	c cleaning 518 clauses out of 1037 for limit 1.8627801725994524E16
1558.12/1546.19	c cleaning 510 clauses out of 1020 for limit 3.1262995641686452E16
1562.64/1550.63	c cleaning 505 clauses out of 1010 for limit 5.2067326083080496E16
1567.75/1555.77	c cleaning 477 clauses out of 1005 for limit 8.629318011422787E-4
1572.36/1560.35	c cleaning 485 clauses out of 1030 for limit 0.0013913302312096901
1577.67/1565.65	c cleaning 498 clauses out of 1047 for limit 0.002261755605229384
1581.90/1569.87	c cleaning 499 clauses out of 1052 for limit 0.003723368664747362
1585.81/1573.77	c cleaning 515 clauses out of 1045 for limit 0.006132185468636254
1588.62/1576.51	c cleaning 503 clauses out of 1034 for limit 0.010261361020710113
1592.53/1580.49	c cleaning 500 clauses out of 1028 for limit 0.01697011335376458
1595.64/1583.51	c cleaning 504 clauses out of 1027 for limit 0.027985224135040974
1598.26/1586.18	c cleaning 501 clauses out of 1023 for limit 0.04633183344247587
1601.37/1589.26	c cleaning 510 clauses out of 1026 for limit 0.07648947736143084
1604.18/1592.03	c cleaning 500 clauses out of 1014 for limit 0.12737903743138793
1606.58/1594.47	c cleaning 496 clauses out of 1013 for limit 0.21006217001730298
1611.00/1598.88	c cleaning 504 clauses out of 1024 for limit 0.3451078242916985
1615.12/1602.91	c cleaning 498 clauses out of 1012 for limit 0.5712866069004827
1618.14/1605.99	c cleaning 499 clauses out of 1016 for limit 0.9402985313857641
1620.86/1608.64	c cleaning 501 clauses out of 1016 for limit 1.5491273910730237
1624.46/1612.25	c cleaning 496 clauses out of 1014 for limit 2.5571974413587344
1629.56/1617.30	c cleaning 506 clauses out of 1028 for limit 4.201555515726788
1633.28/1621.02	c cleaning 501 clauses out of 1012 for limit 6.968406508835634
1636.28/1624.09	c cleaning 495 clauses out of 1014 for limit 11.50364464398141
1639.29/1627.06	c cleaning 499 clauses out of 1020 for limit 18.878332875272182
1643.61/1631.33	c cleaning 490 clauses out of 1017 for limit 31.100022150135583
1647.22/1634.97	c cleaning 508 clauses out of 1027 for limit 50.78869976758378
1650.54/1638.28	c cleaning 504 clauses out of 1023 for limit 84.4220392799318
1654.15/1641.84	c cleaning 499 clauses out of 1020 for limit 139.77248914761887
1656.47/1644.15	c cleaning 506 clauses out of 1027 for limit 230.31084313344894
1659.18/1646.86	c cleaning 496 clauses out of 1010 for limit 381.97919798235927
1661.89/1649.53	c cleaning 499 clauses out of 1016 for limit 627.4690209204136
1665.10/1652.79	c cleaning 496 clauses out of 1016 for limit 1033.7455764448073
1669.32/1656.91	c cleaning 499 clauses out of 1019 for limit 1698.0659884436664
1671.44/1659.05	c cleaning 501 clauses out of 1020 for limit 2797.5925487570858
1673.64/1661.24	c cleaning 502 clauses out of 1021 for limit 4618.31767373757
1675.65/1663.26	c cleaning 501 clauses out of 1017 for limit 7630.894607676019
1677.47/1665.02	c cleaning 506 clauses out of 1022 for limit 12598.199176133498
1680.59/1668.18	c cleaning 491 clauses out of 1013 for limit 20897.881987405697
1683.70/1671.28	c cleaning 504 clauses out of 1020 for limit 34158.46996327442
1687.61/1675.18	c cleaning 500 clauses out of 1016 for limit 56553.665688930196
1691.83/1679.34	c cleaning 500 clauses out of 1015 for limit 93263.0901548262
1695.94/1683.45	c cleaning 496 clauses out of 1016 for limit 153805.73670222348
1700.57/1688.06	c cleaning 493 clauses out of 1019 for limit 252646.5856519311
1703.38/1690.82	c cleaning 508 clauses out of 1030 for limit 413851.3029251866
1706.39/1693.85	c cleaning 497 clauses out of 1019 for limit 687796.1162954943
1709.31/1696.72	c cleaning 507 clauses out of 1029 for limit 1131139.0557471393
1713.62/1701.00	c cleaning 500 clauses out of 1017 for limit 1877992.0430776959
1717.23/1704.64	c cleaning 496 clauses out of 1016 for limit 3097008.2914281893
1720.25/1707.70	c cleaning 509 clauses out of 1018 for limit 5087157.239283435
1723.36/1710.76	c cleaning 506 clauses out of 1012 for limit 8464510.524305992
1726.78/1714.11	c cleaning 496 clauses out of 1005 for limit 1.4042281512038888E7
1729.69/1717.07	c cleaning 489 clauses out of 1008 for limit 2.306559064601706E7
1732.70/1720.01	c cleaning 511 clauses out of 1022 for limit 3.76299497876254E7
1735.93/1723.26	c cleaning 504 clauses out of 1009 for limit 6.273071416376518E7
1738.44/1725.71	c cleaning 502 clauses out of 1005 for limit 1.038630862462078E8
1741.55/1728.84	c cleaning 501 clauses out of 1003 for limit 1.716256673917913E8
1744.56/1731.87	c cleaning 489 clauses out of 1000 for limit 2.833153045659572E8
1746.27/1733.53	c cleaning 497 clauses out of 1011 for limit 4.621412843448347E8
1749.59/1736.87	c cleaning 496 clauses out of 1018 for limit 7.599273561035578E8
1752.40/1739.67	c cleaning 508 clauses out of 1031 for limit 1.2486125171498709E9
1754.31/1741.53	c cleaning 506 clauses out of 1013 for limit 2.0748546266183493E9
1756.62/1743.89	c cleaning 503 clauses out of 1006 for limit 3.442076461524077E9
1760.35/1747.50	c cleaning 500 clauses out of 1001 for limit 5.693394534669103E9
1764.07/1751.25	c cleaning 493 clauses out of 1003 for limit 9.389216107405592E9
1767.39/1754.59	c cleaning 504 clauses out of 1008 for limit 1.5376468380440277E10
1770.40/1757.56	c cleaning 503 clauses out of 1006 for limit 2.545915947368068E10
1773.21/1760.34	c cleaning 500 clauses out of 1002 for limit 4.211101369595713E10
1776.33/1763.42	c cleaning 492 clauses out of 1001 for limit 6.944655634062256E10
1779.15/1766.27	c cleaning 493 clauses out of 1011 for limit 1.1362098439288734E11
1782.16/1769.23	c cleaning 509 clauses out of 1019 for limit 1.8609123494692432E11
1785.08/1772.11	c cleaning 503 clauses out of 1007 for limit 3.0961570594173395E11
1788.09/1775.16	c cleaning 502 clauses out of 1004 for limit 5.12123409140693E11
1790.70/1777.75	c cleaning 495 clauses out of 1004 for limit 8.462516694041133E11
1793.21/1780.25	c cleaning 507 clauses out of 1014 for limit 1.3887489452988499E12
1796.13/1783.10	c cleaning 478 clauses out of 1000 for limit 2.3060886680722095E12
1799.26/1786.20	c cleaning 507 clauses out of 1024 for limit 3.7213537485199927E12
1800.06/1787.01	c starts		: 18
1800.06/1787.01	c conflicts		: 266158
1800.06/1787.01	c decisions		: 568414
1800.06/1787.01	c propagations		: 82190664
1800.06/1787.01	c inspects		: 299721023
1800.06/1787.01	c learnt literals	: 0
1800.06/1787.01	c learnt binary clauses	: 0
1800.06/1787.01	c learnt ternary clauses	: 0
1800.06/1787.01	c learnt clauses	: 266158
1800.06/1787.01	c root simplifications	: 0
1800.06/1787.01	c removed literals (reason simplification)	: 0
1800.06/1787.01	c reason swapping (by a shorter reason)	: 0
1800.06/1787.01	c Calls to reduceDB	: 139
1800.06/1787.01	c speed (decisions/second)	: 319.1131970604582
1800.06/1787.01	c non guided choices	27445
1800.06/1787.01	s UNKNOWN
1800.06/1787.01	c Total wall clock time (ms): 1786.827

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/node10/watcher-362361-1177011254 -o ROOT/results/node10/solver-362361-1177011254 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362361-1177011254/sat4jPseudoResolution.jar /tmp/evaluation/362361-1177011254/instance-362361-1177011254.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 32140
/proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=324 CPUtime=0
/proc/32140/stat : 32140 (java) R 32138 32140 31099 0 -1 0 60 0 0 0 0 0 0 0 19 0 1 0 177162925 331776 44 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8905508 0 0 4096 0 0 0 0 17 1 0 0
/proc/32140/statm: 81 44 33 9 0 6 0

[startup+0.070654 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 32140
/proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1777708 CPUtime=0.05
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 3702 0 1 0 4 1 0 0 18 0 7 0 177162925 1820372992 3445 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 444427 3445 1081 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.102661 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 32140
/proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1780108 CPUtime=0.08
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 177162925 1822830592 3721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 445027 3721 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.302703 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 32140
/proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1782148 CPUtime=0.36
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 6453 0 1 0 33 3 0 0 18 0 12 0 177162925 1824919552 6192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 445537 6192 1269 9 0 443149 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1782148

[startup+0.702785 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 32140
/proc/meminfo: memFree=1771728/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1784104 CPUtime=0.95
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 11335 0 1 0 89 6 0 0 18 0 12 0 177162925 1826922496 10540 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 446026 10541 1296 9 0 443638 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 1784104

[startup+1.50196 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 32152
/proc/meminfo: memFree=1705776/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1784104 CPUtime=1.89
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 24969 0 1 0 177 12 0 0 18 0 12 0 177162925 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 446026 24174 1302 9 0 443638 0
[pid=32140/tid=32142] ppid=32138 vsize=1784104 CPUtime=1.27
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 22779 0 1 0 116 11 0 0 25 0 12 0 177162926 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 177162928 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 177162928 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 177162930 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 177162931 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 177162931 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1784104 CPUtime=0.31
/proc/32140/task/32149/stat : 32149 (java) R 32138 32140 31099 0 -1 64 960 0 0 0 31 0 0 0 16 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102497606 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1784104 CPUtime=0.29
/proc/32140/task/32150/stat : 32150 (java) R 32138 32140 31099 0 -1 64 510 0 0 0 29 0 0 0 16 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104792130 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1784104 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 177162935 1826922496 24174 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 1784104

[startup+3.10131 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 32152
/proc/meminfo: memFree=1623280/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1785392 CPUtime=3.9
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 48912 0 1 0 369 21 0 0 18 0 12 0 177162925 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 446348 47352 1313 9 0 443960 0
[pid=32140/tid=32142] ppid=32138 vsize=1785392 CPUtime=2.52
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37730 0 1 0 237 15 0 0 23 0 12 0 177162926 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109658114 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1785392 CPUtime=0.18
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 3678 0 0 0 17 1 0 0 16 0 12 0 177162928 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1785392 CPUtime=0.18
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 5110 0 0 0 16 2 0 0 16 0 12 0 177162928 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1785392 CPUtime=0
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 177162930 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1785392 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 177162931 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1785392 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 177162931 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1785392 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1785392 CPUtime=0.5
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1005 0 0 0 50 0 0 0 17 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1785392 CPUtime=0.46
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 664 0 0 0 46 0 0 0 16 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1785392 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1785392 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 177162935 1828241408 47352 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 1785392

[startup+6.302 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 32152
/proc/meminfo: memFree=1521136/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1788240 CPUtime=8.36
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 73025 0 1 0 802 34 0 0 18 0 13 0 177162925 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447060 67166 1334 9 0 444672 0
[pid=32140/tid=32142] ppid=32138 vsize=1788240 CPUtime=4.78
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37775 0 1 0 463 15 0 0 18 0 13 0 177162926 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109929553 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788240 CPUtime=0.89
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 16739 0 0 0 81 8 0 0 18 0 13 0 177162928 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788240 CPUtime=0.89
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 14524 0 0 0 82 7 0 0 16 0 13 0 177162928 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788240 CPUtime=0
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 177162930 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788240 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788240 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1788240 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1788240 CPUtime=0.89
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1561 0 0 0 89 0 0 0 16 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1788240 CPUtime=0.84
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 1697 0 0 0 84 0 0 0 16 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1788240 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1788240 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1831157760 67166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.36
Current children cumulated vsize (KiB) 1788240

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 32153
/proc/meminfo: memFree=1501608/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1788016 CPUtime=15
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 75061 0 1 0 1464 36 0 0 18 0 13 0 177162925 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447004 68563 1334 9 0 444616 0
[pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=10.99
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37780 0 1 0 1084 15 0 0 25 0 13 0 177162926 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845271 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=1.05
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 17676 0 0 0 96 9 0 0 16 0 13 0 177162928 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=1.06
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 15417 0 0 0 98 8 0 0 16 0 13 0 177162928 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 177162930 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=0.94
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1565 0 0 0 94 0 0 0 17 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=0.89
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 1894 0 0 0 89 0 0 0 16 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 68563 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15
Current children cumulated vsize (KiB) 1788016

[startup+25.5021 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 32153
/proc/meminfo: memFree=1487016/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1788016 CPUtime=28.21
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 79755 0 1 0 2782 39 0 0 18 0 13 0 177162925 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447004 72264 1334 9 0 444616 0
[pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=23.47
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 37785 0 1 0 2331 16 0 0 25 0 13 0 177162926 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109738944 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=1.36
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 20328 0 0 0 126 10 0 0 16 0 13 0 177162928 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=1.37
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 17149 0 0 0 128 9 0 0 16 0 13 0 177162928 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 177162930 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 72264 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

################
# More data... #
################

[pid=32140] ppid=32138 vsize=1788016 CPUtime=1614.52
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 526360 0 3 0 161131 321 0 0 18 0 13 0 177162925 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447004 78310 1336 9 0 444616 0
[pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1588.25
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43434 0 1 0 158792 33 0 0 25 0 13 0 177162926 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109844859 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=11.54
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236711 0 0 0 1027 127 0 0 16 0 13 0 177162928 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=11.56
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236119 0 0 0 1032 124 0 0 16 0 13 0 177162928 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0.94
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 5576 0 2 0 62 32 0 0 16 0 13 0 177162930 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.13
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1575 0 0 0 112 1 0 0 17 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 78310 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1614.52
Current children cumulated vsize (KiB) 1788016

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 32351
/proc/meminfo: memFree=1464736/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1788016 CPUtime=1674.74
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 526458 0 3 0 167151 323 0 0 18 0 13 0 177162925 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447004 76838 1336 9 0 444616 0
[pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1647.77
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43509 0 1 0 164742 35 0 0 25 0 13 0 177162926 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109991564 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=11.88
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236722 0 0 0 1061 127 0 0 16 0 13 0 177162928 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=11.9
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236123 0 0 0 1066 124 0 0 16 0 13 0 177162928 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=0.97
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 5581 0 2 0 64 33 0 0 15 0 13 0 177162930 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 76838 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1674.74
Current children cumulated vsize (KiB) 1788016

[startup+1722.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/90 32351
/proc/meminfo: memFree=1490728/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1788016 CPUtime=1735.02
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 532363 0 3 0 173172 330 0 0 18 0 13 0 177162925 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447004 70284 1336 9 0 444616 0
[pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1706.83
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43602 0 1 0 170647 36 0 0 25 0 13 0 177162926 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109844791 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=12.22
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236878 0 0 0 1094 128 0 0 15 0 13 0 177162928 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=12.23
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236379 0 0 0 1098 125 0 0 16 0 13 0 177162928 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=1.51
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 10981 0 2 0 114 37 0 0 16 0 13 0 177162930 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 70284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1735.02
Current children cumulated vsize (KiB) 1788016

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 32351
/proc/meminfo: memFree=1491432/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1788016 CPUtime=1795.33
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 532561 0 3 0 179201 332 0 0 18 0 13 0 177162925 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447004 70092 1336 9 0 444616 0
[pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1766.37
/proc/32140/task/32142/stat : 32142 (java) S 32138 32140 31099 0 -1 64 43702 0 1 0 176601 36 0 0 25 0 13 0 177162926 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=12.59
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236938 0 0 0 1131 128 0 0 16 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=12.6
/proc/32140/task/32144/stat : 32144 (java) R 32138 32140 31099 0 -1 64 236415 0 0 0 1134 126 0 0 15 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=1.53
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 10983 0 2 0 116 37 0 0 15 0 13 0 177162930 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (KiB) 1788016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 32351
/proc/meminfo: memFree=1491496/2055920 swapFree=4152380/4192956
[pid=32140] ppid=32138 vsize=1788016 CPUtime=1800.06
/proc/32140/stat : 32140 (java) S 32138 32140 31099 0 -1 0 532569 0 3 0 179673 333 0 0 18 0 13 0 177162925 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32140/statm: 447004 70092 1336 9 0 444616 0
[pid=32140/tid=32142] ppid=32138 vsize=1788016 CPUtime=1771.04
/proc/32140/task/32142/stat : 32142 (java) R 32138 32140 31099 0 -1 64 43710 0 1 0 177068 36 0 0 25 0 13 0 177162926 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109990763 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32143] ppid=32138 vsize=1788016 CPUtime=12.61
/proc/32140/task/32143/stat : 32143 (java) S 32138 32140 31099 0 -1 64 236938 0 0 0 1133 128 0 0 16 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32144] ppid=32138 vsize=1788016 CPUtime=12.63
/proc/32140/task/32144/stat : 32144 (java) S 32138 32140 31099 0 -1 64 236415 0 0 0 1137 126 0 0 15 0 13 0 177162928 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32145] ppid=32138 vsize=1788016 CPUtime=1.53
/proc/32140/task/32145/stat : 32145 (java) S 32138 32140 31099 0 -1 64 10983 0 2 0 116 37 0 0 15 0 13 0 177162930 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32146] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32146/stat : 32146 (java) S 32138 32140 31099 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32147] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32147/stat : 32147 (java) S 32138 32140 31099 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177162931 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32148] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32148/stat : 32148 (java) S 32138 32140 31099 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32140/tid=32149] ppid=32138 vsize=1788016 CPUtime=1.15
/proc/32140/task/32149/stat : 32149 (java) S 32138 32140 31099 0 -1 64 1578 0 0 0 114 1 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32150] ppid=32138 vsize=1788016 CPUtime=1.03
/proc/32140/task/32150/stat : 32150 (java) S 32138 32140 31099 0 -1 64 2223 0 0 0 103 0 0 0 17 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32151] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32151/stat : 32151 (java) S 32138 32140 31099 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32152] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32152/stat : 32152 (java) S 32138 32140 31099 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177162935 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32140/tid=32153] ppid=32138 vsize=1788016 CPUtime=0
/proc/32140/task/32153/stat : 32153 (java) S 32138 32140 31099 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 177163517 1830928384 70092 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1788016

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1787.1
CPU time (s): 1800.17
CPU user time (s): 1796.79
CPU system time (s): 3.37449
CPU usage (%): 100.731
Max. virtual memory (cumulated for all children) (KiB): 1800268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.79
system time used= 3.37449
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532590
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46577
involuntary context switches= 60259

runsolver used 1.73673 second user time and 4.88226 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Thu Apr 19 19:34:14 UTC 2007

IDJOB= 362361
IDBENCH= 1554
IDSOLVER= 159
FILE ID= node10/362361-1177011254

PBS_JOBID= 4630491

Free space on /tmp= 66261 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362361-1177011254/sat4jPseudoResolution.jar /tmp/evaluation/362361-1177011254/instance-362361-1177011254.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-362361-1177011254 -o ROOT/results/node10/solver-362361-1177011254 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362361-1177011254/sat4jPseudoResolution.jar /tmp/evaluation/362361-1177011254/instance-362361-1177011254.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  c00448b3bb1fb54d1d5ecdb2bc9f967d

RANDOM SEED= 645924121

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1772072 kB
Buffers:         24100 kB
Cached:         183788 kB
SwapCached:       8556 kB
Active:          64356 kB
Inactive:       166936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1772072 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:           10232 kB
Writeback:           0 kB
Mapped:          30676 kB
Slab:            38164 kB
Committed_AS:  3572944 kB
PageTables:       1708 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66261 MiB

End job on node10 on Thu Apr 19 20:04:03 UTC 2007