Trace number 3744092

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.02 1760.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_5_mh_ic.opb
MD5SUM60919230beb4b87ee73e0f0d7ecbd414
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4402831
Best CPU time to get the best result obtained on this benchmark1800.79
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 125000000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 14243306439
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 125000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 14243306439
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3744092-1338793029.opb
0.09/0.10	c reading problem ... 
1.92/1.10	c ... done. Wall clock time 0.997s.
1.92/1.10	c CPU time (experimental) 1.06s.
1.92/1.10	c #vars     45775
1.92/1.10	c #constraints  104533
274.12/265.85	c cleaning 121815 clauses out of 244000 for limit 4.300144344927312
282.38/273.86	c cleaning 63783 clauses out of 127685 for limit 2016.2655815430169
461.12/449.55	c cleaning 123671 clauses out of 247402 for limit 562.5938022874187
466.72/455.02	c cleaning 64827 clauses out of 129731 for limit 434135.22783752036
474.81/462.90	c cleaning 36378 clauses out of 72904 for limit 2.3121266988015866E9
478.92/466.93	c cleaning 20220 clauses out of 40530 for limit 2.284396706478085E11
481.72/469.64	c cleaning 11591 clauses out of 23307 for limit 7.966976564501295E12
484.48/472.38	c cleaning 7603 clauses out of 15216 for limit 4.048280767784781E-6
488.63/476.35	c cleaning 7045 clauses out of 14115 for limit 0.002918003423359003
489.96/477.60	c cleaning 4238 clauses out of 8569 for limit 0.021536230261659486
491.20/478.84	c cleaning 2616 clauses out of 5329 for limit 0.09399329168176532
494.08/481.63	c cleaning 2798 clauses out of 5716 for limit 1.7680283172871116
495.81/483.37	c cleaning 2407 clauses out of 4916 for limit 15.17483882066551
497.34/484.88	c cleaning 2203 clauses out of 4508 for limit 122.27596248542277
499.28/486.74	c cleaning 2359 clauses out of 4805 for limit 1399.3006647079335
500.93/488.33	c cleaning 2441 clauses out of 4946 for limit 16581.726800474833
502.36/489.70	c cleaning 2462 clauses out of 5006 for limit 200035.45068643475
505.03/492.34	c cleaning 2691 clauses out of 5543 for limit 3630393.8763782186
506.78/494.09	c cleaning 2362 clauses out of 4857 for limit 3.0798291701026954E7
508.51/495.75	c cleaning 2159 clauses out of 4490 for limit 2.451880951511958E8
779.38/761.05	c cleaning 150629 clauses out of 301331 for limit 3.0319521227257097E-4
785.61/767.14	c cleaning 77841 clauses out of 155702 for limit 0.08730333435053762
793.25/774.63	c cleaning 41152 clauses out of 82361 for limit 14.890401019886745
795.60/776.91	c cleaning 21298 clauses out of 42711 for limit 129.04017695565543
798.16/779.49	c cleaning 11264 clauses out of 22915 for limit 1080.8900342550992
800.50/781.76	c cleaning 6791 clauses out of 13649 for limit 13395.380827000665
1150.10/1124.16	c cleaning 222882 clauses out of 445856 for limit 2.304947583270219E-7
1155.71/1129.63	c cleaning 116225 clauses out of 232476 for limit 0.005945774323502836
1159.39/1133.28	c cleaning 60856 clauses out of 121752 for limit 2.7884297688624944
1166.28/1139.96	c cleaning 36425 clauses out of 72893 for limit 760304.8186454134
1167.82/1141.41	c cleaning 19434 clauses out of 38968 for limit 1.734781914789246E7
1169.44/1143.01	c cleaning 11235 clauses out of 22534 for limit 6.034621484238706E8
1172.41/1145.95	c cleaning 8379 clauses out of 16800 for limit 1.988054618364991E11
1173.76/1147.24	c cleaning 5423 clauses out of 10920 for limit 3.7270041671997573E12
1175.29/1148.75	c cleaning 4465 clauses out of 8998 for limit 1.5019734254264675E14
1176.82/1150.26	c cleaning 3991 clauses out of 8032 for limit 5.576237144627178E-5
1178.36/1151.71	c cleaning 3755 clauses out of 7542 for limit 0.0019719873632654088
1179.70/1153.01	c cleaning 3605 clauses out of 7288 for limit 0.06776540099151256
1181.04/1154.31	c cleaning 3311 clauses out of 6683 for limit 1.4865524514471382
1182.39/1155.69	c cleaning 3658 clauses out of 7371 for limit 73.66104431008186
1182.59/1155.89	c cleaning 2083 clauses out of 4212 for limit 212.37201886122008
1183.95/1157.10	c cleaning 2287 clauses out of 4632 for limit 2362.6537384076187
1185.59/1158.70	c cleaning 2643 clauses out of 5346 for limit 41220.144307468734
1186.93/1160.06	c cleaning 2564 clauses out of 5199 for limit 514944.0362612117
1187.23/1160.33	c cleaning 1546 clauses out of 3135 for limit 1408309.769706085
1188.67/1161.73	c cleaning 2242 clauses out of 4589 for limit 1.935320966449796E7
1190.11/1163.15	c cleaning 2643 clauses out of 5347 for limit 3.341151720555841E8
1191.35/1164.38	c cleaning 2600 clauses out of 5204 for limit 4.1874393369371696E9
1191.65/1164.60	c cleaning 1545 clauses out of 3104 for limit 1.1577638654047056E10
1193.00/1166.00	c cleaning 2277 clauses out of 4559 for limit 1.585650370118629E11
1194.41/1167.35	c cleaning 2856 clauses out of 5782 for limit 4.147535836303169E12
1197.61/1170.41	c cleaning 4412 clauses out of 8928 for limit 1.0890647981847615E-5
1199.15/1171.90	c cleaning 3721 clauses out of 7514 for limit 2.597783834542936E-4
1200.49/1173.27	c cleaning 3109 clauses out of 6293 for limit 0.0037835188670083666
1200.79/1173.54	c cleaning 1830 clauses out of 3688 for limit 0.010689481929555093
1202.23/1174.98	c cleaning 3160 clauses out of 6355 for limit 0.557996484370323
1203.67/1176.37	c cleaning 2803 clauses out of 5696 for limit 7.601354444476341
1205.30/1177.94	c cleaning 2910 clauses out of 5892 for limit 147.67229912653355
1206.83/1179.41	c cleaning 2945 clauses out of 5981 for limit 2923.4036344278848
1496.11/1462.61	c cleaning 157435 clauses out of 315037 for limit 0.0020530949138082098
1499.79/1466.30	c cleaning 79780 clauses out of 159603 for limit 0.030004583299560555
1506.08/1472.45	c cleaning 41895 clauses out of 83823 for limit 3.125449931772706
1507.65/1473.95	c cleaning 21407 clauses out of 42926 for limit 16.565253082566628
1509.28/1475.58	c cleaning 11486 clauses out of 23019 for limit 138.5478225581265
1512.27/1478.47	c cleaning 7474 clauses out of 15033 for limit 7037.715544823287
1515.37/1481.49	c cleaning 5253 clauses out of 10560 for limit 201735.94281960666
1517.10/1483.14	c cleaning 3606 clauses out of 7307 for limit 2156411.509915803
1757.33/1718.68	c cleaning 105970 clauses out of 212204 for limit 2.9357941489040036E-5
1800.02/1760.41	c starts		: 23
1800.02/1760.41	c conflicts		: 1920166
1800.02/1760.41	c decisions		: 4776840
1800.02/1760.41	c propagations		: 772532254
1800.02/1760.41	c inspects		: 6060613398
1800.02/1760.41	c learnt literals	: 0
1800.02/1760.41	c learnt binary clauses	: 20
1800.02/1760.41	c learnt ternary clauses	: 14
1800.02/1760.41	c learnt clauses	: 1920166
1800.02/1760.41	c root simplifications	: 0
1800.02/1760.41	c removed literals (reason simplification)	: 0
1800.02/1760.41	c reason swapping (by a shorter reason)	: 0
1800.02/1760.41	c Calls to reduceDB	: 68
1800.02/1760.41	c speed (decisions/second)	: 2715.377212464209
1800.02/1760.41	c non guided choices	0
1800.02/1760.41	s UNKNOWN
1800.02/1760.41	c Total wall clock time (ms): 1760.31

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744092-1338793029/watcher-3744092-1338793029 -o /tmp/evaluation-result-3744092-1338793029/solver-3744092-1338793029 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744092-1338793029.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.07 2.03 3/194 9743
/proc/meminfo: memFree=27339612/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9743/stat : 9743 (java) D 9741 9743 8924 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 345428562 9515008 184 33554432000 1073741824 1073778376 140736926050976 140736926042200 272886295991 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9743/statm: 2323 184 142 9 0 71 0

