Trace number 3732535

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
PB11: Sat4j Res//CP 2.3.0? (TO) 1800.15 902.451

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM473e2cd0e31e48ba0932d7bd34857dd0
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 constraints13473
Number of constraints which are clauses13473
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.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
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 version 2.3.1.v20110525
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.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3732535-1338685873.opb
0.09/0.12	c reading problem ... 
0.73/0.44	c ... done. Wall clock time 0.323s.
0.73/0.44	c #vars     6352
0.73/0.44	c #constraints  13345
0.73/0.44	c constraints type 
0.73/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7030
0.73/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6033
0.73/0.44	c constraints type 
0.73/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6033
0.73/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7030
9.17/4.31	c cleaning 2500 clauses out of 5000 with flag 5000/5000
18.75/8.83	c cleaning 4249 clauses out of 8500 with flag 11000/11000
25.93/12.40	c cleaning 0 clauses out of 5000 with flag 0/5000
29.92/14.36	c cleaning 5624 clauses out of 11251 with flag 18000/18000
42.97/20.86	c cleaning 6814 clauses out of 13627 with flag 26000/26000
55.40/27.07	c cleaning 0 clauses out of 11001 with flag 0/11001
58.57/28.61	c cleaning 7905 clauses out of 15813 with flag 35000/35000
75.73/37.25	c cleaning 8954 clauses out of 17908 with flag 45000/45000
90.10/44.42	c cleaning 0 clauses out of 18000 with flag 0/18000
95.46/47.14	c cleaning 9976 clauses out of 19954 with flag 56000/56000
117.83/58.36	c cleaning 10989 clauses out of 21978 with flag 68000/68000
129.39/64.16	c cleaning 0 clauses out of 26000 with flag 0/26000
143.55/71.21	c cleaning 11990 clauses out of 23990 with flag 81001/81001
171.52/85.23	c cleaning 12999 clauses out of 26000 with flag 95001/95001
174.69/86.87	c cleaning 0 clauses out of 35000 with flag 0/35000
198.86/98.99	c cleaning 13499 clauses out of 27001 with flag 109001/109001
224.60/111.88	c cleaning 0 clauses out of 45001 with flag 0/45001
228.15/113.64	c cleaning 13749 clauses out of 27501 with flag 123000/123000
255.72/127.49	c cleaning 13873 clauses out of 27752 with flag 137000/137000
281.09/140.18	c cleaning 0 clauses out of 56000 with flag 0/56000
284.65/141.96	c cleaning 13938 clauses out of 27880 with flag 151001/151001
313.02/156.20	c cleaning 13970 clauses out of 27944 with flag 165003/165003
340.96/170.16	c cleaning 13981 clauses out of 27972 with flag 179001/179001
342.71/171.05	c cleaning 0 clauses out of 68001 with flag 0/68001
370.43/184.97	c cleaning 13993 clauses out of 27991 with flag 193001/193001
400.40/199.97	c cleaning 13994 clauses out of 27997 with flag 207000/207000
410.36/204.95	c cleaning 0 clauses out of 81001 with flag 0/81001
431.11/215.30	c cleaning 13999 clauses out of 28003 with flag 221000/221000
460.46/230.04	c cleaning 14002 clauses out of 28005 with flag 235001/235001
484.43/242.02	c cleaning 0 clauses out of 95000 with flag 0/95000
490.16/244.97	c cleaning 14001 clauses out of 28003 with flag 249001/249001
519.72/259.76	c cleaning 13995 clauses out of 28001 with flag 263000/263000
549.86/274.88	c cleaning 14000 clauses out of 28007 with flag 277001/277001
557.81/278.82	c cleaning 0 clauses out of 109001 with flag 0/109001
580.15/290.03	c cleaning 13994 clauses out of 28006 with flag 291000/291000
608.90/304.44	c cleaning 13998 clauses out of 28013 with flag 305001/305001
633.01/316.57	c cleaning 0 clauses out of 123001 with flag 0/123001
637.35/318.76	c cleaning 14005 clauses out of 28015 with flag 319001/319001
667.31/333.74	c cleaning 14001 clauses out of 28009 with flag 333000/333000
698.85/349.50	c cleaning 13999 clauses out of 28009 with flag 347001/347001
707.38/353.88	c cleaning 0 clauses out of 137001 with flag 0/137001
732.52/366.44	c cleaning 14001 clauses out of 28009 with flag 361000/361000
765.08/382.80	c cleaning 14001 clauses out of 28008 with flag 375000/375000
782.62/391.56	c cleaning 0 clauses out of 151000 with flag 0/151000
797.50/399.01	c cleaning 14004 clauses out of 28008 with flag 389001/389001
829.82/415.21	c cleaning 13996 clauses out of 28004 with flag 403001/403001
851.77/426.24	c cleaning 0 clauses out of 165000 with flag 0/165000
862.89/431.83	c cleaning 13997 clauses out of 28008 with flag 417001/417001
895.78/448.30	c cleaning 13999 clauses out of 28010 with flag 431000/431000
924.71/462.81	c cleaning 0 clauses out of 179001 with flag 0/179001
929.24/465.11	c cleaning 14002 clauses out of 28011 with flag 445000/445000
962.97/482.03	c cleaning 14000 clauses out of 28009 with flag 459000/459000
997.49/499.37	c cleaning 0 clauses out of 193001 with flag 0/193001
997.79/499.54	c cleaning 14001 clauses out of 28010 with flag 473001/473001
1032.13/516.77	c cleaning 14000 clauses out of 28009 with flag 487001/487001
1067.06/534.23	c cleaning 13999 clauses out of 28009 with flag 501001/501001
1073.55/537.57	c cleaning 0 clauses out of 207000 with flag 0/207000
1102.46/552.04	c cleaning 14002 clauses out of 28009 with flag 515000/515000
1137.38/569.57	c cleaning 13996 clauses out of 28007 with flag 529000/529000
1152.68/577.25	c cleaning 0 clauses out of 221001 with flag 0/221001
1173.97/587.96	c cleaning 14001 clauses out of 28012 with flag 543001/543001
1211.68/606.89	c cleaning 13999 clauses out of 28011 with flag 557001/557001
1234.39/618.28	c cleaning 0 clauses out of 235000 with flag 0/235000
1249.48/625.88	c cleaning 14002 clauses out of 28011 with flag 571000/571000
1285.13/643.74	c cleaning 14000 clauses out of 28010 with flag 585001/585001
1316.64/659.57	c cleaning 0 clauses out of 249000 with flag 0/249000
1320.54/661.59	c cleaning 13995 clauses out of 28010 with flag 599001/599001
1356.87/679.76	c cleaning 13997 clauses out of 28015 with flag 613001/613001
1392.94/697.82	c cleaning 14001 clauses out of 28018 with flag 627001/627001
1406.03/704.42	c cleaning 0 clauses out of 263001 with flag 0/263001
1430.13/716.50	c cleaning 14001 clauses out of 28017 with flag 641001/641001
1468.45/735.71	c cleaning 13999 clauses out of 28015 with flag 655000/655000
1493.30/748.26	c cleaning 0 clauses out of 277000 with flag 0/277000
1505.19/754.26	c cleaning 14001 clauses out of 28017 with flag 669001/669001
1541.68/772.58	c cleaning 13999 clauses out of 28016 with flag 683001/683001
1578.77/791.15	c cleaning 14003 clauses out of 28017 with flag 697001/697001
1579.40/791.58	c cleaning 0 clauses out of 291001 with flag 0/291001
1616.50/810.14	c cleaning 14003 clauses out of 28013 with flag 711000/711000
1653.59/828.73	c cleaning 13998 clauses out of 28010 with flag 725000/725000
1664.48/834.30	c cleaning 0 clauses out of 305001 with flag 0/305001
1691.51/847.81	c cleaning 14001 clauses out of 28012 with flag 739000/739000
1729.80/867.08	c cleaning 14002 clauses out of 28011 with flag 753000/753000
1753.86/879.14	c cleaning 0 clauses out of 319000 with flag 0/319000
1769.14/886.85	c cleaning 14003 clauses out of 28010 with flag 767001/767001
1800.15/902.41	c starts		: 170
1800.15/902.41	c conflicts		: 778195
1800.15/902.41	c decisions		: 782757
1800.15/902.41	c propagations		: 2049089895
1800.15/902.41	c inspects		: 10746900445
1800.15/902.41	c shortcuts		: 0
1800.15/902.41	c learnt literals	: 0
1800.15/902.41	c learnt binary clauses	: 14
1800.15/902.41	c learnt ternary clauses	: 25
1800.15/902.41	c learnt constraints	: 778195
1800.15/902.41	c ignored constraints	: 0
1800.15/902.41	c root simplifications	: 0
1800.15/902.41	c removed literals (reason simplification)	: 10338607
1800.15/902.41	c reason swapping (by a shorter reason)	: 0
1800.15/902.41	c Calls to reduceDB	: 58
1800.15/902.41	c number of reductions to clauses (during analyze)	: 0
1800.15/902.41	c number of learned constraints concerned by reduction	: 0
1800.15/902.41	c number of learning phase by resolution	: 0
1800.15/902.41	c number of learning phase by cutting planes	: 0
1800.15/902.41	c speed (assignments/second)	: 2271798.941869335
1800.15/902.41	c non guided choices	0
1800.15/902.42	c learnt constraints type 
1800.15/902.42	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 14
1800.15/902.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25194
1800.15/902.42	c constraints type 
1800.15/902.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7030
1800.15/902.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6033
1800.15/902.42	c constraints type 
1800.15/902.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6033
1800.15/902.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7030
1800.15/902.42	s UNKNOWN
1800.15/902.42	c Total wall clock time (in seconds): 902.306

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-3732535-1338685873/watcher-3732535-1338685873 -o /tmp/evaluation-result-3732535-1338685873/solver-3732535-1338685873 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732535-1338685873.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: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=20596 CPUtime=0 cores=1,3,5,7
/proc/8924/stat : 8924 (java) R 8922 8924 5561 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 334711679 21090304 187 33554432000 1073741824 1073778376 140733302986176 140733302975240 209874681416 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 5149 190 145 9 0 128 0

