Trace number 4106564

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)12 1800.03 1799.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_2.opb
MD5SUMf4b87658792e85afbf63fc13ada788f7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint21
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1260
Sum of products size (including duplicates)2520
Number of different products1260
Sum of products size2520

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
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 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4106564-1466271002.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.25/0.25	c ... done. Wall clock time 0.145s.
0.25/0.25	c declared #vars     100
0.25/0.25	c internal #vars     1360
0.25/0.25	c #constraints  2620
0.25/0.25	c constraints type 
0.25/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1360
0.25/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1260
0.25/0.25	c 2620 constraints processed.
0.25/0.25	c objective function length is 100 literals
0.25/0.27	c SATISFIABLE
0.25/0.27	c OPTIMIZING...
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.161
0.25/0.27	o 17
0.25/0.28	c Got one! Elapsed wall clock time (in seconds):0.174
0.25/0.28	o 16
0.47/0.35	c Got one! Elapsed wall clock time (in seconds):0.244
0.47/0.35	o 15
0.47/0.38	c Got one! Elapsed wall clock time (in seconds):0.273
0.47/0.38	o 14
1.84/1.49	c cleaning 2573 clauses out of 5180 with flag 14309/5180
3.45/2.92	c cleaning 4300 clauses out of 8607 with flag 31222/11180
5.15/4.61	c cleaning 5653 clauses out of 11307 with flag 50310/18180
7.17/6.61	c cleaning 6827 clauses out of 13654 with flag 73316/26180
9.58/9.07	c cleaning 7915 clauses out of 15829 with flag 97844/35182
12.38/11.85	c cleaning 8953 clauses out of 17912 with flag 124705/45180
15.38/14.85	c cleaning 9978 clauses out of 19959 with flag 152905/56180
18.53/17.96	c cleaning 10992 clauses out of 21984 with flag 184087/68183
22.13/21.52	c cleaning 11991 clauses out of 23989 with flag 218386/81180
25.83/25.24	c cleaning 12998 clauses out of 25999 with flag 255133/95181
29.83/29.21	c cleaning 14000 clauses out of 28002 with flag 295658/110182
32.83/32.26	c Got one! Elapsed wall clock time (in seconds):32.156
32.83/32.26	o 13
34.33/33.78	c cleaning 14991 clauses out of 30001 with flag 13943/126181
36.03/35.43	c cleaning 10502 clauses out of 21011 with flag 30397/132182
37.73/37.16	c cleaning 8754 clauses out of 17507 with flag 49788/139180
39.82/39.23	c cleaning 8376 clauses out of 16753 with flag 71960/147180
42.22/41.62	c cleaning 8681 clauses out of 17377 with flag 96328/156180
44.73/44.18	c cleaning 9334 clauses out of 18696 with flag 122678/166180
47.52/46.93	c cleaning 10177 clauses out of 20363 with flag 151631/177181
50.52/49.96	c cleaning 11082 clauses out of 22185 with flag 183989/189180
53.92/53.40	c cleaning 12042 clauses out of 24103 with flag 219761/202180
57.72/57.11	c cleaning 13029 clauses out of 26063 with flag 258020/216182
61.52/60.92	c cleaning 14013 clauses out of 28032 with flag 297220/231180
65.92/65.35	c cleaning 15006 clauses out of 30021 with flag 340922/247182
71.13/70.55	c cleaning 16007 clauses out of 32013 with flag 385575/264180
76.42/75.85	c cleaning 17002 clauses out of 34006 with flag 431660/282180
82.02/81.41	c cleaning 17999 clauses out of 36004 with flag 482357/301180
88.33/87.72	c cleaning 18995 clauses out of 38008 with flag 536473/321183
94.82/94.26	c cleaning 19999 clauses out of 40011 with flag 593629/342181
101.52/100.93	c cleaning 20995 clauses out of 42013 with flag 651667/364182
108.43/107.82	c cleaning 21995 clauses out of 44016 with flag 713257/387180
115.92/115.36	c cleaning 23004 clauses out of 46024 with flag 780537/411183
124.02/123.45	c cleaning 24011 clauses out of 48024 with flag 850690/436187
131.82/131.24	c cleaning 24999 clauses out of 50006 with flag 926533/462180
139.62/139.09	c cleaning 25989 clauses out of 52007 with flag 1001648/489180
148.32/147.72	c cleaning 27003 clauses out of 54024 with flag 1081025/517186
156.72/156.17	c cleaning 28003 clauses out of 56015 with flag 1166234/546180
165.42/164.85	c cleaning 29003 clauses out of 58013 with flag 1251237/576181
174.53/173.90	c cleaning 30002 clauses out of 60009 with flag 1347965/607180
184.03/183.40	c cleaning 30997 clauses out of 62007 with flag 1445531/639180
193.93/193.34	c cleaning 31998 clauses out of 64012 with flag 1542199/672182
203.73/203.18	c cleaning 32998 clauses out of 66012 with flag 1644288/706180
214.13/213.50	c cleaning 34006 clauses out of 68018 with flag 1747386/741184
224.37/223.77	c cleaning 34995 clauses out of 70008 with flag 1856064/777180
234.78/234.19	c cleaning 36001 clauses out of 72013 with flag 1972549/814180
245.47/244.86	c cleaning 37006 clauses out of 74014 with flag 2094845/852182
256.57/255.99	c cleaning 38001 clauses out of 76006 with flag 2214578/891180
268.67/268.09	c cleaning 38999 clauses out of 78006 with flag 2329041/931181
283.38/282.75	c cleaning 39991 clauses out of 80007 with flag 2439743/972181
297.37/296.79	c cleaning 41006 clauses out of 82017 with flag 2551725/1014182
312.08/311.46	c cleaning 42000 clauses out of 84009 with flag 2666093/1057180
327.67/327.04	c cleaning 42996 clauses out of 86010 with flag 2783189/1101181
343.57/342.91	c cleaning 43998 clauses out of 88014 with flag 2904121/1146181
360.38/359.74	c cleaning 45003 clauses out of 90015 with flag 3029030/1192180
377.68/377.08	c cleaning 46001 clauses out of 92014 with flag 3159170/1239182
395.28/394.68	c cleaning 47000 clauses out of 94014 with flag 3289126/1287183
414.48/413.80	c cleaning 47999 clauses out of 96011 with flag 3423508/1336180
434.18/433.53	c cleaning 48993 clauses out of 98012 with flag 3555715/1386180
454.08/453.42	c cleaning 50004 clauses out of 100019 with flag 3690366/1437180
474.81/474.17	c cleaning 50999 clauses out of 102015 with flag 3830352/1489180
495.61/494.94	c cleaning 52003 clauses out of 104016 with flag 3977214/1542180
517.37/516.60	c cleaning 53006 clauses out of 106019 with flag 4128387/1596186
539.06/538.39	c cleaning 53997 clauses out of 108008 with flag 4283525/1651181
561.17/560.46	c cleaning 54999 clauses out of 110010 with flag 4442752/1707180
583.57/582.83	c cleaning 56002 clauses out of 112013 with flag 4607830/1764182
599.57/598.81	c Got one! Elapsed wall clock time (in seconds):598.701
599.57/598.81	o 12
601.97/601.26	c cleaning 51827 clauses out of 103674 with flag 14886/1811845
603.98/603.20	c cleaning 28921 clauses out of 57849 with flag 32283/1817847
605.88/605.11	c cleaning 17958 clauses out of 35926 with flag 52001/1824845
607.78/607.06	c cleaning 12985 clauses out of 25969 with flag 75420/1832846
609.98/609.24	c cleaning 10987 clauses out of 21984 with flag 101072/1841846
612.28/611.52	c cleaning 10492 clauses out of 20997 with flag 129667/1851846
614.78/614.01	c cleaning 10746 clauses out of 21504 with flag 160283/1862845
617.68/616.98	c cleaning 11372 clauses out of 22759 with flag 193751/1874846
620.88/620.14	c cleaning 12194 clauses out of 24387 with flag 228602/1887846
624.18/623.48	c cleaning 13090 clauses out of 26194 with flag 266421/1901847
627.79/627.06	c cleaning 14048 clauses out of 28102 with flag 307357/1916845
632.08/631.37	c cleaning 15029 clauses out of 30061 with flag 352112/1932852
636.69/635.92	c cleaning 16006 clauses out of 32027 with flag 398694/1949847
641.48/640.77	c cleaning 17001 clauses out of 34019 with flag 446576/1967845
646.68/645.92	c cleaning 18005 clauses out of 36022 with flag 499400/1986849
652.10/651.32	c cleaning 18998 clauses out of 38013 with flag 552838/2006845
657.79/657.09	c cleaning 20003 clauses out of 40018 with flag 610215/2027848
663.99/663.23	c cleaning 20997 clauses out of 42012 with flag 669641/2049845
670.39/669.61	c cleaning 22008 clauses out of 44015 with flag 729562/2072845
677.69/676.95	c cleaning 22988 clauses out of 46009 with flag 793096/2096847
684.79/684.08	c cleaning 24002 clauses out of 48022 with flag 857995/2121848
692.39/691.63	c cleaning 24993 clauses out of 50018 with flag 928148/2147846
699.99/699.25	c cleaning 26004 clauses out of 52024 with flag 1002552/2174845
708.29/707.53	c cleaning 27002 clauses out of 54022 with flag 1079993/2202847
716.58/715.84	c cleaning 28008 clauses out of 56019 with flag 1160203/2231846
725.48/724.75	c cleaning 29006 clauses out of 58013 with flag 1246051/2261848
734.78/734.02	c cleaning 29998 clauses out of 60006 with flag 1335265/2292847
744.39/743.65	c cleaning 30986 clauses out of 62006 with flag 1428943/2324845
754.18/753.50	c cleaning 32008 clauses out of 64020 with flag 1525898/2357845
764.48/763.77	c cleaning 33000 clauses out of 66015 with flag 1622753/2391848
775.22/774.42	c cleaning 34002 clauses out of 68013 with flag 1722760/2426846
787.01/786.23	c cleaning 34996 clauses out of 70010 with flag 1823679/2462845
799.61/798.83	c cleaning 35998 clauses out of 72014 with flag 1924435/2499845
811.91/811.13	c cleaning 37006 clauses out of 74016 with flag 2030721/2537845
824.81/824.04	c cleaning 38001 clauses out of 76013 with flag 2143633/2576848
838.10/837.31	c cleaning 39005 clauses out of 78010 with flag 2258837/2616846
851.11/850.31	c cleaning 39997 clauses out of 80007 with flag 2383379/2657848
864.31/863.58	c cleaning 40997 clauses out of 82009 with flag 2510966/2699847
878.61/877.87	c cleaning 42003 clauses out of 84010 with flag 2641802/2742845
893.10/892.30	c cleaning 42995 clauses out of 86007 with flag 2770035/2786845
908.20/907.46	c cleaning 43998 clauses out of 88012 with flag 2906312/2831845
923.71/922.94	c cleaning 44999 clauses out of 90016 with flag 3040140/2877847
939.81/939.03	c cleaning 46005 clauses out of 92015 with flag 3177010/2924845
955.81/955.06	c cleaning 47000 clauses out of 94010 with flag 3321167/2972845
971.91/971.17	c cleaning 48001 clauses out of 96011 with flag 3465292/3021846
989.22/988.42	c cleaning 49000 clauses out of 98009 with flag 3617844/3071845
1006.12/1005.38	c cleaning 49998 clauses out of 100010 with flag 3767839/3122846
1023.93/1023.11	c cleaning 50998 clauses out of 102011 with flag 3925492/3174845
1042.03/1041.26	c cleaning 52008 clauses out of 104018 with flag 4085254/3227850
1060.73/1059.96	c cleaning 52993 clauses out of 106006 with flag 4249926/3281846
1079.65/1078.86	c cleaning 53992 clauses out of 108012 with flag 4421465/3336845
1099.45/1098.63	c cleaning 55012 clauses out of 110024 with flag 4590302/3392849
1119.36/1118.58	c cleaning 55993 clauses out of 112008 with flag 4759734/3449845
1139.66/1138.80	c cleaning 57003 clauses out of 114018 with flag 4933324/3507848
1160.16/1159.36	c cleaning 58007 clauses out of 116014 with flag 5117434/3566847
1181.17/1180.32	c cleaning 58999 clauses out of 118007 with flag 5309867/3626847
1202.66/1201.88	c cleaning 60001 clauses out of 120006 with flag 5507845/3687845
1224.07/1223.23	c cleaning 60993 clauses out of 122006 with flag 5705916/3749846
1246.57/1245.77	c cleaning 61996 clauses out of 124012 with flag 5907451/3812845
1269.87/1269.06	c cleaning 63007 clauses out of 126017 with flag 6103809/3876846
1293.47/1292.66	c cleaning 64000 clauses out of 128009 with flag 6305728/3941845
1317.98/1317.17	c cleaning 64998 clauses out of 130011 with flag 6507419/4007847
1342.68/1341.87	c cleaning 66003 clauses out of 132011 with flag 6712763/4074845
1366.91/1366.04	c cleaning 66999 clauses out of 134008 with flag 6931196/4142845
1393.31/1392.48	c cleaning 67996 clauses out of 136009 with flag 7141003/4211845
1419.81/1418.90	c cleaning 68995 clauses out of 138013 with flag 7359617/4281845
1446.21/1445.36	c cleaning 70008 clauses out of 140021 with flag 7583422/4352848
1473.71/1472.81	c cleaning 71001 clauses out of 142010 with flag 7807905/4424845
1501.12/1500.28	c cleaning 71996 clauses out of 144009 with flag 8053450/4497845
1529.62/1528.72	c cleaning 73007 clauses out of 146014 with flag 8303675/4571846
1558.22/1557.36	c cleaning 73994 clauses out of 148006 with flag 8557802/4646845
1587.33/1586.47	c cleaning 74999 clauses out of 150012 with flag 8816317/4722845
1617.14/1616.24	c cleaning 76003 clauses out of 152013 with flag 9081386/4799845
1647.42/1646.46	c cleaning 77004 clauses out of 154010 with flag 9349458/4877845
1677.62/1676.70	c cleaning 78000 clauses out of 156007 with flag 9609426/4956846
1709.13/1708.11	c cleaning 78999 clauses out of 158006 with flag 9876368/5036845
1740.14/1739.17	c cleaning 79995 clauses out of 160009 with flag 10145413/5117847
1772.73/1771.76	c cleaning 81004 clauses out of 162012 with flag 10440769/5199845
1800.03/1799.00	c starts		: 1058
1800.03/1799.00	c conflicts		: 5273124
1800.03/1799.00	c decisions		: 10962914
1800.03/1799.00	c propagations		: 1081011308
1800.03/1799.00	c inspects		: 25624976429
1800.03/1799.00	c shortcuts		: 0
1800.03/1799.00	c learnt literals	: 0
1800.03/1799.00	c learnt binary clauses	: 0
1800.03/1799.00	c learnt ternary clauses	: 12
1800.03/1799.00	c learnt constraints	: 5273124
1800.03/1799.00	c ignored constraints	: 0
1800.03/1799.00	c root simplifications	: 0
1800.03/1799.00	c removed literals (reason simplification)	: 0
1800.03/1799.00	c reason swapping (by a shorter reason)	: 0
1800.03/1799.00	c Calls to reduceDB	: 142
1800.03/1799.00	c Number of update (reduction) of LBD	: 1411041
1800.03/1799.00	c Imported unit clauses	: 0
1800.03/1799.00	c number of reductions to clauses (during analyze)	: 0
1800.03/1799.00	c number of learned constraints concerned by reduction	: 0
1800.03/1799.00	c number of learning phase by resolution	: 0
1800.03/1799.00	c number of learning phase by cutting planes	: 0
1800.03/1799.00	c speed (assignments/second)	: 600980.5208739867
1800.03/1799.00	c non guided choices	0
1800.03/1799.03	c learnt constraints type 
1800.03/1799.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154287
1800.03/1799.03	s SATISFIABLE
1800.03/1799.03	c Found 6 solution(s)
1800.03/1799.03	v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.03/1799.03	c objective function=12
1800.03/1799.03	c Total wall clock time (in seconds): 1798.923

