Trace number 4116777

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.64 1797.83

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-1.opb
MD5SUMcc219414569e52f24655165854ce2725
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 variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
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-4116777-1466979394.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  no objective function found
0.69/0.42	c ... done. Wall clock time 0.319s.
0.69/0.42	c declared #vars     4288
0.69/0.42	c #constraints  10880
0.69/0.42	c constraints type 
0.69/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.69/0.43	c org.sat4j.specs.Constr$1 => 936
0.69/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 536
0.69/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.69/0.43	c 10880 constraints processed.
1.66/1.09	c cleaning 2495 clauses out of 4995 with flag 16870/5000
2.44/1.72	c cleaning 4228 clauses out of 8500 with flag 39435/11000
3.14/2.47	c cleaning 5635 clauses out of 11273 with flag 68419/18001
4.06/3.33	c cleaning 6807 clauses out of 13639 with flag 103950/26002
5.07/4.35	c cleaning 7903 clauses out of 15830 with flag 143800/35000
6.27/5.53	c cleaning 8928 clauses out of 17928 with flag 190298/45001
7.57/6.81	c cleaning 9993 clauses out of 19999 with flag 242821/56000
8.97/8.24	c cleaning 10986 clauses out of 22006 with flag 303514/68000
10.57/9.86	c cleaning 11964 clauses out of 24020 with flag 371626/81000
12.37/11.62	c cleaning 12972 clauses out of 26058 with flag 442339/95002
14.28/13.60	c cleaning 14037 clauses out of 28084 with flag 520361/110000
16.38/15.66	c cleaning 14978 clauses out of 30047 with flag 605258/126000
18.68/17.97	c cleaning 16022 clauses out of 32069 with flag 696638/143000
21.18/20.42	c cleaning 17004 clauses out of 34047 with flag 794624/161000
23.78/23.06	c cleaning 17985 clauses out of 36043 with flag 897598/180000
26.68/25.99	c cleaning 19017 clauses out of 38061 with flag 1006054/200003
29.78/29.05	c cleaning 20008 clauses out of 40042 with flag 1123966/221001
33.08/32.38	c cleaning 21011 clauses out of 42034 with flag 1247259/243001
36.68/35.91	c cleaning 22002 clauses out of 44022 with flag 1376603/266000
40.38/39.70	c cleaning 22972 clauses out of 46021 with flag 1509540/290001
44.37/43.66	c cleaning 24014 clauses out of 48048 with flag 1650676/315000
48.68/47.95	c cleaning 25001 clauses out of 50034 with flag 1796531/341000
53.28/52.57	c cleaning 25999 clauses out of 52033 with flag 1953397/368000
58.13/57.34	c cleaning 27012 clauses out of 54035 with flag 2113822/396001
62.43/61.65	c cleaning 27967 clauses out of 56022 with flag 2278567/425000
67.12/66.31	c cleaning 29018 clauses out of 58056 with flag 2449638/455001
72.04/71.29	c cleaning 29978 clauses out of 60037 with flag 2630941/486000
77.33/76.50	c cleaning 30994 clauses out of 62059 with flag 2814566/518000
82.83/82.02	c cleaning 32014 clauses out of 64065 with flag 3009035/551000
88.53/87.77	c cleaning 33016 clauses out of 66051 with flag 3208061/585000
94.63/93.83	c cleaning 33986 clauses out of 68036 with flag 3412425/620001
101.13/100.32	c cleaning 35007 clauses out of 70049 with flag 3618663/656000
107.83/107.06	c cleaning 36000 clauses out of 72042 with flag 3834304/693000
115.03/114.22	c cleaning 37005 clauses out of 74043 with flag 4056178/731001
122.43/121.60	c cleaning 38013 clauses out of 76038 with flag 4281806/770001
129.93/129.17	c cleaning 38970 clauses out of 78024 with flag 4517404/810000
138.03/137.23	c cleaning 40013 clauses out of 80055 with flag 4756624/851001
146.15/145.32	c cleaning 40992 clauses out of 82041 with flag 5000477/893000
154.19/153.36	c cleaning 42021 clauses out of 84049 with flag 5249452/936000
162.60/161.75	c cleaning 43006 clauses out of 86028 with flag 5504235/980000
171.40/170.56	c cleaning 44003 clauses out of 88022 with flag 5765338/1025000
180.49/179.65	c cleaning 44973 clauses out of 90019 with flag 6036068/1071000
189.90/189.07	c cleaning 46010 clauses out of 92046 with flag 6312780/1118000
199.50/198.61	c cleaning 47018 clauses out of 94036 with flag 6595249/1166000
209.30/208.44	c cleaning 48000 clauses out of 96019 with flag 6885240/1215001
219.91/219.06	c cleaning 48954 clauses out of 98018 with flag 7175951/1265000
230.70/229.80	c cleaning 50001 clauses out of 100064 with flag 7479067/1316000
241.82/240.94	c cleaning 51004 clauses out of 102063 with flag 7789430/1368000
253.49/252.57	c cleaning 52001 clauses out of 104059 with flag 8104655/1421000
265.19/264.29	c cleaning 53015 clauses out of 106058 with flag 8428877/1475000
277.58/276.61	c cleaning 54009 clauses out of 108043 with flag 8750912/1530000
289.98/289.07	c cleaning 54986 clauses out of 110035 with flag 9079991/1586001
302.89/301.99	c cleaning 55975 clauses out of 112048 with flag 9415487/1643000
316.28/315.33	c cleaning 56985 clauses out of 114076 with flag 9756254/1701003
330.29/329.31	c cleaning 58042 clauses out of 116090 with flag 10097915/1760002
344.50/343.58	c cleaning 58978 clauses out of 118046 with flag 10447317/1820000
359.20/358.22	c cleaning 60006 clauses out of 120068 with flag 10802336/1881000
374.56/373.55	c cleaning 61024 clauses out of 122062 with flag 11163003/1943000
389.68/388.63	c cleaning 62005 clauses out of 124038 with flag 11527153/2006000
405.18/404.12	c cleaning 62980 clauses out of 126034 with flag 11902999/2070001
421.47/420.47	c cleaning 64007 clauses out of 128053 with flag 12283926/2135000
437.71/436.66	c cleaning 65001 clauses out of 130046 with flag 12666518/2201000
454.21/453.16	c cleaning 65996 clauses out of 132048 with flag 13047793/2268003
471.51/470.43	c cleaning 66958 clauses out of 134049 with flag 13440743/2336000
489.22/488.12	c cleaning 68009 clauses out of 136091 with flag 13835925/2405000
507.54/506.41	c cleaning 69025 clauses out of 138083 with flag 14236620/2475001
525.55/524.41	c cleaning 70013 clauses out of 140057 with flag 14654261/2546000
543.85/542.70	c cleaning 70960 clauses out of 142044 with flag 15072859/2618000
563.75/562.65	c cleaning 72006 clauses out of 144084 with flag 15492180/2691000
584.36/583.24	c cleaning 72994 clauses out of 146078 with flag 15925006/2765000
605.07/603.94	c cleaning 74035 clauses out of 148084 with flag 16364734/2840000
626.54/625.37	c cleaning 75004 clauses out of 150050 with flag 16803569/2916001
648.84/647.62	c cleaning 75990 clauses out of 152045 with flag 17244712/2993000
671.54/670.34	c cleaning 76986 clauses out of 154056 with flag 17691912/3071001
694.44/693.22	c cleaning 78026 clauses out of 156069 with flag 18142718/3150000
718.35/717.17	c cleaning 78992 clauses out of 158043 with flag 18602013/3230000
742.85/741.60	c cleaning 80017 clauses out of 160052 with flag 19070536/3311001
767.95/766.67	c cleaning 80966 clauses out of 162034 with flag 19542222/3393000
793.85/792.56	c cleaning 82001 clauses out of 164068 with flag 20017624/3476000
820.55/819.22	c cleaning 83008 clauses out of 166067 with flag 20495200/3560000
846.85/845.55	c cleaning 83976 clauses out of 168059 with flag 20982994/3645000
873.77/872.47	c cleaning 85022 clauses out of 170083 with flag 21477701/3731000
901.26/899.83	c cleaning 85992 clauses out of 172061 with flag 21973198/3818000
929.26/927.81	c cleaning 87021 clauses out of 174069 with flag 22475568/3906000
958.16/956.74	c cleaning 87989 clauses out of 176048 with flag 22988046/3995000
986.96/985.52	c cleaning 88986 clauses out of 178059 with flag 23503597/4085000
1016.38/1014.97	c cleaning 90035 clauses out of 180073 with flag 24027128/4176000
1046.78/1045.21	c cleaning 90969 clauses out of 182038 with flag 24558174/4268000
1077.59/1076.03	c cleaning 92020 clauses out of 184069 with flag 25095235/4361000
1109.69/1108.14	c cleaning 92976 clauses out of 186049 with flag 25631294/4455000
1142.89/1141.39	c cleaning 94013 clauses out of 188073 with flag 26172615/4550000
1176.18/1174.55	c cleaning 95016 clauses out of 190060 with flag 26718132/4646000
1209.69/1208.07	c cleaning 96008 clauses out of 192046 with flag 27273673/4743002
1243.69/1242.04	c cleaning 97012 clauses out of 194036 with flag 27829876/4841000
1279.39/1277.71	c cleaning 97969 clauses out of 196024 with flag 28395668/4940000
1315.41/1313.60	c cleaning 99016 clauses out of 198055 with flag 28967422/5040000
1352.51/1350.71	c cleaning 99986 clauses out of 200039 with flag 29540525/5141000
1389.62/1387.84	c cleaning 101021 clauses out of 202054 with flag 30126230/5243001
1428.45/1426.57	c cleaning 101991 clauses out of 204032 with flag 30711831/5346000
1467.55/1465.64	c cleaning 103005 clauses out of 206041 with flag 31309762/5450000
1507.06/1505.17	c cleaning 103984 clauses out of 208036 with flag 31902581/5555000
1546.98/1544.92	c cleaning 105019 clauses out of 210053 with flag 32503935/5661001
1586.28/1584.23	c cleaning 105984 clauses out of 212033 with flag 33112033/5768000
1626.36/1624.30	c cleaning 107013 clauses out of 214050 with flag 33726564/5876001
1666.35/1664.27	c cleaning 108005 clauses out of 216036 with flag 34346460/5985000
1707.44/1705.37	c cleaning 109008 clauses out of 218031 with flag 34970828/6095000
1748.94/1746.87	c cleaning 110007 clauses out of 220023 with flag 35602256/6206000
1791.92/1789.78	c cleaning 110962 clauses out of 222017 with flag 36234337/6318001
1800.01/1797.80	c starts		: 51747
1800.01/1797.80	c conflicts		: 6345472
1800.01/1797.80	c decisions		: 50877965
1800.01/1797.80	c propagations		: 798787196
1800.01/1797.80	c inspects		: 23012745831
1800.01/1797.80	c shortcuts		: 0
1800.01/1797.80	c learnt literals	: 5
1800.01/1797.80	c learnt binary clauses	: 88
1800.01/1797.80	c learnt ternary clauses	: 869
1800.01/1797.80	c learnt constraints	: 6345467
1800.01/1797.80	c ignored constraints	: 0
1800.01/1797.80	c root simplifications	: 0
1800.01/1797.80	c removed literals (reason simplification)	: 0
1800.01/1797.80	c reason swapping (by a shorter reason)	: 0
1800.01/1797.80	c Calls to reduceDB	: 108
1800.01/1797.80	c Number of update (reduction) of LBD	: 1370669
1800.01/1797.80	c Imported unit clauses	: 0
1800.01/1797.80	c number of reductions to clauses (during analyze)	: 0
1800.01/1797.80	c number of learned constraints concerned by reduction	: 0
1800.01/1797.80	c number of learning phase by resolution	: 0
1800.01/1797.80	c number of learning phase by cutting planes	: 0
1800.01/1797.80	c speed (assignments/second)	: 444420.5059843059
1800.01/1797.80	c non guided choices	24847
1800.01/1797.80	c timeout
1800.01/1797.83	c learnt constraints type 
1800.01/1797.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 88
1800.01/1797.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 138438
1800.01/1797.83	s UNKNOWN
1800.01/1797.83	c Total wall clock time (in seconds): 1797.721

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

