Trace number 3739607

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0? (TO) 1800.21 905.855

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1206_6-sat.opb
MD5SUM138289002292e7c474e0d36dbcddf060
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables37752
Total number of constraints120373
Number of constraints which are clauses119753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints620
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 342
Number of bits of the biggest sum of numbers9
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3739607-1338729412.opb
0.10/0.11	c reading problem ... 
2.03/1.18	c ... done. Wall clock time 1.064s.
2.03/1.18	c #vars     37752
2.03/1.18	c #constraints  111646
2.03/1.18	c constraints type 
2.03/1.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15799
2.03/1.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 92086
2.03/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 620
2.03/1.18	c constraints type 
2.03/1.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 92086
2.03/1.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15799
2.03/1.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 620
8.91/3.93	c cleaning 2492 clauses out of 4998 with flag 5000/5000
15.21/6.86	c cleaning 4251 clauses out of 8505 with flag 11001/11001
21.69/10.17	c cleaning 5617 clauses out of 11253 with flag 18000/18000
28.97/13.85	c cleaning 6811 clauses out of 13636 with flag 26000/26000
38.63/18.79	c cleaning 7897 clauses out of 15825 with flag 35000/35000
48.46/23.77	c cleaning 8936 clauses out of 17928 with flag 45000/45000
60.71/29.97	c cleaning 9973 clauses out of 19993 with flag 56001/56001
73.46/36.31	c cleaning 0 clauses out of 5002 with flag 0/5002
75.83/37.53	c cleaning 10988 clauses out of 22021 with flag 68002/68002
88.45/43.91	c cleaning 12008 clauses out of 24031 with flag 81000/81000
102.83/51.26	c cleaning 12993 clauses out of 26026 with flag 95003/95003
119.88/59.85	c cleaning 13989 clauses out of 28031 with flag 110001/110001
138.23/69.14	c cleaning 15016 clauses out of 30041 with flag 126000/126000
165.30/82.71	c cleaning 15966 clauses out of 32025 with flag 143000/143000
186.91/93.68	c cleaning 16993 clauses out of 34060 with flag 161001/161001
207.28/103.91	c cleaning 18027 clauses out of 36067 with flag 180001/180001
231.95/116.40	c cleaning 18964 clauses out of 38039 with flag 200000/200000
260.14/130.66	c cleaning 20014 clauses out of 40076 with flag 221001/221001
291.71/146.51	c cleaning 21001 clauses out of 42061 with flag 243000/243000
328.09/164.90	c cleaning 0 clauses out of 11000 with flag 0/11000
329.46/165.79	c cleaning 21991 clauses out of 44061 with flag 266001/266001
358.39/180.40	c cleaning 22982 clauses out of 46069 with flag 290000/290000
401.94/202.30	c cleaning 23982 clauses out of 48089 with flag 315002/315002
447.55/225.17	c cleaning 25024 clauses out of 50105 with flag 341000/341000
489.32/246.27	c cleaning 26000 clauses out of 52081 with flag 368000/368000
530.64/267.07	c cleaning 27039 clauses out of 54082 with flag 396001/396001
570.19/286.92	c cleaning 27994 clauses out of 56042 with flag 425000/425000
615.94/309.97	c cleaning 28978 clauses out of 58048 with flag 455000/455000
667.87/336.14	c cleaning 30022 clauses out of 60070 with flag 486000/486000
724.77/364.74	c cleaning 30962 clauses out of 62048 with flag 518000/518000
780.47/392.73	c cleaning 32003 clauses out of 64086 with flag 551000/551000
839.73/422.53	c cleaning 32992 clauses out of 66083 with flag 585000/585000
897.37/451.66	c cleaning 34035 clauses out of 68091 with flag 620000/620000
957.23/481.73	c cleaning 34999 clauses out of 70056 with flag 656000/656000
1018.70/512.62	c cleaning 0 clauses out of 18000 with flag 0/18000
1029.08/518.10	c cleaning 35996 clauses out of 72056 with flag 693000/693000
1094.22/550.92	c cleaning 36987 clauses out of 74061 with flag 731001/731001
1165.90/586.90	c cleaning 37981 clauses out of 76075 with flag 770002/770002
1243.42/625.88	c cleaning 39017 clauses out of 78095 with flag 810003/810003
1333.85/671.20	c cleaning 39998 clauses out of 80075 with flag 851000/851000
1416.23/712.72	c cleaning 41034 clauses out of 82077 with flag 893000/893000
1485.79/747.70	c cleaning 41991 clauses out of 84044 with flag 936001/936001
1567.08/788.54	c cleaning 43014 clauses out of 86052 with flag 980000/980000
1650.74/830.59	c cleaning 43986 clauses out of 88038 with flag 1025000/1025000
1737.47/874.23	c cleaning 44994 clauses out of 90054 with flag 1071002/1071002
1800.21/905.81	c starts		: 189
1800.21/905.81	c conflicts		: 1109659
1800.21/905.81	c decisions		: 1542191
1800.21/905.81	c propagations		: 1359049389
1800.21/905.81	c inspects		: 4543150835
1800.21/905.81	c shortcuts		: 0
1800.21/905.81	c learnt literals	: 5
1800.21/905.81	c learnt binary clauses	: 169
1800.21/905.81	c learnt ternary clauses	: 2429
1800.21/905.81	c learnt constraints	: 1109654
1800.21/905.81	c ignored constraints	: 0
1800.21/905.81	c root simplifications	: 0
1800.21/905.81	c removed literals (reason simplification)	: 31683077
1800.21/905.81	c reason swapping (by a shorter reason)	: 0
1800.21/905.81	c Calls to reduceDB	: 42
1800.21/905.81	c number of reductions to clauses (during analyze)	: 0
1800.21/905.81	c number of learned constraints concerned by reduction	: 0
1800.21/905.81	c number of learning phase by resolution	: 0
1800.21/905.81	c number of learning phase by cutting planes	: 0
1800.21/905.81	c speed (assignments/second)	: 1502325.4863032552
1800.21/905.81	c non guided choices	804
1800.21/905.84	c learnt constraints type 
1800.21/905.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 169
1800.21/905.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 83567
1800.21/905.84	c constraints type 
1800.21/905.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15799
1800.21/905.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 92086
1800.21/905.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 620
1800.21/905.84	c constraints type 
1800.21/905.84	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 92086
1800.21/905.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15799
1800.21/905.84	c org.sat4j.pb.constraints.pb.MaxWatchPb => 620
1800.21/905.84	s UNKNOWN
1800.21/905.84	c Total wall clock time (in seconds): 905.722

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-3739607-1338729412/watcher-3739607-1338729412 -o /tmp/evaluation-result-3739607-1338729412/solver-3739607-1338729412 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3739607-1338729412.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.97 3.86 3.48 3/199 3939
/proc/meminfo: memFree=24233940/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/3939/stat : 3939 (java) R 3937 3939 30903 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 339066610 23793664 712 33554432000 1073741824 1073778376 140736327682048 140736327671112 273896486248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 5809 712 527 9 0 128 0