Verifier Data 

OK	12

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106564-1466271002/watcher-4106564-1466271002 -o /tmp/evaluation-result-4106564-1466271002/solver-4106564-1466271002 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19864 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106564-1466271002.opb 

pid=21751
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.22 2.24 2.19 3/195 21754
/proc/meminfo: memFree=30566236/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 29149105 98570240 977 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 24065 977 744 9 0 16771 0
[pid=21754/tid=21755] ppid=21751 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 29149105 98570240 977 33554432000 1073741824 1073778376 140734072820416 140133413613096 213193147776 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100116 s]
/proc/loadavg: 2.22 2.24 2.19 3/195 21754
/proc/meminfo: memFree=30566236/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 4403 0 1 0 10 1 0 0 20 0 18 0 29149105 9787879424 6040 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2389619 6042 2134 9 0 2380296 0
[pid=21754/tid=21755] ppid=21751 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2380 0 1 0 7 0 0 0 20 0 18 0 29149105 9787879424 6042 33554432000 1073741824 1073778376 140734072820416 140133413616544 140133416421417 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200317 s]
/proc/loadavg: 2.22 2.24 2.19 3/195 21754
/proc/meminfo: memFree=30566236/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 4662 0 1 0 24 1 0 0 20 0 18 0 29149105 9787879424 6771 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2389619 6771 2202 9 0 2380296 0
[pid=21754/tid=21755] ppid=21751 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2402 0 1 0 16 1 0 0 20 0 18 0 29149105 9787879424 6771 33554432000 1073741824 1073778376 140734072820416 140133413616544 140133257044845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300307 s]
/proc/loadavg: 2.22 2.24 2.19 3/195 21754
/proc/meminfo: memFree=30566236/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 5587 0 1 0 46 1 0 0 20 0 19 0 29149105 9856040960 8254 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 8254 2238 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2415 0 1 0 26 1 0 0 20 0 19 0 29149105 9856040960 8254 33554432000 1073741824 1073778376 140734072820416 140133413618304 140133417296303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625040

