Trace number 3711193

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 specific settings 2.3.2 snapshotOPT-7 320.43 317.912

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_2.opb
MD5SUM1eb933a10fcc575d2df25e98511c4b07
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark9.39857
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
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)2960
Sum of products size (including duplicates)5920
Number of different products1480
Sum of products size2960

Quality of the solution as a function of time


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

Solver Data 

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.10	c Free memory 		501472288
0.01/0.10	c Max memory 		7480803328
0.01/0.10	c Total memory 		504102912
0.01/0.10	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.14	c --- Begin Solver configuration ---
0.08/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.14	c Learn all clauses as in MiniSAT
0.08/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.14	c Expensive reason simplification
0.08/0.14	c Armin Biere (Picosat) restarts strategy
0.08/0.14	c Glucose learned constraints deletion strategy
0.08/0.14	c timeout=2147483s
0.08/0.14	c DB Simplification allowed=true
0.08/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.14	c --- End Solver configuration ---
0.08/0.14	c solving HOME/instance-3711193-1338172785.opb
0.08/0.14	c reading problem ... 
0.42/0.31	c ... done. Wall clock time 0.177s.
0.42/0.31	c declared #vars     100
0.42/0.31	c internal #vars     1580
0.42/0.31	c #constraints  3112
0.42/0.31	c constraints type 
0.42/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1480
0.42/0.31	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.42/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.42/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1480
0.42/0.31	c 3112 constraints processed.
0.42/0.34	c SATISFIABLE
0.42/0.34	c OPTIMIZING...
0.42/0.34	c Got one! Elapsed wall clock time (in seconds):0.201
0.42/0.34	o 0
0.42/0.35	c Got one! Elapsed wall clock time (in seconds):0.219
0.42/0.35	o -1
0.65/0.41	c Got one! Elapsed wall clock time (in seconds):0.27
0.65/0.41	o -4
0.65/0.43	c Got one! Elapsed wall clock time (in seconds):0.291
0.65/0.43	o -5
0.65/0.48	c Got one! Elapsed wall clock time (in seconds):0.34
0.65/0.48	o -6
1.29/0.82	c cleaning 2673 clauses out of 5348 with flag 5000/5348
1.67/1.17	c cleaning 4340 clauses out of 8690 with flag 11015/11363
2.07/1.56	c cleaning 5667 clauses out of 11337 with flag 18002/18350
2.48/1.97	c cleaning 6831 clauses out of 13669 with flag 26001/26349
3.02/2.42	c cleaning 7918 clauses out of 15837 with flag 35000/35348
3.73/3.10	c cleaning 8956 clauses out of 17920 with flag 45001/45349
4.23/3.67	c cleaning 9976 clauses out of 19963 with flag 56000/56348
4.95/4.34	c cleaning 10994 clauses out of 21991 with flag 68004/68352
5.77/5.15	c cleaning 11991 clauses out of 23994 with flag 81001/81349
6.38/5.76	c Got one! Elapsed wall clock time (in seconds):5.624
6.38/5.76	o -7
6.78/6.11	c cleaning 14127 clauses out of 28269 with flag 5002/97615
7.19/6.50	c cleaning 10069 clauses out of 20141 with flag 11001/103614
7.59/6.97	c cleaning 8522 clauses out of 17071 with flag 18000/110613
8.09/7.42	c cleaning 8273 clauses out of 16550 with flag 26001/118614
8.49/7.87	c cleaning 8635 clauses out of 17277 with flag 35001/127614
9.11/8.43	c cleaning 9313 clauses out of 18642 with flag 45001/137614
9.81/9.15	c cleaning 10165 clauses out of 20332 with flag 56004/148617
10.62/9.92	c cleaning 11068 clauses out of 22163 with flag 68000/160613
11.53/10.88	c cleaning 12047 clauses out of 24096 with flag 81001/173614
12.34/11.63	c cleaning 13018 clauses out of 26048 with flag 95000/187613
13.25/12.52	c cleaning 14012 clauses out of 28031 with flag 110001/202614
14.15/13.46	c cleaning 15001 clauses out of 30018 with flag 126000/218613
15.45/14.64	c cleaning 16001 clauses out of 32020 with flag 143003/235616
17.13/15.95	c cleaning 16999 clauses out of 34016 with flag 161000/253613
18.34/17.13	c cleaning 18002 clauses out of 36018 with flag 180001/272614
19.55/18.37	c cleaning 18998 clauses out of 38015 with flag 200000/292613
20.96/19.73	c cleaning 20006 clauses out of 40017 with flag 221000/313613
22.47/21.22	c cleaning 20998 clauses out of 42014 with flag 243003/335616
24.08/22.88	c cleaning 21992 clauses out of 44013 with flag 266000/358613
25.98/24.71	c cleaning 23005 clauses out of 46022 with flag 290001/382614
27.70/26.44	c cleaning 24006 clauses out of 48016 with flag 315000/407613
29.70/28.44	c cleaning 25001 clauses out of 50012 with flag 341002/433615
31.81/30.50	c cleaning 25997 clauses out of 52013 with flag 368004/460617
33.72/32.46	c cleaning 26997 clauses out of 54012 with flag 396000/488613
36.12/34.84	c cleaning 28002 clauses out of 56015 with flag 425000/517613
38.43/37.18	c cleaning 29006 clauses out of 58014 with flag 455001/547614
41.35/40.03	c cleaning 29992 clauses out of 60010 with flag 486003/578616
44.36/43.03	c cleaning 31004 clauses out of 62015 with flag 518000/610613
46.97/45.68	c cleaning 31992 clauses out of 64011 with flag 551000/643613
50.18/48.80	c cleaning 33010 clauses out of 66025 with flag 585006/677619
53.82/52.41	c cleaning 33996 clauses out of 68009 with flag 620000/712613
56.94/55.58	c cleaning 35004 clauses out of 70014 with flag 656001/748614
60.47/59.01	c cleaning 36001 clauses out of 72010 with flag 693001/785614
64.10/62.67	c cleaning 37004 clauses out of 74010 with flag 731002/823615
68.19/66.74	c cleaning 37987 clauses out of 76004 with flag 770000/862613
72.02/70.56	c cleaning 39004 clauses out of 78017 with flag 810000/902613
75.73/74.28	c cleaning 40003 clauses out of 80015 with flag 851002/943615
79.65/78.11	c cleaning 40999 clauses out of 82010 with flag 893000/985613
83.77/82.29	c cleaning 41997 clauses out of 84014 with flag 936003/1028616
88.90/87.35	c cleaning 43002 clauses out of 86014 with flag 980000/1072613
94.22/92.60	c cleaning 43988 clauses out of 88014 with flag 1025002/1117615
98.94/97.36	c cleaning 45001 clauses out of 90024 with flag 1071000/1163613
103.66/102.01	c cleaning 46000 clauses out of 92024 with flag 1118001/1210614
108.97/107.34	c cleaning 47008 clauses out of 94023 with flag 1166000/1258613
114.39/112.74	c cleaning 47990 clauses out of 96015 with flag 1215000/1307613
119.63/117.95	c cleaning 49007 clauses out of 98029 with flag 1265004/1357617
124.94/123.25	c cleaning 49995 clauses out of 100021 with flag 1316003/1408616
130.60/128.86	c cleaning 51009 clauses out of 102023 with flag 1368000/1460613
136.84/135.07	c cleaning 51995 clauses out of 104014 with flag 1421000/1513613
142.66/140.88	c cleaning 53008 clauses out of 106020 with flag 1475001/1567614
149.77/147.92	c cleaning 54006 clauses out of 108013 with flag 1530002/1622615
156.20/154.35	c cleaning 54995 clauses out of 110007 with flag 1586002/1678615
163.31/161.47	c cleaning 55991 clauses out of 112012 with flag 1643002/1735615
170.04/168.15	c cleaning 57002 clauses out of 114019 with flag 1701000/1793613
177.67/175.72	c cleaning 57985 clauses out of 116018 with flag 1760001/1852614
185.49/183.54	c cleaning 59010 clauses out of 118032 with flag 1820000/1912613
192.82/190.89	c cleaning 59994 clauses out of 120022 with flag 1881000/1973613
200.27/198.25	c cleaning 61000 clauses out of 122028 with flag 1943000/2035613
207.69/205.69	c cleaning 62004 clauses out of 124031 with flag 2006003/2098616
215.31/213.22	c cleaning 63004 clauses out of 126026 with flag 2070002/2162615
223.75/221.61	c cleaning 63995 clauses out of 128021 with flag 2135001/2227614
231.67/229.50	c cleaning 65007 clauses out of 130026 with flag 2201001/2293614
241.40/239.27	c cleaning 66008 clauses out of 132020 with flag 2268002/2360615
251.14/248.94	c cleaning 66998 clauses out of 134011 with flag 2336001/2428614
261.48/259.27	c cleaning 67995 clauses out of 136012 with flag 2405000/2497613
271.10/268.82	c cleaning 69007 clauses out of 138018 with flag 2475001/2567614
280.24/277.97	c cleaning 69999 clauses out of 140011 with flag 2546001/2638614
289.29/286.95	c cleaning 71002 clauses out of 142011 with flag 2618000/2710613
299.32/296.91	c cleaning 71995 clauses out of 144009 with flag 2691000/2783613
308.55/306.13	c cleaning 73004 clauses out of 146014 with flag 2765000/2857613
318.90/316.40	c cleaning 74004 clauses out of 148010 with flag 2840000/2932613
320.33/317.90	c starts		: 237
320.33/317.90	c conflicts		: 2944577
320.33/317.90	c decisions		: 4075906
320.33/317.90	c propagations		: 111806619
320.33/317.90	c inspects		: 3834304489
320.33/317.90	c shortcuts		: 0
320.33/317.90	c learnt literals	: 7
320.33/317.90	c learnt binary clauses	: 60
320.33/317.90	c learnt ternary clauses	: 38273
320.43/317.90	c learnt constraints	: 2944569
320.43/317.90	c ignored constraints	: 0
320.43/317.90	c root simplifications	: 243
320.43/317.90	c removed literals (reason simplification)	: 80190744
320.43/317.90	c reason swapping (by a shorter reason)	: 0
320.43/317.90	c Calls to reduceDB	: 80
320.43/317.90	c number of reductions to clauses (during analyze)	: 0
320.43/317.90	c number of learned constraints concerned by reduction	: 0
320.43/317.90	c number of learning phase by resolution	: 0
320.43/317.90	c number of learning phase by cutting planes	: 0
320.43/317.90	c speed (assignments/second)	: 352052.58119873423
320.43/317.90	c non guided choices	2968
320.43/317.90	c learnt constraints type 
320.43/317.90	c constraints type 
320.43/317.90	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1480
320.43/317.90	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
320.43/317.90	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
320.43/317.90	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1480
320.43/317.90	c 3112 constraints processed.
320.43/317.90	s OPTIMUM FOUND
320.43/317.90	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 
320.43/317.90	c objective function=-7
320.43/317.90	c Total wall clock time (in seconds): 317.769