[startup+0.069029 s]
/proc/loadavg: 3.97 3.86 3.48 3/199 3939
/proc/meminfo: memFree=24233940/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11586392 CPUtime=0.05 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 4423 0 1 0 4 1 0 0 20 0 18 0 339066610 11864465408 12785 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2896598 12785 1764 9 0 2887285 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586392

[startup+0.100311 s]
/proc/loadavg: 3.97 3.86 3.48 3/199 3939
/proc/meminfo: memFree=24233940/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 5254 0 1 0 9 1 0 0 20 0 18 0 339066610 11864465408 13606 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2896598 13606 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.300201 s]
/proc/loadavg: 3.97 3.86 3.48 3/199 3939
/proc/meminfo: memFree=24233940/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11586392 CPUtime=0.49 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 6986 0 1 0 47 2 0 0 20 0 18 0 339066610 11864465408 17386 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2896598 17386 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 11586392

[startup+0.700246 s]
/proc/loadavg: 3.97 3.86 3.48 3/199 3939
/proc/meminfo: memFree=24233940/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11586392 CPUtime=1.29 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 12196 0 1 0 124 5 0 0 20 0 18 0 339066610 11864465408 50602 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2896598 50602 2245 9 0 2887285 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 11586392

[startup+1.50062 s]
/proc/loadavg: 3.97 3.86 3.48 6/217 3957
/proc/meminfo: memFree=23910760/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11852648 CPUtime=3.53 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 20357 0 1 0 342 11 0 0 20 0 22 0 339066610 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2963162 99406 2261 9 0 2953849 0
[pid=3939/tid=3941] ppid=3937 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/3939/task/3941/stat : 3941 (java) S 3937 3939 30903 0 -1 4202560 3523 0 1 0 109 7 0 0 20 0 22 0 339066611 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978904143000 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3942] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3942/stat : 3942 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978893204136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3943] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3943/stat : 3943 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978892151592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3944] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3944/stat : 3944 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978891099048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3945] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3945/stat : 3945 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978738002984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3946] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3946/stat : 3946 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978736949416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3947] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3947/stat : 3947 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978735896872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3948] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3948/stat : 3948 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978734844328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3949] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3949/stat : 3949 (java) S 3937 3939 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978733791784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3950] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3950/stat : 3950 (java) S 3937 3939 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339066613 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978721593960 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3951] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3951/stat : 3951 (java) S 3937 3939 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978720540280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3952] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3952/stat : 3952 (java) S 3937 3939 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978719487624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3953] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3953/stat : 3953 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978718436368 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3954] ppid=3937 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/3939/task/3954/stat : 3954 (java) R 3937 3939 30903 0 -1 4202560 8701 0 0 0 79 2 0 0 20 0 22 0 339066616 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978717375672 139978910100102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3955] ppid=3937 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/3939/task/3955/stat : 3955 (java) R 3937 3939 30903 0 -1 4202560 6826 0 0 0 86 2 0 0 20 0 22 0 339066616 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978716317728 139978907048072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3956] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3956/stat : 3956 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978715277816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3957] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3957/stat : 3957 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 99406 33554432000 1073741824 1073778376 140736327682048 139978714225480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.97 3.86 3.49 5/221 3961
/proc/meminfo: memFree=23615892/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11852648 CPUtime=7.28 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 23597 0 1 0 704 24 0 0 20 0 22 0 339066610 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2963162 275052 2266 9 0 2953849 0
[pid=3939/tid=3941] ppid=3937 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/3939/task/3941/stat : 3941 (java) S 3937 3939 30903 0 -1 4202560 3523 0 1 0 109 7 0 0 20 0 22 0 339066611 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978904143000 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3942] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3942/stat : 3942 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978893204136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3943] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3943/stat : 3943 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978892151592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3944] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3944/stat : 3944 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978891099048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3945] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3945/stat : 3945 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978738002984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3946] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3946/stat : 3946 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978736949416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3947] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3947/stat : 3947 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978735896872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3948] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3948/stat : 3948 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978734844328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3949] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3949/stat : 3949 (java) S 3937 3939 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 339066612 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978733791784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3950] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3950/stat : 3950 (java) S 3937 3939 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 339066613 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978721593960 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3951] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3951/stat : 3951 (java) S 3937 3939 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978720540280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3952] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3952/stat : 3952 (java) S 3937 3939 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978719487624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3953] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3953/stat : 3953 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978718436368 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3954] ppid=3937 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/3939/task/3954/stat : 3954 (java) S 3937 3939 30903 0 -1 4202560 11586 0 0 0 107 2 0 0 20 0 22 0 339066616 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978717382712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3955] ppid=3937 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/3939/task/3955/stat : 3955 (java) S 3937 3939 30903 0 -1 4202560 6837 0 0 0 116 2 0 0 20 0 22 0 339066616 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978716330168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3956] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3956/stat : 3956 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978715277816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3957] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3957/stat : 3957 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978714225480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3958] ppid=3937 vsize=11852648 CPUtime=1.88 cores=0,2,4,6
/proc/3939/task/3958/stat : 3958 (java) R 3937 3939 30903 0 -1 4202560 24 0 0 0 188 0 0 0 20 0 22 0 339066728 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978713170952 139978773311399 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3959] ppid=3937 vsize=11852648 CPUtime=1.9 cores=0,2,4,6
/proc/3939/task/3959/stat : 3959 (java) R 3937 3939 30903 0 -1 4202560 419 0 0 0 177 13 0 0 20 0 22 0 339066729 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978712117864 139978773381037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3960] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3960/stat : 3960 (java) S 3937 3939 30903 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978711066152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3961] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3961/stat : 3961 (java) S 3937 3939 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 275052 33554432000 1073741824 1073778376 140736327682048 139978710013608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 11852648

