Trace number 3455452

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
Sat4j Res//CP 2.3.0? (TO) 1800.4 911.1

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_8-unsat.opb
MD5SUMa4c61139e0eb75a13e9da4d40232e606
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark58.4571
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables29040
Total number of constraints96434
Number of constraints which are clauses95958
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint1
Maximum length of a constraint120
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 740
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		9996466904
0.02/0.08	c Max memory 		10048897024
0.02/0.08	c Total memory 		10048897024
0.02/0.08	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@67ee3914
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@1c691f36
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-3455452-1307196939.opb
0.10/0.11	c reading problem ... 
2.12/1.19	c ... done. Wall clock time 1.081s.
2.12/1.19	c #vars     29040
2.12/1.19	c #constraints  83462
2.12/1.19	c constraints type 
2.12/1.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10386
2.12/1.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 67615
2.12/1.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 476
2.12/1.19	c constraints type 
2.12/1.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 67615
2.12/1.19	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 10386
2.12/1.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 476
7.18/3.22	c cleaning 2489 clauses out of 5000 with flag 5000/5000
11.42/5.18	c cleaning 4249 clauses out of 8511 with flag 11000/11000
15.77/7.37	c cleaning 5629 clauses out of 11263 with flag 18001/18001
20.91/9.99	c cleaning 6810 clauses out of 13635 with flag 26002/26002
26.61/12.88	c cleaning 7897 clauses out of 15823 with flag 35000/35000
32.53/15.81	c cleaning 8940 clauses out of 17927 with flag 45001/45001
39.71/19.35	c cleaning 9983 clauses out of 19987 with flag 56001/56001
47.79/23.26	c cleaning 10998 clauses out of 22004 with flag 68001/68001
55.82/27.39	c cleaning 11993 clauses out of 24007 with flag 81002/81002
65.72/32.38	c cleaning 12987 clauses out of 26012 with flag 95000/95000
76.59/37.83	c cleaning 13983 clauses out of 28025 with flag 110000/110000
86.83/43.07	c cleaning 15014 clauses out of 30042 with flag 126000/126000
99.23/49.40	c cleaning 16003 clauses out of 32031 with flag 143003/143003
113.65/56.61	c cleaning 17002 clauses out of 34025 with flag 161000/161000
128.87/64.36	c cleaning 17999 clauses out of 36023 with flag 180000/180000
143.88/71.93	c cleaning 19006 clauses out of 38025 with flag 200001/200001
147.79/74.03	c cleaning 0 clauses out of 5001 with flag 0/5001
160.03/80.19	c cleaning 20001 clauses out of 40019 with flag 221001/221001
179.53/89.99	c cleaning 20993 clauses out of 42017 with flag 243000/243000
201.30/100.99	c cleaning 22001 clauses out of 44025 with flag 266001/266001
220.74/110.84	c cleaning 22996 clauses out of 46023 with flag 290000/290000
242.69/122.00	c cleaning 23982 clauses out of 48027 with flag 315000/315000
268.03/134.70	c cleaning 24984 clauses out of 50045 with flag 341000/341000
292.15/146.92	c cleaning 25989 clauses out of 52062 with flag 368001/368001
319.30/160.75	c cleaning 27021 clauses out of 54072 with flag 396000/396000
341.18/171.85	c cleaning 28019 clauses out of 56051 with flag 425000/425000
366.06/184.48	c cleaning 28999 clauses out of 58033 with flag 455001/455001
393.73/198.44	c cleaning 29971 clauses out of 60033 with flag 486000/486000
429.20/216.45	c cleaning 30970 clauses out of 62063 with flag 518001/518001
461.83/232.99	c cleaning 32032 clauses out of 64092 with flag 551000/551000
498.04/251.22	c cleaning 33022 clauses out of 66061 with flag 585001/585001
528.84/266.86	c cleaning 33998 clauses out of 68038 with flag 620000/620000
529.79/267.60	c cleaning 0 clauses out of 11005 with flag 0/11005
566.83/286.35	c cleaning 35003 clauses out of 70040 with flag 656000/656000
601.04/303.61	c cleaning 35993 clauses out of 72038 with flag 693001/693001
639.76/323.28	c cleaning 36975 clauses out of 74044 with flag 731000/731000
690.71/349.00	c cleaning 37963 clauses out of 76069 with flag 770000/770000
733.02/370.43	c cleaning 39040 clauses out of 78106 with flag 810000/810000
779.53/393.91	c cleaning 40010 clauses out of 80067 with flag 851001/851001
826.23/417.55	c cleaning 41017 clauses out of 82056 with flag 893000/893000
867.44/438.50	c cleaning 41995 clauses out of 84039 with flag 936000/936000
910.91/460.56	c cleaning 43013 clauses out of 86044 with flag 980000/980000
963.37/487.04	c cleaning 44000 clauses out of 88032 with flag 1025001/1025001
1021.81/516.53	c cleaning 44992 clauses out of 90032 with flag 1071001/1071001
1077.54/544.83	c cleaning 45982 clauses out of 92040 with flag 1118001/1118001
1140.22/576.45	c cleaning 46997 clauses out of 94058 with flag 1166001/1166001
1191.77/602.55	c cleaning 48007 clauses out of 96062 with flag 1215002/1215002
1242.39/628.13	c cleaning 49023 clauses out of 98053 with flag 1265000/1265000
1297.46/656.10	c cleaning 49999 clauses out of 100030 with flag 1316000/1316000
1313.77/664.61	c cleaning 0 clauses out of 18001 with flag 0/18001
1343.31/679.80	c cleaning 50998 clauses out of 102031 with flag 1368000/1368000
1394.81/705.85	c cleaning 52006 clauses out of 104034 with flag 1421001/1421001
1459.24/738.57	c cleaning 53000 clauses out of 106028 with flag 1475001/1475001
1537.15/777.85	c cleaning 53991 clauses out of 108028 with flag 1530001/1530001
1612.63/815.96	c cleaning 55000 clauses out of 110037 with flag 1586001/1586001
1679.76/849.80	c cleaning 56004 clauses out of 112036 with flag 1643000/1643000
1742.06/881.56	c cleaning 56994 clauses out of 114032 with flag 1701000/1701000
1800.12/910.92	c starts		: 209
1800.12/910.92	c conflicts		: 1752457
1800.12/910.92	c decisions		: 2251127
1800.12/910.92	c propagations		: 1067448445
1800.12/910.92	c inspects		: 4425586182
1800.12/910.92	c shortcuts		: 0
1800.12/910.92	c learnt literals	: 0
1800.12/910.92	c learnt binary clauses	: 1
1800.12/910.92	c learnt ternary clauses	: 1505
1800.12/910.92	c learnt constraints	: 1752457
1800.12/910.92	c ignored constraints	: 0
1800.12/910.92	c root simplifications	: 0
1800.12/910.92	c removed literals (reason simplification)	: 28388592
1800.12/910.92	c reason swapping (by a shorter reason)	: 0
1800.12/910.92	c Calls to reduceDB	: 54
1800.12/910.92	c number of reductions to clauses (during analyze)	: 0
1800.12/910.92	c number of learned constraints concerned by reduction	: 0
1800.12/910.92	c number of learning phase by resolution	: 0
1800.12/910.92	c number of learning phase by cutting planes	: 0
1800.12/910.92	c speed (assignments/second)	: 1173373.0283920341
1800.12/910.92	c non guided choices	266
1800.12/910.94	c learnt constraints type 
1800.12/910.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.12/910.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 108524
1800.12/910.94	c constraints type 
1800.12/910.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10386
1800.12/910.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 67615
1800.12/910.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 476
1800.12/910.94	c constraints type 
1800.12/910.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 67615
1800.12/910.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 10386
1800.12/910.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 476
1800.12/910.94	s UNKNOWN
1800.12/910.94	c Total wall clock time (in seconds): 910.836

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3455452-1307196939/watcher-3455452-1307196939 -o /tmp/evaluation-result-3455452-1307196939/solver-3455452-1307196939 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455452-1307196939.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.53 3.45 3.41 4/436 11948
/proc/meminfo: memFree=22466320/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 2191 0 1 0 0 0 0 0 25 0 2 0 287303289 10681323520 1893 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2607745 1908 906 9 0 2598901 0
[pid=11948/tid=11949] ppid=11946 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) R 11946 11948 11316 0 -1 4202560 4217 0 1 0 0 0 0 0 25 0 2 0 287303290 10694979584 5032 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.037052 s]
/proc/loadavg: 3.53 3.45 3.41 4/436 11948
/proc/meminfo: memFree=22466320/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10466452 CPUtime=0.02 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 11065 0 1 0 1 1 0 0 25 0 12 0 287303289 10717646848 10764 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2616870 10767 1629 9 0 2607618 0
[pid=11948/tid=11949] ppid=11946 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) R 11946 11948 11316 0 -1 4202560 9943 0 1 0 1 1 0 0 25 0 13 0 287303290 10718699520 10771 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218880621553 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10466452