[startup+0.0916099 s]
/proc/loadavg: 2.10 2.07 2.03 3/194 9743
/proc/meminfo: memFree=27339612/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 4401 0 1 0 6 1 0 0 20 0 18 0 345428562 3028844544 6120 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 739464 6122 1951 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.100186 s]
/proc/loadavg: 2.10 2.07 2.03 3/194 9743
/proc/meminfo: memFree=27339612/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 4933 0 1 0 8 1 0 0 20 0 18 0 345428562 3028844544 6638 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 739464 6638 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300266 s]
/proc/loadavg: 2.10 2.07 2.03 3/194 9743
/proc/meminfo: memFree=27339612/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=2957856 CPUtime=0.49 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 5989 0 1 0 47 2 0 0 20 0 18 0 345428562 3028844544 11930 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 739464 11930 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700198 s]
/proc/loadavg: 2.10 2.07 2.03 3/194 9743
/proc/meminfo: memFree=27339612/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=2957856 CPUtime=1.32 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 10425 0 1 0 127 5 0 0 20 0 18 0 345428562 3028844544 46180 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 739464 46180 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2957856

[startup+1.50073 s]
/proc/loadavg: 2.09 2.07 2.02 3/212 9761
/proc/meminfo: memFree=27018092/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=3024420 CPUtime=2.92 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 17767 0 1 0 281 11 0 0 20 0 19 0 345428562 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 756105 103913 2279 9 0 746526 0
[pid=9743/tid=9745] ppid=9741 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/9743/task/9745/stat : 9745 (java) R 9741 9743 8924 0 -1 4202560 3204 0 1 0 137 9 0 0 20 0 19 0 345428563 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565935206856 140565774602718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9746] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9746/stat : 9746 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565918640296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9747] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9747/stat : 9747 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565917587752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9748] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9748/stat : 9748 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565916535208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9749] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9749/stat : 9749 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565915482664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9750] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9750/stat : 9750 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565914430120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9751] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9751/stat : 9751 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565913377576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9752] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9752/stat : 9752 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565912325032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9753] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9753/stat : 9753 (java) S 9741 9743 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345428564 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565911272488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9754] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9754/stat : 9754 (java) S 9741 9743 8924 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565898860648 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9755] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9755/stat : 9755 (java) S 9741 9743 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565897806968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9756] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9756/stat : 9756 (java) S 9741 9743 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565896754312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9757] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9757/stat : 9757 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565895703056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9758] ppid=9741 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/9743/task/9758/stat : 9758 (java) S 9741 9743 8924 0 -1 4202560 6274 0 0 0 68 1 0 0 20 0 19 0 345428568 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565894650424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9759] ppid=9741 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/9743/task/9759/stat : 9759 (java) R 9741 9743 8924 0 -1 4202560 7094 0 0 0 71 2 0 0 20 0 19 0 345428568 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565893597880 140565942201895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9760] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9760/stat : 9760 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565892545528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9761] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9761/stat : 9761 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 103913 33554432000 1073741824 1073778376 140735176480992 140565773544776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 3024420