pid=26497
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.24 2.21 2.18 4/193 26500
/proc/meminfo: memFree=30311980/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 30976618 98570240 977 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 24065 977 743 9 0 16771 0
[pid=26500/tid=26501] ppid=26497 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 30976618 98570240 977 33554432000 1073741824 1073778376 140734918638752 140072891321896 248790205824 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 2.24 2.21 2.18 4/193 26500
/proc/meminfo: memFree=30311980/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 4400 0 1 0 9 1 0 0 20 0 18 0 30976618 9787879424 6035 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2389619 6039 2140 9 0 2380296 0
[pid=26500/tid=26501] ppid=26497 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2376 0 1 0 6 1 0 0 20 0 18 0 30976618 9787879424 6043 33554432000 1073741824 1073778376 140734918638752 140072891325344 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.200328 s]
/proc/loadavg: 2.24 2.21 2.18 4/193 26500
/proc/meminfo: memFree=30311980/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 4953 0 1 0 26 1 0 0 20 0 18 0 30976618 9787879424 7009 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2389619 7009 2216 9 0 2380296 0
[pid=26500/tid=26501] ppid=26497 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2393 0 1 0 16 1 0 0 20 0 18 0 30976618 9787879424 7009 33554432000 1073741824 1073778376 140734918638752 140072891326600 140072724839517 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.300333 s]
/proc/loadavg: 2.24 2.21 2.18 4/193 26500
/proc/meminfo: memFree=30311980/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 5829 0 1 0 49 1 0 0 20 0 18 0 30976618 9787879424 8904 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2389619 8904 2233 9 0 2380296 0
[pid=26500/tid=26501] ppid=26497 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2396 0 1 0 26 1 0 0 20 0 18 0 30976618 9787879424 8904 33554432000 1073741824 1073778376 140734918638752 140072891326600 140072724788796 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.700278 s]
/proc/loadavg: 2.24 2.21 2.18 4/193 26500
/proc/meminfo: memFree=30311980/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9625040 CPUtime=1.35 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 8824 0 1 0 132 3 0 0 20 0 19 0 30976618 9856040960 15723 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2406260 15723 2263 9 0 2396937 0
[pid=26500/tid=26501] ppid=26497 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2434 0 1 0 66 1 0 0 20 0 19 0 30976618 9856040960 15723 33554432000 1073741824 1073778376 140734918638752 140072891326632 140072725382768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.22 2.20 2.18 4/213 26520
/proc/meminfo: memFree=30232548/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 9069 0 1 0 218 3 0 0 20 0 19 0 30976618 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2406260 16242 2269 9 0 2396937 0
[pid=26500/tid=26501] ppid=26497 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2436 0 1 0 146 2 0 0 20 0 19 0 30976618 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072891317968 140072725333862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26503] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26503/stat : 26503 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072852818472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26504] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26504/stat : 26504 (java) S 26497 26500 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072851765672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26505] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26505/stat : 26505 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072850712872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26500/tid=26506] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26506/stat : 26506 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072849660072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26507] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26507/stat : 26507 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072848608296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26508] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26508/stat : 26508 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072847555496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26509] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26509/stat : 26509 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072846502696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26510] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26510/stat : 26510 (java) S 26497 26500 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072845449896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26511] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26511/stat : 26511 (java) S 26497 26500 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072715246056 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26512] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26512/stat : 26512 (java) S 26497 26500 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072714192120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26513] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26513/stat : 26513 (java) S 26497 26500 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072713139208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26514] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26514/stat : 26514 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072712087696 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26515] ppid=26497 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/26500/task/26515/stat : 26515 (java) S 26497 26500 23975 0 -1 4202560 2573 0 0 0 36 1 0 0 20 0 19 0 30976623 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072711035832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26516] ppid=26497 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/26500/task/26516/stat : 26516 (java) S 26497 26500 23975 0 -1 4202560 2782 0 0 0 33 0 0 0 20 0 19 0 30976623 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140072709983032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26517] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26517/stat : 26517 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140071835528056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26518] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26518/stat : 26518 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140071834475464 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26520] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26520/stat : 26520 (java) S 26497 26500 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976662 9856040960 16242 33554432000 1073741824 1073778376 140734918638752 140071833420968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.22 2.20 2.18 3/213 26520
/proc/meminfo: memFree=30227956/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 9073 0 1 0 382 3 0 0 20 0 19 0 30976618 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2406260 17267 2270 9 0 2396937 0
[pid=26500/tid=26501] ppid=26497 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2439 0 1 0 306 2 0 0 20 0 19 0 30976618 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072891317968 140072725420861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26503] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26503/stat : 26503 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072852818472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26504] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26504/stat : 26504 (java) S 26497 26500 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072851765672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26505] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26505/stat : 26505 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072850712872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26500/tid=26506] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26506/stat : 26506 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072849660072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26507] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26507/stat : 26507 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072848608296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26508] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26508/stat : 26508 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072847555496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26509] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26509/stat : 26509 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072846502696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26510] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26510/stat : 26510 (java) S 26497 26500 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072845449896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26511] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26511/stat : 26511 (java) S 26497 26500 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072715246056 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26512] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26512/stat : 26512 (java) S 26497 26500 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072714192120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26513] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26513/stat : 26513 (java) S 26497 26500 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072713139208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26514] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26514/stat : 26514 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072712087696 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26515] ppid=26497 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26500/task/26515/stat : 26515 (java) S 26497 26500 23975 0 -1 4202560 2573 0 0 0 38 1 0 0 20 0 19 0 30976623 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072711035832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26516] ppid=26497 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/26500/task/26516/stat : 26516 (java) S 26497 26500 23975 0 -1 4202560 2783 0 0 0 35 0 0 0 20 0 19 0 30976623 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140072709983032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26517] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26517/stat : 26517 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140071835528056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26518] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26518/stat : 26518 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140071834475464 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26520] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26520/stat : 26520 (java) S 26497 26500 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976662 9856040960 17267 33554432000 1073741824 1073778376 140734918638752 140071833420968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.22 2.20 2.18 4/213 26520
/proc/meminfo: memFree=30213148/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9625040 CPUtime=7.07 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 9086 0 1 0 704 3 0 0 20 0 19 0 30976618 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2406260 18745 2271 9 0 2396937 0
[pid=26500/tid=26501] ppid=26497 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2443 0 1 0 626 2 0 0 20 0 19 0 30976618 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072891317952 140072725420652 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26503] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26503/stat : 26503 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072852818472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26504] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26504/stat : 26504 (java) S 26497 26500 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072851765672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26505] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26505/stat : 26505 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072850712872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26500/tid=26506] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26506/stat : 26506 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072849660072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26507] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26507/stat : 26507 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072848608296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26508] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26508/stat : 26508 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072847555496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26509] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26509/stat : 26509 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072846502696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26510] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26510/stat : 26510 (java) S 26497 26500 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30976619 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072845449896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26511] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26511/stat : 26511 (java) S 26497 26500 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072715246056 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26512] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26512/stat : 26512 (java) S 26497 26500 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072714192120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26513] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26513/stat : 26513 (java) S 26497 26500 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072713139208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26514] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26514/stat : 26514 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072712087696 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26515] ppid=26497 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26500/task/26515/stat : 26515 (java) S 26497 26500 23975 0 -1 4202560 2573 0 0 0 38 1 0 0 20 0 19 0 30976623 9856040960 18745 33554432000 1073741824 1073778376 140734918638752 140072711035832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26516] ppid=26497 vsize=9625040 CPUtime=0.36 cores=0,2,4,6

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