[startup+0.100968 s]
/proc/loadavg: 3.53 3.45 3.41 4/436 11948
/proc/meminfo: memFree=22466320/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10540240 CPUtime=0.1 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 13072 0 1 0 9 1 0 0 25 0 18 0 287303289 10793205760 12769 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2635060 12771 2092 9 0 2625794 0
[pid=11948/tid=11949] ppid=11946 vsize=10540240 CPUtime=0.08 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) R 11946 11948 11316 0 -1 4202560 11187 0 1 0 7 1 0 0 17 0 18 0 287303290 10793205760 12771 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 47557245366179 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540240

[startup+0.300931 s]
/proc/loadavg: 3.53 3.45 3.41 4/436 11948
/proc/meminfo: memFree=22466320/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10543040 CPUtime=0.48 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 16830 0 1 0 46 2 0 0 25 0 18 0 287303289 10796072960 16198 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2635760 16199 2200 9 0 2626494 0
[pid=11948/tid=11949] ppid=11946 vsize=10543040 CPUtime=0.27 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) R 11946 11948 11316 0 -1 4202560 13392 0 1 0 26 1 0 0 18 0 18 0 287303290 10796072960 16199 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912505593060 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543040

[startup+0.700943 s]
/proc/loadavg: 3.53 3.45 3.41 4/436 11948
/proc/meminfo: memFree=22466320/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10547912 CPUtime=1.27 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 47457 0 1 0 121 6 0 0 25 0 18 0 287303289 10801061888 44880 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2636978 44884 2221 9 0 2627712 0
[pid=11948/tid=11949] ppid=11946 vsize=10547912 CPUtime=0.68 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) R 11946 11948 11316 0 -1 4202560 40203 0 1 0 64 4 0 0 18 0 18 0 287303290 10801061888 44885 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912505594443 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10547912

