Trace number 3687796

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
SAT 4j PB RES // CP 2.3.2 Snapshot? (TO) 1800.48 898.457

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM0973e03eb27089eff6bc20e630a3ba01
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13501
Number of constraints which are clauses13501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
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 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.2.v20120418
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		501472288
0.05/0.08	c Max memory 		7480803328
0.05/0.08	c Total memory 		504102912
0.05/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687796-1337873869.opb
0.11/0.10	c reading problem ... 
0.75/0.46	c ... done. Wall clock time 0.357s.
0.75/0.46	c declared #vars     6352
0.75/0.46	c #constraints  13376
0.75/0.46	c constraints type 
0.75/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7092
0.75/0.46	c ignored satisfied constraints => 125
0.75/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6002
0.75/0.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 282
0.75/0.46	c 13501 constraints processed.
0.75/0.46	c constraints type 
0.75/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6002
0.75/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7092
0.75/0.46	c ignored satisfied constraints => 125
0.75/0.46	c org.sat4j.pb.constraints.pb.UnitClausePB => 282
0.75/0.46	c 13501 constraints processed.
0.75/0.46	c objective function length is 6352 literals
10.15/4.36	c cleaning 2500 clauses out of 5000 with flag 5000/5000
18.85/8.60	c cleaning 4249 clauses out of 8500 with flag 11000/11000
23.63/11.06	c cleaning 0 clauses out of 5001 with flag 0/5001
28.88/13.65	c cleaning 5624 clauses out of 11252 with flag 18001/18001
40.91/19.51	c cleaning 6811 clauses out of 13628 with flag 26001/26001
49.89/24.08	c cleaning 0 clauses out of 11001 with flag 0/11001
54.07/26.12	c cleaning 7907 clauses out of 15816 with flag 35000/35000
68.89/33.58	c cleaning 8953 clauses out of 17909 with flag 45000/45000
80.95/39.56	c cleaning 0 clauses out of 18001 with flag 0/18001
85.72/41.95	c cleaning 9977 clauses out of 19957 with flag 56001/56001
104.33/51.20	c cleaning 10989 clauses out of 21979 with flag 68000/68000
115.09/56.60	c cleaning 0 clauses out of 26001 with flag 0/26001
123.84/61.05	c cleaning 11993 clauses out of 23991 with flag 81001/81001
145.45/71.89	c cleaning 12998 clauses out of 25997 with flag 95000/95000
154.23/76.22	c cleaning 0 clauses out of 35001 with flag 0/35001
169.39/83.85	c cleaning 14000 clauses out of 27999 with flag 110000/110000
195.00/96.62	c cleaning 14999 clauses out of 29999 with flag 126000/126000
199.39/98.82	c cleaning 0 clauses out of 45000 with flag 0/45000
222.80/110.56	c cleaning 15999 clauses out of 32002 with flag 143002/143002
248.26/123.28	c cleaning 17001 clauses out of 34001 with flag 161000/161000
250.59/124.47	c cleaning 0 clauses out of 56001 with flag 0/56001
268.40/133.33	c cleaning 17997 clauses out of 36002 with flag 180002/180002
291.03/144.66	c cleaning 19002 clauses out of 38003 with flag 200000/200000
308.27/153.30	c cleaning 0 clauses out of 68001 with flag 0/68001
316.01/157.17	c cleaning 19999 clauses out of 40001 with flag 221000/221000
341.43/169.80	c cleaning 21001 clauses out of 42002 with flag 243000/243000
368.70/183.47	c cleaning 21997 clauses out of 44002 with flag 266001/266001
372.26/185.27	c cleaning 0 clauses out of 81001 with flag 0/81001
397.25/197.79	c cleaning 23002 clauses out of 46006 with flag 290002/290002
429.29/213.76	c cleaning 24001 clauses out of 48006 with flag 315004/315004
439.85/219.01	c cleaning 0 clauses out of 95000 with flag 0/95000
465.70/231.98	c cleaning 24996 clauses out of 50001 with flag 341000/341000
495.72/246.94	c cleaning 0 clauses out of 110000 with flag 0/110000
505.49/251.83	c cleaning 25999 clauses out of 52006 with flag 368001/368001
548.61/273.30	c cleaning 0 clauses out of 126001 with flag 0/126001
549.15/273.67	c cleaning 26996 clauses out of 54006 with flag 396000/396000
594.62/296.34	c cleaning 28002 clauses out of 56010 with flag 425000/425000
607.60/302.87	c cleaning 0 clauses out of 143000 with flag 0/143000
641.42/319.77	c cleaning 29003 clauses out of 58009 with flag 455001/455001
671.90/334.93	c cleaning 0 clauses out of 161001 with flag 0/161001
688.27/343.14	c cleaning 30001 clauses out of 60006 with flag 486001/486001
738.17/368.07	c cleaning 31003 clauses out of 62005 with flag 518001/518001
740.09/369.09	c cleaning 0 clauses out of 180001 with flag 0/180001
797.41/397.68	c cleaning 31998 clauses out of 64001 with flag 551000/551000
810.34/404.12	c cleaning 0 clauses out of 200001 with flag 0/200001
861.86/429.87	c cleaning 33002 clauses out of 66005 with flag 585002/585002
885.88/441.89	c cleaning 0 clauses out of 221001 with flag 0/221001
920.31/459.02	c cleaning 33996 clauses out of 68002 with flag 620001/620001
964.36/481.08	c cleaning 0 clauses out of 243000 with flag 0/243000
973.48/485.68	c cleaning 34996 clauses out of 70006 with flag 656001/656001
1018.62/508.14	c cleaning 35997 clauses out of 72009 with flag 693000/693000
1050.66/524.11	c cleaning 0 clauses out of 266002 with flag 0/266002
1067.95/532.88	c cleaning 37001 clauses out of 74012 with flag 731000/731000
1119.89/558.76	c cleaning 38003 clauses out of 76013 with flag 770002/770002
1137.46/567.58	c cleaning 0 clauses out of 290001 with flag 0/290001
1174.72/586.17	c cleaning 39005 clauses out of 78009 with flag 810001/810001
1234.04/615.78	c cleaning 40000 clauses out of 80004 with flag 851001/851001
1236.10/616.86	c cleaning 0 clauses out of 315002 with flag 0/315002
1298.31/647.85	c cleaning 40997 clauses out of 82003 with flag 893000/893000
1337.14/667.29	c cleaning 0 clauses out of 341002 with flag 0/341002
1362.69/680.08	c cleaning 42000 clauses out of 84008 with flag 936002/936002
1431.69/714.43	c cleaning 42999 clauses out of 86006 with flag 980000/980000
1443.18/720.29	c cleaning 0 clauses out of 368000 with flag 0/368000
1506.69/751.93	c cleaning 44002 clauses out of 88007 with flag 1025000/1025000
1559.92/778.52	c cleaning 0 clauses out of 396000 with flag 0/396000
1586.68/791.96	c cleaning 44998 clauses out of 90005 with flag 1071000/1071000
1671.55/834.21	c cleaning 46000 clauses out of 92007 with flag 1118000/1118000
1681.81/839.44	c cleaning 0 clauses out of 425003 with flag 0/425003
1761.64/879.26	c cleaning 46999 clauses out of 94008 with flag 1166001/1166001
1800.06/898.41	c starts		: 190
1800.06/898.41	c conflicts		: 1187718
1800.06/898.41	c decisions		: 1283166
1800.06/898.41	c propagations		: 1650476833
1800.06/898.41	c inspects		: 9661887322
1800.06/898.41	c shortcuts		: 0
1800.06/898.41	c learnt literals	: 0
1800.06/898.41	c learnt binary clauses	: 89
1800.06/898.41	c learnt ternary clauses	: 50
1800.06/898.41	c learnt constraints	: 1187718
1800.06/898.41	c ignored constraints	: 0
1800.06/898.41	c root simplifications	: 0
1800.06/898.41	c removed literals (reason simplification)	: 14712564
1800.06/898.41	c reason swapping (by a shorter reason)	: 0
1800.06/898.41	c Calls to reduceDB	: 44
1800.06/898.41	c number of reductions to clauses (during analyze)	: 0
1800.06/898.41	c number of learned constraints concerned by reduction	: 0
1800.06/898.41	c number of learning phase by resolution	: 0
1800.06/898.41	c number of learning phase by cutting planes	: 0
1800.06/898.41	c speed (assignments/second)	: 1838269.80106767
1800.06/898.41	c non guided choices	0
1800.06/898.44	c learnt constraints type 
1800.06/898.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 89
1800.06/898.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68662
1800.06/898.44	c constraints type 
1800.06/898.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7092
1800.06/898.44	c ignored satisfied constraints => 125
1800.06/898.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6002
1800.06/898.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 282
1800.06/898.44	c 13501 constraints processed.
1800.06/898.44	c constraints type 
1800.06/898.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6002
1800.06/898.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7092
1800.06/898.44	c ignored satisfied constraints => 125
1800.06/898.44	c org.sat4j.pb.constraints.pb.UnitClausePB => 282
1800.06/898.44	c 13501 constraints processed.
1800.06/898.44	s UNKNOWN
1800.06/898.44	c Total wall clock time (in seconds): 898.34

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687796-1337873869/watcher-3687796-1337873869 -o /tmp/evaluation-result-3687796-1337873869/solver-3687796-1337873869 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687796-1337873869.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.30 3.55 3.24 3/197 22702
/proc/meminfo: memFree=28150364/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 2 0 253512966 94019584 917 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 22954 917 697 9 0 16769 0
[pid=22702/tid=22703] ppid=22700 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) R 22700 22702 21497 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 2 0 253512966 95129600 918 33554432000 1073741824 1073778376 140735671544624 139778386259496 266426478471 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.072453 s]
/proc/loadavg: 3.30 3.55 3.24 3/197 22702
/proc/meminfo: memFree=28150364/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 3413 0 1 0 5 0 0 0 20 0 18 0 253512966 9787813888 4622 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2389603 4622 1772 9 0 2380296 0
[pid=22702/tid=22703] ppid=22700 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) R 22700 22702 21497 0 -1 4202560 2204 0 1 0 5 0 0 0 20 0 18 0 253512966 9787813888 4622 33554432000 1073741824 1073778376 140735671544624 139778386266784 139778393692625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100249 s]
/proc/loadavg: 3.30 3.55 3.24 3/197 22702
/proc/meminfo: memFree=28150364/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9558412 CPUtime=0.11 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 4398 0 1 0 10 1 0 0 20 0 18 0 253512966 9787813888 6075 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2389603 6075 2125 9 0 2380296 0
[pid=22702/tid=22703] ppid=22700 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) R 22700 22702 21497 0 -1 4202560 2434 0 1 0 7 0 0 0 20 0 18 0 253512966 9787813888 6075 33554432000 1073741824 1073778376 140735671544624 139778386262960 266439025933 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) 9558412

