Trace number 362263

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.19 1785.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-n3702.opb
MD5SUM923982c51ba218a8e62dc99222f9f8f7
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 benchmark9.1806
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 654991
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 654991
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.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.19/0.20	--- Begin Solver configuration ---
0.19/0.20	c Stops conflict analysis at the first Unique Implication Point
0.19/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.19/0.20	c Learn all clauses as in MiniSAT
0.19/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.19/0.20	c No reason simplification
0.19/0.20	c --- End Solver configuration ---
0.19/0.20	c solving /tmp/evaluation/362263-1177009417/instance-362263-1177009417.opb
0.19/0.20	c reading problem ... 
6.61/5.26	c ... done. Wall clock time 5.052s.
6.61/5.26	c CPU time (experimental) 4.0s.
6.61/5.26	c #vars     155000
6.61/5.26	c #constraints  5300
1422.28/1410.01	c cleaning 119992 clauses out of 240008 for limit 0.08055196524989676
1426.75/1414.45	c cleaning 60249 clauses out of 120508 for limit 0.26246160028121046
1430.06/1417.71	c cleaning 30370 clauses out of 60763 for limit 0.8618593105167475
1437.12/1424.78	c cleaning 15688 clauses out of 31393 for limit 4.536851240456211
1441.05/1428.68	c cleaning 8084 clauses out of 16205 for limit 14.494198709686593
1445.49/1433.06	c cleaning 4301 clauses out of 8618 for limit 44.81146149191493
1449.61/1437.12	c cleaning 2400 clauses out of 4816 for limit 132.10841896037357
1453.36/1440.80	c cleaning 1449 clauses out of 2927 for limit 362.4346970424659
1457.20/1444.61	c cleaning 975 clauses out of 1972 for limit 881.8493428279565
1460.05/1447.49	c cleaning 724 clauses out of 1494 for limit 1913.8286884828508
1463.17/1450.58	c cleaning 619 clauses out of 1269 for limit 3712.0465268252315
1468.73/1456.09	c cleaning 820 clauses out of 1658 for limit 7788.940300233387
1471.65/1458.99	c cleaning 654 clauses out of 1333 for limit 15897.033157119778
1474.68/1461.94	c cleaning 569 clauses out of 1175 for limit 29622.80657291725
1478.19/1465.45	c cleaning 534 clauses out of 1106 for limit 51899.6978441354
1482.21/1469.40	c cleaning 523 clauses out of 1072 for limit 88304.13853278873
1485.53/1472.73	c cleaning 512 clauses out of 1061 for limit 148912.2713001644
1489.26/1476.47	c cleaning 508 clauses out of 1044 for limit 248329.72132842714
1492.19/1479.32	c cleaning 498 clauses out of 1029 for limit 412598.9606815409
1494.51/1481.66	c cleaning 501 clauses out of 1033 for limit 679153.7350565621
1497.83/1484.96	c cleaning 482 clauses out of 1030 for limit 1121032.113530129
1500.66/1487.73	c cleaning 511 clauses out of 1048 for limit 1816978.8949717607
1503.67/1490.78	c cleaning 496 clauses out of 1037 for limit 3028226.084670496
1506.70/1493.77	c cleaning 505 clauses out of 1041 for limit 4974760.873766159
1509.72/1496.75	c cleaning 503 clauses out of 1036 for limit 8243641.009974709
1512.66/1499.67	c cleaning 516 clauses out of 1033 for limit 1.3634348544291303E7
1515.18/1502.16	c cleaning 493 clauses out of 1017 for limit 2.283860890443874E7
1519.21/1506.10	c cleaning 498 clauses out of 1026 for limit 3.740831532494762E7
1524.96/1511.83	c cleaning 519 clauses out of 1039 for limit 6.159358464189081E7
1530.30/1517.10	c cleaning 505 clauses out of 1010 for limit 1.0345236491683723E8
1534.34/1521.11	c cleaning 501 clauses out of 1003 for limit 1.7145404172440064E8
1538.78/1525.59	c cleaning 485 clauses out of 1009 for limit 2.8304465851834196E8
1542.52/1529.30	c cleaning 511 clauses out of 1022 for limit 4.599197900671768E8
1545.35/1532.08	c cleaning 485 clauses out of 1005 for limit 7.666828486189196E8
1547.47/1534.15	c cleaning 492 clauses out of 1020 for limit 1.245769014981342E9
1550.70/1537.32	c cleaning 501 clauses out of 1028 for limit 2.038451903633749E9
1555.24/1541.86	c cleaning 501 clauses out of 1035 for limit 3.365776043934621E9
1558.56/1545.13	c cleaning 512 clauses out of 1026 for limit 5.554666597664538E9
1561.28/1547.88	c cleaning 485 clauses out of 1014 for limit 9.268795271795057E9
1564.30/1550.84	c cleaning 510 clauses out of 1034 for limit 1.5065000545350098E10
1567.34/1553.90	c cleaning 509 clauses out of 1019 for limit 2.5084117972106342E10
1571.19/1557.65	c cleaning 493 clauses out of 1014 for limit 4.173774657250488E10
1575.10/1561.58	c cleaning 497 clauses out of 1025 for limit 6.836550425478978E10
1578.95/1565.31	c cleaning 517 clauses out of 1034 for limit 1.1243546121637366E11
1583.27/1569.67	c cleaning 507 clauses out of 1014 for limit 1.885116701647249E11
1585.98/1572.36	c cleaning 497 clauses out of 996 for limit 3.1303515650936597E11
1590.12/1576.44	c cleaning 470 clauses out of 1001 for limit 5.1468710405373047E11
1594.17/1580.47	c cleaning 487 clauses out of 1029 for limit 8.240410615804161E11
1597.89/1584.14	c cleaning 522 clauses out of 1044 for limit 1.3421116295208892E12
1602.73/1588.92	c cleaning 496 clauses out of 1024 for limit 2.26107043929083E12
1606.87/1593.06	c cleaning 492 clauses out of 1027 for limit 3.7141973896822817E12
1611.42/1597.57	c cleaning 516 clauses out of 1032 for limit 6.077263659447888E12
1615.57/1601.67	c cleaning 489 clauses out of 1016 for limit 1.0180051024661105E13
1620.40/1606.42	c cleaning 494 clauses out of 1029 for limit 1.6609371481081426E13
1624.64/1610.65	c cleaning 501 clauses out of 1033 for limit 2.723046861251542E13
1628.79/1614.72	c cleaning 486 clauses out of 1033 for limit 4.4951637206162336E13
1632.01/1617.97	c cleaning 510 clauses out of 1046 for limit 7.313672788577967E13
1634.73/1620.65	c cleaning 505 clauses out of 1041 for limit 1.2179933780323048E14
1637.05/1622.92	c cleaning 494 clauses out of 1031 for limit 2.017996085705991E14
1639.57/1625.49	c cleaning 505 clauses out of 1038 for limit 3.308811527099535E14
1642.49/1628.30	c cleaning 502 clauses out of 1035 for limit 5.483450714103876E14
1645.91/1631.73	c cleaning 502 clauses out of 1030 for limit 9.059608302570795E14
1649.84/1635.70	c cleaning 513 clauses out of 1033 for limit 1.4971825965436084E-5
1654.38/1640.14	c cleaning 478 clauses out of 1015 for limit 2.500301477855483E-5
1658.91/1644.65	c cleaning 502 clauses out of 1037 for limit 4.03585496205516E-5
1663.36/1649.05	c cleaning 512 clauses out of 1036 for limit 6.668757884144742E-5
1667.98/1653.70	c cleaning 507 clauses out of 1023 for limit 1.1126291838723015E-4
1672.60/1658.29	c cleaning 507 clauses out of 1021 for limit 1.847688622857726E-4
1677.24/1662.80	c cleaning 504 clauses out of 1014 for limit 3.068120826964176E-4
1680.68/1666.23	c cleaning 497 clauses out of 1009 for limit 5.079729925773202E-4
1683.80/1669.38	c cleaning 481 clauses out of 1008 for limit 8.351973290336168E-4
1687.35/1672.88	c cleaning 494 clauses out of 1027 for limit 0.0013518704413694037
1690.57/1676.08	c cleaning 500 clauses out of 1033 for limit 0.002216466039129847
1693.82/1679.24	c cleaning 491 clauses out of 1033 for limit 0.003655249012046992
1697.43/1682.85	c cleaning 501 clauses out of 1043 for limit 0.005976176016384391
1699.23/1684.60	c cleaning 505 clauses out of 1042 for limit 0.00986497199607715
1701.06/1686.46	c cleaning 506 clauses out of 1036 for limit 0.016346515685429244
1703.78/1689.10	c cleaning 499 clauses out of 1030 for limit 0.027114625674647057
1706.70/1692.01	c cleaning 496 clauses out of 1031 for limit 0.04467227392748474
1709.52/1694.89	c cleaning 501 clauses out of 1035 for limit 0.07338583873222837
1713.07/1698.36	c cleaning 505 clauses out of 1036 for limit 0.12114842351918048
1716.99/1702.30	c cleaning 494 clauses out of 1030 for limit 0.2007528285411008
1720.81/1706.06	c cleaning 510 clauses out of 1042 for limit 0.32922600832010507
1724.66/1709.88	c cleaning 486 clauses out of 1026 for limit 0.5481044284579543
1729.27/1714.47	c cleaning 496 clauses out of 1039 for limit 0.8916953450007105
1746.24/1731.37	c cleaning 1252 clauses out of 2543 for limit 2.694692631929773
1753.56/1738.65	c cleaning 1137 clauses out of 2302 for limit 8.185433400633983
1758.07/1743.17	c cleaning 802 clauses out of 1654 for limit 18.581798695212594
1762.17/1747.25	c cleaning 659 clauses out of 1355 for limit 37.518319995677984
1765.48/1750.59	c cleaning 583 clauses out of 1195 for limit 70.0867865729859
1769.80/1754.81	c cleaning 543 clauses out of 1119 for limit 124.30008812516098
1772.91/1757.95	c cleaning 520 clauses out of 1073 for limit 213.13469547337317
1777.02/1762.04	c cleaning 508 clauses out of 1048 for limit 358.0765827551206
1780.93/1765.97	c cleaning 509 clauses out of 1042 for limit 595.1060898142397
1785.14/1770.20	c cleaning 503 clauses out of 1034 for limit 989.9926572983917
1787.65/1772.67	c cleaning 504 clauses out of 1031 for limit 1637.3809524522283
1789.85/1774.85	c cleaning 503 clauses out of 1028 for limit 2710.851223596298
1793.17/1778.20	c cleaning 461 clauses out of 1020 for limit 4483.136419346605
1796.08/1781.00	c cleaning 479 clauses out of 1059 for limit 7121.017500224894
1798.88/1783.84	c cleaning 493 clauses out of 1080 for limit 11515.164453232514
1800.08/1785.01	c starts		: 18
1800.08/1785.01	c conflicts		: 292720
1800.08/1785.01	c decisions		: 646803
1800.08/1785.01	c propagations		: 88494923
1800.08/1785.01	c inspects		: 340509975
1800.08/1785.01	c learnt literals	: 0
1800.08/1785.01	c learnt binary clauses	: 0
1800.08/1785.01	c learnt ternary clauses	: 0
1800.08/1785.01	c learnt clauses	: 292719
1800.08/1785.01	c root simplifications	: 0
1800.08/1785.01	c removed literals (reason simplification)	: 0
1800.08/1785.01	c reason swapping (by a shorter reason)	: 0
1800.08/1785.01	c Calls to reduceDB	: 100
1800.08/1785.01	c speed (decisions/second)	: 363.5658971374096
1800.08/1785.01	c non guided choices	38559
1800.08/1785.01	s UNKNOWN
1800.08/1785.01	c Total wall clock time (ms): 1784.808

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/node57/watcher-362263-1177009417 -o ROOT/results/node57/solver-362263-1177009417 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362263-1177009417/sat4jPseudoResolution.jar /tmp/evaluation/362263-1177009417/instance-362263-1177009417.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: 1.00 1.00 1.00 3/64 21811
/proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1800 CPUtime=0
/proc/21811/stat : 21811 (java) D 21809 21811 20811 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 142077661 1843200 138 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/21811/statm: 450 138 101 9 0 92 0