[startup+1.50078 s]
/proc/loadavg: 3.64 3.48 3.42 6/454 11966
/proc/meminfo: memFree=22182784/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10555948 CPUtime=3.46 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 98829 0 1 0 333 13 0 0 25 0 22 0 287303289 10809290752 92598 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2638987 92599 2238 9 0 2629721 0
[pid=11948/tid=11949] ppid=11946 vsize=10555948 CPUtime=1.17 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) S 11946 11948 11316 0 -1 4202560 75996 0 1 0 108 9 0 0 19 0 22 0 287303290 10809290752 92599 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11951/stat : 11951 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92599 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11952] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11952/stat : 11952 (java) S 11946 11948 11316 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92599 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11953] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11953/stat : 11953 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92599 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11954] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11954/stat : 11954 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92600 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11955] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11955/stat : 11955 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92600 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11956] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11956/stat : 11956 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92600 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11957] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11957/stat : 11957 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92600 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11958] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11958/stat : 11958 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 92601 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11959] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11959/stat : 11959 (java) S 11946 11948 11316 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 287303292 10809290752 92601 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 0 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11960] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11960/stat : 11960 (java) S 11946 11948 11316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 287303293 10809290752 92601 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11961] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11961/stat : 11961 (java) S 11946 11948 11316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 287303293 10809290752 92601 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11962] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11962/stat : 11962 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10809290752 92602 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892388785 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11963] ppid=11946 vsize=10555948 CPUtime=0.87 cores=1,3,5,7
/proc/11948/task/11963/stat : 11963 (java) S 11946 11948 11316 0 -1 4202560 5029 0 0 0 86 1 0 0 25 0 22 0 287303295 10809290752 92602 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11964] ppid=11946 vsize=10555948 CPUtime=0.79 cores=1,3,5,7
/proc/11948/task/11964/stat : 11964 (java) S 11946 11948 11316 0 -1 4202560 7464 0 0 0 78 1 0 0 16 0 22 0 287303295 10809290752 92602 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11965] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11965/stat : 11965 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10809290752 92602 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11966] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11966/stat : 11966 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287303295 10809290752 92603 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 10555948