Verifier Data 

OK	-7

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-3711193-1338172785/watcher-3711193-1338172785 -o /tmp/evaluation-result-3711193-1338172785/solver-3711193-1338172785 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711193-1338172785.opb 

running on 4 cores: 1,3,5,7

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.09 2.04 2.01 3/194 1982
/proc/meminfo: memFree=31057620/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/1982/stat : 1982 (java) D 1980 1982 31312 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 283404122 9515008 175 33554432000 1073741824 1073778376 140735259355344 140735259338072 214369649552 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/1982/statm: 2323 175 133 9 0 71 0

[startup+0.0419491 s]
/proc/loadavg: 2.09 2.04 2.01 3/194 1982
/proc/meminfo: memFree=31057620/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9160024 CPUtime=0.01 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 2997 0 1 0 1 0 0 0 20 0 13 0 283404122 9379864576 3185 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2306390 3186 1656 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9160024

[startup+0.100334 s]
/proc/loadavg: 2.09 2.04 2.01 3/194 1982
/proc/meminfo: memFree=31057620/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 3743 0 1 0 7 1 0 0 20 0 18 0 283404122 9787842560 4440 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2389610 4441 1939 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300284 s]
/proc/loadavg: 2.09 2.04 2.01 3/194 1982
/proc/meminfo: memFree=31057620/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9558440 CPUtime=0.42 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 6005 0 1 0 40 2 0 0 20 0 18 0 283404122 9787842560 7823 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2389610 7823 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558440

