Trace number 4116113

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 PB 2.3.6 Resolution PB16? (TO) 1800.67 1798.04

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round22-7.opb
MD5SUM327e503a7a4a8903035a4425581c59c7
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 variables4128
Total number of constraints8688
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
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 No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4116113-1466959611.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.70/0.41	c ... done. Wall clock time 0.305s.
0.70/0.41	c declared #vars     4128
0.70/0.41	c #constraints  9952
0.70/0.41	c constraints type 
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6726
0.70/0.41	c org.sat4j.specs.Constr$1 => 888
0.70/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.70/0.41	c org.sat4j.minisat.constraints.cnf.UnitClause => 488
0.70/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.70/0.41	c 9952 constraints processed.
1.77/1.14	c cleaning 2499 clauses out of 4998 with flag 15594/5000
2.54/1.84	c cleaning 4224 clauses out of 8499 with flag 37297/11000
3.34/2.62	c cleaning 5629 clauses out of 11275 with flag 64845/18000
4.25/3.55	c cleaning 6804 clauses out of 13647 with flag 99324/26001
5.38/4.60	c cleaning 7911 clauses out of 15842 with flag 140025/35000
6.57/5.83	c cleaning 8951 clauses out of 17932 with flag 186023/45001
7.97/7.27	c cleaning 9977 clauses out of 19980 with flag 238446/56000
9.58/8.81	c cleaning 10995 clauses out of 22003 with flag 298896/68000
11.27/10.52	c cleaning 11994 clauses out of 24008 with flag 364191/81000
13.17/12.43	c cleaning 12973 clauses out of 26014 with flag 437479/95000
15.28/14.58	c cleaning 14001 clauses out of 28041 with flag 516740/110000
17.48/16.73	c cleaning 15021 clauses out of 30042 with flag 605535/126002
19.67/18.99	c cleaning 15997 clauses out of 32019 with flag 699541/143000
22.18/21.49	c cleaning 16994 clauses out of 34022 with flag 802953/161000
24.99/24.22	c cleaning 17965 clauses out of 36028 with flag 911463/180000
27.88/27.13	c cleaning 19018 clauses out of 38063 with flag 1024330/200000
30.98/30.27	c cleaning 20003 clauses out of 40045 with flag 1146885/221000
34.37/33.63	c cleaning 21003 clauses out of 42042 with flag 1275725/243000
38.07/37.31	c cleaning 22011 clauses out of 44039 with flag 1408837/266000
41.87/41.19	c cleaning 22985 clauses out of 46029 with flag 1550475/290001
45.98/45.25	c cleaning 24013 clauses out of 48043 with flag 1699377/315000
50.17/49.45	c cleaning 25006 clauses out of 50030 with flag 1856178/341000
54.67/53.97	c cleaning 25955 clauses out of 52024 with flag 2020229/368000
59.48/58.72	c cleaning 26973 clauses out of 54072 with flag 2190473/396003
64.51/63.70	c cleaning 28031 clauses out of 56096 with flag 2368824/425000
69.31/68.54	c cleaning 28990 clauses out of 58065 with flag 2549084/455000
74.31/73.53	c cleaning 30010 clauses out of 60075 with flag 2739920/486000
79.60/78.88	c cleaning 31028 clauses out of 62065 with flag 2938953/518000
85.11/84.35	c cleaning 31972 clauses out of 64038 with flag 3141752/551001
90.91/90.20	c cleaning 33007 clauses out of 66065 with flag 3351637/585000
97.41/96.60	c cleaning 34030 clauses out of 68059 with flag 3567552/620001
103.72/102.98	c cleaning 35006 clauses out of 70028 with flag 3791856/656000
110.42/109.62	c cleaning 35975 clauses out of 72022 with flag 4021021/693000
117.42/116.64	c cleaning 36957 clauses out of 74049 with flag 4257201/731002
124.72/123.97	c cleaning 38019 clauses out of 76090 with flag 4503257/770000
132.32/131.57	c cleaning 39030 clauses out of 78073 with flag 4751948/810002
140.32/139.58	c cleaning 39994 clauses out of 80041 with flag 5007921/851000
148.42/147.65	c cleaning 40988 clauses out of 82049 with flag 5268978/893002
157.12/156.35	c cleaning 41975 clauses out of 84061 with flag 5538974/936002
166.10/165.23	c cleaning 43024 clauses out of 86085 with flag 5818386/980001
174.90/174.05	c cleaning 44018 clauses out of 88063 with flag 6100916/1025003
184.20/183.35	c cleaning 45006 clauses out of 90043 with flag 6391282/1071001
193.80/192.92	c cleaning 46008 clauses out of 92036 with flag 6685690/1118000
203.60/202.72	c cleaning 46983 clauses out of 94028 with flag 6989372/1166000
213.80/212.95	c cleaning 48018 clauses out of 96046 with flag 7298406/1215001
224.50/223.61	c cleaning 49002 clauses out of 98028 with flag 7615042/1265001
235.60/234.72	c cleaning 49992 clauses out of 100025 with flag 7937773/1316000
247.01/246.18	c cleaning 50999 clauses out of 102033 with flag 8268517/1368000
259.11/258.22	c cleaning 52004 clauses out of 104035 with flag 8599649/1421001
271.31/270.49	c cleaning 52998 clauses out of 106033 with flag 8938012/1475003
283.55/282.69	c cleaning 53982 clauses out of 108032 with flag 9284622/1530000
296.05/295.18	c cleaning 55010 clauses out of 110051 with flag 9633646/1586001
308.85/308.00	c cleaning 56008 clauses out of 112041 with flag 9994266/1643001
322.45/321.52	c cleaning 56985 clauses out of 114033 with flag 10359943/1701001
336.37/335.41	c cleaning 57994 clauses out of 116047 with flag 10733388/1760000
350.46/349.52	c cleaning 58985 clauses out of 118053 with flag 11109350/1820000
365.47/364.59	c cleaning 60016 clauses out of 120069 with flag 11492410/1881001
380.67/379.71	c cleaning 61021 clauses out of 122052 with flag 11882784/1943000
396.07/395.14	c cleaning 61986 clauses out of 124033 with flag 12279134/2006002
412.43/411.47	c cleaning 62995 clauses out of 126045 with flag 12680382/2070000
429.52/428.57	c cleaning 63988 clauses out of 128050 with flag 13086716/2135000
447.01/446.00	c cleaning 64985 clauses out of 130062 with flag 13500287/2201000
464.64/463.65	c cleaning 66002 clauses out of 132078 with flag 13923874/2268001
481.84/480.82	c cleaning 67025 clauses out of 134075 with flag 14347727/2336000
500.13/499.10	c cleaning 67985 clauses out of 136050 with flag 14778505/2405000
518.44/517.47	c cleaning 69005 clauses out of 138065 with flag 15219375/2475000
537.25/536.30	c cleaning 70022 clauses out of 140060 with flag 15661433/2546000
556.38/555.31	c cleaning 71012 clauses out of 142038 with flag 16111231/2618000
575.78/574.76	c cleaning 71968 clauses out of 144026 with flag 16562336/2691000
595.78/594.73	c cleaning 73015 clauses out of 146062 with flag 17027354/2765004
616.69/615.61	c cleaning 74002 clauses out of 148043 with flag 17499922/2840000
638.19/637.15	c cleaning 74973 clauses out of 150041 with flag 17972973/2916000
659.89/658.89	c cleaning 76019 clauses out of 152068 with flag 18452997/2993000
683.22/682.15	c cleaning 77019 clauses out of 154050 with flag 18941905/3071001
705.54/704.47	c cleaning 78008 clauses out of 156030 with flag 19437315/3150000
728.54/727.40	c cleaning 78979 clauses out of 158022 with flag 19934971/3230000
751.54/750.40	c cleaning 80011 clauses out of 160044 with flag 20439093/3311001
775.04/773.94	c cleaning 80979 clauses out of 162032 with flag 20953644/3393000
799.25/798.15	c cleaning 82006 clauses out of 164055 with flag 21473246/3476002
824.15/823.08	c cleaning 82980 clauses out of 166047 with flag 21999226/3560000
849.61/848.46	c cleaning 83984 clauses out of 168068 with flag 22529250/3645001
876.61/875.42	c cleaning 85027 clauses out of 170083 with flag 23066826/3731000
903.92/902.76	c cleaning 86001 clauses out of 172057 with flag 23611853/3818001
931.72/930.55	c cleaning 86986 clauses out of 174056 with flag 24159984/3906001
960.44/959.24	c cleaning 87951 clauses out of 176070 with flag 24722788/3995001
989.29/988.02	c cleaning 89038 clauses out of 178118 with flag 25285919/4085000
1018.60/1017.30	c cleaning 90007 clauses out of 180080 with flag 25856054/4176000
1048.30/1047.09	c cleaning 91000 clauses out of 182073 with flag 26433206/4268000
1078.81/1077.52	c cleaning 92016 clauses out of 184075 with flag 27015330/4361002
1109.62/1108.37	c cleaning 93007 clauses out of 186057 with flag 27603226/4455000
1141.59/1140.24	c cleaning 94015 clauses out of 188050 with flag 28194385/4550000
1174.49/1173.10	c cleaning 95011 clauses out of 190035 with flag 28795193/4646000
1207.29/1205.90	c cleaning 96005 clauses out of 192024 with flag 29401733/4743000
1241.71/1240.31	c cleaning 96962 clauses out of 194019 with flag 30009682/4841000
1276.92/1275.51	c cleaning 98015 clauses out of 196057 with flag 30628161/4940000
1312.42/1310.92	c cleaning 99011 clauses out of 198042 with flag 31254515/5040000
1348.73/1347.26	c cleaning 99981 clauses out of 200031 with flag 31886352/5141000
1385.14/1383.67	c cleaning 100973 clauses out of 202051 with flag 32526449/5243001
1422.44/1420.91	c cleaning 102037 clauses out of 204077 with flag 33170447/5346000
1459.81/1458.18	c cleaning 102997 clauses out of 206041 with flag 33824772/5450001
1497.63/1496.00	c cleaning 104002 clauses out of 208043 with flag 34479643/5555000
1536.73/1535.01	c cleaning 104996 clauses out of 210041 with flag 35139977/5661000
1577.04/1575.38	c cleaning 106003 clauses out of 212047 with flag 35802960/5768002
1617.28/1615.44	c cleaning 106992 clauses out of 214043 with flag 36480149/5876001
1658.88/1657.01	c cleaning 108000 clauses out of 216050 with flag 37157499/5985000
1701.29/1699.42	c cleaning 109026 clauses out of 218052 with flag 37840838/6095002
1744.89/1742.96	c cleaning 109977 clauses out of 220024 with flag 38531333/6206000
1788.90/1786.98	c cleaning 110989 clauses out of 222048 with flag 39228897/6318001
1800.00/1798.00	c starts		: 56094
1800.00/1798.00	c conflicts		: 6353792
1800.00/1798.00	c decisions		: 63235806
1800.00/1798.00	c propagations		: 874242737
1800.00/1798.00	c inspects		: 24629337123
1800.00/1798.00	c shortcuts		: 0
1800.00/1798.00	c learnt literals	: 2
1800.00/1798.00	c learnt binary clauses	: 40
1800.00/1798.00	c learnt ternary clauses	: 714
1800.00/1798.00	c learnt constraints	: 6353790
1800.00/1798.00	c ignored constraints	: 0
1800.00/1798.00	c root simplifications	: 0
1800.00/1798.00	c removed literals (reason simplification)	: 0
1800.00/1798.00	c reason swapping (by a shorter reason)	: 0
1800.00/1798.00	c Calls to reduceDB	: 108
1800.00/1798.00	c Number of update (reduction) of LBD	: 1334305
1800.00/1798.00	c Imported unit clauses	: 0
1800.00/1798.00	c number of reductions to clauses (during analyze)	: 0
1800.00/1798.00	c number of learned constraints concerned by reduction	: 0
1800.00/1798.00	c number of learning phase by resolution	: 0
1800.00/1798.00	c number of learning phase by cutting planes	: 0
1800.00/1798.00	c speed (assignments/second)	: 486343.74676648964
1800.00/1798.00	c non guided choices	11248
1800.00/1798.00	c timeout
1800.00/1798.03	c learnt constraints type 
1800.00/1798.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40
1800.00/1798.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146810
1800.00/1798.03	s UNKNOWN
1800.00/1798.03	c Total wall clock time (in seconds): 1797.921

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4116113-1466959611/watcher-4116113-1466959611 -o /tmp/evaluation-result-4116113-1466959611/solver-4116113-1466959611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23991 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116113-1466959611.opb 