[startup+6.30072 s]
/proc/loadavg: 3.97 3.86 3.49 5/221 3961
/proc/meminfo: memFree=22582972/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11852648 CPUtime=14.2 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 28007 0 1 0 1381 39 0 0 20 0 22 0 339066610 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2963162 409845 2290 9 0 2953849 0
[pid=3939/tid=3941] ppid=3937 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/3939/task/3941/stat : 3941 (java) S 3937 3939 30903 0 -1 4202560 3523 0 1 0 109 7 0 0 20 0 22 0 339066611 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978904143000 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3942] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3942/stat : 3942 (java) S 3937 3939 30903 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978893204136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3943] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3943/stat : 3943 (java) S 3937 3939 30903 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978892151592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3944] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3944/stat : 3944 (java) S 3937 3939 30903 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978891099048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3945] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3945/stat : 3945 (java) S 3937 3939 30903 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978738002984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3946] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3946/stat : 3946 (java) S 3937 3939 30903 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978736949416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3947] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3947/stat : 3947 (java) S 3937 3939 30903 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978735896872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3948] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3948/stat : 3948 (java) S 3937 3939 30903 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978734844328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3949] ppid=3937 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/3939/task/3949/stat : 3949 (java) S 3937 3939 30903 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 339066612 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978733791784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3950] ppid=3937 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/3939/task/3950/stat : 3950 (java) S 3937 3939 30903 0 -1 4202560 49 0 0 0 11 1 0 0 20 0 22 0 339066613 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978721593960 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3951] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3951/stat : 3951 (java) S 3937 3939 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978720540280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3952] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3952/stat : 3952 (java) S 3937 3939 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978719487624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3953] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3953/stat : 3953 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978718436368 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3954] ppid=3937 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/3939/task/3954/stat : 3954 (java) S 3937 3939 30903 0 -1 4202560 11589 0 0 0 115 2 0 0 20 0 22 0 339066616 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978717382712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3955] ppid=3937 vsize=11852648 CPUtime=1.73 cores=0,2,4,6
/proc/3939/task/3955/stat : 3955 (java) S 3937 3939 30903 0 -1 4202560 10877 0 0 0 170 3 0 0 20 0 22 0 339066616 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978716330168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3956] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3956/stat : 3956 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978715277816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3957] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3957/stat : 3957 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978714225480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3958] ppid=3937 vsize=11852648 CPUtime=4.84 cores=0,2,4,6
/proc/3939/task/3958/stat : 3958 (java) R 3937 3939 30903 0 -1 4202560 26 0 0 0 484 0 0 0 20 0 22 0 339066728 12137111552 409845 33554432000 1073741824 1073778376 140736327682048 139978713170872 139978773345252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0

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

