Trace number 4116369

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.72 1797.84

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size128-round21-4.opb
MD5SUM780437ed0e71daaaf2a36769892802b4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark31.6372
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7904
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints832
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4116369-1466949215.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  no objective function found
0.69/0.40	c ... done. Wall clock time 0.283s.
0.69/0.40	c declared #vars     3968
0.69/0.40	c #constraints  9152
0.69/0.40	c constraints type 
0.69/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5958
0.69/0.40	c org.sat4j.specs.Constr$1 => 904
0.69/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.69/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 504
0.69/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1658
0.69/0.40	c 9152 constraints processed.
1.65/1.09	c cleaning 2495 clauses out of 4998 with flag 15762/5000
2.43/1.71	c cleaning 4241 clauses out of 8503 with flag 37843/11000
3.23/2.51	c cleaning 5620 clauses out of 11262 with flag 66731/18000
4.15/3.44	c cleaning 6805 clauses out of 13643 with flag 102098/26001
5.16/4.49	c cleaning 7907 clauses out of 15838 with flag 143385/35001
6.36/5.67	c cleaning 8951 clauses out of 17932 with flag 192393/45002
7.76/7.04	c cleaning 9985 clauses out of 19979 with flag 249964/56000
9.35/8.65	c cleaning 10991 clauses out of 21994 with flag 313300/68000
11.05/10.34	c cleaning 11972 clauses out of 24003 with flag 385910/81000
12.96/12.28	c cleaning 12997 clauses out of 26031 with flag 463868/95000
15.07/14.34	c cleaning 14013 clauses out of 28035 with flag 549034/110001
17.27/16.57	c cleaning 14981 clauses out of 30021 with flag 639082/126000
19.77/19.02	c cleaning 15991 clauses out of 32041 with flag 738765/143001
22.37/21.67	c cleaning 16992 clauses out of 34050 with flag 845822/161001
25.27/24.57	c cleaning 18012 clauses out of 36057 with flag 961818/180000
28.28/27.60	c cleaning 18996 clauses out of 38046 with flag 1084494/200001
31.58/30.88	c cleaning 20022 clauses out of 40050 with flag 1216087/221001
35.07/34.37	c cleaning 20973 clauses out of 42027 with flag 1353707/243000
38.87/38.12	c cleaning 21986 clauses out of 44054 with flag 1500007/266000
42.77/42.08	c cleaning 23030 clauses out of 46069 with flag 1650945/290001
46.97/46.30	c cleaning 23990 clauses out of 48038 with flag 1809925/315000
51.48/50.76	c cleaning 24997 clauses out of 50050 with flag 1976207/341002
56.07/55.38	c cleaning 26000 clauses out of 52051 with flag 2151222/368000
61.08/60.39	c cleaning 27010 clauses out of 54051 with flag 2331393/396000
66.50/65.70	c cleaning 28002 clauses out of 56042 with flag 2523712/425001
71.50/70.72	c cleaning 29006 clauses out of 58040 with flag 2716916/455001
76.81/76.01	c cleaning 29988 clauses out of 60034 with flag 2918033/486001
82.31/81.58	c cleaning 31023 clauses out of 62046 with flag 3126874/518001
88.10/87.32	c cleaning 31973 clauses out of 64024 with flag 3343601/551002
94.20/93.50	c cleaning 32996 clauses out of 66050 with flag 3572417/585001
100.70/99.98	c cleaning 33979 clauses out of 68053 with flag 3800375/620000
107.51/106.76	c cleaning 35005 clauses out of 70074 with flag 4034769/656000
114.60/113.90	c cleaning 36031 clauses out of 72070 with flag 4274377/693001
122.10/121.31	c cleaning 36984 clauses out of 74038 with flag 4524990/731000
129.80/129.04	c cleaning 38004 clauses out of 76054 with flag 4782904/770000
137.90/137.16	c cleaning 39011 clauses out of 78050 with flag 5046099/810000
146.51/145.79	c cleaning 40004 clauses out of 80039 with flag 5315688/851000
155.31/154.59	c cleaning 40994 clauses out of 82035 with flag 5591398/893000
164.57/163.77	c cleaning 41974 clauses out of 84041 with flag 5874612/936000
173.47/172.61	c cleaning 43023 clauses out of 86070 with flag 6166145/980003
182.57/181.78	c cleaning 43975 clauses out of 88044 with flag 6467617/1025000
192.38/191.51	c cleaning 45019 clauses out of 90070 with flag 6772090/1071001
202.37/201.60	c cleaning 45987 clauses out of 92051 with flag 7084662/1118001
212.88/212.06	c cleaning 47019 clauses out of 94065 with flag 7404416/1166002
223.68/222.88	c cleaning 48006 clauses out of 96044 with flag 7734248/1215000
235.08/234.22	c cleaning 49000 clauses out of 98038 with flag 8069961/1265000
246.78/245.90	c cleaning 50019 clauses out of 100038 with flag 8411119/1316000
258.68/257.87	c cleaning 50989 clauses out of 102019 with flag 8764490/1368000
271.18/270.31	c cleaning 51999 clauses out of 104031 with flag 9122798/1421001
283.32/282.49	c cleaning 53009 clauses out of 106031 with flag 9481735/1475000
296.02/295.11	c cleaning 53994 clauses out of 108022 with flag 9850959/1530000
309.13/308.20	c cleaning 54989 clauses out of 110028 with flag 10231317/1586000
322.63/321.74	c cleaning 55976 clauses out of 112040 with flag 10615815/1643001
336.44/335.56	c cleaning 56999 clauses out of 114063 with flag 11003361/1701000
350.84/349.91	c cleaning 58000 clauses out of 116066 with flag 11398229/1760002
365.53/364.67	c cleaning 59019 clauses out of 118064 with flag 11803144/1820000
381.24/380.31	c cleaning 59997 clauses out of 120047 with flag 12210411/1881002
396.89/395.94	c cleaning 61011 clauses out of 122048 with flag 12627073/1943000
412.79/411.87	c cleaning 61980 clauses out of 124037 with flag 13044372/2006000
429.30/428.32	c cleaning 62997 clauses out of 126058 with flag 13474924/2070001
446.20/445.29	c cleaning 63998 clauses out of 128060 with flag 13912910/2135000
464.33/463.36	c cleaning 65007 clauses out of 130062 with flag 14355041/2201000
482.63/481.62	c cleaning 66010 clauses out of 132055 with flag 14806605/2268000
501.23/500.25	c cleaning 66997 clauses out of 134048 with flag 15263305/2336003
520.34/519.26	c cleaning 67996 clauses out of 136048 with flag 15720352/2405000
539.73/538.61	c cleaning 68997 clauses out of 138052 with flag 16187631/2475000
559.74/558.68	c cleaning 70003 clauses out of 140055 with flag 16661661/2546000
580.04/578.90	c cleaning 71009 clauses out of 142052 with flag 17143603/2618000
601.23/600.18	c cleaning 72014 clauses out of 144043 with flag 17634059/2691000
623.03/621.94	c cleaning 73005 clauses out of 146029 with flag 18127271/2765000
645.44/644.37	c cleaning 74014 clauses out of 148027 with flag 18623154/2840003
668.22/667.04	c cleaning 74967 clauses out of 150013 with flag 19125395/2916003
691.42/690.26	c cleaning 76014 clauses out of 152044 with flag 19637890/2993001
715.13/713.98	c cleaning 76976 clauses out of 154029 with flag 20151471/3071000
739.93/738.72	c cleaning 77994 clauses out of 156053 with flag 20679362/3150000
765.34/764.12	c cleaning 79020 clauses out of 158060 with flag 21216918/3230001
790.94/789.75	c cleaning 79991 clauses out of 160039 with flag 21754562/3311000
816.52/815.22	c cleaning 80987 clauses out of 162048 with flag 22300744/3393000
842.72/841.44	c cleaning 82002 clauses out of 164061 with flag 22851837/3476000
869.61/868.38	c cleaning 83019 clauses out of 166059 with flag 23410552/3560000
897.02/895.77	c cleaning 84012 clauses out of 168040 with flag 23978010/3645000
925.43/924.17	c cleaning 84977 clauses out of 170030 with flag 24552634/3731002
954.41/953.02	c cleaning 86012 clauses out of 172053 with flag 25135095/3818002
984.02/982.63	c cleaning 87010 clauses out of 174042 with flag 25724241/3906003
1014.82/1013.42	c cleaning 88001 clauses out of 176030 with flag 26314870/3995001
1046.13/1044.74	c cleaning 88980 clauses out of 178028 with flag 26914323/4085000
1077.84/1076.30	c cleaning 89977 clauses out of 180048 with flag 27524416/4176000
1110.25/1108.79	c cleaning 91027 clauses out of 182072 with flag 28135083/4268001
1143.75/1142.20	c cleaning 91991 clauses out of 184044 with flag 28752282/4361000
1177.36/1175.90	c cleaning 92994 clauses out of 186053 with flag 29379281/4455000
1212.50/1210.84	c cleaning 94023 clauses out of 188059 with flag 30009907/4550000
1248.31/1246.64	c cleaning 95000 clauses out of 190036 with flag 30650285/4646000
1284.70/1283.09	c cleaning 96005 clauses out of 192037 with flag 31293470/4743001
1321.61/1319.90	c cleaning 97010 clauses out of 194031 with flag 31945658/4841000
1359.15/1357.34	c cleaning 97975 clauses out of 196021 with flag 32601700/4940000
1397.06/1395.27	c cleaning 98983 clauses out of 198046 with flag 33264462/5040000
1435.67/1433.89	c cleaning 100010 clauses out of 200063 with flag 33934305/5141000
1475.99/1474.12	c cleaning 100996 clauses out of 202054 with flag 34608647/5243001
1516.79/1514.85	c cleaning 102005 clauses out of 204057 with flag 35289148/5346000
1558.30/1556.33	c cleaning 102988 clauses out of 206052 with flag 35981049/5450000
1600.01/1598.09	c cleaning 104033 clauses out of 208066 with flag 36676945/5555002
1642.77/1640.60	c cleaning 104994 clauses out of 210031 with flag 37378022/5661000
1686.57/1684.49	c cleaning 106012 clauses out of 212037 with flag 38093215/5768000
1730.18/1728.05	c cleaning 106993 clauses out of 214025 with flag 38812010/5876000
1775.38/1773.10	c cleaning 107975 clauses out of 216033 with flag 39537199/5985001
1800.09/1797.80	c starts		: 59919
1800.09/1797.80	c conflicts		: 6053887
1800.09/1797.80	c decisions		: 58367151
1800.09/1797.80	c propagations		: 842543114
1800.09/1797.80	c inspects		: 24963123781
1800.09/1797.80	c shortcuts		: 0
1800.09/1797.80	c learnt literals	: 2
1800.09/1797.80	c learnt binary clauses	: 58
1800.09/1797.80	c learnt ternary clauses	: 805
1800.09/1797.80	c learnt constraints	: 6053885
1800.09/1797.80	c ignored constraints	: 0
1800.09/1797.80	c root simplifications	: 0
1800.09/1797.80	c removed literals (reason simplification)	: 0
1800.09/1797.80	c reason swapping (by a shorter reason)	: 0
1800.09/1797.80	c Calls to reduceDB	: 105
1800.09/1797.80	c Number of update (reduction) of LBD	: 1297259
1800.09/1797.80	c Imported unit clauses	: 0
1800.09/1797.80	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.80	c number of learned constraints concerned by reduction	: 0
1800.09/1797.80	c number of learning phase by resolution	: 0
1800.09/1797.80	c number of learning phase by cutting planes	: 0
1800.09/1797.80	c speed (assignments/second)	: 468757.1222400381
1800.09/1797.80	c non guided choices	7213
1800.09/1797.80	c timeout
1800.09/1797.83	c learnt constraints type 
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 58
1800.09/1797.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 176886
1800.09/1797.83	s UNKNOWN
1800.09/1797.83	c Total wall clock time (in seconds): 1797.715

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-4116369-1466949215/watcher-4116369-1466949215 -o /tmp/evaluation-result-4116369-1466949215/solver-4116369-1466949215 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466943595-19069 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116369-1466949215.opb 