[startup+3.1008 s]
/proc/loadavg: 2.09 2.07 2.02 4/213 9762
/proc/meminfo: memFree=26855176/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=3024420 CPUtime=4.83 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 17964 0 1 0 463 20 0 0 20 0 19 0 345428562 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 756105 131597 2292 9 0 746526 0
[pid=9743/tid=9745] ppid=9741 vsize=3024420 CPUtime=2.97 cores=0,2,4,6
/proc/9743/task/9745/stat : 9745 (java) R 9741 9743 8924 0 -1 4202560 3228 0 1 0 288 9 0 0 20 0 19 0 345428563 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565935214792 140565774291401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9746] ppid=9741 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9743/task/9746/stat : 9746 (java) S 9741 9743 8924 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565918640296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9747] ppid=9741 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9743/task/9747/stat : 9747 (java) S 9741 9743 8924 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565917587752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9748] ppid=9741 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9743/task/9748/stat : 9748 (java) S 9741 9743 8924 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565916535208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9749] ppid=9741 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/9743/task/9749/stat : 9749 (java) S 9741 9743 8924 0 -1 4202560 38 0 0 0 3 2 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565915482664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9750] ppid=9741 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9743/task/9750/stat : 9750 (java) S 9741 9743 8924 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565914430120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9751] ppid=9741 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9743/task/9751/stat : 9751 (java) S 9741 9743 8924 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565913377576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9752] ppid=9741 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/9743/task/9752/stat : 9752 (java) S 9741 9743 8924 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565912325032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9753] ppid=9741 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/9743/task/9753/stat : 9753 (java) S 9741 9743 8924 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 19 0 345428564 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565911272488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9754] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9754/stat : 9754 (java) S 9741 9743 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565898860648 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9755] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9755/stat : 9755 (java) S 9741 9743 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565897806968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9756] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9756/stat : 9756 (java) S 9741 9743 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565896754312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9757] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9757/stat : 9757 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565895703056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9758] ppid=9741 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/9743/task/9758/stat : 9758 (java) S 9741 9743 8924 0 -1 4202560 6274 0 0 0 70 1 0 0 20 0 19 0 345428568 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565894650424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9759] ppid=9741 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/9743/task/9759/stat : 9759 (java) S 9741 9743 8924 0 -1 4202560 7094 0 0 0 75 2 0 0 20 0 19 0 345428568 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565893597880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9760] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9760/stat : 9760 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565892545528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9761] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9761/stat : 9761 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565773544776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9762] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9762/stat : 9762 (java) S 9741 9743 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345428685 3097006080 131597 33554432000 1073741824 1073778376 140735176480992 140565771412264 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 3024420