pid=24394
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: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 28998358 95129600 926 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 23225 926 703 9 0 16769 0
[pid=24397/tid=24406] ppid=24394 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28998358 95129600 926 33554432000 1073741824 1073778376 140733942063376 140051997195816 248781040935 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100118 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 4406 0 1 0 9 1 0 0 20 0 18 0 28998358 9787879424 6033 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2389619 6033 2137 9 0 2380296 0
[pid=24397/tid=24406] ppid=24394 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2375 0 1 0 7 0 0 0 20 0 18 0 28998358 9787879424 6033 33554432000 1073741824 1073778376 140733942063376 140051997199264 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200272 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 4954 0 1 0 26 1 0 0 20 0 18 0 28998358 9787879424 7002 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2389619 7002 2216 9 0 2380296 0
[pid=24397/tid=24406] ppid=24394 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2393 0 1 0 16 1 0 0 20 0 18 0 28998358 9787879424 7002 33554432000 1073741824 1073778376 140733942063376 140051997186416 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300262 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 5787 0 1 0 49 1 0 0 20 0 18 0 28998358 9787879424 8988 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2389619 8988 2233 9 0 2380296 0
[pid=24397/tid=24406] ppid=24394 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2396 0 1 0 26 1 0 0 20 0 18 0 28998358 9787879424 8988 33554432000 1073741824 1073778376 140733942063376 140051997186416 140051853992956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700203 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8169 0 1 0 127 2 0 0 20 0 19 0 28998358 9856040960 15095 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 15095 2263 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2419 0 1 0 66 1 0 0 20 0 19 0 28998358 9856040960 15095 33554432000 1073741824 1073778376 140733942063376 140051997201024 140051854395605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.34 2.28 2.22 5/213 24433
/proc/meminfo: memFree=30274828/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8751 0 1 0 219 2 0 0 20 0 19 0 28998358 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 15615 2270 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2421 0 1 0 146 2 0 0 20 0 19 0 28998358 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051997200872 140051854492860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28998360 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 28 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3305 0 0 0 41 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.34 2.28 2.22 3/212 24433
/proc/meminfo: memFree=30270368/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8753 0 1 0 383 2 0 0 20 0 19 0 28998358 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 16127 2270 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2423 0 1 0 305 2 0 0 20 0 19 0 28998358 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051997198816 140051854584210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28998360 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3305 0 0 0 44 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.39 2.29 2.22 4/212 24433
/proc/meminfo: memFree=30254752/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=7.07 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8758 0 1 0 704 3 0 0 20 0 19 0 28998358 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 17588 2271 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2427 0 1 0 625 2 0 0 20 0 19 0 28998358 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051997191872 140051854493054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28998360 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.45 cores=0,2,4,6

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