[startup+3.1015 s]
/proc/loadavg: 3.64 3.48 3.42 5/458 11970
/proc/meminfo: memFree=21852312/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10555948 CPUtime=7.18 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 281481 0 1 0 687 31 0 0 25 0 22 0 287303289 10809290752 274093 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2638987 274101 2242 9 0 2629721 0
[pid=11948/tid=11949] ppid=11946 vsize=10555948 CPUtime=1.17 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) S 11946 11948 11316 0 -1 4202560 75996 0 1 0 108 9 0 0 15 0 22 0 287303290 10809290752 274105 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11951/stat : 11951 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274110 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11952] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11952/stat : 11952 (java) S 11946 11948 11316 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274114 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11953] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11953/stat : 11953 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274118 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11954] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11954/stat : 11954 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274123 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11955] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11955/stat : 11955 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274127 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11956] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11956/stat : 11956 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274131 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11957] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11957/stat : 11957 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274135 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11958] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11958/stat : 11958 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303291 10809290752 274139 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11959] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11959/stat : 11959 (java) S 11946 11948 11316 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 287303292 10809290752 274144 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 0 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11960] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11960/stat : 11960 (java) S 11946 11948 11316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 287303293 10809290752 274147 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11961] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11961/stat : 11961 (java) S 11946 11948 11316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 287303293 10809290752 274151 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11962] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11962/stat : 11962 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10809290752 274155 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892388785 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11963] ppid=11946 vsize=10555948 CPUtime=1.1 cores=1,3,5,7
/proc/11948/task/11963/stat : 11963 (java) S 11946 11948 11316 0 -1 4202560 6220 0 0 0 109 1 0 0 17 0 22 0 287303295 10809290752 274159 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11964] ppid=11946 vsize=10555948 CPUtime=1.08 cores=1,3,5,7
/proc/11948/task/11964/stat : 11964 (java) S 11946 11948 11316 0 -1 4202560 7516 0 0 0 107 1 0 0 15 0 22 0 287303295 10809290752 274163 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11965] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11965/stat : 11965 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10809290752 274167 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11966] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11966/stat : 11966 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287303295 10809290752 274170 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11967] ppid=11946 vsize=10555948 CPUtime=1.9 cores=1,3,5,7
/proc/11948/task/11967/stat : 11967 (java) R 11946 11948 11316 0 -1 4202560 858 0 0 0 190 0 0 0 25 0 22 0 287303408 10809290752 274174 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912506138944 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11948/tid=11968] ppid=11946 vsize=10555948 CPUtime=1.89 cores=1,3,5,7
/proc/11948/task/11968/stat : 11968 (java) R 11946 11948 11316 0 -1 4202560 189806 0 0 0 171 18 0 0 25 0 22 0 287303408 10809290752 274177 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912506134793 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11948/tid=11969] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11969/stat : 11969 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287303413 10809290752 274181 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11970] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11970/stat : 11970 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 287303414 10809290752 274183 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 10555948