[startup+0.0605321 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21811
/proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1777708 CPUtime=0.03
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 3551 0 1 0 2 1 0 0 18 0 7 0 142077661 1820372992 3296 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 444427 3296 1053 9 0 442063 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1777708

[startup+0.101535 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21811
/proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1780108 CPUtime=0.08
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 3937 0 1 0 6 2 0 0 18 0 12 0 142077661 1822830592 3679 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 445027 3679 1119 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.301561 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21811
/proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1782416 CPUtime=0.32
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 6431 0 1 0 29 3 0 0 18 0 12 0 142077661 1825193984 6170 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 445604 6170 1267 9 0 443216 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782416

[startup+0.7016 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21811
/proc/meminfo: memFree=1543320/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1783764 CPUtime=0.9
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 10768 0 1 0 85 5 0 0 18 0 12 0 142077661 1826574336 10005 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 445941 10005 1296 9 0 443553 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 1783764

[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 21823
/proc/meminfo: memFree=1479288/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1783764 CPUtime=1.82
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 24868 0 1 0 171 11 0 0 18 0 12 0 142077661 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 445941 24059 1302 9 0 443553 0
[pid=21811/tid=21813] ppid=21809 vsize=1783764 CPUtime=1.23
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 22676 0 1 0 113 10 0 0 25 0 12 0 142077663 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 142077664 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 142077664 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 142077666 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 9 0 0 0 0 0 0 0 23 0 12 0 142077667 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 142077667 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1783764 CPUtime=0.24
/proc/21811/task/21820/stat : 21820 (java) R 21809 21811 20811 0 -1 64 517 0 0 0 24 0 0 0 16 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105057889 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1783764 CPUtime=0.33
/proc/21811/task/21821/stat : 21821 (java) R 21809 21811 20811 0 -1 64 956 0 0 0 33 0 0 0 16 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102111424 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1783764 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 142077671 1826574336 24059 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 1783764

[startup+3.1028 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 21823
/proc/meminfo: memFree=1393016/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1785052 CPUtime=3.86
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 48932 0 1 0 365 21 0 0 18 0 12 0 142077661 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446263 47334 1313 9 0 443875 0
[pid=21811/tid=21813] ppid=21809 vsize=1785052 CPUtime=2.47
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37669 0 1 0 231 16 0 0 22 0 12 0 142077663 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109552022 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1785052 CPUtime=0.21
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 3602 0 0 0 20 1 0 0 16 0 12 0 142077664 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1785052 CPUtime=0.21
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 5101 0 0 0 19 2 0 0 16 0 12 0 142077664 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1785052 CPUtime=0
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 142077666 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1785052 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 142077667 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1785052 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 142077667 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1785052 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1785052 CPUtime=0.45
/proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 755 0 0 0 45 0 0 0 16 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1785052 CPUtime=0.48
/proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 1081 0 0 0 48 0 0 0 16 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1785052 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1785052 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 142077671 1827893248 47334 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 1785052

[startup+6.30208 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 21823
/proc/meminfo: memFree=1293816/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1788736 CPUtime=8.38
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 73371 0 1 0 806 32 0 0 18 0 13 0 142077661 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 447184 67280 1334 9 0 444796 0
[pid=21811/tid=21813] ppid=21809 vsize=1788736 CPUtime=4.61
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37713 0 1 0 444 17 0 0 18 0 13 0 142077663 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1788736 CPUtime=1.09
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 15695 0 0 0 104 5 0 0 16 0 13 0 142077664 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1788736 CPUtime=1.08
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 16168 0 0 0 101 7 0 0 16 0 13 0 142077664 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1788736 CPUtime=0
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 142077666 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1788736 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1788736 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1788736 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1788736 CPUtime=0.72
/proc/21811/task/21820/stat : 21820 (java) R 21809 21811 20811 0 -1 64 1744 0 0 0 72 0 0 0 16 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 104916175 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1788736 CPUtime=0.82
/proc/21811/task/21821/stat : 21821 (java) R 21809 21811 20811 0 -1 64 1322 0 0 0 82 0 0 0 16 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105421640 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1788736 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1788736 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1831665664 67280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 1788736

[startup+12.7026 s]
/proc/loadavg: 1.07 1.02 1.00 2/77 21824
/proc/meminfo: memFree=1272432/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1787824 CPUtime=15.29
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 76528 0 1 0 1495 34 0 0 18 0 13 0 142077661 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446956 68766 1334 9 0 444568 0
[pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=10.74
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37719 0 1 0 1057 17 0 0 25 0 13 0 142077663 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845167 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=1.27
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 16805 0 0 0 122 5 0 0 16 0 13 0 142077664 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=1.27
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 16958 0 0 0 120 7 0 0 16 0 13 0 142077664 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 142077666 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=0.89
/proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2347 0 0 0 89 0 0 0 17 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.04
/proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 1970 0 0 0 104 0 0 0 16 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 68766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.29
Current children cumulated vsize (KiB) 1787824

[startup+25.5028 s]
/proc/loadavg: 1.06 1.02 1.00 2/77 21824
/proc/meminfo: memFree=1257456/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1787824 CPUtime=28.51
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 80777 0 1 0 2815 36 0 0 18 0 13 0 142077661 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446956 72521 1334 9 0 444568 0
[pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=23.13
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 37723 0 1 0 2295 18 0 0 25 0 13 0 142077663 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873854 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=1.67
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 19445 0 0 0 160 7 0 0 16 0 13 0 142077664 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=1.66
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 18558 0 0 0 158 8 0 0 18 0 13 0 142077664 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 142077666 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 72521 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=21811] ppid=21809 vsize=1787824 CPUtime=1616.26
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 546594 0 1 0 161349 277 0 0 18 0 13 0 142077661 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446956 373947 1334 9 0 444568 0
[pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1587.2
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 50203 0 1 0 158693 27 0 0 25 0 13 0 142077663 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873595 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=13.25
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 238531 0 0 0 1207 118 0 0 16 0 13 0 142077664 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=13.3
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 252537 0 0 0 1214 116 0 0 17 0 13 0 142077664 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.23
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 159 0 0 0 11 12 0 0 16 0 13 0 142077666 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1
/proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.23
/proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2090 0 0 0 123 0 0 0 16 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 373947 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1616.26
Current children cumulated vsize (KiB) 1787824

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21826
/proc/meminfo: memFree=24944/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1787824 CPUtime=1676.74
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 556477 0 1 0 167392 282 0 0 18 0 13 0 142077661 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446956 379881 1334 9 0 444568 0
[pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1646.59
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 53095 0 1 0 164631 28 0 0 25 0 13 0 142077663 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873353 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=13.78
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 241532 0 0 0 1259 119 0 0 16 0 13 0 142077664 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=13.83
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 256517 0 0 0 1265 118 0 0 16 0 13 0 142077664 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.23
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 169 0 0 0 11 12 0 0 16 0 13 0 142077666 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1
/proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.23
/proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2090 0 0 0 123 0 0 0 16 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 379881 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1676.74
Current children cumulated vsize (KiB) 1787824

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21826
/proc/meminfo: memFree=1210480/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1787824 CPUtime=1737.22
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 573811 0 1 0 173414 308 0 0 18 0 13 0 142077661 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446956 90732 1336 9 0 444568 0
[pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1705.37
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 55834 0 1 0 170507 30 0 0 25 0 13 0 142077663 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109845747 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=14.28
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 246091 0 0 0 1306 122 0 0 16 0 13 0 142077664 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=14.33
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 263325 0 0 0 1312 121 0 0 16 0 13 0 142077664 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.92
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 3394 0 0 0 61 31 0 0 16 0 13 0 142077666 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1
/proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.25
/proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2093 0 0 0 125 0 0 0 17 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 90732 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1737.22
Current children cumulated vsize (KiB) 1787824

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21826
/proc/meminfo: memFree=1231920/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1787824 CPUtime=1797.37
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 573838 0 1 0 179428 309 0 0 18 0 13 0 142077661 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446956 85345 1336 9 0 444568 0
[pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1765.09
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 55861 0 1 0 176479 30 0 0 25 0 13 0 142077663 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109846532 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=14.48
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 246091 0 0 0 1326 122 0 0 16 0 13 0 142077664 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=14.53
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 263325 0 0 0 1332 121 0 0 16 0 13 0 142077664 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.94
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 3394 0 0 0 62 32 0 0 16 0 13 0 142077666 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1
/proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.25
/proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2093 0 0 0 125 0 0 0 17 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 85345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.37
Current children cumulated vsize (KiB) 1787824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 21826
/proc/meminfo: memFree=1232944/2055920 swapFree=4183112/4192956
[pid=21811] ppid=21809 vsize=1787824 CPUtime=1800.08
/proc/21811/stat : 21811 (java) S 21809 21811 20811 0 -1 0 573840 0 1 0 179699 309 0 0 18 0 13 0 142077661 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21811/statm: 446956 85089 1336 9 0 444568 0
[pid=21811/tid=21813] ppid=21809 vsize=1787824 CPUtime=1767.78
/proc/21811/task/21813/stat : 21813 (java) R 21809 21811 20811 0 -1 64 55863 0 1 0 176748 30 0 0 25 0 13 0 142077663 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109873299 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21814] ppid=21809 vsize=1787824 CPUtime=14.5
/proc/21811/task/21814/stat : 21814 (java) S 21809 21811 20811 0 -1 64 246091 0 0 0 1328 122 0 0 16 0 13 0 142077664 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21815] ppid=21809 vsize=1787824 CPUtime=14.55
/proc/21811/task/21815/stat : 21815 (java) S 21809 21811 20811 0 -1 64 263325 0 0 0 1334 121 0 0 16 0 13 0 142077664 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21816] ppid=21809 vsize=1787824 CPUtime=0.94
/proc/21811/task/21816/stat : 21816 (java) S 21809 21811 20811 0 -1 64 3394 0 0 0 62 32 0 0 16 0 13 0 142077666 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21817] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21817/stat : 21817 (java) S 21809 21811 20811 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21818] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21818/stat : 21818 (java) S 21809 21811 20811 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 142077667 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21819] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21819/stat : 21819 (java) S 21809 21811 20811 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21820] ppid=21809 vsize=1787824 CPUtime=1
/proc/21811/task/21820/stat : 21820 (java) S 21809 21811 20811 0 -1 64 2352 0 0 0 100 0 0 0 16 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21821] ppid=21809 vsize=1787824 CPUtime=1.25
/proc/21811/task/21821/stat : 21821 (java) S 21809 21811 20811 0 -1 64 2093 0 0 0 125 0 0 0 17 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21822] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21822/stat : 21822 (java) S 21809 21811 20811 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21811/tid=21823] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21823/stat : 21823 (java) S 21809 21811 20811 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 142077671 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21811/tid=21824] ppid=21809 vsize=1787824 CPUtime=0
/proc/21811/task/21824/stat : 21824 (java) S 21809 21811 20811 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 142078270 1830731776 85089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1787824

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): 1785.1
CPU time (s): 1800.19
CPU user time (s): 1797.03
CPU system time (s): 3.15552
CPU usage (%): 100.845
Max. virtual memory (cumulated for all children) (KiB): 1794956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.15552
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573860
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= 44416
involuntary context switches= 35382

runsolver used 2.07368 second user time and 4.85926 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Thu Apr 19 19:03:37 UTC 2007

IDJOB= 362263
IDBENCH= 1545
IDSOLVER= 159
FILE ID= node57/362263-1177009417

PBS_JOBID= 4630489

Free space on /tmp= 66446 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-n3702.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362263-1177009417/sat4jPseudoResolution.jar /tmp/evaluation/362263-1177009417/instance-362263-1177009417.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-362263-1177009417 -o ROOT/results/node57/solver-362263-1177009417 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362263-1177009417/sat4jPseudoResolution.jar /tmp/evaluation/362263-1177009417/instance-362263-1177009417.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  923982c51ba218a8e62dc99222f9f8f7

RANDOM SEED= 557564706

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1543728 kB
Buffers:         15220 kB
Cached:         447716 kB
SwapCached:       3544 kB
Active:         203568 kB
Inactive:       270176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1543728 kB
SwapTotal:     4192956 kB
SwapFree:      4183112 kB
Dirty:           10144 kB
Writeback:           0 kB
Mapped:          16848 kB
Slab:            24516 kB
Committed_AS:   920472 kB
PageTables:       1408 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= 66446 MiB

End job on node57 on Thu Apr 19 19:33:24 UTC 2007