[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 96 0 0 0 39 30 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.18
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.24 4/213 24499
/proc/meminfo: memFree=29708152/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1724.19 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 10025 0 1 0 172374 45 0 0 20 0 19 0 28998358 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 76717 2285 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1721.98 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2484 0 1 0 172168 30 0 0 20 0 19 0 28998358 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051997191968 140051854493074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 388 0 0 0 9 3 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 15 0 0 0 10 0 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 34 0 0 0 13 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 51 0 0 0 11 1 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 125 0 0 0 10 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 144 0 0 0 12 3 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 142 0 0 0 11 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 29 0 0 0 10 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 28998360 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 100 0 0 0 41 31 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.19
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.23 3/213 24500
/proc/meminfo: memFree=29695388/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1784.3 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 10068 0 1 0 178382 48 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 79803 2285 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1781.95 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2485 0 1 0 178164 31 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051997191968 140051854137294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 404 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 39 0 0 0 14 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 53 0 0 0 12 1 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 127 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 149 0 0 0 15 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 143 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 32 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 58 0 0 0 1 1 0 0 20 0 19 0 28998360 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 104 0 0 0 42 32 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.3
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798 s]
/proc/loadavg: 2.19 2.24 2.23 3/213 24500
/proc/meminfo: memFree=29695516/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 10068 0 1 0 179952 48 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 79803 2285 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1797.65 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2485 0 1 0 179734 31 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051997191968 140051854521842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 404 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 39 0 0 0 14 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 53 0 0 0 12 1 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 127 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 149 0 0 0 15 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 143 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 32 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 58 0 0 0 1 1 0 0 20 0 19 0 28998360 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 104 0 0 0 43 32 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24397 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.04
CPU time (s): 1800.67
CPU user time (s): 1799.72
CPU system time (s): 0.951855
CPU usage (%): 100.147
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.951855
maximum resident set size= 319528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10154
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38367
involuntary context switches= 4141

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35473 second user time and 15.8316 second system time