pid=20124
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.06 2.17 2.17 3/194 20127
/proc/meminfo: memFree=30090764/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/20127/stat : 20127 (java) D 20124 20127 19053 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 27960573 9515008 183 33554432000 1073741824 1073778376 140733765420048 140733765411080 260190322357 0 0 4096 0 18446744072100556068 0 0 17 2 0 0 0 0 0
/proc/20127/statm: 2323 183 140 9 0 71 0

[startup+0.100158 s]
/proc/loadavg: 2.06 2.17 2.17 3/194 20127
/proc/meminfo: memFree=30090764/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 4394 0 1 0 7 1 0 0 20 0 18 0 27960573 9787879424 6027 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2389619 6027 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200226 s]
/proc/loadavg: 2.06 2.17 2.17 3/194 20127
/proc/meminfo: memFree=30090764/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 4861 0 1 0 24 1 0 0 20 0 18 0 27960573 9787879424 6930 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2389619 6930 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.30022 s]
/proc/loadavg: 2.06 2.17 2.17 3/194 20127
/proc/meminfo: memFree=30090764/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 5790 0 1 0 47 1 0 0 20 0 18 0 27960573 9787879424 8965 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2389619 8965 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700182 s]
/proc/loadavg: 2.06 2.17 2.17 3/194 20127
/proc/meminfo: memFree=30090764/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9625040 CPUtime=1.31 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 8187 0 1 0 128 3 0 0 20 0 19 0 27960573 9856040960 14739 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2406260 14739 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.05 2.17 2.17 4/213 20146
/proc/meminfo: memFree=30040092/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 9082 0 1 0 217 3 0 0 20 0 19 0 27960573 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2406260 14755 2270 9 0 2396937 0
[pid=20127/tid=20129] ppid=20124 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/20127/task/20129/stat : 20129 (java) R 20124 20127 19053 0 -1 4202560 2423 0 1 0 144 2 0 0 20 0 19 0 27960574 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140018042575528 140017897381275 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20130] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20130/stat : 20130 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017885817000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20131] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20131/stat : 20131 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017884764456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20132] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20132/stat : 20132 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017883711912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20133] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20133/stat : 20133 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017882659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20134] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20134/stat : 20134 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017881606824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20135] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20135/stat : 20135 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017544457000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20136] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20136/stat : 20136 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017543404456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20137] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20137/stat : 20137 (java) S 20124 20127 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017542351912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20138] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20138/stat : 20138 (java) S 20124 20127 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27960576 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017530153064 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20139] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20139/stat : 20139 (java) S 20124 20127 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017529099384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20140] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20140/stat : 20140 (java) S 20124 20127 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017528046728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20141] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20141/stat : 20141 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017526995472 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20142] ppid=20124 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/20127/task/20142/stat : 20142 (java) S 20124 20127 19053 0 -1 4202560 1703 0 0 0 30 0 0 0 20 0 19 0 27960579 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017525942840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20143] ppid=20124 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/20127/task/20143/stat : 20143 (java) S 20124 20127 19053 0 -1 4202560 3678 0 0 0 38 1 0 0 20 0 19 0 27960579 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017524890296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20144] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20144/stat : 20144 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017523837944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20145] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20145/stat : 20145 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017522785608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20146] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20146/stat : 20146 (java) S 20124 20127 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27960614 9856040960 14755 33554432000 1073741824 1073778376 140733724896112 140017521632040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.05 2.17 2.17 3/213 20146
/proc/meminfo: memFree=30017316/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 9085 0 1 0 381 3 0 0 20 0 19 0 27960573 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2406260 15779 2270 9 0 2396937 0
[pid=20127/tid=20129] ppid=20124 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/20127/task/20129/stat : 20129 (java) R 20124 20127 19053 0 -1 4202560 2426 0 1 0 304 2 0 0 20 0 19 0 27960574 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140018042568400 140017897367783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20130] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20130/stat : 20130 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017885817000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20131] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20131/stat : 20131 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017884764456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20132] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20132/stat : 20132 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017883711912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20133] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20133/stat : 20133 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017882659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20134] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20134/stat : 20134 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017881606824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20135] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20135/stat : 20135 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017544457000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20136] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20136/stat : 20136 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017543404456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20137] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20137/stat : 20137 (java) S 20124 20127 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017542351912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20138] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20138/stat : 20138 (java) S 20124 20127 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27960576 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017530153064 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20139] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20139/stat : 20139 (java) S 20124 20127 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017529099384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20140] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20140/stat : 20140 (java) S 20124 20127 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017528046728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20141] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20141/stat : 20141 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017526995472 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20142] ppid=20124 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/20127/task/20142/stat : 20142 (java) S 20124 20127 19053 0 -1 4202560 1703 0 0 0 32 0 0 0 20 0 19 0 27960579 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017525942840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20143] ppid=20124 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/20127/task/20143/stat : 20143 (java) S 20124 20127 19053 0 -1 4202560 3678 0 0 0 40 2 0 0 20 0 19 0 27960579 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017524890296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20144] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20144/stat : 20144 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017523837944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20145] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20145/stat : 20145 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017522785608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20146] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20146/stat : 20146 (java) S 20124 20127 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27960614 9856040960 15779 33554432000 1073741824 1073778376 140733724896112 140017521632040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.13 2.19 2.17 4/213 20146
/proc/meminfo: memFree=30011540/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9625040 CPUtime=7.06 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 9122 0 1 0 703 3 0 0 20 0 19 0 27960573 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2406260 17096 2271 9 0 2396937 0
[pid=20127/tid=20129] ppid=20124 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/20127/task/20129/stat : 20129 (java) R 20124 20127 19053 0 -1 4202560 2430 0 1 0 624 2 0 0 20 0 19 0 27960574 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140018042568384 140017897417144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20130] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20130/stat : 20130 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017885817000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20131] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20131/stat : 20131 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017884764456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20132] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20132/stat : 20132 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017883711912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20133] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20133/stat : 20133 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017882659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20134] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20134/stat : 20134 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017881606824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20135] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20135/stat : 20135 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017544457000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20136] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20136/stat : 20136 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017543404456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20137] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20137/stat : 20137 (java) S 20124 20127 19053 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27960575 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017542351912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20138] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20138/stat : 20138 (java) S 20124 20127 19053 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 27960576 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017530153064 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20139] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20139/stat : 20139 (java) S 20124 20127 19053 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017529099384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20140] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20140/stat : 20140 (java) S 20124 20127 19053 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017528046728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20141] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20141/stat : 20141 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017526995472 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20142] ppid=20124 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/20127/task/20142/stat : 20142 (java) S 20124 20127 19053 0 -1 4202560 1735 0 0 0 34 0 0 0 20 0 19 0 27960579 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017525942840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20143] ppid=20124 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/20127/task/20143/stat : 20143 (java) S 20124 20127 19053 0 -1 4202560 3678 0 0 0 41 2 0 0 20 0 19 0 27960579 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017524890296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20144] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20144/stat : 20144 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017523837944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20145] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20145/stat : 20145 (java) S 20124 20127 19053 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017522785608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20146] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20146/stat : 20146 (java) S 20124 20127 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27960614 9856040960 17096 33554432000 1073741824 1073778376 140733724896112 140017521632040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 9625040


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

