Trace number 365933

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.35 1792.63

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
MD5SUMdab917560b0808668d6327532459772d
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.043992
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables4970
Total number of constraints141
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.15	c no version file found!!!
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version	1.6.0
0.09/0.15	c os.name	Linux
0.09/0.15	c os.version	2.6.9-22.EL.rootsmp
0.09/0.15	c os.arch	i386
0.09/0.15	c Free memory 1651659224
0.09/0.15	c Max memory 1654456320
0.09/0.15	c Total memory 1654456320
0.09/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/365933-1177055308/instance-365933-1177055308.opb
0.20/0.20	c reading problem ... 
0.97/0.71	c ... done. Wall clock time 0.505s.
0.97/0.71	c CPU time (experimental) 0.51s.
0.97/0.71	c #vars     4970
0.97/0.71	c #constraints  141
906.93/903.73	c cleaning 77992 clauses out of 156002 for limit 390.4591496385781
910.85/907.69	c cleaning 39242 clauses out of 78508 for limit 1276.9641943868473
913.65/910.46	c cleaning 19875 clauses out of 39767 for limit 4161.598739088024
1282.34/1278.17	c cleaning 34941 clauses out of 69892 for limit 125876.38590898654
1284.34/1280.15	c cleaning 17716 clauses out of 35450 for limit 408862.11339406285
1286.33/1282.04	c cleaning 9107 clauses out of 18235 for limit 1312132.6426549414
1288.04/1283.75	c cleaning 4802 clauses out of 9628 for limit 4098295.9121463588
1289.04/1284.79	c cleaning 2655 clauses out of 5327 for limit 1.2227765361734875E7
1289.83/1285.57	c cleaning 1576 clauses out of 3173 for limit 3.3888326284704E7
1290.53/1286.27	c cleaning 1047 clauses out of 2094 for limit 8.442982058312999E7
1291.13/1286.89	c cleaning 760 clauses out of 1547 for limit 1.884682148701608E8
1291.83/1287.51	c cleaning 639 clauses out of 1288 for limit 3.7368267784970176E8
1321.83/1317.21	c cleaning 5570 clauses out of 11149 for limit 1.5760011905902534E12
1323.23/1318.60	c cleaning 3030 clauses out of 6078 for limit 4.76269901085118E12
1324.03/1319.47	c cleaning 1762 clauses out of 3548 for limit 1.3455074531425217E13
1324.83/1320.24	c cleaning 1135 clauses out of 2286 for limit 3.4438908606157992E13
1325.43/1320.89	c cleaning 825 clauses out of 1652 for limit 7.866942243835444E13
1326.13/1321.54	c cleaning 663 clauses out of 1326 for limit 1.6147074754966444E14
1326.83/1322.21	c cleaning 570 clauses out of 1165 for limit 3.0369410727088544E14
1366.55/1361.75	c cleaning 7037 clauses out of 14094 for limit 0.18416303386810673
1368.06/1363.18	c cleaning 3770 clauses out of 7558 for limit 0.5669179906862558
1369.07/1364.11	c cleaning 2136 clauses out of 4287 for limit 1.6466261892734044
1369.67/1364.78	c cleaning 1315 clauses out of 2651 for limit 4.391315708168552
1370.07/1365.15	c cleaning 905 clauses out of 1836 for limit 10.456530273759261
1370.47/1365.55	c cleaning 709 clauses out of 1432 for limit 22.13133727973611
1370.87/1365.94	c cleaning 601 clauses out of 1221 for limit 42.71907834669009
1371.17/1366.23	c cleaning 552 clauses out of 1120 for limit 76.8025080676297
1371.47/1366.57	c cleaning 521 clauses out of 1068 for limit 132.82446019694856
1371.87/1366.92	c cleaning 507 clauses out of 1048 for limit 223.44900669922725
1372.17/1367.25	c cleaning 511 clauses out of 1042 for limit 370.99016015758605
1372.47/1367.56	c cleaning 502 clauses out of 1030 for limit 618.3213754659081
1372.77/1367.81	c cleaning 502 clauses out of 1029 for limit 1021.7073299421146
1372.97/1368.08	c cleaning 500 clauses out of 1025 for limit 1688.1260899747297
1373.27/1368.34	c cleaning 502 clauses out of 1025 for limit 2783.9457558363247
1373.46/1368.57	c cleaning 498 clauses out of 1024 for limit 4600.182658731623
1459.86/1454.74	c cleaning 13754 clauses out of 27526 for limit 9.228897574546516E13
1461.78/1456.55	c cleaning 7124 clauses out of 14272 for limit 2.935377639166061E14
1463.28/1458.01	c cleaning 3824 clauses out of 7648 for limit 9.033516171514029E14
1464.18/1458.97	c cleaning 2152 clauses out of 4324 for limit 2.634965342542729E-5
1464.78/1459.56	c cleaning 1330 clauses out of 2671 for limit 7.027616920866387E-5
1465.38/1460.15	c cleaning 914 clauses out of 1842 for limit 1.6822198015599464E-4
1465.88/1460.63	c cleaning 709 clauses out of 1427 for limit 3.5774186666524355E-4
1466.38/1461.16	c cleaning 599 clauses out of 1218 for limit 6.911977895450593E-4
1466.98/1461.71	c cleaning 544 clauses out of 1119 for limit 0.0012407247035624409
1499.60/1494.09	c cleaning 6528 clauses out of 13076 for limit 28.69870439946189
1501.00/1495.50	c cleaning 3512 clauses out of 7048 for limit 87.80660678147076
1502.10/1496.52	c cleaning 2008 clauses out of 4035 for limit 252.6800336646353
1502.80/1497.24	c cleaning 1255 clauses out of 2529 for limit 666.1783988114041
1503.49/1497.95	c cleaning 875 clauses out of 1773 for limit 1565.4961912079295
1504.09/1498.55	c cleaning 685 clauses out of 1397 for limit 3273.2993183489693
1504.69/1499.14	c cleaning 598 clauses out of 1213 for limit 6223.170848291091
1510.21/1504.62	c cleaning 2055 clauses out of 4115 for limit 60854.667585858086
1511.01/1505.41	c cleaning 1276 clauses out of 2559 for limit 161218.4804230869
1511.74/1506.11	c cleaning 885 clauses out of 1783 for limit 381583.55791199027
1512.24/1506.68	c cleaning 694 clauses out of 1398 for limit 802582.5480070903
1512.84/1507.27	c cleaning 596 clauses out of 1205 for limit 1537093.3198360524
1513.54/1507.90	c cleaning 544 clauses out of 1108 for limit 2754031.4592755283
1514.14/1508.55	c cleaning 531 clauses out of 1064 for limit 4729583.707634816
1514.75/1509.19	c cleaning 517 clauses out of 1034 for limit 8034047.670533545
1515.34/1509.79	c cleaning 508 clauses out of 1017 for limit 1.3470691094835343E7
1547.31/1541.48	c cleaning 5993 clauses out of 12008 for limit 1.1315950532529172E11
1548.51/1542.69	c cleaning 3257 clauses out of 6515 for limit 3.4395623502229596E11
1549.41/1543.51	c cleaning 1879 clauses out of 3758 for limit 9.833694628623627E11
1550.01/1544.18	c cleaning 1189 clauses out of 2379 for limit 2.561739344851236E12
1550.61/1544.71	c cleaning 845 clauses out of 1690 for limit 5.947008550709996E12
1551.11/1545.20	c cleaning 658 clauses out of 1347 for limit 1.2329418165121611E13
1551.61/1545.70	c cleaning 583 clauses out of 1187 for limit 2.3027475166082227E13
1552.11/1546.22	c cleaning 537 clauses out of 1104 for limit 4.083042074170163E13
1555.85/1549.93	c cleaning 1534 clauses out of 3069 for limit 1.7951655226303994E14
1556.44/1550.56	c cleaning 1017 clauses out of 2034 for limit 4.462434081405841E14
1557.04/1551.19	c cleaning 756 clauses out of 1516 for limit 9.863815410039626E14
1588.31/1582.13	c cleaning 5871 clauses out of 11760 for limit 0.07655372541714511
1589.61/1583.42	c cleaning 3179 clauses out of 6389 for limit 0.2323788781329711
1590.61/1584.47	c cleaning 1843 clauses out of 3712 for limit 0.6609163288568507
1591.51/1585.37	c cleaning 1171 clauses out of 2368 for limit 1.7068451663123108
1592.31/1586.16	c cleaning 838 clauses out of 1697 for limit 3.9278045539442683
1592.91/1586.76	c cleaning 667 clauses out of 1358 for limit 8.08636456121834
1634.20/1627.87	c cleaning 9330 clauses out of 18693 for limit 3.899914059261315E7
1635.51/1629.14	c cleaning 4914 clauses out of 9862 for limit 1.217840519931983E8
1636.33/1629.95	c cleaning 2711 clauses out of 5447 for limit 3.6326153849066347E8
1637.23/1630.72	c cleaning 1605 clauses out of 3237 for limit 1.0090774303761438E9
1637.83/1631.33	c cleaning 1054 clauses out of 2132 for limit 2.526596432858503E9
1638.32/1631.88	c cleaning 788 clauses out of 1577 for limit 5.627464459975306E9
1638.93/1632.45	c cleaning 644 clauses out of 1289 for limit 1.13539616737995E10
1639.52/1633.01	c cleaning 562 clauses out of 1145 for limit 2.107903580691954E10
1640.03/1633.55	c cleaning 541 clauses out of 1083 for limit 3.675222686160032E10
1640.62/1634.15	c cleaning 505 clauses out of 1042 for limit 6.29941591491975E10
1641.22/1634.79	c cleaning 519 clauses out of 1038 for limit 1.0439051678070471E11
1669.92/1663.30	c cleaning 5504 clauses out of 11018 for limit 3.586697486454551E-6
1671.12/1664.47	c cleaning 2998 clauses out of 6014 for limit 1.0836523564384451E-5
1673.89/1667.15	c cleaning 2239 clauses out of 4516 for limit 6.472426558247341E-5
1674.69/1667.91	c cleaning 1380 clauses out of 2777 for limit 1.7358055465409438E-4
1675.39/1668.63	c cleaning 939 clauses out of 1897 for limit 4.190496744862236E-4
1676.09/1669.30	c cleaning 718 clauses out of 1458 for limit 8.991480392273543E-4
1676.59/1669.86	c cleaning 611 clauses out of 1242 for limit 0.0017441829638787957
1702.98/1696.09	c cleaning 5802 clauses out of 11629 for limit 11.192619920478322
1704.37/1697.48	c cleaning 3148 clauses out of 6328 for limit 33.95455593401961
1707.56/1700.60	c cleaning 2324 clauses out of 4679 for limit 205.75226726902798
1708.36/1701.39	c cleaning 1416 clauses out of 2856 for limit 556.4547711021688
1708.95/1701.98	c cleaning 956 clauses out of 1939 for limit 1350.3042659692976
1709.45/1702.47	c cleaning 732 clauses out of 1484 for limit 2912.5000844740575
1709.86/1702.89	c cleaning 619 clauses out of 1258 for limit 5700.09592220564
1710.25/1703.26	c cleaning 552 clauses out of 1133 for limit 10374.847261017181
1710.75/1703.74	c cleaning 532 clauses out of 1081 for limit 17932.540264620577
1711.25/1704.22	c cleaning 514 clauses out of 1050 for limit 30476.746895504504
1738.05/1730.83	c cleaning 5767 clauses out of 11535 for limit 1.668534961152263E8
1739.25/1732.01	c cleaning 3119 clauses out of 6267 for limit 5.059581434754101E8
1740.15/1732.93	c cleaning 1813 clauses out of 3649 for limit 1.4344678545834277E9
1740.75/1733.58	c cleaning 1167 clauses out of 2335 for limit 3.6931689376168356E9
1741.35/1734.18	c cleaning 822 clauses out of 1668 for limit 8.526011218670579E9
1743.52/1736.23	c cleaning 1156 clauses out of 2346 for limit 2.7188271575687252E10
1744.12/1736.82	c cleaning 825 clauses out of 1691 for limit 6.2266778656804405E10
1744.72/1737.43	c cleaning 671 clauses out of 1365 for limit 1.2708337198777701E11
1745.22/1737.97	c cleaning 594 clauses out of 1195 for limit 2.396314825268489E11
1746.02/1738.75	c cleaning 550 clauses out of 1100 for limit 4.288846174826838E11
1746.62/1739.37	c cleaning 512 clauses out of 1051 for limit 7.41004487194376E11
1779.00/1771.50	c cleaning 7263 clauses out of 14538 for limit 6.481107333613116E-4
1779.79/1772.32	c cleaning 3874 clauses out of 7776 for limit 0.0020002672539697515
1780.29/1772.89	c cleaning 2188 clauses out of 4401 for limit 0.005822564173786074
1780.79/1773.30	c cleaning 1340 clauses out of 2713 for limit 0.01557656693433528
1781.09/1773.66	c cleaning 920 clauses out of 1874 for limit 0.037225655305912486
1781.39/1773.92	c cleaning 716 clauses out of 1454 for limit 0.07912312265245472
1781.59/1774.16	c cleaning 609 clauses out of 1238 for limit 0.15325091194074492
1781.89/1774.49	c cleaning 553 clauses out of 1128 for limit 0.2770996567420752
1782.19/1774.75	c cleaning 522 clauses out of 1076 for limit 0.47953820676598113
1782.49/1775.04	c cleaning 514 clauses out of 1054 for limit 0.8073293891531494
1800.21/1792.52	c starts		: 19
1800.21/1792.52	c conflicts		: 431916
1800.21/1792.52	c decisions		: 540150
1800.21/1792.52	c propagations		: 42410197
1800.21/1792.52	c inspects		: 1278482837
1800.21/1792.52	c learnt literals	: 0
1800.21/1792.52	c learnt binary clauses	: 0
1800.21/1792.52	c learnt ternary clauses	: 0
1800.21/1792.52	c learnt clauses	: 431916
1800.21/1792.52	c root simplifications	: 0
1800.21/1792.52	c removed literals (reason simplification)	: 0
1800.21/1792.52	c reason swapping (by a shorter reason)	: 0
1800.21/1792.52	c Calls to reduceDB	: 126
1800.21/1792.52	c speed (decisions/second)	: 301.4672354257349
1800.21/1792.52	c non guided choices	2416
1800.21/1792.52	s UNKNOWN
1800.21/1792.52	c Total wall clock time (ms): 1792.32

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/node22/watcher-365933-1177055308 -o ROOT/results/node22/solver-365933-1177055308 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365933-1177055308/sat4jPseudoResolution.jar /tmp/evaluation/365933-1177055308/instance-365933-1177055308.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 16187
/proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=152 CPUtime=0
/proc/16187/stat : 16187 (java) R 16185 16187 16015 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 153448501 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4677931 0 0 4096 0 0 0 0 17 1 0 0
/proc/16187/statm: 38 26 19 9 0 4 0