[startup+6.30081 s]
/proc/loadavg: 2.16 2.09 2.03 3/213 9762
/proc/meminfo: memFree=26812912/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=3024420 CPUtime=8.27 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 18005 0 1 0 807 20 0 0 20 0 19 0 345428562 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 756105 132802 2292 9 0 746526 0
[pid=9743/tid=9745] ppid=9741 vsize=3024420 CPUtime=6.07 cores=0,2,4,6
/proc/9743/task/9745/stat : 9745 (java) R 9741 9743 8924 0 -1 4202560 3232 0 1 0 598 9 0 0 20 0 19 0 345428563 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565935213760 140565774555626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9746] ppid=9741 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/9743/task/9746/stat : 9746 (java) S 9741 9743 8924 0 -1 4202560 26 0 0 0 4 2 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565918640296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9747] ppid=9741 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/9743/task/9747/stat : 9747 (java) S 9741 9743 8924 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565917587752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9748] ppid=9741 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/9743/task/9748/stat : 9748 (java) S 9741 9743 8924 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565916535208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9749] ppid=9741 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/9743/task/9749/stat : 9749 (java) S 9741 9743 8924 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565915482664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9750] ppid=9741 vsize=3024420 CPUtime=0.08 cores=0,2,4,6
/proc/9743/task/9750/stat : 9750 (java) S 9741 9743 8924 0 -1 4202560 28 0 0 0 6 2 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565914430120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9751] ppid=9741 vsize=3024420 CPUtime=0.05 cores=0,2,4,6
/proc/9743/task/9751/stat : 9751 (java) S 9741 9743 8924 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565913377576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9752] ppid=9741 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/9743/task/9752/stat : 9752 (java) S 9741 9743 8924 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565912325032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9753] ppid=9741 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/9743/task/9753/stat : 9753 (java) S 9741 9743 8924 0 -1 4202560 24 0 0 0 4 2 0 0 20 0 19 0 345428564 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565911272488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9754] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9754/stat : 9754 (java) S 9741 9743 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565898860648 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9755] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9755/stat : 9755 (java) S 9741 9743 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565897806968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9756] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9756/stat : 9756 (java) S 9741 9743 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565896754312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9757] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9757/stat : 9757 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565895703056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9758] ppid=9741 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/9743/task/9758/stat : 9758 (java) S 9741 9743 8924 0 -1 4202560 6274 0 0 0 70 1 0 0 20 0 19 0 345428568 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565894650424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9759] ppid=9741 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/9743/task/9759/stat : 9759 (java) S 9741 9743 8924 0 -1 4202560 7094 0 0 0 75 2 0 0 20 0 19 0 345428568 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565893597880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9760] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9760/stat : 9760 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565892545528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9761] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9761/stat : 9761 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565773544776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9762] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9762/stat : 9762 (java) S 9741 9743 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345428685 3097006080 132802 33554432000 1073741824 1073778376 140735176480992 140565771412264 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.15 2.08 2.03 3/213 9762
/proc/meminfo: memFree=26716456/32873844 swapFree=7112/7112

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