[startup+0.3002 s]
/proc/loadavg: 3.30 3.55 3.24 3/197 22702
/proc/meminfo: memFree=28150364/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9558412 CPUtime=0.5 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 5580 0 1 0 49 1 0 0 20 0 18 0 253512966 9787813888 8876 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2389603 8876 2218 9 0 2380296 0
[pid=22702/tid=22703] ppid=22700 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) R 22700 22702 21497 0 -1 4202560 2449 0 1 0 27 0 0 0 20 0 18 0 253512966 9787813888 8876 33554432000 1073741824 1073778376 140735671544624 139778386262960 139778251479543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700214 s]
/proc/loadavg: 3.30 3.55 3.24 3/197 22702
/proc/meminfo: memFree=28150364/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9824668 CPUtime=1.88 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 17809 0 1 0 184 4 0 0 20 0 22 0 253512966 10060460032 24663 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2456167 24663 2245 9 0 2446860 0
[pid=22702/tid=22703] ppid=22700 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) S 22700 22702 21497 0 -1 4202560 2474 0 1 0 43 1 0 0 20 0 22 0 253512966 10060460032 24663 33554432000 1073741824 1073778376 140735671544624 139778386265080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9824668

[startup+1.50065 s]
/proc/loadavg: 3.30 3.55 3.24 7/219 22724
/proc/meminfo: memFree=28043644/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9824668 CPUtime=4.47 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 24626 0 1 0 441 6 0 0 20 0 22 0 253512966 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2456167 50361 2269 9 0 2446860 0
[pid=22702/tid=22703] ppid=22700 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) S 22700 22702 21497 0 -1 4202560 2474 0 1 0 43 1 0 0 20 0 22 0 253512966 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778386265080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22705] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22705/stat : 22705 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778375325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22706] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22706/stat : 22706 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778374273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22707] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22707/stat : 22707 (java) S 22700 22702 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778373220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22708] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22708/stat : 22708 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778372168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22709] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22709/stat : 22709 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778371115816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22710] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22710/stat : 22710 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778370063016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22711] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22711/stat : 22711 (java) S 22700 22702 21497 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778223455272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22712] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22712/stat : 22712 (java) S 22700 22702 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778222402472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22713] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22713/stat : 22713 (java) S 22700 22702 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253512968 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778210203880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22714] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22714/stat : 22714 (java) S 22700 22702 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778209149944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22715] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22715/stat : 22715 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778208097544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22716] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22716/stat : 22716 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778207046032 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22717] ppid=22700 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/22702/task/22717/stat : 22717 (java) S 22700 22702 21497 0 -1 4202560 9392 0 0 0 94 2 0 0 20 0 22 0 253512971 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778205993656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22718] ppid=22700 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/22702/task/22718/stat : 22718 (java) S 22700 22702 21497 0 -1 4202560 11370 0 0 0 94 2 0 0 20 0 22 0 253512971 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778204940856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22719] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22719/stat : 22719 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778203888760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22720] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22720/stat : 22720 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778202836168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22721] ppid=22700 vsize=9824668 CPUtime=0.99 cores=0,2,4,6
/proc/22702/task/22721/stat : 22721 (java) R 22700 22702 21497 0 -1 4202560 34 0 0 0 99 0 0 0 20 0 22 0 253513013 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778201356688 139778251798256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22722] ppid=22700 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/22702/task/22722/stat : 22722 (java) R 22700 22702 21497 0 -1 4202560 122 0 0 0 100 1 0 0 20 0 22 0 253513013 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778200304824 139778251836088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22723] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22723/stat : 22723 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778199254184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22724] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22724/stat : 22724 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 50361 33554432000 1073741824 1073778376 140735671544624 139778198201384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 9824668