[startup+0.03318 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11042732 CPUtime=0.01 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 2916 0 1 0 1 0 0 0 20 0 10 0 334711679 11307757568 10262 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2760683 10265 1026 9 0 2751792 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11042732

[startup+0.100209 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 4729 0 1 0 8 1 0 0 20 0 18 0 334711679 11864465408 13577 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2896598 13579 2106 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300194 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11586392 CPUtime=0.47 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 5931 0 1 0 46 1 0 0 20 0 18 0 334711679 11864465408 16440 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2896598 16440 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586392

[startup+0.7002 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 9856 0 1 0 176 3 0 0 20 0 22 0 334711679 12137111552 29289 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 29289 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 11852648

[startup+1.50085 s]
/proc/loadavg: 3.39 3.53 3.56 5/220 8946
/proc/meminfo: memFree=25577644/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=3.5 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 10148 0 1 0 345 5 0 0 20 0 22 0 334711679 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 66187 2263 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2882 0 1 0 40 2 0 0 20 0 22 0 334711680 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334711683 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 2799 0 0 0 50 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3091 0 0 0 44 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 24 0 0 0 103 0 0 0 20 0 22 0 334711724 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591567795032 140591678273628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 150 0 0 0 101 2 0 0 20 0 22 0 334711724 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591566740024 140591678378467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 11852648

[startup+3.10089 s]
/proc/loadavg: 3.39 3.53 3.56 5/220 8946
/proc/meminfo: memFree=25368128/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=6.71 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 10297 0 1 0 660 11 0 0 20 0 22 0 334711679 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 142475 2263 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2882 0 1 0 40 2 0 0 20 0 22 0 334711680 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334711683 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 2799 0 0 0 51 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3091 0 0 0 44 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=2.63 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 25 0 0 0 263 0 0 0 20 0 22 0 334711724 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591567794584 140591678330500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=2.63 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 298 0 0 0 255 8 0 0 20 0 22 0 334711724 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591566739904 140591678372838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 11852648

[startup+6.3008 s]
/proc/loadavg: 3.44 3.54 3.57 5/220 8946
/proc/meminfo: memFree=24893504/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=13.69 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 17843 0 1 0 1351 18 0 0 20 0 22 0 334711679 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 211684 2289 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2882 0 1 0 40 2 0 0 20 0 22 0 334711680 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334711683 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 334711684 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 10157 0 0 0 105 3 0 0 20 0 22 0 334711686 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

/proc/8924/statm: 2963162 750900 2290 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2897 0 1 0 43 4 0 0 20 0 22 0 334711680 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 29 0 0 0 18 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 20 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0.16 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 23 0 0 0 16 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 29 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 35 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 30 0 0 0 15 0 0 0 20 0 22 0 334711683 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=6.26 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 137 0 0 0 621 5 0 0 20 0 22 0 334711684 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 12515 0 0 0 148 3 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3162 0 0 0 62 0 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 47 0 0 0 22 20 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=812.85 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 70 0 0 0 81273 12 0 0 20 0 22 0 334711724 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591567794624 140591678330560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=812.91 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 1441 0 0 0 81235 56 0 0 20 0 22 0 334711724 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591566739952 140591678373035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640.79
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.92 3.90 3.76 5/219 9256
/proc/meminfo: memFree=23966152/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=1760.14 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 21704 0 1 0 175920 94 0 0 20 0 22 0 334711679 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 753986 2290 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2899 0 1 0 43 4 0 0 20 0 22 0 334711680 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 36 0 0 0 21 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 20 0 0 0 21 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 23 0 0 0 18 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 33 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 31 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 30 0 0 0 17 0 0 0 20 0 22 0 334711683 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=6.97 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 147 0 0 0 691 6 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 12515 0 0 0 148 3 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3162 0 0 0 62 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 51 0 0 0 23 21 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=871.94 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 72 0 0 0 87181 13 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591567792720 140591678273623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=871.97 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 1442 0 0 0 87140 57 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591566741824 140591678344717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1760.14
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.401 s]
/proc/loadavg: 3.94 3.91 3.77 5/219 9256
/proc/meminfo: memFree=23959884/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 21705 0 1 0 179921 94 0 0 20 0 22 0 334711679 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 753986 2290 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2900 0 1 0 43 4 0 0 20 0 22 0 334711680 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 36 0 0 0 21 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 20 0 0 0 22 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 23 0 0 0 18 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 33 0 0 0 20 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 31 0 0 0 20 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 30 0 0 0 17 0 0 0 20 0 22 0 334711683 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=7.16 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 147 0 0 0 710 6 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 12515 0 0 0 148 3 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3162 0 0 0 62 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 51 0 0 0 24 21 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=891.79 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 72 0 0 0 89166 13 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591567794624 140591678330526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=891.82 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 1442 0 0 0 89125 57 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591566739952 140591677802033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8924 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=530189
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=210815
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 902.451
CPU time (s): 1800.15
CPU user time (s): 1799.21
CPU system time (s): 0.94
CPU usage (%): 199.473
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.53
system time used= 1.21081
maximum resident set size= 3016064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21737
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23605
involuntary context switches= 11973

runsolver used 3.39048 second user time and 8.5757 second system time

The end

Launcher Data

Begin job on node141 at 2012-06-03 03:11:14
IDJOB=3732535
IDBENCH=2109
IDSOLVER=2328
FILE ID=node141/3732535-1338685873
RUNJOBID= node141-1338678623-5581
PBS_JOBID= 14636672
Free space on /tmp= 70720 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732535-1338685873/watcher-3732535-1338685873 -o /tmp/evaluation-result-3732535-1338685873/solver-3732535-1338685873 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732535-1338685873.opb

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

MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0
RANDOM SEED=178994071

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25741752 kB
Buffers:          393512 kB
Cached:          3133892 kB
SwapCached:          216 kB
Active:          3925084 kB
Inactive:        2317740 kB
Active(anon):    2706256 kB
Inactive(anon):    11300 kB
Active(file):    1218828 kB
Inactive(file):  2306440 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       2720392 kB
Mapped:            18888 kB
Shmem:               172 kB
Slab:             739932 kB
SReclaimable:     181824 kB
SUnreclaim:       558108 kB
KernelStack:        1648 kB
PageTables:         9344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10461560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2676736 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= 70720 MiB
End job on node141 at 2012-06-03 03:26:18