/proc/3939/statm: 2963162 950841 2291 9 0 2953849 0
[pid=3939/tid=3941] ppid=3937 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/3939/task/3941/stat : 3941 (java) S 3937 3939 30903 0 -1 4202560 3539 0 1 0 111 8 0 0 20 0 22 0 339066611 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978904143000 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3942] ppid=3937 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/3939/task/3942/stat : 3942 (java) S 3937 3939 30903 0 -1 4202560 189 0 0 0 104 4 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978893204136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3943] ppid=3937 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/3939/task/3943/stat : 3943 (java) S 3937 3939 30903 0 -1 4202560 180 0 0 0 111 4 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978892151592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3944] ppid=3937 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/3939/task/3944/stat : 3944 (java) S 3937 3939 30903 0 -1 4202560 154 0 0 0 110 4 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978891099048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3945] ppid=3937 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/3939/task/3945/stat : 3945 (java) S 3937 3939 30903 0 -1 4202560 190 0 0 0 110 4 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978738002984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3946] ppid=3937 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/3939/task/3946/stat : 3946 (java) S 3937 3939 30903 0 -1 4202560 199 0 0 0 114 5 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978736949416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3947] ppid=3937 vsize=11852648 CPUtime=0.91 cores=0,2,4,6
/proc/3939/task/3947/stat : 3947 (java) S 3937 3939 30903 0 -1 4202560 190 0 0 0 88 3 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978735896872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3948] ppid=3937 vsize=11852648 CPUtime=1.08 cores=0,2,4,6
/proc/3939/task/3948/stat : 3948 (java) S 3937 3939 30903 0 -1 4202560 190 0 0 0 104 4 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978734844328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3949] ppid=3937 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/3939/task/3949/stat : 3949 (java) S 3937 3939 30903 0 -1 4202560 228 0 0 0 111 5 0 0 20 0 22 0 339066612 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978733791784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3950] ppid=3937 vsize=11852648 CPUtime=16.43 cores=0,2,4,6
/proc/3939/task/3950/stat : 3950 (java) S 3937 3939 30903 0 -1 4202560 183 0 0 0 1638 5 0 0 20 0 22 0 339066613 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978721593960 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3951] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3951/stat : 3951 (java) S 3937 3939 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978720540280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3952] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3952/stat : 3952 (java) S 3937 3939 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978719487624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3953] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3953/stat : 3953 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978718436368 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3954] ppid=3937 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/3939/task/3954/stat : 3954 (java) S 3937 3939 30903 0 -1 4202560 11597 0 0 0 136 2 0 0 20 0 22 0 339066616 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978717382712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3955] ppid=3937 vsize=11852648 CPUtime=2 cores=0,2,4,6
/proc/3939/task/3955/stat : 3955 (java) S 3937 3939 30903 0 -1 4202560 11668 0 0 0 197 3 0 0 20 0 22 0 339066616 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978716330168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3956] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3956/stat : 3956 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978715277816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3957] ppid=3937 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/3939/task/3957/stat : 3957 (java) S 3937 3939 30903 0 -1 4202560 47 0 0 0 15 16 0 0 20 0 22 0 339066616 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978714225480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3958] ppid=3937 vsize=11852648 CPUtime=800 cores=0,2,4,6
/proc/3939/task/3958/stat : 3958 (java) R 3937 3939 30903 0 -1 4202560 81 0 0 0 79987 13 0 0 20 0 22 0 339066728 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978713169568 139978773320088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3959] ppid=3937 vsize=11852648 CPUtime=800.02 cores=0,2,4,6
/proc/3939/task/3959/stat : 3959 (java) R 3937 3939 30903 0 -1 4202560 1553 0 0 0 79935 67 0 0 20 0 22 0 339066729 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978712116048 139978773485407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3960] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3960/stat : 3960 (java) S 3937 3939 30903 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978711066152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3961] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3961/stat : 3961 (java) S 3937 3939 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 950841 33554432000 1073741824 1073778376 140736327682048 139978710013608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1634.23
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.96 3.95 3.76 5/221 4032
/proc/meminfo: memFree=20228216/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11852648 CPUtime=1753.13 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 31497 0 1 0 175188 125 0 0 20 0 22 0 339066610 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2963162 951961 2291 9 0 2953849 0
[pid=3939/tid=3941] ppid=3937 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/3939/task/3941/stat : 3941 (java) S 3937 3939 30903 0 -1 4202560 3540 0 1 0 111 8 0 0 20 0 22 0 339066611 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978904143000 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3942] ppid=3937 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/3939/task/3942/stat : 3942 (java) S 3937 3939 30903 0 -1 4202560 214 0 0 0 111 4 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978893204136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3943] ppid=3937 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/3939/task/3943/stat : 3943 (java) S 3937 3939 30903 0 -1 4202560 206 0 0 0 121 4 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978892151592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3944] ppid=3937 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/3939/task/3944/stat : 3944 (java) S 3937 3939 30903 0 -1 4202560 165 0 0 0 121 4 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978891099048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3945] ppid=3937 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/3939/task/3945/stat : 3945 (java) S 3937 3939 30903 0 -1 4202560 199 0 0 0 121 4 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978738002984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3946] ppid=3937 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/3939/task/3946/stat : 3946 (java) S 3937 3939 30903 0 -1 4202560 219 0 0 0 125 5 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978736949416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3947] ppid=3937 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/3939/task/3947/stat : 3947 (java) S 3937 3939 30903 0 -1 4202560 191 0 0 0 99 4 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978735896872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3948] ppid=3937 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/3939/task/3948/stat : 3948 (java) S 3937 3939 30903 0 -1 4202560 193 0 0 0 112 4 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978734844328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3949] ppid=3937 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/3939/task/3949/stat : 3949 (java) S 3937 3939 30903 0 -1 4202560 235 0 0 0 119 5 0 0 20 0 22 0 339066612 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978733791784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3950] ppid=3937 vsize=11852648 CPUtime=17.87 cores=0,2,4,6
/proc/3939/task/3950/stat : 3950 (java) S 3937 3939 30903 0 -1 4202560 187 0 0 0 1782 5 0 0 20 0 22 0 339066613 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978721593960 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3951] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3951/stat : 3951 (java) S 3937 3939 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978720540280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3952] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3952/stat : 3952 (java) S 3937 3939 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978719487624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3953] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3953/stat : 3953 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978718436368 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3954] ppid=3937 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/3939/task/3954/stat : 3954 (java) S 3937 3939 30903 0 -1 4202560 11597 0 0 0 136 2 0 0 20 0 22 0 339066616 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978717382712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3955] ppid=3937 vsize=11852648 CPUtime=2 cores=0,2,4,6
/proc/3939/task/3955/stat : 3955 (java) S 3937 3939 30903 0 -1 4202560 11668 0 0 0 197 3 0 0 20 0 22 0 339066616 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978716330168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3956] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3956/stat : 3956 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978715277816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3957] ppid=3937 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/3939/task/3957/stat : 3957 (java) S 3937 3939 30903 0 -1 4202560 51 0 0 0 15 17 0 0 20 0 22 0 339066616 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978714225480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3958] ppid=3937 vsize=11852648 CPUtime=858.17 cores=0,2,4,6
/proc/3939/task/3958/stat : 3958 (java) R 3937 3939 30903 0 -1 4202560 85 0 0 0 85802 15 0 0 20 0 22 0 339066728 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978713170512 139978773277283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3959] ppid=3937 vsize=11852648 CPUtime=858.23 cores=0,2,4,6
/proc/3939/task/3959/stat : 3959 (java) R 3937 3939 30903 0 -1 4202560 1553 0 0 0 85755 68 0 0 20 0 22 0 339066729 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978712116048 139978773467485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3960] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3960/stat : 3960 (java) S 3937 3939 30903 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978711066152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3961] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3961/stat : 3961 (java) S 3937 3939 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 951961 33554432000 1073741824 1073778376 140736327682048 139978710013608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1753.13
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+905.801 s]
/proc/loadavg: 3.97 3.95 3.76 5/221 4032
/proc/meminfo: memFree=20213880/32873844 swapFree=7124/7124
[pid=3939] ppid=3937 vsize=11852648 CPUtime=1800.21 cores=0,2,4,6
/proc/3939/stat : 3939 (java) S 3937 3939 30903 0 -1 4202496 31531 0 1 0 179895 126 0 0 20 0 22 0 339066610 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 140736327673184 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3939/statm: 2963162 951992 2291 9 0 2953849 0
[pid=3939/tid=3941] ppid=3937 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/3939/task/3941/stat : 3941 (java) S 3937 3939 30903 0 -1 4202560 3541 0 1 0 111 8 0 0 20 0 22 0 339066611 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978904143000 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3942] ppid=3937 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/3939/task/3942/stat : 3942 (java) S 3937 3939 30903 0 -1 4202560 214 0 0 0 114 4 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978893204136 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3943] ppid=3937 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/3939/task/3943/stat : 3943 (java) S 3937 3939 30903 0 -1 4202560 216 0 0 0 122 4 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978892151592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3944] ppid=3937 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/3939/task/3944/stat : 3944 (java) S 3937 3939 30903 0 -1 4202560 171 0 0 0 122 4 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978891099048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3945] ppid=3937 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/3939/task/3945/stat : 3945 (java) S 3937 3939 30903 0 -1 4202560 205 0 0 0 122 4 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978738002984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3946] ppid=3937 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/3939/task/3946/stat : 3946 (java) S 3937 3939 30903 0 -1 4202560 220 0 0 0 126 5 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978736949416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3947] ppid=3937 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/3939/task/3947/stat : 3947 (java) S 3937 3939 30903 0 -1 4202560 194 0 0 0 100 4 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978735896872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3948] ppid=3937 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/3939/task/3948/stat : 3948 (java) S 3937 3939 30903 0 -1 4202560 193 0 0 0 116 4 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978734844328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3949] ppid=3937 vsize=11852648 CPUtime=1.26 cores=0,2,4,6
/proc/3939/task/3949/stat : 3949 (java) S 3937 3939 30903 0 -1 4202560 240 0 0 0 121 5 0 0 20 0 22 0 339066612 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978733791784 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3950] ppid=3937 vsize=11852648 CPUtime=17.87 cores=0,2,4,6
/proc/3939/task/3950/stat : 3950 (java) S 3937 3939 30903 0 -1 4202560 187 0 0 0 1782 5 0 0 20 0 22 0 339066613 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978721593960 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3951] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3951/stat : 3951 (java) S 3937 3939 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978720540280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3952] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3952/stat : 3952 (java) S 3937 3939 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 339066614 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978719487624 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3953] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3953/stat : 3953 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978718436368 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3939/tid=3954] ppid=3937 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/3939/task/3954/stat : 3954 (java) S 3937 3939 30903 0 -1 4202560 11597 0 0 0 136 2 0 0 20 0 22 0 339066616 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978717382712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3955] ppid=3937 vsize=11852648 CPUtime=2 cores=0,2,4,6
/proc/3939/task/3955/stat : 3955 (java) S 3937 3939 30903 0 -1 4202560 11668 0 0 0 197 3 0 0 20 0 22 0 339066616 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978716330168 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3956] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3956/stat : 3956 (java) S 3937 3939 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339066616 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978715277816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3939/tid=3957] ppid=3937 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/3939/task/3957/stat : 3957 (java) S 3937 3939 30903 0 -1 4202560 53 0 0 0 16 17 0 0 20 0 22 0 339066616 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978714225480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3958] ppid=3937 vsize=11852648 CPUtime=881.57 cores=0,2,4,6
/proc/3939/task/3958/stat : 3958 (java) R 3937 3939 30903 0 -1 4202560 85 0 0 0 88142 15 0 0 20 0 22 0 339066728 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978713169584 139978773311399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3959] ppid=3937 vsize=11852648 CPUtime=881.63 cores=0,2,4,6
/proc/3939/task/3959/stat : 3959 (java) R 3937 3939 30903 0 -1 4202560 1553 0 0 0 88095 68 0 0 20 0 22 0 339066729 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978712116208 139978773483148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3939/tid=3960] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3960/stat : 3960 (java) S 3937 3939 30903 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978711066152 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3939/tid=3961] ppid=3937 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3939/task/3961/stat : 3961 (java) S 3937 3939 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339066736 12137111552 951992 33554432000 1073741824 1073778376 140736327682048 139978710013608 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
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 3939 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=468199
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=693742
# CPU time returned by wait4() is 1796.16
# while last known CPU time is 1800.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 905.855
CPU time (s): 1800.21
CPU user time (s): 1798.95
CPU system time (s): 1.26
CPU usage (%): 198.73
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 1.69374
maximum resident set size= 3810144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31567
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= 23914
involuntary context switches= 28160