[startup+0.700258 s]
/proc/loadavg: 2.22 2.24 2.19 3/195 21754
/proc/meminfo: memFree=30566236/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 8530 0 1 0 112 1 0 0 20 0 19 0 29149105 9856040960 9910 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 9910 2248 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2418 0 1 0 66 1 0 0 20 0 19 0 29149105 9856040960 9910 33554432000 1073741824 1073778376 140734072820416 140133413617880 140133257457896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.22 2.24 2.19 3/214 21773
/proc/meminfo: memFree=30535124/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 8846 0 1 0 202 1 0 0 20 0 19 0 29149105 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 9930 2258 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2418 0 1 0 146 1 0 0 20 0 19 0 29149105 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133413618152 140133257400559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21757] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21757/stat : 21757 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133256915752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21758] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21758/stat : 21758 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133255862952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21759] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21759/stat : 21759 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133254810664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21754/tid=21760] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21760/stat : 21760 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133253757864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21761] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133252704552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21762] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21762/stat : 21762 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133251651752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21763] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21763/stat : 21763 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133250599464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21764] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (java) S 21751 21754 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140133249546664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21765] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21765/stat : 21765 (java) S 21751 21754 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29149107 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132767218408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21766] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21766/stat : 21766 (java) S 21751 21754 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132766164472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21767] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (java) S 21751 21754 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132765112072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21768] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21768/stat : 21768 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132764060560 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21769] ppid=21751 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/21754/task/21769/stat : 21769 (java) S 21751 21754 19848 0 -1 4202560 1947 0 0 0 22 0 0 0 20 0 19 0 29149110 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132763007160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21770] ppid=21751 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (java) S 21751 21754 19848 0 -1 4202560 3205 0 0 0 29 0 0 0 20 0 19 0 29149110 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132761954360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21771] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21771/stat : 21771 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132760902264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21772] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21772/stat : 21772 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132759849672 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21773] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21773/stat : 21773 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29149131 9856040960 9930 33554432000 1073741824 1073778376 140734072820416 140132758795688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.22 2.24 2.19 3/214 21773
/proc/meminfo: memFree=30532456/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 8849 0 1 0 364 1 0 0 20 0 19 0 29149105 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 10442 2258 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2421 0 1 0 306 1 0 0 20 0 19 0 29149105 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133413618200 140133257255490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21757] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21757/stat : 21757 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133256915752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21758] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21758/stat : 21758 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133255862952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21759] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21759/stat : 21759 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133254810664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21754/tid=21760] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21760/stat : 21760 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133253757864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21761] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133252704552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21762] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21762/stat : 21762 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133251651752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21763] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21763/stat : 21763 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133250599464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21764] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (java) S 21751 21754 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140133249546664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21765] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21765/stat : 21765 (java) S 21751 21754 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29149107 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132767218408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21766] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21766/stat : 21766 (java) S 21751 21754 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132766164472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21767] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (java) S 21751 21754 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132765112072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21768] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21768/stat : 21768 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132764060560 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21769] ppid=21751 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/21754/task/21769/stat : 21769 (java) S 21751 21754 19848 0 -1 4202560 1947 0 0 0 23 0 0 0 20 0 19 0 29149110 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132763007160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21770] ppid=21751 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (java) S 21751 21754 19848 0 -1 4202560 3205 0 0 0 30 0 0 0 20 0 19 0 29149110 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132761954360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21771] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21771/stat : 21771 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132760902264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21772] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21772/stat : 21772 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132759849672 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21773] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21773/stat : 21773 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29149131 9856040960 10442 33554432000 1073741824 1073778376 140734072820416 140132758795688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.20 2.24 2.19 3/214 21773
/proc/meminfo: memFree=30530808/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=6.86 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 8853 0 1 0 685 1 0 0 20 0 19 0 29149105 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 10700 2259 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2424 0 1 0 625 1 0 0 20 0 19 0 29149105 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133413609184 140133257400525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21757] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21757/stat : 21757 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133256915752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21758] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21758/stat : 21758 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133255862952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21759] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21759/stat : 21759 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133254810664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21754/tid=21760] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21760/stat : 21760 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133253757864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21761] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133252704552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21762] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21762/stat : 21762 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133251651752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21763] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21763/stat : 21763 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133250599464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21764] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (java) S 21751 21754 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29149106 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140133249546664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21765] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21765/stat : 21765 (java) S 21751 21754 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29149107 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140132767218408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21766] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21766/stat : 21766 (java) S 21751 21754 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140132766164472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21767] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (java) S 21751 21754 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140132765112072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21768] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21768/stat : 21768 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140132764060560 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21769] ppid=21751 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/21754/task/21769/stat : 21769 (java) S 21751 21754 19848 0 -1 4202560 1947 0 0 0 23 0 0 0 20 0 19 0 29149110 9856040960 10700 33554432000 1073741824 1073778376 140734072820416 140132763007160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21770] ppid=21751 vsize=9625040 CPUtime=0.31 cores=0,2,4,6

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