[startup+0.700294 s]
/proc/loadavg: 2.09 2.04 2.01 3/194 1982
/proc/meminfo: memFree=31057620/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9625004 CPUtime=1.18 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 8114 0 1 0 115 3 0 0 20 0 19 0 283404122 9856004096 10452 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2406251 10452 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625004

[startup+1.50066 s]
/proc/loadavg: 2.24 2.07 2.02 3/213 2001
/proc/meminfo: memFree=31014080/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9625004 CPUtime=2.07 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 8189 0 1 0 203 4 0 0 20 0 19 0 283404122 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2406251 13583 2285 9 0 2396937 0
[pid=1982/tid=1984] ppid=1980 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/1982/task/1984/stat : 1984 (java) R 1980 1982 31312 0 -1 4202560 2572 0 1 0 141 1 0 0 20 0 19 0 283404123 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008827449864 140008700131552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1985] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1985/stat : 1985 (java) S 1980 1982 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008671234344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1986] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1986/stat : 1986 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008670181544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1987] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1987/stat : 1987 (java) S 1980 1982 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008669129256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1988] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1988/stat : 1988 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008668076456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1989] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1989/stat : 1989 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008667024168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1990] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1990/stat : 1990 (java) S 1980 1982 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008665971368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1991] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1991/stat : 1991 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008664919080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1992] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1992/stat : 1992 (java) S 1980 1982 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008663866280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1993] ppid=1980 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1982/task/1993/stat : 1993 (java) S 1980 1982 31312 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 283404125 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008651667688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1994] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1994/stat : 1994 (java) S 1980 1982 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008650613752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1995] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1995/stat : 1995 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008649561352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1996] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1996/stat : 1996 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404128 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008648509840 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1997] ppid=1980 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/1982/task/1997/stat : 1997 (java) S 1980 1982 31312 0 -1 4202560 1624 0 0 0 29 0 0 0 20 0 19 0 283404128 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008647457464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1998] ppid=1980 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/1982/task/1998/stat : 1998 (java) S 1980 1982 31312 0 -1 4202560 2741 0 0 0 26 1 0 0 20 0 19 0 283404129 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008646404664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1999] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1999/stat : 1999 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008645352568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=2000] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2000/stat : 2000 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008644299976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=2001] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2001/stat : 2001 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283404154 9856004096 13583 33554432000 1073741824 1073778376 140734780558352 140008643244968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 2.24 2.07 2.02 3/213 2001
/proc/meminfo: memFree=31011536/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9625004 CPUtime=3.73 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 8226 0 1 0 369 4 0 0 20 0 19 0 283404122 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2406251 13617 2285 9 0 2396937 0
[pid=1982/tid=1984] ppid=1980 vsize=9625004 CPUtime=2.97 cores=1,3,5,7
/proc/1982/task/1984/stat : 1984 (java) R 1980 1982 31312 0 -1 4202560 2573 0 1 0 296 1 0 0 20 0 19 0 283404123 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008827449832 140008700338284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1985] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1985/stat : 1985 (java) S 1980 1982 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008671234344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1986] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1986/stat : 1986 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008670181544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1987] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1987/stat : 1987 (java) S 1980 1982 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008669129256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1988] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1988/stat : 1988 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008668076456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1989] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1989/stat : 1989 (java) S 1980 1982 31312 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008667024168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1990] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1990/stat : 1990 (java) S 1980 1982 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008665971368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1991] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1991/stat : 1991 (java) S 1980 1982 31312 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008664919080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1992] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1992/stat : 1992 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008663866280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1993] ppid=1980 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/1982/task/1993/stat : 1993 (java) S 1980 1982 31312 0 -1 4202560 33 0 0 0 6 0 0 0 20 0 19 0 283404125 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008651667688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1994] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1994/stat : 1994 (java) S 1980 1982 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008650613752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1995] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1995/stat : 1995 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008649561352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1996] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1996/stat : 1996 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404128 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008648509840 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1997] ppid=1980 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/1982/task/1997/stat : 1997 (java) S 1980 1982 31312 0 -1 4202560 1624 0 0 0 29 0 0 0 20 0 19 0 283404128 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008647457464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1998] ppid=1980 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/1982/task/1998/stat : 1998 (java) S 1980 1982 31312 0 -1 4202560 2760 0 0 0 31 2 0 0 20 0 19 0 283404129 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008646404664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1999] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1999/stat : 1999 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008645352568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=2000] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2000/stat : 2000 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008644299976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=2001] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2001/stat : 2001 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283404154 9856004096 13617 33554432000 1073741824 1073778376 140734780558352 140008643244968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9625004