[pid=20127/tid=20139] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20139/stat : 20139 (java) S 20124 20127 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017529099384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20140] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20140/stat : 20140 (java) S 20124 20127 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017528046728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20141] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20141/stat : 20141 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017526995472 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20142] ppid=20124 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/20127/task/20142/stat : 20142 (java) S 20124 20127 19053 0 -1 4202560 2155 0 0 0 38 0 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017525942840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20143] ppid=20124 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/20127/task/20143/stat : 20143 (java) S 20124 20127 19053 0 -1 4202560 3678 0 0 0 41 2 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017524890296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20144] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20144/stat : 20144 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017523837944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20145] ppid=20124 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/20127/task/20145/stat : 20145 (java) S 20124 20127 19053 0 -1 4202560 96 0 0 0 33 37 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017522785608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20146] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20146/stat : 20146 (java) S 20124 20127 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27960614 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017521632040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1664.47
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.29 2.22 2.18 4/213 20277
/proc/meminfo: memFree=29708180/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9625040 CPUtime=1724.47 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 11291 0 1 0 172390 57 0 0 20 0 19 0 27960573 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2406260 97453 2285 9 0 2396937 0
[pid=20127/tid=20129] ppid=20124 vsize=9625040 CPUtime=1721.8 cores=0,2,4,6
/proc/20127/task/20129/stat : 20129 (java) R 20124 20127 19053 0 -1 4202560 2489 0 1 0 172151 29 0 0 20 0 19 0 27960574 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140018042568480 140017897367763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20130] ppid=20124 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/20127/task/20130/stat : 20130 (java) S 20124 20127 19053 0 -1 4202560 284 0 0 0 17 4 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017885817000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20131] ppid=20124 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20127/task/20131/stat : 20131 (java) S 20124 20127 19053 0 -1 4202560 233 0 0 0 12 2 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017884764456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20132] ppid=20124 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/20127/task/20132/stat : 20132 (java) S 20124 20127 19053 0 -1 4202560 276 0 0 0 13 3 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017883711912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20133] ppid=20124 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/20127/task/20133/stat : 20133 (java) S 20124 20127 19053 0 -1 4202560 134 0 0 0 17 3 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017882659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20134] ppid=20124 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/20127/task/20134/stat : 20134 (java) S 20124 20127 19053 0 -1 4202560 32 0 0 0 9 2 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017881606824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20135] ppid=20124 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20127/task/20135/stat : 20135 (java) S 20124 20127 19053 0 -1 4202560 259 0 0 0 18 4 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017544457000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20136] ppid=20124 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/20127/task/20136/stat : 20136 (java) S 20124 20127 19053 0 -1 4202560 194 0 0 0 10 2 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017543404456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20137] ppid=20124 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20127/task/20137/stat : 20137 (java) S 20124 20127 19053 0 -1 4202560 126 0 0 0 20 4 0 0 20 0 19 0 27960575 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017542351912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20138] ppid=20124 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/20127/task/20138/stat : 20138 (java) S 20124 20127 19053 0 -1 4202560 67 0 0 0 0 2 0 0 20 0 19 0 27960576 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017530153064 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20139] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20139/stat : 20139 (java) S 20124 20127 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017529099384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20140] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20140/stat : 20140 (java) S 20124 20127 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017528046728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20141] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20141/stat : 20141 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017526995472 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20142] ppid=20124 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/20127/task/20142/stat : 20142 (java) S 20124 20127 19053 0 -1 4202560 2155 0 0 0 38 0 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017525942840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20143] ppid=20124 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/20127/task/20143/stat : 20143 (java) S 20124 20127 19053 0 -1 4202560 3678 0 0 0 41 2 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017524890296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20144] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20144/stat : 20144 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017523837944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20145] ppid=20124 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/20127/task/20145/stat : 20145 (java) S 20124 20127 19053 0 -1 4202560 100 0 0 0 35 38 0 0 20 0 19 0 27960579 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017522785608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20146] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20146/stat : 20146 (java) S 20124 20127 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27960614 9856040960 97453 33554432000 1073741824 1073778376 140733724896112 140017521632040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1724.47
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/213 20279
/proc/meminfo: memFree=29698536/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9625040 CPUtime=1784.58 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 11314 0 1 0 178400 58 0 0 20 0 19 0 27960573 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2406260 99339 2285 9 0 2396937 0
[pid=20127/tid=20129] ppid=20124 vsize=9625040 CPUtime=1781.76 cores=0,2,4,6
/proc/20127/task/20129/stat : 20129 (java) R 20124 20127 19053 0 -1 4202560 2490 0 1 0 178146 30 0 0 20 0 19 0 27960574 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140018042568480 140017897415651 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20130] ppid=20124 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20127/task/20130/stat : 20130 (java) S 20124 20127 19053 0 -1 4202560 285 0 0 0 18 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017885817000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20131] ppid=20124 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/20127/task/20131/stat : 20131 (java) S 20124 20127 19053 0 -1 4202560 237 0 0 0 15 3 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017884764456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20132] ppid=20124 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20127/task/20132/stat : 20132 (java) S 20124 20127 19053 0 -1 4202560 276 0 0 0 13 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017883711912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20133] ppid=20124 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/20127/task/20133/stat : 20133 (java) S 20124 20127 19053 0 -1 4202560 135 0 0 0 17 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017882659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20134] ppid=20124 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/20127/task/20134/stat : 20134 (java) S 20124 20127 19053 0 -1 4202560 35 0 0 0 13 2 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017881606824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20135] ppid=20124 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20127/task/20135/stat : 20135 (java) S 20124 20127 19053 0 -1 4202560 263 0 0 0 20 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017544457000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20136] ppid=20124 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20127/task/20136/stat : 20136 (java) S 20124 20127 19053 0 -1 4202560 195 0 0 0 12 2 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017543404456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20137] ppid=20124 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20127/task/20137/stat : 20137 (java) S 20124 20127 19053 0 -1 4202560 128 0 0 0 20 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017542351912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20138] ppid=20124 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/20127/task/20138/stat : 20138 (java) S 20124 20127 19053 0 -1 4202560 69 0 0 0 0 2 0 0 20 0 19 0 27960576 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017530153064 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20139] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20139/stat : 20139 (java) S 20124 20127 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017529099384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20140] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20140/stat : 20140 (java) S 20124 20127 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017528046728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20141] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20141/stat : 20141 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017526995472 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20142] ppid=20124 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/20127/task/20142/stat : 20142 (java) S 20124 20127 19053 0 -1 4202560 2155 0 0 0 38 0 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017525942840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20143] ppid=20124 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/20127/task/20143/stat : 20143 (java) S 20124 20127 19053 0 -1 4202560 3678 0 0 0 41 2 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017524890296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20144] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20144/stat : 20144 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017523837944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20145] ppid=20124 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/20127/task/20145/stat : 20145 (java) S 20124 20127 19053 0 -1 4202560 104 0 0 0 36 39 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017522785608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20146] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20146/stat : 20146 (java) S 20124 20127 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27960614 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017521632040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.8 s]
/proc/loadavg: 2.25 2.21 2.18 3/213 20279
/proc/meminfo: memFree=29686380/32872528 swapFree=1643088/1798432
[pid=20127] ppid=20124 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/20127/stat : 20127 (java) S 20124 20127 19053 0 -1 4202496 11314 0 1 0 179950 59 0 0 20 0 19 0 27960573 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140733724887248 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20127/statm: 2406260 99339 2285 9 0 2396937 0
[pid=20127/tid=20129] ppid=20124 vsize=9625040 CPUtime=1797.26 cores=0,2,4,6
/proc/20127/task/20129/stat : 20129 (java) R 20124 20127 19053 0 -1 4202560 2490 0 1 0 179696 30 0 0 20 0 19 0 27960574 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140018042568480 140017897415651 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20127/tid=20130] ppid=20124 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/20127/task/20130/stat : 20130 (java) S 20124 20127 19053 0 -1 4202560 285 0 0 0 18 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017885817000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20131] ppid=20124 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/20127/task/20131/stat : 20131 (java) S 20124 20127 19053 0 -1 4202560 237 0 0 0 15 3 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017884764456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20132] ppid=20124 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/20127/task/20132/stat : 20132 (java) S 20124 20127 19053 0 -1 4202560 276 0 0 0 13 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017883711912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20133] ppid=20124 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/20127/task/20133/stat : 20133 (java) S 20124 20127 19053 0 -1 4202560 135 0 0 0 17 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017882659368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20134] ppid=20124 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/20127/task/20134/stat : 20134 (java) S 20124 20127 19053 0 -1 4202560 35 0 0 0 13 2 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017881606824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20135] ppid=20124 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20127/task/20135/stat : 20135 (java) S 20124 20127 19053 0 -1 4202560 263 0 0 0 20 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017544457000 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20136] ppid=20124 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/20127/task/20136/stat : 20136 (java) S 20124 20127 19053 0 -1 4202560 195 0 0 0 12 2 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017543404456 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20137] ppid=20124 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/20127/task/20137/stat : 20137 (java) S 20124 20127 19053 0 -1 4202560 128 0 0 0 20 4 0 0 20 0 19 0 27960575 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017542351912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20138] ppid=20124 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/20127/task/20138/stat : 20138 (java) S 20124 20127 19053 0 -1 4202560 69 0 0 0 0 2 0 0 20 0 19 0 27960576 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017530153064 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20139] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20139/stat : 20139 (java) S 20124 20127 19053 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017529099384 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20140] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20140/stat : 20140 (java) S 20124 20127 19053 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27960577 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017528046728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20141] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20141/stat : 20141 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017526995472 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20142] ppid=20124 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/20127/task/20142/stat : 20142 (java) S 20124 20127 19053 0 -1 4202560 2155 0 0 0 38 0 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017525942840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20127/tid=20143] ppid=20124 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/20127/task/20143/stat : 20143 (java) S 20124 20127 19053 0 -1 4202560 3678 0 0 0 41 2 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017524890296 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20144] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20144/stat : 20144 (java) S 20124 20127 19053 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017523837944 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20127/tid=20145] ppid=20124 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/20127/task/20145/stat : 20145 (java) S 20124 20127 19053 0 -1 4202560 104 0 0 0 37 40 0 0 20 0 19 0 27960579 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017522785608 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20127/tid=20146] ppid=20124 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/20127/task/20146/stat : 20146 (java) S 20124 20127 19053 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 27960614 9856040960 99339 33554432000 1073741824 1073778376 140733724896112 140017521632040 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 20127 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.84
CPU time (s): 1800.72
CPU user time (s): 1799.57
CPU system time (s): 1.15282
CPU usage (%): 100.16
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 1.15282
maximum resident set size= 400056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11348
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38449
involuntary context switches= 3371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.48256 second user time and 14.5028 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-26 15:53:35
IDJOB=4116369
IDBENCH=109461
IDSOLVER=2546
FILE ID=node123/4116369-1466949215
RUNJOBID= node123-1466943595-19069
PBS_JOBID= 19976352
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116369-1466949215/watcher-4116369-1466949215 -o /tmp/evaluation-result-4116369-1466949215/solver-4116369-1466949215 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466943595-19069 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116369-1466949215.opb

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

MD5SUM BENCH= 780437ed0e71daaaf2a36769892802b4
RANDOM SEED=1467740825

node123.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.608
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
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.608
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.608
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.608
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.56
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.608
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.608
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.56
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.608
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.608
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:        30091052 kB
Buffers:           10796 kB
Cached:           108156 kB
SwapCached:         1776 kB
Active:           185256 kB
Inactive:          95744 kB
Active(anon):     163652 kB
Inactive(anon):      924 kB
Active(file):      21604 kB
Inactive(file):    94820 kB
Unevictable:     1798432 kB
Mlocked:         1643088 kB
SwapTotal:      67108856 kB
SwapFree:       67098700 kB
Dirty:              1164 kB
Writeback:             0 kB
AnonPages:       1964188 kB
Mapped:            15460 kB
Shmem:                 0 kB
Slab:             565228 kB
SReclaimable:       9100 kB
SUnreclaim:       556128 kB
KernelStack:        1664 kB
PageTables:         8232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2487272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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= 71728 MiB
End job on node123 at 2016-06-26 16:23:33