[pid=26500/tid=26512] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26512/stat : 26512 (java) S 26497 26500 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072714192120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26513] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26513/stat : 26513 (java) S 26497 26500 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072713139208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26514] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26514/stat : 26514 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072712087696 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26515] ppid=26497 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26500/task/26515/stat : 26515 (java) S 26497 26500 23975 0 -1 4202560 2573 0 0 0 38 1 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072711035832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26516] ppid=26497 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/26500/task/26516/stat : 26516 (java) S 26497 26500 23975 0 -1 4202560 3136 0 0 0 40 0 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072709983032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26517] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26517/stat : 26517 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140071835528056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26518] ppid=26497 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/26500/task/26518/stat : 26518 (java) S 26497 26500 23975 0 -1 4202560 96 0 0 0 35 29 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140071834475464 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26520] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26520/stat : 26520 (java) S 26497 26500 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976662 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140071833420968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1664.45
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.16 2.16 2.17 4/212 26563
/proc/meminfo: memFree=29562672/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9625040 CPUtime=1724.44 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 12181 0 1 0 172398 46 0 0 20 0 19 0 30976618 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2406260 91635 2285 9 0 2396937 0
[pid=26500/tid=26501] ppid=26497 vsize=9625040 CPUtime=1721.87 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2500 0 1 0 172156 31 0 0 20 0 19 0 30976618 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072891318048 140072725420734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26503] ppid=26497 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/26500/task/26503/stat : 26503 (java) S 26497 26500 23975 0 -1 4202560 210 0 0 0 13 2 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072852818472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26504] ppid=26497 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/26500/task/26504/stat : 26504 (java) S 26497 26500 23975 0 -1 4202560 287 0 0 0 14 3 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072851765672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26500/tid=26505] ppid=26497 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/26500/task/26505/stat : 26505 (java) S 26497 26500 23975 0 -1 4202560 282 0 0 0 16 2 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072850712872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26506] ppid=26497 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/26500/task/26506/stat : 26506 (java) S 26497 26500 23975 0 -1 4202560 243 0 0 0 15 2 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072849660072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26507] ppid=26497 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/26500/task/26507/stat : 26507 (java) S 26497 26500 23975 0 -1 4202560 310 0 0 0 13 2 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072848608296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26508] ppid=26497 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/26500/task/26508/stat : 26508 (java) S 26497 26500 23975 0 -1 4202560 262 0 0 0 17 3 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072847555496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26509] ppid=26497 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/26500/task/26509/stat : 26509 (java) S 26497 26500 23975 0 -1 4202560 840 0 0 0 24 3 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072846502696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26510] ppid=26497 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/26500/task/26510/stat : 26510 (java) S 26497 26500 23975 0 -1 4202560 108 0 0 0 12 1 0 0 20 0 19 0 30976619 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072845449896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26511] ppid=26497 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26500/task/26511/stat : 26511 (java) S 26497 26500 23975 0 -1 4202560 67 0 0 0 2 0 0 0 20 0 19 0 30976620 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072715246056 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26512] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26512/stat : 26512 (java) S 26497 26500 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072714192120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26513] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26513/stat : 26513 (java) S 26497 26500 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072713139208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26514] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26514/stat : 26514 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072712087696 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26515] ppid=26497 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26500/task/26515/stat : 26515 (java) S 26497 26500 23975 0 -1 4202560 2573 0 0 0 38 1 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072711035832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26516] ppid=26497 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/26500/task/26516/stat : 26516 (java) S 26497 26500 23975 0 -1 4202560 3136 0 0 0 40 0 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140072709983032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26517] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26517/stat : 26517 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140071835528056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26518] ppid=26497 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/26500/task/26518/stat : 26518 (java) S 26497 26500 23975 0 -1 4202560 100 0 0 0 37 29 0 0 20 0 19 0 30976623 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140071834475464 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26520] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26520/stat : 26520 (java) S 26497 26500 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976662 9856040960 91635 33554432000 1073741824 1073778376 140734918638752 140071833420968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.44
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.26 2.18 2.17 3/213 26565
/proc/meminfo: memFree=29555608/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9625040 CPUtime=1784.51 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 12205 0 1 0 178402 49 0 0 20 0 19 0 30976618 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2406260 93105 2285 9 0 2396937 0
[pid=26500/tid=26501] ppid=26497 vsize=9625040 CPUtime=1781.82 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2501 0 1 0 178150 32 0 0 20 0 19 0 30976618 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072891325792 140072725373090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26503] ppid=26497 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/26500/task/26503/stat : 26503 (java) S 26497 26500 23975 0 -1 4202560 210 0 0 0 14 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072852818472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26504] ppid=26497 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/26500/task/26504/stat : 26504 (java) S 26497 26500 23975 0 -1 4202560 291 0 0 0 16 3 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072851765672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26500/tid=26505] ppid=26497 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/26500/task/26505/stat : 26505 (java) S 26497 26500 23975 0 -1 4202560 284 0 0 0 16 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072850712872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26506] ppid=26497 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/26500/task/26506/stat : 26506 (java) S 26497 26500 23975 0 -1 4202560 245 0 0 0 17 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072849660072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26507] ppid=26497 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/26500/task/26507/stat : 26507 (java) S 26497 26500 23975 0 -1 4202560 312 0 0 0 14 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072848608296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26508] ppid=26497 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/26500/task/26508/stat : 26508 (java) S 26497 26500 23975 0 -1 4202560 263 0 0 0 17 4 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072847555496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26509] ppid=26497 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/26500/task/26509/stat : 26509 (java) S 26497 26500 23975 0 -1 4202560 844 0 0 0 26 3 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072846502696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26510] ppid=26497 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/26500/task/26510/stat : 26510 (java) S 26497 26500 23975 0 -1 4202560 110 0 0 0 13 1 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072845449896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26511] ppid=26497 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26500/task/26511/stat : 26511 (java) S 26497 26500 23975 0 -1 4202560 69 0 0 0 2 0 0 0 20 0 19 0 30976620 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072715246056 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26512] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26512/stat : 26512 (java) S 26497 26500 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072714192120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26513] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26513/stat : 26513 (java) S 26497 26500 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072713139208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26514] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26514/stat : 26514 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072712087696 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26515] ppid=26497 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26500/task/26515/stat : 26515 (java) S 26497 26500 23975 0 -1 4202560 2573 0 0 0 38 1 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072711035832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26516] ppid=26497 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/26500/task/26516/stat : 26516 (java) S 26497 26500 23975 0 -1 4202560 3136 0 0 0 40 0 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072709983032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26517] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26517/stat : 26517 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140071835528056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26518] ppid=26497 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/26500/task/26518/stat : 26518 (java) S 26497 26500 23975 0 -1 4202560 104 0 0 0 37 30 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140071834475464 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26520] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26520/stat : 26520 (java) S 26497 26500 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976662 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140071833420968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.51
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.28 2.18 2.18 3/189 26598
/proc/meminfo: memFree=29983208/32872528 swapFree=1392268/1580316
[pid=26500] ppid=26497 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/26500/stat : 26500 (java) S 26497 26500 23975 0 -1 4202496 12205 0 1 0 179952 49 0 0 20 0 19 0 30976618 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140734918629888 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26500/statm: 2406260 93105 2285 9 0 2396937 0
[pid=26500/tid=26501] ppid=26497 vsize=9625040 CPUtime=1797.31 cores=0,2,4,6
/proc/26500/task/26501/stat : 26501 (java) R 26497 26500 23975 0 -1 4202560 2501 0 1 0 179699 32 0 0 20 0 19 0 30976618 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072891318048 140072725364083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26503] ppid=26497 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/26500/task/26503/stat : 26503 (java) S 26497 26500 23975 0 -1 4202560 210 0 0 0 14 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072852818472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26504] ppid=26497 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/26500/task/26504/stat : 26504 (java) S 26497 26500 23975 0 -1 4202560 291 0 0 0 16 3 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072851765672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26500/tid=26505] ppid=26497 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/26500/task/26505/stat : 26505 (java) S 26497 26500 23975 0 -1 4202560 284 0 0 0 16 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072850712872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26506] ppid=26497 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/26500/task/26506/stat : 26506 (java) S 26497 26500 23975 0 -1 4202560 245 0 0 0 17 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072849660072 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26507] ppid=26497 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/26500/task/26507/stat : 26507 (java) S 26497 26500 23975 0 -1 4202560 312 0 0 0 14 2 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072848608296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26508] ppid=26497 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/26500/task/26508/stat : 26508 (java) S 26497 26500 23975 0 -1 4202560 263 0 0 0 17 4 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072847555496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26509] ppid=26497 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/26500/task/26509/stat : 26509 (java) S 26497 26500 23975 0 -1 4202560 844 0 0 0 26 3 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072846502696 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26510] ppid=26497 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/26500/task/26510/stat : 26510 (java) S 26497 26500 23975 0 -1 4202560 110 0 0 0 13 1 0 0 20 0 19 0 30976619 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072845449896 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26511] ppid=26497 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/26500/task/26511/stat : 26511 (java) S 26497 26500 23975 0 -1 4202560 69 0 0 0 2 0 0 0 20 0 19 0 30976620 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072715246056 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26500/tid=26512] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26512/stat : 26512 (java) S 26497 26500 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072714192120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26513] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26513/stat : 26513 (java) S 26497 26500 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30976620 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072713139208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26514] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26514/stat : 26514 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072712087696 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26515] ppid=26497 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/26500/task/26515/stat : 26515 (java) S 26497 26500 23975 0 -1 4202560 2573 0 0 0 38 1 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072711035832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26516] ppid=26497 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/26500/task/26516/stat : 26516 (java) S 26497 26500 23975 0 -1 4202560 3136 0 0 0 40 0 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140072709983032 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26517] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26517/stat : 26517 (java) S 26497 26500 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140071835528056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26500/tid=26518] ppid=26497 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/26500/task/26518/stat : 26518 (java) S 26497 26500 23975 0 -1 4202560 104 0 0 0 38 30 0 0 20 0 19 0 30976623 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140071834475464 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26500/tid=26520] ppid=26497 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/26500/task/26520/stat : 26520 (java) S 26497 26500 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30976662 9856040960 93105 33554432000 1073741824 1073778376 140734918638752 140071833420968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 26500 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.83
CPU time (s): 1800.64
CPU user time (s): 1799.68
CPU system time (s): 0.961853
CPU usage (%): 100.156
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.961853
maximum resident set size= 376780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12240
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38432
involuntary context switches= 9547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8603 second user time and 13.336 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-27 00:16:34
IDJOB=4116777
IDBENCH=109512
IDSOLVER=2546
FILE ID=node139/4116777-1466979394
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-size160-round23-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116777-1466979394/watcher-4116777-1466979394 -o /tmp/evaluation-result-4116777-1466979394/solver-4116777-1466979394 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23991 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116777-1466979394.opb

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

MD5SUM BENCH= cc219414569e52f24655165854ce2725
RANDOM SEED=1914725376

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:        30316604 kB
Buffers:           50452 kB
Cached:           183088 kB
SwapCached:         2156 kB
Active:            75276 kB
Inactive:         191600 kB
Active(anon):      34832 kB
Inactive(anon):     1120 kB
Active(file):      40444 kB
Inactive(file):   190480 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098796 kB
Dirty:              2412 kB
Writeback:             0 kB
AnonPages:       1594108 kB
Mapped:            14640 kB
Shmem:                 0 kB
Slab:             568936 kB
SReclaimable:      12768 kB
SUnreclaim:       556168 kB
KernelStack:        1424 kB
PageTables:         6860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2267920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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-27 00:46:32