[startup+6.30094 s]
/proc/loadavg: 3.67 3.48 3.42 5/458 11970
/proc/meminfo: memFree=21136460/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10555948 CPUtime=13.76 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 341878 0 1 0 1338 38 0 0 25 0 22 0 287303289 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2638987 330939 2267 9 0 2629721 0
[pid=11948/tid=11949] ppid=11946 vsize=10555948 CPUtime=1.17 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) S 11946 11948 11316 0 -1 4202560 75996 0 1 0 108 9 0 0 15 0 22 0 287303290 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11951/stat : 11951 (java) S 11946 11948 11316 0 -1 4202560 404 0 0 0 0 0 0 0 16 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11952] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11952/stat : 11952 (java) S 11946 11948 11316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11953] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11953/stat : 11953 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11954] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11954/stat : 11954 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11955] ppid=11946 vsize=10555948 CPUtime=0.03 cores=1,3,5,7
/proc/11948/task/11955/stat : 11955 (java) S 11946 11948 11316 0 -1 4202560 2177 0 0 0 3 0 0 0 18 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11956] ppid=11946 vsize=10555948 CPUtime=0.02 cores=1,3,5,7
/proc/11948/task/11956/stat : 11956 (java) S 11946 11948 11316 0 -1 4202560 2269 0 0 0 2 0 0 0 18 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11957] ppid=11946 vsize=10555948 CPUtime=0.02 cores=1,3,5,7
/proc/11948/task/11957/stat : 11957 (java) S 11946 11948 11316 0 -1 4202560 1820 0 0 0 2 0 0 0 18 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11958] ppid=11946 vsize=10555948 CPUtime=0.03 cores=1,3,5,7
/proc/11948/task/11958/stat : 11958 (java) S 11946 11948 11316 0 -1 4202560 2221 0 0 0 3 0 0 0 18 0 22 0 287303291 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11959] ppid=11946 vsize=10555948 CPUtime=0.19 cores=1,3,5,7
/proc/11948/task/11959/stat : 11959 (java) S 11946 11948 11316 0 -1 4202560 8652 0 0 0 18 1 0 0 16 0 22 0 287303292 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 0 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11960] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11960/stat : 11960 (java) S 11946 11948 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287303293 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11961] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11961/stat : 11961 (java) S 11946 11948 11316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 287303293 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11962] ppid=11946 vsize=10555948 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11962/stat : 11962 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10809290752 330939 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892388785 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0

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

[startup+822.302 s]
/proc/loadavg: 4.05 3.96 3.73 5/458 12007
/proc/meminfo: memFree=18238576/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10558460 CPUtime=1624.66 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 1018784 0 1 0 162351 115 0 0 25 0 22 0 287303289 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2639615 996894 2268 9 0 2630349 0
[pid=11948/tid=11949] ppid=11946 vsize=10558460 CPUtime=1.17 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) S 11946 11948 11316 0 -1 4202560 76014 0 1 0 108 9 0 0 15 0 22 0 287303290 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=10558460 CPUtime=0.95 cores=1,3,5,7
/proc/11948/task/11951/stat : 11951 (java) S 11946 11948 11316 0 -1 4202560 8547 0 0 0 94 1 0 0 15 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11952] ppid=11946 vsize=10558460 CPUtime=0.68 cores=1,3,5,7
/proc/11948/task/11952/stat : 11952 (java) S 11946 11948 11316 0 -1 4202560 8352 0 0 0 67 1 0 0 16 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11953] ppid=11946 vsize=10558460 CPUtime=0.84 cores=1,3,5,7
/proc/11948/task/11953/stat : 11953 (java) S 11946 11948 11316 0 -1 4202560 13133 0 0 0 83 1 0 0 16 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11954] ppid=11946 vsize=10558460 CPUtime=0.79 cores=1,3,5,7
/proc/11948/task/11954/stat : 11954 (java) S 11946 11948 11316 0 -1 4202560 13526 0 0 0 78 1 0 0 16 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11955] ppid=11946 vsize=10558460 CPUtime=0.8 cores=1,3,5,7
/proc/11948/task/11955/stat : 11955 (java) S 11946 11948 11316 0 -1 4202560 11200 0 0 0 79 1 0 0 16 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11956] ppid=11946 vsize=10558460 CPUtime=0.9 cores=1,3,5,7
/proc/11948/task/11956/stat : 11956 (java) S 11946 11948 11316 0 -1 4202560 14574 0 0 0 88 2 0 0 15 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11957] ppid=11946 vsize=10558460 CPUtime=0.87 cores=1,3,5,7
/proc/11948/task/11957/stat : 11957 (java) S 11946 11948 11316 0 -1 4202560 9197 0 0 0 86 1 0 0 15 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11958] ppid=11946 vsize=10558460 CPUtime=0.98 cores=1,3,5,7
/proc/11948/task/11958/stat : 11958 (java) S 11946 11948 11316 0 -1 4202560 18560 0 0 0 96 2 0 0 16 0 22 0 287303291 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11959] ppid=11946 vsize=10558460 CPUtime=25.57 cores=1,3,5,7
/proc/11948/task/11959/stat : 11959 (java) S 11946 11948 11316 0 -1 4202560 53980 0 0 0 2550 7 0 0 15 0 22 0 287303292 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 0 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11960] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11960/stat : 11960 (java) S 11946 11948 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287303293 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11961] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11961/stat : 11961 (java) S 11946 11948 11316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 287303293 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11962] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11962/stat : 11962 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892388785 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11963] ppid=11946 vsize=10558460 CPUtime=2.24 cores=1,3,5,7
/proc/11948/task/11963/stat : 11963 (java) S 11946 11948 11316 0 -1 4202560 19327 0 0 0 222 2 0 0 15 0 22 0 287303295 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11964] ppid=11946 vsize=10558460 CPUtime=1.72 cores=1,3,5,7
/proc/11948/task/11964/stat : 11964 (java) S 11946 11948 11316 0 -1 4202560 8881 0 0 0 171 1 0 0 15 0 22 0 287303295 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11965] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11965/stat : 11965 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11966] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11966/stat : 11966 (java) S 11946 11948 11316 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 287303295 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11967] ppid=11946 vsize=10558460 CPUtime=793.5 cores=1,3,5,7
/proc/11948/task/11967/stat : 11967 (java) R 11946 11948 11316 0 -1 4202560 1370 0 0 0 79350 0 0 0 25 0 22 0 287303408 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912506594752 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11948/tid=11968] ppid=11946 vsize=10558460 CPUtime=793.5 cores=1,3,5,7
/proc/11948/task/11968/stat : 11968 (java) R 11946 11948 11316 0 -1 4202560 760919 0 0 0 79271 79 0 0 25 0 22 0 287303408 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912506231589 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11948/tid=11969] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11969/stat : 11969 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287303413 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11970] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11970/stat : 11970 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 287303414 10811863040 996894 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1624.66
Current children cumulated vsize (KiB) 10558460