[startup+0.0424721 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16187
/proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1776088 CPUtime=0.03
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 3247 0 1 0 1 2 0 0 18 0 4 0 153448501 1818714112 2995 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 444022 2995 887 9 0 441658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1776088

[startup+0.101483 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16187
/proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1780108 CPUtime=0.09
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 3974 0 1 0 6 3 0 0 18 0 12 0 153448501 1822830592 3716 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 445027 3716 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.301514 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16187
/proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1781428 CPUtime=0.31
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 5160 0 1 0 27 4 0 0 18 0 12 0 153448501 1824182272 4899 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 445357 4899 1264 9 0 442969 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1781428

[startup+0.701575 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 16187
/proc/meminfo: memFree=1649336/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784524 CPUtime=0.97
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 8161 0 1 0 91 6 0 0 18 0 12 0 153448501 1827352576 7221 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446131 7221 1308 9 0 443743 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 1784524

[startup+1.5027 s]
/proc/loadavg: 0.92 0.98 0.99 4/90 16200
/proc/meminfo: memFree=1624528/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784848 CPUtime=2.08
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 10003 0 1 0 202 6 0 0 18 0 13 0 153448501 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446212 9062 1319 9 0 443824 0
[pid=16187/tid=16189] ppid=16185 vsize=1784848 CPUtime=1.09
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 7297 0 1 0 105 4 0 0 22 0 13 0 153448503 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109670449 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 153448507 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784848 CPUtime=0.49
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1085 0 0 0 49 0 0 0 16 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784848 CPUtime=0.46
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 898 0 0 0 46 0 0 0 15 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827684352 9062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 1784848

[startup+3.10195 s]
/proc/loadavg: 0.92 0.98 0.99 2/90 16200
/proc/meminfo: memFree=1611152/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784848 CPUtime=3.69
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 14393 0 1 0 361 8 0 0 18 0 13 0 153448501 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446212 13451 1319 9 0 443824 0
[pid=16187/tid=16189] ppid=16185 vsize=1784848 CPUtime=2.68
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 11684 0 1 0 262 6 0 0 25 0 13 0 153448503 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109609945 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153448507 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784848 CPUtime=0.51
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1086 0 0 0 51 0 0 0 17 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784848 CPUtime=0.47
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 899 0 0 0 47 0 0 0 17 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784848 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827684352 13451 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 1784848

[startup+6.30242 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 16200
/proc/meminfo: memFree=1578768/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784732 CPUtime=6.92
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 21590 0 1 0 680 12 0 0 18 0 13 0 153448501 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446183 20620 1321 9 0 443795 0
[pid=16187/tid=16189] ppid=16185 vsize=1784732 CPUtime=5.87
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 18875 0 1 0 578 9 0 0 25 0 13 0 153448503 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153448507 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784732 CPUtime=0.51
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1086 0 0 0 51 0 0 0 17 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784732 CPUtime=0.5
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 905 0 0 0 50 0 0 0 17 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827565568 20620 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 1784732

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 16200
/proc/meminfo: memFree=1532312/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784732 CPUtime=13.32
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 32275 0 1 0 1315 17 0 0 18 0 13 0 153448501 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446183 31304 1321 9 0 443795 0
[pid=16187/tid=16189] ppid=16185 vsize=1784732 CPUtime=12.26
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 29560 0 1 0 1212 14 0 0 25 0 13 0 153448503 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 153448504 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 153448504 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153448507 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 153448507 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 153448507 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784732 CPUtime=0.51
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1086 0 0 0 51 0 0 0 16 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784732 CPUtime=0.5
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 905 0 0 0 50 0 0 0 16 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784732 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827565568 31304 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.32
Current children cumulated vsize (KiB) 1784732

[startup+25.5024 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 16200
/proc/meminfo: memFree=1367576/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784732 CPUtime=26.31
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 73736 0 1 0 2589 42 0 0 18 0 13 0 153448501 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446183 71437 1330 9 0 443795 0
[pid=16187/tid=16189] ppid=16185 vsize=1784732 CPUtime=24.86
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37657 0 1 0 2468 18 0 0 25 0 13 0 153448503 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109679867 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784732 CPUtime=0.17
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 17344 0 0 0 7 10 0 0 16 0 13 0 153448504 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784732 CPUtime=0.17
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 16014 0 0 0 7 10 0 0 16 0 13 0 153448504 1827565568 71437 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.45
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18976 0 2 0 217 28 0 0 16 0 13 0 153448507 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.61
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 913 0 0 0 61 0 0 0 16 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 109113 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1608.61
Current children cumulated vsize (KiB) 1784476

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16398
/proc/meminfo: memFree=1227096/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784476 CPUtime=1669.02
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 485562 0 3 0 166592 310 0 0 18 0 13 0 153448501 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446119 105808 1334 9 0 443731 0
[pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1651.71
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37773 0 1 0 165139 32 0 0 25 0 13 0 153448503 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109642192 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=6.7
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 219643 0 0 0 546 124 0 0 16 0 13 0 153448504 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=6.71
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 206431 0 0 0 551 120 0 0 17 0 13 0 153448504 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.54
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18981 0 2 0 225 29 0 0 16 0 13 0 153448507 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 105808 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1669.02
Current children cumulated vsize (KiB) 1784476

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16398
/proc/meminfo: memFree=1228568/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784476 CPUtime=1729.44
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 487105 0 3 0 172632 312 0 0 18 0 13 0 153448501 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446119 105474 1334 9 0 443731 0
[pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1711.1
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37780 0 1 0 171078 32 0 0 25 0 13 0 153448503 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109679871 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=7.16
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 220418 0 0 0 591 125 0 0 16 0 13 0 153448504 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=7.16
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 207184 0 0 0 595 121 0 0 16 0 13 0 153448504 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.65
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18989 0 2 0 236 29 0 0 16 0 13 0 153448507 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 105474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1729.44
Current children cumulated vsize (KiB) 1784476

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16398
/proc/meminfo: memFree=1244696/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784476 CPUtime=1789.89
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 487112 0 3 0 178676 313 0 0 18 0 13 0 153448501 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446119 101345 1334 9 0 443731 0
[pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1770.44
/proc/16187/task/16189/stat : 16189 (java) S 16185 16187 16015 0 -1 64 37786 0 1 0 177012 32 0 0 25 0 13 0 153448503 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=7.64
/proc/16187/task/16190/stat : 16190 (java) R 16185 16187 16015 0 -1 64 220418 0 0 0 639 125 0 0 16 0 13 0 153448504 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=7.65
/proc/16187/task/16191/stat : 16191 (java) R 16185 16187 16015 0 -1 64 207184 0 0 0 644 121 0 0 17 0 13 0 153448504 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369151 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.79
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18990 0 2 0 249 30 0 0 16 0 13 0 153448507 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 101345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 1784476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16398
/proc/meminfo: memFree=1245464/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=1784476 CPUtime=1800.01
/proc/16187/stat : 16187 (java) S 16185 16187 16015 0 -1 0 487113 0 3 0 179688 313 0 0 18 0 13 0 153448501 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 446119 101120 1334 9 0 443731 0
[pid=16187/tid=16189] ppid=16185 vsize=1784476 CPUtime=1780.5
/proc/16187/task/16189/stat : 16189 (java) R 16185 16187 16015 0 -1 64 37787 0 1 0 178018 32 0 0 25 0 13 0 153448503 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109679856 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16190] ppid=16185 vsize=1784476 CPUtime=7.67
/proc/16187/task/16190/stat : 16190 (java) S 16185 16187 16015 0 -1 64 220418 0 0 0 642 125 0 0 16 0 13 0 153448504 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16191] ppid=16185 vsize=1784476 CPUtime=7.68
/proc/16187/task/16191/stat : 16191 (java) S 16185 16187 16015 0 -1 64 207184 0 0 0 647 121 0 0 17 0 13 0 153448504 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16192] ppid=16185 vsize=1784476 CPUtime=2.79
/proc/16187/task/16192/stat : 16192 (java) S 16185 16187 16015 0 -1 64 18990 0 2 0 249 30 0 0 16 0 13 0 153448507 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16193] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16193/stat : 16193 (java) S 16185 16187 16015 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16194] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16194/stat : 16194 (java) S 16185 16187 16015 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153448507 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16195] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16195/stat : 16195 (java) S 16185 16187 16015 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16196] ppid=16185 vsize=1784476 CPUtime=0.66
/proc/16187/task/16196/stat : 16196 (java) S 16185 16187 16015 0 -1 64 1098 0 0 0 65 1 0 0 16 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16197] ppid=16185 vsize=1784476 CPUtime=0.64
/proc/16187/task/16197/stat : 16197 (java) S 16185 16187 16015 0 -1 64 916 0 0 0 64 0 0 0 17 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16198] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16198/stat : 16198 (java) S 16185 16187 16015 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16187/tid=16199] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16199/stat : 16199 (java) S 16185 16187 16015 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 153448511 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16187/tid=16200] ppid=16185 vsize=1784476 CPUtime=0
/proc/16187/task/16200/stat : 16200 (java) S 16185 16187 16015 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 153448581 1827303424 101120 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1784476

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

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