[startup+6.30082 s]
/proc/loadavg: 2.24 2.07 2.02 3/213 2001
/proc/meminfo: memFree=31008868/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9625004 CPUtime=6.99 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 8261 0 1 0 694 5 0 0 20 0 19 0 283404122 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2406251 14607 2285 9 0 2396937 0
[pid=1982/tid=1984] ppid=1980 vsize=9625004 CPUtime=6.05 cores=1,3,5,7
/proc/1982/task/1984/stat : 1984 (java) R 1980 1982 31312 0 -1 4202560 2579 0 1 0 604 1 0 0 20 0 19 0 283404123 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008827449648 140008700151851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1985] ppid=1980 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1982/task/1985/stat : 1985 (java) S 1980 1982 31312 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008671234344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1986] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1986/stat : 1986 (java) S 1980 1982 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008670181544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1987] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1987/stat : 1987 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008669129256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1988] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1988/stat : 1988 (java) S 1980 1982 31312 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008668076456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1989] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1989/stat : 1989 (java) S 1980 1982 31312 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008667024168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1990] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1990/stat : 1990 (java) S 1980 1982 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008665971368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1991] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1991/stat : 1991 (java) S 1980 1982 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008664919080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1992] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1992/stat : 1992 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404124 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008663866280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1993] ppid=1980 vsize=9625004 CPUtime=0.14 cores=1,3,5,7
/proc/1982/task/1993/stat : 1993 (java) S 1980 1982 31312 0 -1 4202560 34 0 0 0 14 0 0 0 20 0 19 0 283404125 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008651667688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1994] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1994/stat : 1994 (java) S 1980 1982 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008650613752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1995] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1995/stat : 1995 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008649561352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1996] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1996/stat : 1996 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404128 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008648509840 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1997] ppid=1980 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/1982/task/1997/stat : 1997 (java) S 1980 1982 31312 0 -1 4202560 1624 0 0 0 29 0 0 0 20 0 19 0 283404128 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008647457464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1998] ppid=1980 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/1982/task/1998/stat : 1998 (java) S 1980 1982 31312 0 -1 4202560 2760 0 0 0 32 2 0 0 20 0 19 0 283404129 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008646404664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1999] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1999/stat : 1999 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008645352568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=2000] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2000/stat : 2000 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008644299976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=2001] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2001/stat : 2001 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283404154 9856004096 14607 33554432000 1073741824 1073778376 140734780558352 140008643244968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 9625004