[pid=9743/tid=9758] ppid=9741 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/9743/task/9758/stat : 9758 (java) S 9741 9743 8924 0 -1 4202560 6284 0 0 0 77 1 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565894650424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9759] ppid=9741 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/9743/task/9759/stat : 9759 (java) S 9741 9743 8924 0 -1 4202560 7098 0 0 0 82 2 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565893597880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9760] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9760/stat : 9760 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565892545528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9761] ppid=9741 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/9743/task/9761/stat : 9761 (java) S 9741 9743 8924 0 -1 4202560 90 0 0 0 27 34 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565773544776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9762] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9762/stat : 9762 (java) S 9741 9743 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345428685 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565771412264 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1638.75
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.11 2.12 2.04 3/213 9858
/proc/meminfo: memFree=25081636/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=3024420 CPUtime=1699.96 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 22908 0 1 0 169810 186 0 0 20 0 19 0 345428562 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 756105 422586 2308 9 0 746526 0
[pid=9743/tid=9745] ppid=9741 vsize=3024420 CPUtime=1641.79 cores=0,2,4,6
/proc/9743/task/9745/stat : 9745 (java) S 9741 9743 8924 0 -1 4202560 4139 0 1 0 164141 38 0 0 20 0 19 0 345428563 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565935213720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9746] ppid=9741 vsize=3024420 CPUtime=6.31 cores=0,2,4,6
/proc/9743/task/9746/stat : 9746 (java) R 9741 9743 8924 0 -1 4202560 525 0 0 0 611 20 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565918640424 272886434951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9747] ppid=9741 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9743/task/9747/stat : 9747 (java) R 9741 9743 8924 0 -1 4202560 482 0 0 0 611 17 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565917587928 140565941723522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9748] ppid=9741 vsize=3024420 CPUtime=6.3 cores=0,2,4,6
/proc/9743/task/9748/stat : 9748 (java) R 9741 9743 8924 0 -1 4202560 456 0 0 0 616 14 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565916535336 140565942710512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9749] ppid=9741 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/9743/task/9749/stat : 9749 (java) R 9741 9743 8924 0 -1 4202560 478 0 0 0 610 18 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565915482664 272889852988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9750] ppid=9741 vsize=3024420 CPUtime=6.58 cores=0,2,4,6
/proc/9743/task/9750/stat : 9750 (java) R 9741 9743 8924 0 -1 4202560 512 0 0 0 639 19 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565914430248 272886434951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9751] ppid=9741 vsize=3024420 CPUtime=6.35 cores=0,2,4,6
/proc/9743/task/9751/stat : 9751 (java) R 9741 9743 8924 0 -1 4202560 496 0 0 0 617 18 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565913377576 272886434951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9752] ppid=9741 vsize=3024420 CPUtime=6.55 cores=0,2,4,6
/proc/9743/task/9752/stat : 9752 (java) R 9741 9743 8924 0 -1 4202560 515 0 0 0 636 19 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565912325032 272886434951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9753] ppid=9741 vsize=3024420 CPUtime=6.38 cores=0,2,4,6
/proc/9743/task/9753/stat : 9753 (java) R 9741 9743 8924 0 -1 4202560 521 0 0 0 619 19 0 0 20 0 19 0 345428564 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565911272616 272886434951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9754] ppid=9741 vsize=3024420 CPUtime=1.14 cores=0,2,4,6
/proc/9743/task/9754/stat : 9754 (java) S 9741 9743 8924 0 -1 4202560 128 0 0 0 109 5 0 0 20 0 19 0 345428565 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565898859528 272889852988 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9755] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9755/stat : 9755 (java) S 9741 9743 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565897806968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9756] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9756/stat : 9756 (java) S 9741 9743 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565896754312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9757] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9757/stat : 9757 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565895703056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9758] ppid=9741 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/9743/task/9758/stat : 9758 (java) S 9741 9743 8924 0 -1 4202560 6284 0 0 0 77 1 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565894650424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9759] ppid=9741 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/9743/task/9759/stat : 9759 (java) S 9741 9743 8924 0 -1 4202560 7098 0 0 0 82 2 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565893597880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9760] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9760/stat : 9760 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565892545528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9761] ppid=9741 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/9743/task/9761/stat : 9761 (java) S 9741 9743 8924 0 -1 4202560 94 0 0 0 28 35 0 0 20 0 19 0 345428568 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565773544776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9762] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9762/stat : 9762 (java) S 9741 9743 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345428685 3097006080 422586 33554432000 1073741824 1073778376 140735176480992 140565771412264 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1699.96
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.04 2.10 2.04 3/213 9858
/proc/meminfo: memFree=25022536/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=3024420 CPUtime=1761.08 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 22933 0 1 0 175920 188 0 0 20 0 19 0 345428562 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 756105 422760 2308 9 0 746526 0
[pid=9743/tid=9745] ppid=9741 vsize=3024420 CPUtime=1700.87 cores=0,2,4,6
/proc/9743/task/9745/stat : 9745 (java) R 9741 9743 8924 0 -1 4202560 4160 0 1 0 170048 39 0 0 20 0 19 0 345428563 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565935213696 140565774541551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9746] ppid=9741 vsize=3024420 CPUtime=6.49 cores=0,2,4,6
/proc/9743/task/9746/stat : 9746 (java) S 9741 9743 8924 0 -1 4202560 525 0 0 0 629 20 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565918640296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9747] ppid=9741 vsize=3024420 CPUtime=6.54 cores=0,2,4,6
/proc/9743/task/9747/stat : 9747 (java) S 9741 9743 8924 0 -1 4202560 482 0 0 0 637 17 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565917587752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9748] ppid=9741 vsize=3024420 CPUtime=6.48 cores=0,2,4,6
/proc/9743/task/9748/stat : 9748 (java) S 9741 9743 8924 0 -1 4202560 456 0 0 0 634 14 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565916535208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9749] ppid=9741 vsize=3024420 CPUtime=6.5 cores=0,2,4,6
/proc/9743/task/9749/stat : 9749 (java) S 9741 9743 8924 0 -1 4202560 478 0 0 0 632 18 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565915482664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9750] ppid=9741 vsize=3024420 CPUtime=6.74 cores=0,2,4,6
/proc/9743/task/9750/stat : 9750 (java) S 9741 9743 8924 0 -1 4202560 512 0 0 0 654 20 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565914430120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9751] ppid=9741 vsize=3024420 CPUtime=6.56 cores=0,2,4,6
/proc/9743/task/9751/stat : 9751 (java) S 9741 9743 8924 0 -1 4202560 496 0 0 0 637 19 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565913377576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9752] ppid=9741 vsize=3024420 CPUtime=6.74 cores=0,2,4,6
/proc/9743/task/9752/stat : 9752 (java) S 9741 9743 8924 0 -1 4202560 515 0 0 0 655 19 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565912325032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9753] ppid=9741 vsize=3024420 CPUtime=6.58 cores=0,2,4,6
/proc/9743/task/9753/stat : 9753 (java) S 9741 9743 8924 0 -1 4202560 521 0 0 0 639 19 0 0 20 0 19 0 345428564 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565911272488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9754] ppid=9741 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/9743/task/9754/stat : 9754 (java) S 9741 9743 8924 0 -1 4202560 130 0 0 0 139 5 0 0 20 0 19 0 345428565 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565898860648 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9755] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9755/stat : 9755 (java) S 9741 9743 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565897806968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9756] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9756/stat : 9756 (java) S 9741 9743 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565896754312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9757] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9757/stat : 9757 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565895703056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9758] ppid=9741 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/9743/task/9758/stat : 9758 (java) S 9741 9743 8924 0 -1 4202560 6284 0 0 0 77 1 0 0 20 0 19 0 345428568 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565894650424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9759] ppid=9741 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/9743/task/9759/stat : 9759 (java) S 9741 9743 8924 0 -1 4202560 7098 0 0 0 82 2 0 0 20 0 19 0 345428568 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565893597880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9760] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9760/stat : 9760 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565892545528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9761] ppid=9741 vsize=3024420 CPUtime=0.65 cores=0,2,4,6
/proc/9743/task/9761/stat : 9761 (java) S 9741 9743 8924 0 -1 4202560 96 0 0 0 29 36 0 0 20 0 19 0 345428568 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565773544776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9762] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9762/stat : 9762 (java) S 9741 9743 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345428685 3097006080 422760 33554432000 1073741824 1073778376 140735176480992 140565771412264 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1761.08
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1760.4 s]
/proc/loadavg: 2.33 2.16 2.06 3/213 9858
/proc/meminfo: memFree=25022032/32873844 swapFree=7112/7112
[pid=9743] ppid=9741 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/9743/stat : 9743 (java) S 9741 9743 8924 0 -1 4202496 22953 0 1 0 179813 189 0 0 20 0 19 0 345428562 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140735176472128 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9743/statm: 756105 422892 2308 9 0 746526 0
[pid=9743/tid=9745] ppid=9741 vsize=3024420 CPUtime=1738.53 cores=0,2,4,6
/proc/9743/task/9745/stat : 9745 (java) R 9741 9743 8924 0 -1 4202560 4176 0 1 0 173813 40 0 0 20 0 19 0 345428563 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565935213712 140565774602886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9746] ppid=9741 vsize=3024420 CPUtime=6.63 cores=0,2,4,6
/proc/9743/task/9746/stat : 9746 (java) S 9741 9743 8924 0 -1 4202560 525 0 0 0 643 20 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565918640296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9747] ppid=9741 vsize=3024420 CPUtime=6.69 cores=0,2,4,6
/proc/9743/task/9747/stat : 9747 (java) S 9741 9743 8924 0 -1 4202560 482 0 0 0 652 17 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565917587752 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9748] ppid=9741 vsize=3024420 CPUtime=6.64 cores=0,2,4,6
/proc/9743/task/9748/stat : 9748 (java) S 9741 9743 8924 0 -1 4202560 456 0 0 0 650 14 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565916535208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9749] ppid=9741 vsize=3024420 CPUtime=6.67 cores=0,2,4,6
/proc/9743/task/9749/stat : 9749 (java) S 9741 9743 8924 0 -1 4202560 478 0 0 0 649 18 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565915482664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9750] ppid=9741 vsize=3024420 CPUtime=6.87 cores=0,2,4,6
/proc/9743/task/9750/stat : 9750 (java) S 9741 9743 8924 0 -1 4202560 512 0 0 0 667 20 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565914430120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9751] ppid=9741 vsize=3024420 CPUtime=6.71 cores=0,2,4,6
/proc/9743/task/9751/stat : 9751 (java) S 9741 9743 8924 0 -1 4202560 496 0 0 0 652 19 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565913377576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9752] ppid=9741 vsize=3024420 CPUtime=6.87 cores=0,2,4,6
/proc/9743/task/9752/stat : 9752 (java) S 9741 9743 8924 0 -1 4202560 515 0 0 0 668 19 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565912325032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9753] ppid=9741 vsize=3024420 CPUtime=6.73 cores=0,2,4,6
/proc/9743/task/9753/stat : 9753 (java) S 9741 9743 8924 0 -1 4202560 521 0 0 0 654 19 0 0 20 0 19 0 345428564 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565911272488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9743/tid=9754] ppid=9741 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/9743/task/9754/stat : 9754 (java) S 9741 9743 8924 0 -1 4202560 132 0 0 0 139 5 0 0 20 0 19 0 345428565 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565898860648 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9755] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9755/stat : 9755 (java) S 9741 9743 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565897806968 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9756] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9756/stat : 9756 (java) S 9741 9743 8924 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345428565 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565896754312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9757] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9757/stat : 9757 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565895703056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9758] ppid=9741 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/9743/task/9758/stat : 9758 (java) S 9741 9743 8924 0 -1 4202560 6284 0 0 0 77 1 0 0 20 0 19 0 345428568 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565894650424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9743/tid=9759] ppid=9741 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/9743/task/9759/stat : 9759 (java) S 9741 9743 8924 0 -1 4202560 7098 0 0 0 82 2 0 0 20 0 19 0 345428568 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565893597880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9743/tid=9760] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9760/stat : 9760 (java) S 9741 9743 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345428568 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565892545528 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9761] ppid=9741 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9743/task/9761/stat : 9761 (java) S 9741 9743 8924 0 -1 4202560 98 0 0 0 30 37 0 0 20 0 19 0 345428568 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565773544776 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9743/tid=9762] ppid=9741 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9743/task/9762/stat : 9762 (java) S 9741 9743 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345428685 3097006080 422892 33554432000 1073741824 1073778376 140735176480992 140565771412264 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9743 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=880288
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=446628
# CPU time returned by wait4() is 1796.33
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1760.42
CPU time (s): 1800.02
CPU user time (s): 1798.13
CPU system time (s): 1.89
CPU usage (%): 102.249
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 2.44663
maximum resident set size= 1691704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22989
page faults= 1
swaps= 0
block input operations= 40
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66869
involuntary context switches= 103134