The end

Launcher Data

Begin job on node139 at 2016-06-26 18:46:51
IDJOB=4116113
IDBENCH=109429
IDSOLVER=2546
FILE ID=node139/4116113-1466959611
RUNJOBID= node139-1466956013-23991
PBS_JOBID= 19976371
Free space on /tmp= 71676 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-7.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116113-1466959611/watcher-4116113-1466959611 -o /tmp/evaluation-result-4116113-1466959611/solver-4116113-1466959611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23991 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116113-1466959611.opb

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

MD5SUM BENCH= 327e503a7a4a8903035a4425581c59c7
RANDOM SEED=1739288715

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
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	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
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		: 2666.394
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
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		: 2666.394
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
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:       32872528 kB
MemFree:        30381120 kB
Buffers:           29764 kB
Cached:           175020 kB
SwapCached:         2160 kB
Active:            42528 kB
Inactive:         166484 kB
Active(anon):       5076 kB
Inactive(anon):     1288 kB
Active(file):      37452 kB
Inactive(file):   165196 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098792 kB
Dirty:              2412 kB
Writeback:             0 kB
AnonPages:       1788160 kB
Mapped:             7352 kB
Shmem:                 0 kB
Slab:             567700 kB
SReclaimable:      11788 kB
SUnreclaim:       555912 kB
KernelStack:        1760 kB
PageTables:         6636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1688892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71676 MiB
End job on node139 at 2016-06-26 19:16:50