[startup+3.10073 s]
/proc/loadavg: 3.30 3.55 3.24 5/219 22724
/proc/meminfo: memFree=27946512/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9824668 CPUtime=7.68 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 24648 0 1 0 761 7 0 0 20 0 22 0 253512966 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2456167 53436 2269 9 0 2446860 0
[pid=22702/tid=22703] ppid=22700 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) S 22700 22702 21497 0 -1 4202560 2474 0 1 0 43 1 0 0 20 0 22 0 253512966 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778386265080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22705] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22705/stat : 22705 (java) S 22700 22702 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778375325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22706] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22706/stat : 22706 (java) S 22700 22702 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778374273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22707] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22707/stat : 22707 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778373220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22708] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22708/stat : 22708 (java) S 22700 22702 21497 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778372168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22709] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22709/stat : 22709 (java) S 22700 22702 21497 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778371115816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22710] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22710/stat : 22710 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778370063016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22711] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22711/stat : 22711 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778223455272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22712] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22712/stat : 22712 (java) S 22700 22702 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778222402472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22713] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22713/stat : 22713 (java) S 22700 22702 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253512968 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778210203880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22714] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22714/stat : 22714 (java) S 22700 22702 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778209149944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22715] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22715/stat : 22715 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778208097544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22716] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22716/stat : 22716 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778207046032 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22717] ppid=22700 vsize=9824668 CPUtime=0.97 cores=0,2,4,6
/proc/22702/task/22717/stat : 22717 (java) S 22700 22702 21497 0 -1 4202560 9392 0 0 0 95 2 0 0 20 0 22 0 253512971 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778205993656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22718] ppid=22700 vsize=9824668 CPUtime=0.98 cores=0,2,4,6
/proc/22702/task/22718/stat : 22718 (java) S 22700 22702 21497 0 -1 4202560 11370 0 0 0 96 2 0 0 20 0 22 0 253512971 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778204940856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22719] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22719/stat : 22719 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778203888760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22720] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22720/stat : 22720 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778202836168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22721] ppid=22700 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/22702/task/22721/stat : 22721 (java) R 22700 22702 21497 0 -1 4202560 35 0 0 0 256 0 0 0 20 0 22 0 253513013 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778201358280 139778251797731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22722] ppid=22700 vsize=9824668 CPUtime=2.59 cores=0,2,4,6
/proc/22702/task/22722/stat : 22722 (java) R 22700 22702 21497 0 -1 4202560 124 0 0 0 257 2 0 0 20 0 22 0 253513013 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778200304592 139778252064872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22723] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22723/stat : 22723 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778199254184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22724] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22724/stat : 22724 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 53436 33554432000 1073741824 1073778376 140735671544624 139778198201384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 9824668