runsolver used 3.2915 second user time and 8.00378 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 15:16:52
IDJOB=3739607
IDBENCH=73805
IDSOLVER=2328
FILE ID=node134/3739607-1338729412
RUNJOBID= node134-1338713778-30919
PBS_JOBID= 14636743
Free space on /tmp= 70352 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_6-sat.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3739607-1338729412/watcher-3739607-1338729412 -o /tmp/evaluation-result-3739607-1338729412/solver-3739607-1338729412 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3739607-1338729412.opb

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

MD5SUM BENCH= 138289002292e7c474e0d36dbcddf060
RANDOM SEED=1254046065

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24234320 kB
Buffers:          491164 kB
Cached:          3372340 kB
SwapCached:           76 kB
Active:          5613104 kB
Inactive:        2111652 kB
Active(anon):    3852468 kB
Inactive(anon):    10496 kB
Active(file):    1760636 kB
Inactive(file):  2101156 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              4024 kB
Writeback:             4 kB
AnonPages:       3873204 kB
Mapped:            19396 kB
Shmem:                96 kB
Slab:             762356 kB
SReclaimable:     203348 kB
SUnreclaim:       559008 kB
KernelStack:        1640 kB
PageTables:        11788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10459196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3813376 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= 70352 MiB
End job on node134 at 2012-06-03 15:32:00