[pid=21754/tid=21773] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21773/stat : 21773 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29149131 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132758795688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1663.32
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/213 21943
/proc/meminfo: memFree=30331124/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=1723.33 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 10092 0 1 0 172301 32 0 0 20 0 19 0 29149105 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 54515 2274 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=1717.71 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2492 0 1 0 171742 29 0 0 20 0 19 0 29149105 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133413609152 140133257446340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21757] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21757/stat : 21757 (java) S 21751 21754 19848 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133256915752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21758] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21758/stat : 21758 (java) S 21751 21754 19848 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133255862952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21759] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21759/stat : 21759 (java) S 21751 21754 19848 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133254810664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21760] ppid=21751 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/21754/task/21760/stat : 21760 (java) S 21751 21754 19848 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133253757864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21761] ppid=21751 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (java) S 21751 21754 19848 0 -1 4202560 15 0 0 0 3 2 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133252704552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21762] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21762/stat : 21762 (java) S 21751 21754 19848 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133251651752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21763] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21763/stat : 21763 (java) S 21751 21754 19848 0 -1 4202560 13 0 0 0 2 1 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133250599464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21754/tid=21764] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133249546664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21765] ppid=21751 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/21754/task/21765/stat : 21765 (java) S 21751 21754 19848 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 29149107 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132767218408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21766] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21766/stat : 21766 (java) S 21751 21754 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132766164472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21767] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (java) S 21751 21754 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132765112072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21768] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21768/stat : 21768 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132764060560 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21769] ppid=21751 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/21754/task/21769/stat : 21769 (java) S 21751 21754 19848 0 -1 4202560 2859 0 0 0 30 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132763007160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21770] ppid=21751 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (java) S 21751 21754 19848 0 -1 4202560 3234 0 0 0 32 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132761954360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21771] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21771/stat : 21771 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132760902264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21772] ppid=21751 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/21754/task/21772/stat : 21772 (java) S 21751 21754 19848 0 -1 4202560 100 0 0 0 23 24 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132759849672 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21773] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21773/stat : 21773 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29149131 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132758795688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1723.33
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/213 21944
/proc/meminfo: memFree=30330880/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=1783.33 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 10096 0 1 0 178301 32 0 0 20 0 19 0 29149105 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 54515 2274 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=1777.56 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2492 0 1 0 177726 30 0 0 20 0 19 0 29149105 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133413609152 140133257470716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21757] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21757/stat : 21757 (java) S 21751 21754 19848 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133256915752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21758] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21758/stat : 21758 (java) S 21751 21754 19848 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133255862952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21759] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21759/stat : 21759 (java) S 21751 21754 19848 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133254810664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21760] ppid=21751 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/21754/task/21760/stat : 21760 (java) S 21751 21754 19848 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133253757864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21761] ppid=21751 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (java) S 21751 21754 19848 0 -1 4202560 15 0 0 0 3 2 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133252704552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21762] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21762/stat : 21762 (java) S 21751 21754 19848 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133251651752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21763] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21763/stat : 21763 (java) S 21751 21754 19848 0 -1 4202560 13 0 0 0 2 1 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133250599464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21754/tid=21764] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133249546664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21765] ppid=21751 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/21754/task/21765/stat : 21765 (java) S 21751 21754 19848 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 29149107 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132767218408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21766] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21766/stat : 21766 (java) S 21751 21754 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132766164472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21767] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (java) S 21751 21754 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132765112072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21768] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21768/stat : 21768 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132764060560 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21769] ppid=21751 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/21754/task/21769/stat : 21769 (java) S 21751 21754 19848 0 -1 4202560 2859 0 0 0 30 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132763007160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21770] ppid=21751 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (java) S 21751 21754 19848 0 -1 4202560 3234 0 0 0 32 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132761954360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21771] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21771/stat : 21771 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132760902264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21772] ppid=21751 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/21754/task/21772/stat : 21772 (java) S 21751 21754 19848 0 -1 4202560 104 0 0 0 25 25 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132759849672 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21773] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21773/stat : 21773 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29149131 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132758795688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1783.33
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799 s]
/proc/loadavg: 2.10 2.08 2.09 3/213 21945
/proc/meminfo: memFree=30330872/32872528 swapFree=877056/942464
[pid=21754] ppid=21751 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/21754/stat : 21754 (java) S 21751 21754 19848 0 -1 4202496 10096 0 1 0 179971 32 0 0 20 0 19 0 29149105 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140734072811552 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21754/statm: 2406260 54515 2274 9 0 2396937 0
[pid=21754/tid=21755] ppid=21751 vsize=9625040 CPUtime=1794.21 cores=0,2,4,6
/proc/21754/task/21755/stat : 21755 (java) R 21751 21754 19848 0 -1 4202560 2492 0 1 0 179391 30 0 0 20 0 19 0 29149105 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133413609152 140133257446098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21757] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21757/stat : 21757 (java) S 21751 21754 19848 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133256915752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21758] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21758/stat : 21758 (java) S 21751 21754 19848 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133255862952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21759] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21759/stat : 21759 (java) S 21751 21754 19848 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133254810664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21760] ppid=21751 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/21754/task/21760/stat : 21760 (java) S 21751 21754 19848 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133253757864 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21761] ppid=21751 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/21754/task/21761/stat : 21761 (java) S 21751 21754 19848 0 -1 4202560 15 0 0 0 3 2 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133252704552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21762] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21762/stat : 21762 (java) S 21751 21754 19848 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133251651752 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21763] ppid=21751 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/21754/task/21763/stat : 21763 (java) S 21751 21754 19848 0 -1 4202560 13 0 0 0 2 1 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133250599464 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21754/tid=21764] ppid=21751 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/21754/task/21764/stat : 21764 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 29149106 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140133249546664 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21765] ppid=21751 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/21754/task/21765/stat : 21765 (java) S 21751 21754 19848 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 29149107 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132767218408 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21766] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21766/stat : 21766 (java) S 21751 21754 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132766164472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21767] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21767/stat : 21767 (java) S 21751 21754 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29149108 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132765112072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21768] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21768/stat : 21768 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132764060560 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21769] ppid=21751 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/21754/task/21769/stat : 21769 (java) S 21751 21754 19848 0 -1 4202560 2859 0 0 0 30 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132763007160 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21754/tid=21770] ppid=21751 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/21754/task/21770/stat : 21770 (java) S 21751 21754 19848 0 -1 4202560 3234 0 0 0 32 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132761954360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21771] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21771/stat : 21771 (java) S 21751 21754 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132760902264 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21754/tid=21772] ppid=21751 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/21754/task/21772/stat : 21772 (java) S 21751 21754 19848 0 -1 4202560 104 0 0 0 25 25 0 0 20 0 19 0 29149110 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132759849672 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21754/tid=21773] ppid=21751 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/21754/task/21773/stat : 21773 (java) S 21751 21754 19848 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29149131 9856040960 54515 33554432000 1073741824 1073778376 140734072820416 140132758795688 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21754 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21754 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=180091
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=750885
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1799.04
CPU time (s): 1800.03
CPU user time (s): 1799.71
CPU system time (s): 0.32
CPU usage (%): 100.055
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.18
system time used= 0.750885
maximum resident set size= 218228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10145
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38204
involuntary context switches= 3543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2944 second user time and 13.121 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-18 19:30:02
IDJOB=4106564
IDBENCH=48106
IDSOLVER=2546
FILE ID=node113/4106564-1466271002
RUNJOBID= node113-1466265808-19864
PBS_JOBID= 19918235
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106564-1466271002/watcher-4106564-1466271002 -o /tmp/evaluation-result-4106564-1466271002/solver-4106564-1466271002 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19864 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106564-1466271002.opb

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

MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7
RANDOM SEED=160263561

node113.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.799
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.59
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.799
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	: 5332.55
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.799
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	: 5332.56
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.799
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	: 5332.55
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.799
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	: 5332.55
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.799
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	: 5332.54
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.799
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	: 5332.54
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.799
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30566508 kB
Buffers:          112888 kB
Cached:           282784 kB
SwapCached:         1896 kB
Active:           313792 kB
Inactive:         309484 kB
Active(anon):     228192 kB
Inactive(anon):     2024 kB
Active(file):      85600 kB
Inactive(file):   307460 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:               956 kB
Writeback:             0 kB
AnonPages:       1190468 kB
Mapped:            15348 kB
Shmem:                 0 kB
Slab:             606920 kB
SReclaimable:      50044 kB
SUnreclaim:       556876 kB
KernelStack:        1768 kB
PageTables:         6696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1631356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node113 at 2016-06-18 20:00:01