[startup+882.301 s]
/proc/loadavg: 2.87 3.65 3.64 2/431 12028
/proc/meminfo: memFree=21985996/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10558460 CPUtime=1742.99 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 1026232 0 1 0 174183 116 0 0 25 0 22 0 287303289 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2639615 1004065 2268 9 0 2630349 0
[pid=11948/tid=11949] ppid=11946 vsize=10558460 CPUtime=1.17 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) S 11946 11948 11316 0 -1 4202560 76016 0 1 0 108 9 0 0 15 0 22 0 287303290 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=10558460 CPUtime=1.01 cores=1,3,5,7
/proc/11948/task/11951/stat : 11951 (java) S 11946 11948 11316 0 -1 4202560 9163 0 0 0 100 1 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11952] ppid=11946 vsize=10558460 CPUtime=0.79 cores=1,3,5,7
/proc/11948/task/11952/stat : 11952 (java) S 11946 11948 11316 0 -1 4202560 9908 0 0 0 78 1 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11953] ppid=11946 vsize=10558460 CPUtime=0.9 cores=1,3,5,7
/proc/11948/task/11953/stat : 11953 (java) S 11946 11948 11316 0 -1 4202560 13821 0 0 0 89 1 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11954] ppid=11946 vsize=10558460 CPUtime=0.83 cores=1,3,5,7
/proc/11948/task/11954/stat : 11954 (java) S 11946 11948 11316 0 -1 4202560 14754 0 0 0 82 1 0 0 15 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11955] ppid=11946 vsize=10558460 CPUtime=0.89 cores=1,3,5,7
/proc/11948/task/11955/stat : 11955 (java) S 11946 11948 11316 0 -1 4202560 12481 0 0 0 88 1 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11956] ppid=11946 vsize=10558460 CPUtime=0.99 cores=1,3,5,7
/proc/11948/task/11956/stat : 11956 (java) S 11946 11948 11316 0 -1 4202560 15088 0 0 0 97 2 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11957] ppid=11946 vsize=10558460 CPUtime=0.95 cores=1,3,5,7
/proc/11948/task/11957/stat : 11957 (java) S 11946 11948 11316 0 -1 4202560 10173 0 0 0 94 1 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11958] ppid=11946 vsize=10558460 CPUtime=1.06 cores=1,3,5,7
/proc/11948/task/11958/stat : 11958 (java) S 11946 11948 11316 0 -1 4202560 19135 0 0 0 104 2 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11959] ppid=11946 vsize=10558460 CPUtime=27.53 cores=1,3,5,7
/proc/11948/task/11959/stat : 11959 (java) R 11946 11948 11316 0 -1 4202560 53984 0 0 0 2746 7 0 0 16 0 22 0 287303292 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 47557248577602 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=11948/tid=11960] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11960/stat : 11960 (java) S 11946 11948 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287303293 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11961] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11961/stat : 11961 (java) S 11946 11948 11316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 287303293 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11962] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11962/stat : 11962 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892388785 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11963] ppid=11946 vsize=10558460 CPUtime=2.24 cores=1,3,5,7
/proc/11948/task/11963/stat : 11963 (java) S 11946 11948 11316 0 -1 4202560 19327 0 0 0 222 2 0 0 15 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11964] ppid=11946 vsize=10558460 CPUtime=1.72 cores=1,3,5,7
/proc/11948/task/11964/stat : 11964 (java) S 11946 11948 11316 0 -1 4202560 8881 0 0 0 171 1 0 0 15 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11965] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11965/stat : 11965 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11966] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11966/stat : 11966 (java) S 11946 11948 11316 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11967] ppid=11946 vsize=10558460 CPUtime=851.38 cores=1,3,5,7
/proc/11948/task/11967/stat : 11967 (java) S 11946 11948 11316 0 -1 4202560 1373 0 0 0 85138 0 0 0 25 0 22 0 287303408 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11968] ppid=11946 vsize=10558460 CPUtime=851.38 cores=1,3,5,7
/proc/11948/task/11968/stat : 11968 (java) S 11946 11948 11316 0 -1 4202560 760920 0 0 0 85059 79 0 0 25 0 22 0 287303408 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11969] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11969/stat : 11969 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287303413 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11970] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11970/stat : 11970 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 287303414 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1742.99
Current children cumulated vsize (KiB) 10558460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+910.901 s]
/proc/loadavg: 2.53 3.49 3.58 3/431 12029
/proc/meminfo: memFree=21985868/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=10558460 CPUtime=1800.12 cores=1,3,5,7
/proc/11948/stat : 11948 (java) S 11946 11948 11316 0 -1 4202496 1026235 0 1 0 179896 116 0 0 25 0 22 0 287303289 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 2639615 1004065 2268 9 0 2630349 0
[pid=11948/tid=11949] ppid=11946 vsize=10558460 CPUtime=1.17 cores=1,3,5,7
/proc/11948/task/11949/stat : 11949 (java) S 11946 11948 11316 0 -1 4202560 76016 0 1 0 108 9 0 0 15 0 22 0 287303290 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11951] ppid=11946 vsize=10558460 CPUtime=1.01 cores=1,3,5,7
/proc/11948/task/11951/stat : 11951 (java) S 11946 11948 11316 0 -1 4202560 9163 0 0 0 100 1 0 0 15 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11952] ppid=11946 vsize=10558460 CPUtime=0.79 cores=1,3,5,7
/proc/11948/task/11952/stat : 11952 (java) S 11946 11948 11316 0 -1 4202560 9908 0 0 0 78 1 0 0 15 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11953] ppid=11946 vsize=10558460 CPUtime=0.9 cores=1,3,5,7
/proc/11948/task/11953/stat : 11953 (java) S 11946 11948 11316 0 -1 4202560 13821 0 0 0 89 1 0 0 15 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11954] ppid=11946 vsize=10558460 CPUtime=0.86 cores=1,3,5,7
/proc/11948/task/11954/stat : 11954 (java) S 11946 11948 11316 0 -1 4202560 14754 0 0 0 85 1 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11955] ppid=11946 vsize=10558460 CPUtime=0.92 cores=1,3,5,7
/proc/11948/task/11955/stat : 11955 (java) S 11946 11948 11316 0 -1 4202560 12481 0 0 0 91 1 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 7 0 0 0
[pid=11948/tid=11956] ppid=11946 vsize=10558460 CPUtime=1.02 cores=1,3,5,7
/proc/11948/task/11956/stat : 11956 (java) S 11946 11948 11316 0 -1 4202560 15088 0 0 0 100 2 0 0 16 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11957] ppid=11946 vsize=10558460 CPUtime=0.95 cores=1,3,5,7
/proc/11948/task/11957/stat : 11957 (java) S 11946 11948 11316 0 -1 4202560 10173 0 0 0 94 1 0 0 15 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11958] ppid=11946 vsize=10558460 CPUtime=1.06 cores=1,3,5,7
/proc/11948/task/11958/stat : 11958 (java) S 11946 11948 11316 0 -1 4202560 19135 0 0 0 104 2 0 0 15 0 22 0 287303291 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11959] ppid=11946 vsize=10558460 CPUtime=27.65 cores=1,3,5,7
/proc/11948/task/11959/stat : 11959 (java) S 11946 11948 11316 0 -1 4202560 53984 0 0 0 2758 7 0 0 15 0 22 0 287303292 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 0 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11960] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11960/stat : 11960 (java) S 11946 11948 11316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 287303293 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11961] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11961/stat : 11961 (java) S 11946 11948 11316 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 287303293 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11962] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11962/stat : 11962 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892388785 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11963] ppid=11946 vsize=10558460 CPUtime=2.24 cores=1,3,5,7
/proc/11948/task/11963/stat : 11963 (java) S 11946 11948 11316 0 -1 4202560 19327 0 0 0 222 2 0 0 15 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11964] ppid=11946 vsize=10558460 CPUtime=1.72 cores=1,3,5,7
/proc/11948/task/11964/stat : 11964 (java) S 11946 11948 11316 0 -1 4202560 8881 0 0 0 171 1 0 0 15 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11965] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11965/stat : 11965 (java) S 11946 11948 11316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381081 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
[pid=11948/tid=11966] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11966/stat : 11966 (java) S 11946 11948 11316 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 287303295 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 5 0 0 0
[pid=11948/tid=11967] ppid=11946 vsize=10558460 CPUtime=879.84 cores=1,3,5,7
/proc/11948/task/11967/stat : 11967 (java) R 11946 11948 11316 0 -1 4202560 1374 0 0 0 87984 0 0 0 25 0 22 0 287303408 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912506104687 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11948/tid=11968] ppid=11946 vsize=10558460 CPUtime=879.85 cores=1,3,5,7
/proc/11948/task/11968/stat : 11968 (java) R 11946 11948 11316 0 -1 4202560 760920 0 0 0 87906 79 0 0 25 0 22 0 287303408 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 46912506231902 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=11948/tid=11969] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11969/stat : 11969 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 287303413 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 3 0 0 0
[pid=11948/tid=11970] ppid=11946 vsize=10558460 CPUtime=0 cores=1,3,5,7
/proc/11948/task/11970/stat : 11970 (java) S 11946 11948 11316 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 287303414 10811863040 1004065 33554432000 1073741824 1073778376 140733643403280 18446744073709551615 218892381696 0 4 0 16800975 18446604466925679616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10558460

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

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