[startup+6.30072 s]
/proc/loadavg: 3.35 3.56 3.24 5/219 22724
/proc/meminfo: memFree=27931248/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9824668 CPUtime=14.24 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 24712 0 1 0 1416 8 0 0 20 0 22 0 253512966 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2456167 53175 2283 9 0 2446860 0
[pid=22702/tid=22703] ppid=22700 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) S 22700 22702 21497 0 -1 4202560 2474 0 1 0 43 1 0 0 20 0 22 0 253512966 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778386265080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22705] ppid=22700 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22702/task/22705/stat : 22705 (java) S 22700 22702 21497 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778375325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22706] ppid=22700 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22702/task/22706/stat : 22706 (java) S 22700 22702 21497 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778374273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22707] ppid=22700 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22702/task/22707/stat : 22707 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778373220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22708] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22708/stat : 22708 (java) S 22700 22702 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778372168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22709] ppid=22700 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22702/task/22709/stat : 22709 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778371115816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22710] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22710/stat : 22710 (java) S 22700 22702 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778370063016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22711] ppid=22700 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/22702/task/22711/stat : 22711 (java) S 22700 22702 21497 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778223455272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22712] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22712/stat : 22712 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253512967 10060460032 53175 33554432000 1073741824 1073778376 140735671544624 139778222402472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=22702/tid=22722] ppid=22700 vsize=9824668 CPUtime=749.33 cores=0,2,4,6
/proc/22702/task/22722/stat : 22722 (java) R 22700 22702 21497 0 -1 4202560 7490 0 0 0 74916 17 0 0 20 0 22 0 253513013 10060460032 116584 33554432000 1073741824 1073778376 140735671544624 139778200303856 139778252056728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22723] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22723/stat : 22723 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 116584 33554432000 1073741824 1073778376 140735671544624 139778199254184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22724] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22724/stat : 22724 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 116584 33554432000 1073741824 1073778376 140735671544624 139778198201384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1527.35
Current children cumulated vsize (KiB) 9824668