[startup+1792.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 16398
/proc/meminfo: memFree=1245464/2055920 swapFree=4168584/4192956
[pid=16187] ppid=16185 vsize=0 CPUtime=1800.31
/proc/16187/stat : 16187 (java) Z 16185 16187 16015 0 -1 1036 487133 0 3 0 179714 317 0 0 15 0 2 0 153448501 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16187/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1792.63
CPU time (s): 1800.35
CPU user time (s): 1797.14
CPU system time (s): 3.20151
CPU usage (%): 100.431
Max. virtual memory (cumulated for all children) (KiB): 1785480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.14
system time used= 3.20151
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487133
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= 37528
involuntary context switches= 50427

runsolver used 1.70774 second user time and 5.01924 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Fri Apr 20 07:48:28 UTC 2007

IDJOB= 365933
IDBENCH= 2589
IDSOLVER= 159
FILE ID= node22/365933-1177055308

PBS_JOBID= 4640185

Free space on /tmp= 66495 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365933-1177055308/sat4jPseudoResolution.jar /tmp/evaluation/365933-1177055308/instance-365933-1177055308.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-365933-1177055308 -o ROOT/results/node22/solver-365933-1177055308 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/365933-1177055308/sat4jPseudoResolution.jar /tmp/evaluation/365933-1177055308/instance-365933-1177055308.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  dab917560b0808668d6327532459772d

RANDOM SEED= 19994795

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1649744 kB
Buffers:         43832 kB
Cached:         271672 kB
SwapCached:       2192 kB
Active:         132608 kB
Inactive:       205412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1649744 kB
SwapTotal:     4192956 kB
SwapFree:      4168584 kB
Dirty:            3680 kB
Writeback:           0 kB
Mapped:          30328 kB
Slab:            53812 kB
Committed_AS:  1837792 kB
PageTables:       1676 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= 66495 MiB

End job on node22 on Fri Apr 20 08:18:23 UTC 2007