[startup+911.022 s]
/proc/loadavg: 2.53 3.49 3.58 3/431 12029
/proc/meminfo: memFree=21985868/32950928 swapFree=52006644/67111528
[pid=11948] ppid=11946 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/11948/stat : 11948 (java) Z 11946 11948 11316 0 -1 4203548 1026265 0 1 0 179908 123 0 0 17 0 2 0 287303289 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11948/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 911.1
CPU time (s): 1800.4
CPU user time (s): 1799.08
CPU system time (s): 1.3148
CPU usage (%): 197.607
Max. virtual memory (cumulated for all children) (KiB): 10560400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1026265
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24162
involuntary context switches= 18281

runsolver used 3.73643 second user time and 8.93864 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-04 16:15:39
IDJOB=3455452
IDBENCH=73572
IDSOLVER=1950
FILE ID=node112/3455452-1307196939
RUNJOBID= node112-1307195817-11335
PBS_JOBID= 13508879
Free space on /tmp= 73904 MiB

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

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

MD5SUM BENCH= a4c61139e0eb75a13e9da4d40232e606
RANDOM SEED=1517399368

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5180.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.847
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22466600 kB
Buffers:        338812 kB
Cached:        5650952 kB
SwapCached:      31280 kB
Active:        4473604 kB
Inactive:      5723180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22466600 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:            3552 kB
Writeback:           0 kB
AnonPages:     4184600 kB
Mapped:          20908 kB
Slab:           156504 kB
PageTables:      65904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108986564 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73908 MiB
End job on node112 at 2011-06-04 16:30:52