[startup+12.7009 s]

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

/proc/1982/task/1992/stat : 1992 (java) S 1980 1982 31312 0 -1 4202560 116 0 0 0 24 0 0 0 20 0 19 0 283404124 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008663866280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1993] ppid=1980 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/1982/task/1993/stat : 1993 (java) S 1980 1982 31312 0 -1 4202560 79 0 0 0 217 0 0 0 20 0 19 0 283404125 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008651667688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1994] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1994/stat : 1994 (java) S 1980 1982 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008650613752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1995] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1995/stat : 1995 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008649561352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1996] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1996/stat : 1996 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404128 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008648509840 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1997] ppid=1980 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1982/task/1997/stat : 1997 (java) S 1980 1982 31312 0 -1 4202560 8803 0 0 0 71 3 0 0 20 0 19 0 283404128 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008647457464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1998] ppid=1980 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/1982/task/1998/stat : 1998 (java) S 1980 1982 31312 0 -1 4202560 2774 0 0 0 39 2 0 0 20 0 19 0 283404129 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008646404664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1999] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1999/stat : 1999 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008645352568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=2000] ppid=1980 vsize=9625004 CPUtime=0.12 cores=1,3,5,7
/proc/1982/task/2000/stat : 2000 (java) S 1980 1982 31312 0 -1 4202560 19 0 0 0 5 7 0 0 20 0 19 0 283404129 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008644299976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=2001] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2001/stat : 2001 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283404154 9856004096 24068 33554432000 1073741824 1073778376 140734780558352 140008643244968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 317.6
Current children cumulated vsize (KiB) 9625004