[startup+822.301 s]
/proc/loadavg: 3.80 3.72 3.50 5/219 22739
/proc/meminfo: memFree=26322944/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9824668 CPUtime=1647.61 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 42088 0 1 0 164636 125 0 0 20 0 22 0 253512966 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2456167 118428 2285 9 0 2446860 0
[pid=22702/tid=22703] ppid=22700 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) S 22700 22702 21497 0 -1 4202560 2497 0 1 0 45 3 0 0 20 0 22 0 253512966 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778386265080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22705] ppid=22700 vsize=9824668 CPUtime=2.7 cores=0,2,4,6
/proc/22702/task/22705/stat : 22705 (java) S 22700 22702 21497 0 -1 4202560 391 0 0 0 264 6 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778375325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22706] ppid=22700 vsize=9824668 CPUtime=2.63 cores=0,2,4,6
/proc/22702/task/22706/stat : 22706 (java) S 22700 22702 21497 0 -1 4202560 336 0 0 0 257 6 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778374273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22707] ppid=22700 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/22702/task/22707/stat : 22707 (java) S 22700 22702 21497 0 -1 4202560 304 0 0 0 255 6 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778373220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22708] ppid=22700 vsize=9824668 CPUtime=2.59 cores=0,2,4,6
/proc/22702/task/22708/stat : 22708 (java) S 22700 22702 21497 0 -1 4202560 407 0 0 0 253 6 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778372168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22709] ppid=22700 vsize=9824668 CPUtime=2.59 cores=0,2,4,6
/proc/22702/task/22709/stat : 22709 (java) S 22700 22702 21497 0 -1 4202560 577 0 0 0 253 6 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778371115816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22710] ppid=22700 vsize=9824668 CPUtime=2.71 cores=0,2,4,6
/proc/22702/task/22710/stat : 22710 (java) S 22700 22702 21497 0 -1 4202560 422 0 0 0 265 6 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778370063016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22711] ppid=22700 vsize=9824668 CPUtime=2.67 cores=0,2,4,6
/proc/22702/task/22711/stat : 22711 (java) S 22700 22702 21497 0 -1 4202560 587 0 0 0 261 6 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778223455272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22712] ppid=22700 vsize=9824668 CPUtime=2.59 cores=0,2,4,6
/proc/22702/task/22712/stat : 22712 (java) S 22700 22702 21497 0 -1 4202560 572 0 0 0 255 4 0 0 20 0 22 0 253512967 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778222402472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22713] ppid=22700 vsize=9824668 CPUtime=6.42 cores=0,2,4,6
/proc/22702/task/22713/stat : 22713 (java) S 22700 22702 21497 0 -1 4202560 5315 0 0 0 591 51 0 0 20 0 22 0 253512968 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778210203880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22714] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22714/stat : 22714 (java) S 22700 22702 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778209149944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22715] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22715/stat : 22715 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778208097544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22716] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22716/stat : 22716 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778207046032 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22717] ppid=22700 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/22702/task/22717/stat : 22717 (java) S 22700 22702 21497 0 -1 4202560 9422 0 0 0 119 2 0 0 20 0 22 0 253512971 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778205993656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22718] ppid=22700 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/22702/task/22718/stat : 22718 (java) S 22700 22702 21497 0 -1 4202560 11438 0 0 0 135 2 0 0 20 0 22 0 253512971 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778204940856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22719] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22719/stat : 22719 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778203888760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22720] ppid=22700 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/22702/task/22720/stat : 22720 (java) S 22700 22702 21497 0 -1 4202560 45 0 0 0 13 15 0 0 20 0 22 0 253512971 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778202836168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22721] ppid=22700 vsize=9824668 CPUtime=808.3 cores=0,2,4,6
/proc/22702/task/22721/stat : 22721 (java) R 22700 22702 21497 0 -1 4202560 765 0 0 0 80814 16 0 0 20 0 22 0 253513013 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778201356672 139778251797788 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22722] ppid=22700 vsize=9824668 CPUtime=808.41 cores=0,2,4,6
/proc/22702/task/22722/stat : 22722 (java) R 22700 22702 21497 0 -1 4202560 7822 0 0 0 80823 18 0 0 20 0 22 0 253513013 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778200304608 139778251818055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22723] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22723/stat : 22723 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778199254184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22724] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22724/stat : 22724 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 118428 33554432000 1073741824 1073778376 140735671544624 139778198201384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1647.61
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.87 3.75 3.52 5/219 22739
/proc/meminfo: memFree=26263108/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9824668 CPUtime=1767.67 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 43202 0 1 0 176636 131 0 0 20 0 22 0 253512966 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2456167 127138 2285 9 0 2446860 0
[pid=22702/tid=22703] ppid=22700 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) S 22700 22702 21497 0 -1 4202560 2499 0 1 0 45 3 0 0 20 0 22 0 253512966 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778386265080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22705] ppid=22700 vsize=9824668 CPUtime=2.93 cores=0,2,4,6
/proc/22702/task/22705/stat : 22705 (java) S 22700 22702 21497 0 -1 4202560 446 0 0 0 286 7 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778375325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22706] ppid=22700 vsize=9824668 CPUtime=2.86 cores=0,2,4,6
/proc/22702/task/22706/stat : 22706 (java) S 22700 22702 21497 0 -1 4202560 364 0 0 0 280 6 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778374273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22707] ppid=22700 vsize=9824668 CPUtime=2.86 cores=0,2,4,6
/proc/22702/task/22707/stat : 22707 (java) S 22700 22702 21497 0 -1 4202560 316 0 0 0 279 7 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778373220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22708] ppid=22700 vsize=9824668 CPUtime=2.78 cores=0,2,4,6
/proc/22702/task/22708/stat : 22708 (java) S 22700 22702 21497 0 -1 4202560 411 0 0 0 272 6 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778372168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22709] ppid=22700 vsize=9824668 CPUtime=2.8 cores=0,2,4,6
/proc/22702/task/22709/stat : 22709 (java) S 22700 22702 21497 0 -1 4202560 581 0 0 0 274 6 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778371115816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22710] ppid=22700 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/22702/task/22710/stat : 22710 (java) S 22700 22702 21497 0 -1 4202560 432 0 0 0 284 6 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778370063016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22711] ppid=22700 vsize=9824668 CPUtime=2.93 cores=0,2,4,6
/proc/22702/task/22711/stat : 22711 (java) S 22700 22702 21497 0 -1 4202560 591 0 0 0 286 7 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778223455272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22712] ppid=22700 vsize=9824668 CPUtime=2.83 cores=0,2,4,6
/proc/22702/task/22712/stat : 22712 (java) S 22700 22702 21497 0 -1 4202560 654 0 0 0 278 5 0 0 20 0 22 0 253512967 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778222402472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22713] ppid=22700 vsize=9824668 CPUtime=7.07 cores=0,2,4,6
/proc/22702/task/22713/stat : 22713 (java) S 22700 22702 21497 0 -1 4202560 5492 0 0 0 655 52 0 0 20 0 22 0 253512968 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778210203880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22714] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22714/stat : 22714 (java) S 22700 22702 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778209149944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22715] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22715/stat : 22715 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778208097544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22716] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22716/stat : 22716 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778207046032 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22717] ppid=22700 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/22702/task/22717/stat : 22717 (java) S 22700 22702 21497 0 -1 4202560 9422 0 0 0 119 2 0 0 20 0 22 0 253512971 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778205993656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22718] ppid=22700 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/22702/task/22718/stat : 22718 (java) S 22700 22702 21497 0 -1 4202560 11438 0 0 0 135 2 0 0 20 0 22 0 253512971 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778204940856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22719] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22719/stat : 22719 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778203888760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22720] ppid=22700 vsize=9824668 CPUtime=0.29 cores=0,2,4,6
/proc/22702/task/22720/stat : 22720 (java) S 22700 22702 21497 0 -1 4202560 49 0 0 0 14 15 0 0 20 0 22 0 253512971 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778202836168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22721] ppid=22700 vsize=9824668 CPUtime=867.12 cores=0,2,4,6
/proc/22702/task/22721/stat : 22721 (java) R 22700 22702 21497 0 -1 4202560 804 0 0 0 86695 17 0 0 20 0 22 0 253513013 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778201357568 139778251797731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22722] ppid=22700 vsize=9824668 CPUtime=867.22 cores=0,2,4,6
/proc/22702/task/22722/stat : 22722 (java) R 22700 22702 21497 0 -1 4202560 8515 0 0 0 86703 19 0 0 20 0 22 0 253513013 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778200303856 139778252056413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22723] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22723/stat : 22723 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778199254184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22724] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22724/stat : 22724 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 127138 33554432000 1073741824 1073778376 140735671544624 139778198201384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1767.67
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.401 s]
/proc/loadavg: 3.91 3.77 3.53 5/219 22739
/proc/meminfo: memFree=26255476/32873648 swapFree=6852/6852
[pid=22702] ppid=22700 vsize=9824668 CPUtime=1800.06 cores=0,2,4,6
/proc/22702/stat : 22702 (java) S 22700 22702 21497 0 -1 4202496 43246 0 1 0 179873 133 0 0 20 0 22 0 253512966 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 140735671535760 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22702/statm: 2456167 128080 2285 9 0 2446860 0
[pid=22702/tid=22703] ppid=22700 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/22702/task/22703/stat : 22703 (java) S 22700 22702 21497 0 -1 4202560 2499 0 1 0 45 3 0 0 20 0 22 0 253512966 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778386265080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22705] ppid=22700 vsize=9824668 CPUtime=2.99 cores=0,2,4,6
/proc/22702/task/22705/stat : 22705 (java) S 22700 22702 21497 0 -1 4202560 449 0 0 0 292 7 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778375325992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22706] ppid=22700 vsize=9824668 CPUtime=2.93 cores=0,2,4,6
/proc/22702/task/22706/stat : 22706 (java) S 22700 22702 21497 0 -1 4202560 365 0 0 0 287 6 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778374273192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22707] ppid=22700 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/22702/task/22707/stat : 22707 (java) S 22700 22702 21497 0 -1 4202560 318 0 0 0 284 7 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778373220904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22708] ppid=22700 vsize=9824668 CPUtime=2.83 cores=0,2,4,6
/proc/22702/task/22708/stat : 22708 (java) S 22700 22702 21497 0 -1 4202560 413 0 0 0 277 6 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778372168104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22702/tid=22709] ppid=22700 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/22702/task/22709/stat : 22709 (java) S 22700 22702 21497 0 -1 4202560 587 0 0 0 281 6 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778371115816 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22710] ppid=22700 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/22702/task/22710/stat : 22710 (java) S 22700 22702 21497 0 -1 4202560 437 0 0 0 290 6 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778370063016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22711] ppid=22700 vsize=9824668 CPUtime=3 cores=0,2,4,6
/proc/22702/task/22711/stat : 22711 (java) S 22700 22702 21497 0 -1 4202560 596 0 0 0 293 7 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778223455272 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22712] ppid=22700 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/22702/task/22712/stat : 22712 (java) S 22700 22702 21497 0 -1 4202560 655 0 0 0 285 5 0 0 20 0 22 0 253512967 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778222402472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22713] ppid=22700 vsize=9824668 CPUtime=7.08 cores=0,2,4,6
/proc/22702/task/22713/stat : 22713 (java) S 22700 22702 21497 0 -1 4202560 5497 0 0 0 655 53 0 0 20 0 22 0 253512968 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778210203880 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22714] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22714/stat : 22714 (java) S 22700 22702 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778209149944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22715] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22715/stat : 22715 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253512969 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778208097544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22716] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22716/stat : 22716 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778207046032 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22717] ppid=22700 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/22702/task/22717/stat : 22717 (java) S 22700 22702 21497 0 -1 4202560 9422 0 0 0 119 2 0 0 20 0 22 0 253512971 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778205993656 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22718] ppid=22700 vsize=9824668 CPUtime=1.37 cores=0,2,4,6
/proc/22702/task/22718/stat : 22718 (java) S 22700 22702 21497 0 -1 4202560 11438 0 0 0 135 2 0 0 20 0 22 0 253512971 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778204940856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22719] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22719/stat : 22719 (java) S 22700 22702 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253512971 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778203888760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22720] ppid=22700 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/22702/task/22720/stat : 22720 (java) S 22700 22702 21497 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 253512971 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778202836168 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22721] ppid=22700 vsize=9824668 CPUtime=883.06 cores=0,2,4,6
/proc/22702/task/22721/stat : 22721 (java) R 22700 22702 21497 0 -1 4202560 807 0 0 0 88289 17 0 0 20 0 22 0 253513013 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778201357584 139778251797731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22702/tid=22722] ppid=22700 vsize=9824668 CPUtime=883.16 cores=0,2,4,6
/proc/22702/task/22722/stat : 22722 (java) R 22700 22702 21497 0 -1 4202560 8524 0 0 0 88297 19 0 0 20 0 22 0 253513013 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778200304048 139778251797731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22702/tid=22723] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22723/stat : 22723 (java) S 22700 22702 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778199254184 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22702/tid=22724] ppid=22700 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/22702/task/22724/stat : 22724 (java) S 22700 22702 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253513023 10060460032 128080 33554432000 1073741824 1073778376 140735671544624 139778198201384 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143
Real time (s): 898.457
CPU time (s): 1800.48
CPU user time (s): 1798.69
CPU system time (s): 1.79173
CPU usage (%): 200.397
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.79173
maximum resident set size= 512440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43277
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54686
involuntary context switches= 83040

runsolver used 3.3125 second user time and 7.92179 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-24 17:37:49
IDJOB=3687796
IDBENCH=2167
IDSOLVER=2268
FILE ID=node116/3687796-1337873869
RUNJOBID= node116-1337871880-21513
PBS_JOBID= 14620088
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687796-1337873869/watcher-3687796-1337873869 -o /tmp/evaluation-result-3687796-1337873869/solver-3687796-1337873869 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687796-1337873869.opb

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

MD5SUM BENCH= 0973e03eb27089eff6bc20e630a3ba01
RANDOM SEED=1473233965

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28150992 kB
Buffers:          203040 kB
Cached:          2919652 kB
SwapCached:            0 kB
Active:          1285776 kB
Inactive:        2642620 kB
Active(anon):     808152 kB
Inactive(anon):        0 kB
Active(file):     477624 kB
Inactive(file):  2642620 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               952 kB
Writeback:             0 kB
AnonPages:        855752 kB
Mapped:            21684 kB
Shmem:               200 kB
Slab:             623360 kB
SReclaimable:      67460 kB
SUnreclaim:       555900 kB
KernelStack:        1784 kB
PageTables:         6180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1084856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    800768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node116 at 2012-05-24 17:52:50