runsolver used 8.71967 second user time and 12.0642 second system time

The end

Launcher Data

Begin job on node119 at 2012-06-04 08:57:09
IDJOB=3744092
IDBENCH=92687
IDSOLVER=2319
FILE ID=node119/3744092-1338793029
RUNJOBID= node119-1338784193-8940
PBS_JOBID= 14636847
Free space on /tmp= 70856 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_5_mh_ic.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744092-1338793029/watcher-3744092-1338793029 -o /tmp/evaluation-result-3744092-1338793029/solver-3744092-1338793029 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744092-1338793029.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 60919230beb4b87ee73e0f0d7ecbd414
RANDOM SEED=1765415902

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27340232 kB
Buffers:          433468 kB
Cached:          3236460 kB
SwapCached:         1936 kB
Active:          2546736 kB
Inactive:        2093520 kB
Active(anon):     966012 kB
Inactive(anon):     6616 kB
Active(file):    1580724 kB
Inactive(file):  2086904 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              7892 kB
Writeback:             0 kB
AnonPages:       1021100 kB
Mapped:            20012 kB
Shmem:                 0 kB
Slab:             706544 kB
SReclaimable:     148440 kB
SUnreclaim:       558104 kB
KernelStack:        1600 kB
PageTables:         5836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1829764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    974848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70888 MiB
End job on node119 at 2012-06-04 09:26:31