[startup+316.701 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 2064
/proc/meminfo: memFree=31032908/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9625004 CPUtime=319.23 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 16389 0 1 0 31903 20 0 0 20 0 19 0 283404122 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2406251 24087 2287 9 0 2396937 0
[pid=1982/tid=1984] ppid=1980 vsize=9625004 CPUtime=313.04 cores=1,3,5,7
/proc/1982/task/1984/stat : 1984 (java) R 1980 1982 31312 0 -1 4202560 2653 0 1 0 31299 5 0 0 20 0 19 0 283404123 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008827449648 140008700237745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1985] ppid=1980 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/1982/task/1985/stat : 1985 (java) S 1980 1982 31312 0 -1 4202560 94 0 0 0 22 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008671234344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1986] ppid=1980 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/1982/task/1986/stat : 1986 (java) S 1980 1982 31312 0 -1 4202560 94 0 0 0 23 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008670181544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1987] ppid=1980 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1987/stat : 1987 (java) S 1980 1982 31312 0 -1 4202560 155 0 0 0 18 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008669129256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1988] ppid=1980 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/1982/task/1988/stat : 1988 (java) S 1980 1982 31312 0 -1 4202560 125 0 0 0 24 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008668076456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1989] ppid=1980 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1989/stat : 1989 (java) S 1980 1982 31312 0 -1 4202560 74 0 0 0 18 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008667024168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1990] ppid=1980 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/1982/task/1990/stat : 1990 (java) S 1980 1982 31312 0 -1 4202560 106 0 0 0 22 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008665971368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1991] ppid=1980 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1991/stat : 1991 (java) S 1980 1982 31312 0 -1 4202560 95 0 0 0 18 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008664919080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1992] ppid=1980 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/1982/task/1992/stat : 1992 (java) S 1980 1982 31312 0 -1 4202560 135 0 0 0 25 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008663866280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1993] ppid=1980 vsize=9625004 CPUtime=2.22 cores=1,3,5,7
/proc/1982/task/1993/stat : 1993 (java) S 1980 1982 31312 0 -1 4202560 81 0 0 0 222 0 0 0 20 0 19 0 283404125 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008651667688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1994] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1994/stat : 1994 (java) S 1980 1982 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008650613752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1995] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1995/stat : 1995 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008649561352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1996] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1996/stat : 1996 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404128 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008648509840 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1997] ppid=1980 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1982/task/1997/stat : 1997 (java) S 1980 1982 31312 0 -1 4202560 8803 0 0 0 71 3 0 0 20 0 19 0 283404128 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008647457464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1998] ppid=1980 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/1982/task/1998/stat : 1998 (java) S 1980 1982 31312 0 -1 4202560 2774 0 0 0 39 2 0 0 20 0 19 0 283404129 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008646404664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1999] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1999/stat : 1999 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008645352568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=2000] ppid=1980 vsize=9625004 CPUtime=0.12 cores=1,3,5,7
/proc/1982/task/2000/stat : 2000 (java) S 1980 1982 31312 0 -1 4202560 19 0 0 0 5 7 0 0 20 0 19 0 283404129 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008644299976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=2001] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2001/stat : 2001 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283404154 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008643244968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 319.23
Current children cumulated vsize (KiB) 9625004

[startup+317.501 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 2064
/proc/meminfo: memFree=31032908/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9625004 CPUtime=320.02 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 16389 0 1 0 31982 20 0 0 20 0 19 0 283404122 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2406251 24087 2287 9 0 2396937 0
[pid=1982/tid=1984] ppid=1980 vsize=9625004 CPUtime=313.84 cores=1,3,5,7
/proc/1982/task/1984/stat : 1984 (java) R 1980 1982 31312 0 -1 4202560 2653 0 1 0 31379 5 0 0 20 0 19 0 283404123 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008827447936 140008699865014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1985] ppid=1980 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/1982/task/1985/stat : 1985 (java) S 1980 1982 31312 0 -1 4202560 94 0 0 0 22 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008671234344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1986] ppid=1980 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/1982/task/1986/stat : 1986 (java) S 1980 1982 31312 0 -1 4202560 94 0 0 0 23 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008670181544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1987] ppid=1980 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1987/stat : 1987 (java) S 1980 1982 31312 0 -1 4202560 155 0 0 0 18 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008669129256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1988] ppid=1980 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/1982/task/1988/stat : 1988 (java) S 1980 1982 31312 0 -1 4202560 125 0 0 0 24 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008668076456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1989] ppid=1980 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1989/stat : 1989 (java) S 1980 1982 31312 0 -1 4202560 74 0 0 0 18 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008667024168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1990] ppid=1980 vsize=9625004 CPUtime=0.22 cores=1,3,5,7
/proc/1982/task/1990/stat : 1990 (java) S 1980 1982 31312 0 -1 4202560 106 0 0 0 22 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008665971368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1991] ppid=1980 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1991/stat : 1991 (java) S 1980 1982 31312 0 -1 4202560 95 0 0 0 18 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008664919080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1992] ppid=1980 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/1982/task/1992/stat : 1992 (java) S 1980 1982 31312 0 -1 4202560 135 0 0 0 25 0 0 0 20 0 19 0 283404124 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008663866280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1993] ppid=1980 vsize=9625004 CPUtime=2.22 cores=1,3,5,7
/proc/1982/task/1993/stat : 1993 (java) S 1980 1982 31312 0 -1 4202560 81 0 0 0 222 0 0 0 20 0 19 0 283404125 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008651667688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1994] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1994/stat : 1994 (java) S 1980 1982 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008650613752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1995] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1995/stat : 1995 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283404126 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008649561352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1996] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1996/stat : 1996 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404128 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008648509840 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1997] ppid=1980 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/1982/task/1997/stat : 1997 (java) S 1980 1982 31312 0 -1 4202560 8803 0 0 0 71 3 0 0 20 0 19 0 283404128 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008647457464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1998] ppid=1980 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/1982/task/1998/stat : 1998 (java) S 1980 1982 31312 0 -1 4202560 2774 0 0 0 39 2 0 0 20 0 19 0 283404129 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008646404664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1999] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1999/stat : 1999 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283404129 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008645352568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=2000] ppid=1980 vsize=9625004 CPUtime=0.12 cores=1,3,5,7
/proc/1982/task/2000/stat : 2000 (java) S 1980 1982 31312 0 -1 4202560 19 0 0 0 5 7 0 0 20 0 19 0 283404129 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008644299976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=2001] ppid=1980 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2001/stat : 2001 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283404154 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140008643244968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 320.02
Current children cumulated vsize (KiB) 9625004

[startup+317.907 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 2064
/proc/meminfo: memFree=31032784/32873844 swapFree=7624/7624
[pid=1982] ppid=1980 vsize=9625004 CPUtime=320.43 cores=1,3,5,7
/proc/1982/stat : 1982 (java) S 1980 1982 31312 0 -1 4202496 16390 0 1 0 32023 20 0 0 20 0 19 0 283404122 9856004096 24087 33554432000 1073741824 1073778376 140734780558352 140734780549488 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1982/statm: 2406508 24088 2287 9 0 2397194 0
[pid=1982/tid=1984] ppid=1980 vsize=9626032 CPUtime=314.24 cores=1,3,5,7
/proc/1982/task/1984/stat : 1984 (java) R 1980 1982 31312 0 -1 4202560 2656 0 1 0 31419 5 0 0 20 0 19 0 283404123 9857056768 24089 33554432000 1073741824 1073778376 140734780558352 140008827447872 214369704113 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1985] ppid=1980 vsize=9626032 CPUtime=0.22 cores=1,3,5,7
/proc/1982/task/1985/stat : 1985 (java) S 1980 1982 31312 0 -1 4202560 94 0 0 0 22 0 0 0 20 0 20 0 283404124 9857056768 24089 33554432000 1073741824 1073778376 140734780558352 140008671234344 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1986] ppid=1980 vsize=9626032 CPUtime=0.23 cores=1,3,5,7
/proc/1982/task/1986/stat : 1986 (java) S 1980 1982 31312 0 -1 4202560 94 0 0 0 23 0 0 0 20 0 20 0 283404124 9857056768 24089 33554432000 1073741824 1073778376 140734780558352 140008670181544 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1987] ppid=1980 vsize=9626032 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1987/stat : 1987 (java) S 1980 1982 31312 0 -1 4202560 155 0 0 0 18 0 0 0 20 0 20 0 283404124 9857056768 24089 33554432000 1073741824 1073778376 140734780558352 140008669129256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1988] ppid=1980 vsize=9691568 CPUtime=0.24 cores=1,3,5,7
/proc/1982/task/1988/stat : 1988 (java) S 1980 1982 31312 0 -1 4202560 125 0 0 0 24 0 0 0 20 0 20 0 283404124 9924165632 24090 33554432000 1073741824 1073778376 140734780558352 140008668076456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1989] ppid=1980 vsize=9691568 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1989/stat : 1989 (java) S 1980 1982 31312 0 -1 4202560 74 0 0 0 18 0 0 0 20 0 20 0 283404124 9924165632 24090 33554432000 1073741824 1073778376 140734780558352 140008667024168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1990] ppid=1980 vsize=9691568 CPUtime=0.22 cores=1,3,5,7
/proc/1982/task/1990/stat : 1990 (java) S 1980 1982 31312 0 -1 4202560 106 0 0 0 22 0 0 0 20 0 20 0 283404124 9924165632 24090 33554432000 1073741824 1073778376 140734780558352 140008665971368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1982/tid=1991] ppid=1980 vsize=9691568 CPUtime=0.18 cores=1,3,5,7
/proc/1982/task/1991/stat : 1991 (java) S 1980 1982 31312 0 -1 4202560 95 0 0 0 18 0 0 0 20 0 20 0 283404124 9924165632 24090 33554432000 1073741824 1073778376 140734780558352 140008664919080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1992] ppid=1980 vsize=9691568 CPUtime=0.25 cores=1,3,5,7
/proc/1982/task/1992/stat : 1992 (java) S 1980 1982 31312 0 -1 4202560 135 0 0 0 25 0 0 0 20 0 20 0 283404124 9924165632 24090 33554432000 1073741824 1073778376 140734780558352 140008663866280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1993] ppid=1980 vsize=9691568 CPUtime=2.22 cores=1,3,5,7
/proc/1982/task/1993/stat : 1993 (java) S 1980 1982 31312 0 -1 4202560 81 0 0 0 222 0 0 0 20 0 20 0 283404125 9924165632 24095 33554432000 1073741824 1073778376 140734780558352 140008651667688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1994] ppid=1980 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1994/stat : 1994 (java) S 1980 1982 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 283404126 9924165632 24096 33554432000 1073741824 1073778376 140734780558352 140008650613752 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1995] ppid=1980 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1995/stat : 1995 (java) S 1980 1982 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 283404126 9924165632 24096 33554432000 1073741824 1073778376 140734780558352 140008649561352 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1996] ppid=1980 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1996/stat : 1996 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 283404128 9924165632 24096 33554432000 1073741824 1073778376 140734780558352 140008648509840 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1982/tid=1997] ppid=1980 vsize=9691568 CPUtime=0.74 cores=1,3,5,7
/proc/1982/task/1997/stat : 1997 (java) S 1980 1982 31312 0 -1 4202560 8803 0 0 0 71 3 0 0 20 0 20 0 283404128 9924165632 24097 33554432000 1073741824 1073778376 140734780558352 140008647457464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=1998] ppid=1980 vsize=9691568 CPUtime=0.41 cores=1,3,5,7
/proc/1982/task/1998/stat : 1998 (java) S 1980 1982 31312 0 -1 4202560 2774 0 0 0 39 2 0 0 20 0 20 0 283404129 9924165632 24097 33554432000 1073741824 1073778376 140734780558352 140008646404664 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=1999] ppid=1980 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/1982/task/1999/stat : 1999 (java) S 1980 1982 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 283404129 9924165632 24097 33554432000 1073741824 1073778376 140734780558352 140008645352568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1982/tid=2000] ppid=1980 vsize=9691568 CPUtime=0.12 cores=1,3,5,7
/proc/1982/task/2000/stat : 2000 (java) S 1980 1982 31312 0 -1 4202560 19 0 0 0 5 7 0 0 20 0 20 0 283404129 9924165632 24097 33554432000 1073741824 1073778376 140734780558352 140008644299976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1982/tid=2001] ppid=1980 vsize=9691568 CPUtime=0 cores=1,3,5,7
/proc/1982/task/2001/stat : 2001 (java) S 1980 1982 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 283404154 9924165632 24097 33554432000 1073741824 1073778376 140734780558352 140008643244968 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 320.43
Current children cumulated vsize (KiB) 9625004

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1982 and gives
#  childrusage.ru_utime.tv_sec=319
#  childrusage.ru_utime.tv_usec=383446
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=304953
# CPU time returned by wait4() is 319.688
# while last known CPU time is 320.43
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 317.912
CPU time (s): 320.43
CPU user time (s): 320.23
CPU system time (s): 0.2
CPU usage (%): 100.792
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.383
system time used= 0.304953
maximum resident set size= 96404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16407
page faults= 1
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9146
involuntary context switches= 3982

runsolver used 1.3078 second user time and 3.70844 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-28 04:39:45
IDJOB=3711193
IDBENCH=48248
IDSOLVER=2289
FILE ID=node130/3711193-1338172785
RUNJOBID= node130-1338158197-31329
PBS_JOBID= 14624537
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711193-1338172785/watcher-3711193-1338172785 -o /tmp/evaluation-result-3711193-1338172785/solver-3711193-1338172785 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711193-1338172785.opb

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

MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07
RANDOM SEED=962373559

node130.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.875
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.75
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.875
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.875
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.91
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.875
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.86
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.875
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.91
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.875
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.875
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.91
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.875
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	: 5228.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31058248 kB
Buffers:          315696 kB
Cached:           489304 kB
SwapCached:         4508 kB
Active:           869940 kB
Inactive:         110252 kB
Active(anon):     165416 kB
Inactive(anon):     9016 kB
Active(file):     704524 kB
Inactive(file):   101236 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099916 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:        178472 kB
Mapped:            19824 kB
Shmem:                 8 kB
Slab:             694040 kB
SReclaimable:     135856 kB
SUnreclaim:       558184 kB
KernelStack:        1600 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71472 MiB
End job on node130 at 2012-05-28 04:45:03