Trace number 4100021

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.02 1772.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
MD5SUMc8eb834e0a7928e8a3e340a1c0512bdc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.06199
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7812
Biggest coefficient in the objective function 1825
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 530518
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 530518
Number of bits of the biggest sum of numbers20
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.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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4100021-1466209711.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.52/0.39	c ... done. Wall clock time 0.282s.
0.52/0.39	c declared #vars     7812
0.52/0.39	c #constraints  318
0.52/0.39	c constraints type 
0.52/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
0.52/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 292
0.52/0.39	c 318 constraints processed.
0.52/0.39	c objective function length is 7812 literals
1.97/1.11	c cleaning 2497 clauses out of 5002 with flag 26078/5002
2.63/1.77	c cleaning 4240 clauses out of 8503 with flag 63249/11000
3.42/2.59	c cleaning 5620 clauses out of 11263 with flag 103735/18000
4.43/3.52	c cleaning 6808 clauses out of 13651 with flag 150493/26008
5.54/4.60	c cleaning 7911 clauses out of 15835 with flag 230029/35000
6.90/5.95	c cleaning 8938 clauses out of 17924 with flag 329083/45000
8.40/7.47	c cleaning 9983 clauses out of 19986 with flag 428045/56000
10.20/9.24	c cleaning 10972 clauses out of 22003 with flag 531004/68000
12.01/11.06	c cleaning 12009 clauses out of 24031 with flag 659240/81000
14.19/13.19	c cleaning 13009 clauses out of 26035 with flag 826525/95013
16.50/15.42	c cleaning 13997 clauses out of 28020 with flag 968513/110007
19.25/18.09	c cleaning 14999 clauses out of 30016 with flag 1141835/126000
21.85/20.68	c cleaning 15985 clauses out of 32020 with flag 1302098/143003
25.17/23.86	c cleaning 17001 clauses out of 34032 with flag 1539241/161000
28.49/27.15	c cleaning 17927 clauses out of 36031 with flag 1793609/180000
31.89/30.57	c cleaning 18977 clauses out of 38104 with flag 2090059/200000
35.63/34.18	c cleaning 19980 clauses out of 40132 with flag 2344658/221005
39.88/38.22	c cleaning 21069 clauses out of 42147 with flag 2688485/243000
44.08/42.42	c cleaning 21992 clauses out of 44080 with flag 3027934/266002
48.44/46.62	c cleaning 23026 clauses out of 46086 with flag 3388717/290000
53.22/51.22	c cleaning 23993 clauses out of 48060 with flag 3742285/315000
58.30/56.17	c cleaning 24975 clauses out of 50067 with flag 4126810/341000
63.46/61.25	c cleaning 25985 clauses out of 52092 with flag 4472559/368000
69.25/66.99	c cleaning 27039 clauses out of 54107 with flag 4879248/396000
75.21/72.88	c cleaning 28034 clauses out of 56076 with flag 5328243/425008
81.76/79.35	c cleaning 28982 clauses out of 58034 with flag 5770743/455000
88.90/86.37	c cleaning 29981 clauses out of 60054 with flag 6229414/486002
95.80/93.13	c cleaning 31018 clauses out of 62071 with flag 6699955/518000
102.82/100.04	c cleaning 31969 clauses out of 64053 with flag 7185553/551000
109.77/106.91	c cleaning 32991 clauses out of 66084 with flag 7655523/585000
117.26/114.32	c cleaning 34012 clauses out of 68094 with flag 8176272/620001
124.97/121.94	c cleaning 35013 clauses out of 70081 with flag 8710240/656000
132.76/129.67	c cleaning 35976 clauses out of 72068 with flag 9273211/693000
141.49/138.25	c cleaning 37042 clauses out of 74095 with flag 9957060/731003
149.95/146.50	c cleaning 37953 clauses out of 76051 with flag 10615941/770001
158.57/155.01	c cleaning 39014 clauses out of 78097 with flag 11331702/810000
167.54/163.87	c cleaning 40025 clauses out of 80083 with flag 12058136/851000
176.78/172.92	c cleaning 41001 clauses out of 82058 with flag 12725191/893000
186.51/182.58	c cleaning 42004 clauses out of 84058 with flag 13494415/936001
196.46/192.38	c cleaning 42988 clauses out of 86053 with flag 14210305/980000
206.80/202.57	c cleaning 44008 clauses out of 88066 with flag 15025047/1025001
217.45/213.06	c cleaning 44951 clauses out of 90057 with flag 15850633/1071000
228.46/223.84	c cleaning 46003 clauses out of 92106 with flag 16688164/1118000
239.95/235.12	c cleaning 47041 clauses out of 94103 with flag 17583634/1166000
252.87/247.91	c cleaning 48026 clauses out of 96062 with flag 18535850/1215000
265.25/260.01	c cleaning 48937 clauses out of 98036 with flag 19454144/1265000
276.46/271.00	c cleaning 50019 clauses out of 100099 with flag 20311244/1316000
290.47/284.95	c cleaning 51006 clauses out of 102080 with flag 21367772/1368000
304.36/298.63	c cleaning 52037 clauses out of 104074 with flag 22346223/1421000
318.06/312.10	c cleaning 52943 clauses out of 106038 with flag 23295632/1475001
332.65/326.51	c cleaning 53978 clauses out of 108099 with flag 24377467/1530005
347.75/341.42	c cleaning 55017 clauses out of 110116 with flag 25536153/1586000
363.97/357.49	c cleaning 56015 clauses out of 112099 with flag 26776769/1643000
379.24/372.46	c cleaning 56982 clauses out of 114084 with flag 27845241/1701000
396.37/389.32	c cleaning 58037 clauses out of 116102 with flag 29099430/1760000
414.38/407.02	c cleaning 59001 clauses out of 118065 with flag 30316965/1820000
430.92/423.36	c cleaning 60010 clauses out of 120064 with flag 31450685/1881000
448.87/441.08	c cleaning 60988 clauses out of 122054 with flag 32684666/1943000
466.11/457.97	c cleaning 62015 clauses out of 124066 with flag 33861025/2006000
487.47/479.05	c cleaning 62979 clauses out of 126051 with flag 35281385/2070000
508.31/499.51	c cleaning 64029 clauses out of 128072 with flag 36813964/2135000
526.20/517.13	c cleaning 64979 clauses out of 130043 with flag 38313699/2201000
545.52/536.24	c cleaning 65989 clauses out of 132064 with flag 39605747/2268000
564.46/554.90	c cleaning 67000 clauses out of 134075 with flag 40951351/2336000
585.76/575.81	c cleaning 68029 clauses out of 136075 with flag 42404065/2405000
606.79/596.59	c cleaning 69003 clauses out of 138049 with flag 43925733/2475003
630.44/619.83	c cleaning 69863 clauses out of 140043 with flag 45687769/2546000
655.75/644.83	c cleaning 71069 clauses out of 142181 with flag 47464454/2618001
676.82/665.54	c cleaning 72002 clauses out of 144111 with flag 48992353/2691000
700.74/689.05	c cleaning 73014 clauses out of 146109 with flag 50667481/2765000
724.90/712.90	c cleaning 74048 clauses out of 148096 with flag 52341037/2840001
749.27/736.85	c cleaning 74988 clauses out of 150047 with flag 54122649/2916000
774.69/761.88	c cleaning 75943 clauses out of 152059 with flag 55954335/2993000
801.73/788.55	c cleaning 77027 clauses out of 154116 with flag 57968840/3071000
827.36/813.75	c cleaning 77981 clauses out of 156098 with flag 59774340/3150009
854.01/839.98	c cleaning 79030 clauses out of 158108 with flag 61690658/3230000
882.38/867.88	c cleaning 80025 clauses out of 160079 with flag 63730445/3311001
910.40/895.56	c cleaning 81011 clauses out of 162053 with flag 65690810/3393000
940.01/924.84	c cleaning 82011 clauses out of 164042 with flag 67877463/3476000
968.73/953.28	c cleaning 82959 clauses out of 166031 with flag 69876406/3560000
999.18/983.38	c cleaning 83970 clauses out of 168072 with flag 72080221/3645000
1030.52/1014.22	c cleaning 85025 clauses out of 170103 with flag 74333921/3731001
1063.46/1046.63	c cleaning 85978 clauses out of 172077 with flag 76678149/3818000
1096.22/1078.93	c cleaning 87040 clauses out of 174100 with flag 79021948/3906001
1128.76/1111.00	c cleaning 87985 clauses out of 176059 with flag 81417827/3995000
1156.23/1137.95	c cleaning 89025 clauses out of 178074 with flag 83374284/4085000
1189.66/1170.83	c cleaning 90012 clauses out of 180049 with flag 85662724/4176000
1224.23/1204.83	c cleaning 90968 clauses out of 182043 with flag 88221682/4268006
1255.48/1235.61	c cleaning 91955 clauses out of 184069 with flag 90437501/4361000
1287.04/1266.70	c cleaning 93019 clauses out of 186114 with flag 92688858/4455000
1322.48/1301.66	c cleaning 93962 clauses out of 188095 with flag 95251479/4550000
1360.71/1339.32	c cleaning 95034 clauses out of 190137 with flag 97764900/4646004
1397.34/1375.45	c cleaning 96047 clauses out of 192099 with flag 100501402/4743000
1433.27/1410.74	c cleaning 96982 clauses out of 194052 with flag 102968164/4841000
1470.22/1447.16	c cleaning 97992 clauses out of 196071 with flag 105559989/4940001
1505.90/1482.29	c cleaning 98994 clauses out of 198078 with flag 108004263/5040000
1544.04/1519.72	c cleaning 99985 clauses out of 200086 with flag 110855514/5141002
1581.29/1556.59	c cleaning 101040 clauses out of 202100 with flag 113647282/5243001
1622.33/1596.92	c cleaning 102019 clauses out of 204059 with flag 116230687/5346000
1662.25/1636.31	c cleaning 103022 clauses out of 206044 with flag 119016418/5450004
1700.02/1673.41	c cleaning 103990 clauses out of 208018 with flag 121718824/5555000
1743.80/1716.54	c cleaning 104988 clauses out of 210028 with flag 124602919/5661000
1784.27/1756.55	c cleaning 105959 clauses out of 212040 with flag 127619646/5768000
1800.02/1772.00	c starts		: 27932
1800.02/1772.00	c conflicts		: 5817024
1800.02/1772.00	c decisions		: 81310964
1800.02/1772.00	c propagations		: 507931561
1800.02/1772.00	c inspects		: 18146112978
1800.02/1772.00	c shortcuts		: 0
1800.02/1772.00	c learnt literals	: 0
1800.02/1772.00	c learnt binary clauses	: 0
1800.02/1772.00	c learnt ternary clauses	: 0
1800.02/1772.00	c learnt constraints	: 5817024
1800.02/1772.00	c ignored constraints	: 0
1800.02/1772.00	c root simplifications	: 0
1800.02/1772.00	c removed literals (reason simplification)	: 0
1800.02/1772.00	c reason swapping (by a shorter reason)	: 0
1800.02/1772.00	c Calls to reduceDB	: 103
1800.02/1772.00	c Number of update (reduction) of LBD	: 3977140
1800.02/1772.00	c Imported unit clauses	: 0
1800.02/1772.00	c number of reductions to clauses (during analyze)	: 0
1800.02/1772.00	c number of learned constraints concerned by reduction	: 0
1800.02/1772.00	c number of learning phase by resolution	: 0
1800.02/1772.00	c number of learning phase by cutting planes	: 0
1800.02/1772.00	c speed (assignments/second)	: 286712.18911103293
1800.02/1772.00	c non guided choices	4239
1800.02/1772.00	c timeout
1800.02/1772.03	c learnt constraints type 
1800.02/1772.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155106
1800.02/1772.03	s UNKNOWN
1800.02/1772.03	c Total wall clock time (in seconds): 1771.919

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-4100021-1466209711/watcher-4100021-1466209711 -o /tmp/evaluation-result-4100021-1466209711/solver-4100021-1466209711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22954 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100021-1466209711.opb 

pid=25907
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.23 2.18 3/194 25910
/proc/meminfo: memFree=27208936/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25910/stat : 25910 (java) R 25907 25910 22937 0 -1 4202496 492 0 0 0 0 0 0 0 20 0 1 0 23016314 9515008 146 33554432000 1073741824 1073778376 140734246718288 140734246715416 213419260160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2323 150 110 9 0 71 0

[startup+0.10011 s]
/proc/loadavg: 2.15 2.23 2.18 3/194 25910
/proc/meminfo: memFree=27208936/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 23016314 9787879424 6024 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2389619 6024 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200284 s]
/proc/loadavg: 2.15 2.23 2.18 3/194 25910
/proc/meminfo: memFree=27208936/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 4988 0 1 0 28 2 0 0 20 0 18 0 23016314 9787879424 6982 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2389619 6982 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300307 s]
/proc/loadavg: 2.15 2.23 2.18 3/194 25910
/proc/meminfo: memFree=27208936/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 8513 0 1 0 50 2 0 0 20 0 18 0 23016314 9787879424 11279 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2389619 11280 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700247 s]
/proc/loadavg: 2.15 2.23 2.18 3/194 25910
/proc/meminfo: memFree=27208936/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 11034 0 1 0 143 3 0 0 20 0 19 0 23016314 9856040960 16518 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2406260 16518 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.15 2.23 2.18 3/213 25929
/proc/meminfo: memFree=27142448/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 11466 0 1 0 236 3 0 0 20 0 19 0 23016314 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2406260 20623 2265 9 0 2396937 0
[pid=25910/tid=25912] ppid=25907 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/25910/task/25912/stat : 25912 (java) R 25907 25910 22937 0 -1 4202560 2423 0 1 0 144 2 0 0 20 0 19 0 23016315 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555173818064 140555036778032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25913] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25913/stat : 25913 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555162888488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25914] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25914/stat : 25914 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555161835688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25915] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25915/stat : 25915 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555160783400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25916] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25916/stat : 25916 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555159730600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25917] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25917/stat : 25917 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555158678312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25918] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25918/stat : 25918 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555157625512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25919] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25919/stat : 25919 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555156573224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25920] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25920/stat : 25920 (java) S 25907 25910 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140555155520424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25921] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25921/stat : 25921 (java) S 25907 25910 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554997410024 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25922] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25922/stat : 25922 (java) S 25907 25910 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554996356088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25923] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25923/stat : 25923 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554995303688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25924] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25924/stat : 25924 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554994252176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25925] ppid=25907 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/25910/task/25925/stat : 25925 (java) S 25907 25910 22937 0 -1 4202560 3759 0 0 0 41 0 0 0 20 0 19 0 23016320 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554993199800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25926] ppid=25907 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/25910/task/25926/stat : 25926 (java) S 25907 25910 22937 0 -1 4202560 4012 0 0 0 46 0 0 0 20 0 19 0 23016320 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554992147000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25927] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25927/stat : 25927 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554991094904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25928] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25928/stat : 25928 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554990042312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25929] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25929/stat : 25929 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016357 9856040960 20623 33554432000 1073741824 1073778376 140734246718288 140554988987304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.15 2.23 2.18 4/212 25994
/proc/meminfo: memFree=30321308/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 11484 0 1 0 399 4 0 0 20 0 19 0 23016314 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2406260 29327 2265 9 0 2396937 0
[pid=25910/tid=25912] ppid=25907 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/25910/task/25912/stat : 25912 (java) R 25907 25910 22937 0 -1 4202560 2441 0 1 0 303 2 0 0 20 0 19 0 23016315 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555173826688 140555036837843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25913] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25913/stat : 25913 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555162888488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25914] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25914/stat : 25914 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555161835688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25915] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25915/stat : 25915 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555160783400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25916] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25916/stat : 25916 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555159730600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25917] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25917/stat : 25917 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555158678312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25918] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25918/stat : 25918 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555157625512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25919] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25919/stat : 25919 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555156573224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25920] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25920/stat : 25920 (java) S 25907 25910 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140555155520424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25921] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25921/stat : 25921 (java) S 25907 25910 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554997410024 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25922] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25922/stat : 25922 (java) S 25907 25910 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554996356088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25923] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25923/stat : 25923 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554995303688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25924] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25924/stat : 25924 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554994252176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25925] ppid=25907 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/25910/task/25925/stat : 25925 (java) S 25907 25910 22937 0 -1 4202560 3759 0 0 0 44 0 0 0 20 0 19 0 23016320 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554993199800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25926] ppid=25907 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/25910/task/25926/stat : 25926 (java) S 25907 25910 22937 0 -1 4202560 4012 0 0 0 48 0 0 0 20 0 19 0 23016320 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554992147000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25927] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25927/stat : 25927 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554991094904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25928] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25928/stat : 25928 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554990042312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25929] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25929/stat : 25929 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016357 9856040960 29327 33554432000 1073741824 1073778376 140734246718288 140554988987304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.14 2.23 2.18 4/213 25995
/proc/meminfo: memFree=30133340/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9625040 CPUtime=7.3 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 11578 0 1 0 723 7 0 0 20 0 19 0 23016314 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2406260 47218 2279 9 0 2396937 0
[pid=25910/tid=25912] ppid=25907 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/25910/task/25912/stat : 25912 (java) R 25907 25910 22937 0 -1 4202560 2470 0 1 0 619 3 0 0 20 0 19 0 23016315 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555173818048 140555036885225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25913] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25913/stat : 25913 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555162888488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25914] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25914/stat : 25914 (java) S 25907 25910 22937 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555161835688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25915] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25915/stat : 25915 (java) S 25907 25910 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555160783400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25916] ppid=25907 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25910/task/25916/stat : 25916 (java) S 25907 25910 22937 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555159730600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25917] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25917/stat : 25917 (java) S 25907 25910 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555158678312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25918] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25918/stat : 25918 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555157625512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25919] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25919/stat : 25919 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555156573224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25920] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25920/stat : 25920 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016316 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140555155520424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25921] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25921/stat : 25921 (java) S 25907 25910 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554997410024 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25922] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25922/stat : 25922 (java) S 25907 25910 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554996356088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25923] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25923/stat : 25923 (java) S 25907 25910 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554995303688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25924] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25924/stat : 25924 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554994252176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25925] ppid=25907 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/25910/task/25925/stat : 25925 (java) S 25907 25910 22937 0 -1 4202560 3759 0 0 0 46 0 0 0 20 0 19 0 23016320 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554993199800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25926] ppid=25907 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/25910/task/25926/stat : 25926 (java) S 25907 25910 22937 0 -1 4202560 4012 0 0 0 48 0 0 0 20 0 19 0 23016320 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554992147000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25927] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25927/stat : 25927 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554991094904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25928] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25928/stat : 25928 (java) S 25907 25910 22937 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554990042312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25929] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25929/stat : 25929 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016357 9856040960 47218 33554432000 1073741824 1073778376 140734246718288 140554988987304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9625040


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

[pid=25910/tid=25929] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25929/stat : 25929 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016357 9856040960 170141 33554432000 1073741824 1073778376 140734246718288 140554988987304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1627.81
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/213 26037
/proc/meminfo: memFree=29110312/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9625040 CPUtime=1688.7 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 24911 0 1 0 168652 218 0 0 20 0 19 0 23016314 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2406260 167252 2288 9 0 2396937 0
[pid=25910/tid=25912] ppid=25907 vsize=9625040 CPUtime=1642.69 cores=1,3,5,7
/proc/25910/task/25912/stat : 25912 (java) R 25907 25910 22937 0 -1 4202560 2861 0 1 0 164240 29 0 0 20 0 19 0 23016315 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555173825976 140555036830601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25913] ppid=25907 vsize=9625040 CPUtime=4.43 cores=1,3,5,7
/proc/25910/task/25913/stat : 25913 (java) S 25907 25910 22937 0 -1 4202560 1319 0 0 0 420 23 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555162888488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25914] ppid=25907 vsize=9625040 CPUtime=4.52 cores=1,3,5,7
/proc/25910/task/25914/stat : 25914 (java) S 25907 25910 22937 0 -1 4202560 2155 0 0 0 430 22 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555161835688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25915] ppid=25907 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/25910/task/25915/stat : 25915 (java) S 25907 25910 22937 0 -1 4202560 1580 0 0 0 413 22 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555160783400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25916] ppid=25907 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/25910/task/25916/stat : 25916 (java) S 25907 25910 22937 0 -1 4202560 972 0 0 0 403 24 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555159730600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25917] ppid=25907 vsize=9625040 CPUtime=4.42 cores=1,3,5,7
/proc/25910/task/25917/stat : 25917 (java) S 25907 25910 22937 0 -1 4202560 1126 0 0 0 419 23 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555158678312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25918] ppid=25907 vsize=9625040 CPUtime=4.59 cores=1,3,5,7
/proc/25910/task/25918/stat : 25918 (java) S 25907 25910 22937 0 -1 4202560 1217 0 0 0 437 22 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555157625512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25919] ppid=25907 vsize=9625040 CPUtime=4.28 cores=1,3,5,7
/proc/25910/task/25919/stat : 25919 (java) S 25907 25910 22937 0 -1 4202560 1234 0 0 0 406 22 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555156573224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25920] ppid=25907 vsize=9625040 CPUtime=4.37 cores=1,3,5,7
/proc/25910/task/25920/stat : 25920 (java) S 25907 25910 22937 0 -1 4202560 1625 0 0 0 417 20 0 0 20 0 19 0 23016316 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140555155520424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25921] ppid=25907 vsize=9625040 CPUtime=5.13 cores=1,3,5,7
/proc/25910/task/25921/stat : 25921 (java) S 25907 25910 22937 0 -1 4202560 1691 0 0 0 506 7 0 0 20 0 19 0 23016317 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554997410024 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25922] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25922/stat : 25922 (java) S 25907 25910 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554996356088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25923] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25923/stat : 25923 (java) S 25907 25910 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554995303688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25924] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25924/stat : 25924 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554994252176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25925] ppid=25907 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25910/task/25925/stat : 25925 (java) S 25907 25910 22937 0 -1 4202560 3765 0 0 0 49 0 0 0 20 0 19 0 23016320 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554993199800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25926] ppid=25907 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/25910/task/25926/stat : 25926 (java) S 25907 25910 22937 0 -1 4202560 4012 0 0 0 48 0 0 0 20 0 19 0 23016320 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554992147000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25927] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25927/stat : 25927 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554991094904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25928] ppid=25907 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/25910/task/25928/stat : 25928 (java) S 25907 25910 22937 0 -1 4202560 96 0 0 0 25 33 0 0 20 0 19 0 23016320 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554990042312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25929] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25929/stat : 25929 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016357 9856040960 167252 33554432000 1073741824 1073778376 140734246718288 140554988987304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1688.7
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/213 26038
/proc/meminfo: memFree=29022812/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9625040 CPUtime=1749.65 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 26500 0 1 0 174735 230 0 0 20 0 19 0 23016314 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2406260 189506 2288 9 0 2396937 0
[pid=25910/tid=25912] ppid=25907 vsize=9625040 CPUtime=1701.98 cores=1,3,5,7
/proc/25910/task/25912/stat : 25912 (java) R 25907 25910 22937 0 -1 4202560 2873 0 1 0 170168 30 0 0 20 0 19 0 23016315 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555173825856 140555036808032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25913] ppid=25907 vsize=9625040 CPUtime=4.59 cores=1,3,5,7
/proc/25910/task/25913/stat : 25913 (java) S 25907 25910 22937 0 -1 4202560 1509 0 0 0 435 24 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555162888488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25914] ppid=25907 vsize=9625040 CPUtime=4.68 cores=1,3,5,7
/proc/25910/task/25914/stat : 25914 (java) S 25907 25910 22937 0 -1 4202560 2212 0 0 0 445 23 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555161835688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25915] ppid=25907 vsize=9625040 CPUtime=4.51 cores=1,3,5,7
/proc/25910/task/25915/stat : 25915 (java) S 25907 25910 22937 0 -1 4202560 1796 0 0 0 427 24 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555160783400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25916] ppid=25907 vsize=9625040 CPUtime=4.44 cores=1,3,5,7
/proc/25910/task/25916/stat : 25916 (java) S 25907 25910 22937 0 -1 4202560 1057 0 0 0 419 25 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555159730600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25917] ppid=25907 vsize=9625040 CPUtime=4.6 cores=1,3,5,7
/proc/25910/task/25917/stat : 25917 (java) S 25907 25910 22937 0 -1 4202560 1296 0 0 0 435 25 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555158678312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25918] ppid=25907 vsize=9625040 CPUtime=4.74 cores=1,3,5,7
/proc/25910/task/25918/stat : 25918 (java) S 25907 25910 22937 0 -1 4202560 1499 0 0 0 451 23 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555157625512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25919] ppid=25907 vsize=9625040 CPUtime=4.46 cores=1,3,5,7
/proc/25910/task/25919/stat : 25919 (java) S 25907 25910 22937 0 -1 4202560 1413 0 0 0 423 23 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555156573224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25920] ppid=25907 vsize=9625040 CPUtime=4.51 cores=1,3,5,7
/proc/25910/task/25920/stat : 25920 (java) S 25907 25910 22937 0 -1 4202560 1911 0 0 0 430 21 0 0 20 0 19 0 23016316 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140555155520424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25921] ppid=25907 vsize=9625040 CPUtime=5.33 cores=1,3,5,7
/proc/25910/task/25921/stat : 25921 (java) S 25907 25910 22937 0 -1 4202560 1799 0 0 0 526 7 0 0 20 0 19 0 23016317 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554997410024 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25922] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25922/stat : 25922 (java) S 25907 25910 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554996356088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25923] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25923/stat : 25923 (java) S 25907 25910 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554995303688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25924] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25924/stat : 25924 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554994252176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25925] ppid=25907 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25910/task/25925/stat : 25925 (java) S 25907 25910 22937 0 -1 4202560 3765 0 0 0 49 0 0 0 20 0 19 0 23016320 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554993199800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25926] ppid=25907 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/25910/task/25926/stat : 25926 (java) S 25907 25910 22937 0 -1 4202560 4012 0 0 0 48 0 0 0 20 0 19 0 23016320 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554992147000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25927] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25927/stat : 25927 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554991094904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25928] ppid=25907 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/25910/task/25928/stat : 25928 (java) S 25907 25910 22937 0 -1 4202560 100 0 0 0 27 34 0 0 20 0 19 0 23016320 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554990042312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25929] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25929/stat : 25929 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016357 9856040960 189506 33554432000 1073741824 1073778376 140734246718288 140554988987304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1749.65
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772 s]
/proc/loadavg: 2.44 2.24 2.19 4/213 26039
/proc/meminfo: memFree=29118876/32872528 swapFree=1400172/1569824
[pid=25910] ppid=25907 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/25910/stat : 25910 (java) S 25907 25910 22937 0 -1 4202496 26599 0 1 0 179765 237 0 0 20 0 19 0 23016314 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140734246709424 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25910/statm: 2406260 164191 2288 9 0 2396937 0
[pid=25910/tid=25912] ppid=25907 vsize=9625040 CPUtime=1751.12 cores=1,3,5,7
/proc/25910/task/25912/stat : 25912 (java) R 25907 25910 22937 0 -1 4202560 2882 0 1 0 175081 31 0 0 20 0 19 0 23016315 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555173825856 140555036808323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25913] ppid=25907 vsize=9625040 CPUtime=4.74 cores=1,3,5,7
/proc/25910/task/25913/stat : 25913 (java) S 25907 25910 22937 0 -1 4202560 1520 0 0 0 449 25 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555162888488 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25914] ppid=25907 vsize=9625040 CPUtime=4.77 cores=1,3,5,7
/proc/25910/task/25914/stat : 25914 (java) S 25907 25910 22937 0 -1 4202560 2219 0 0 0 454 23 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555161835688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25915] ppid=25907 vsize=9625040 CPUtime=4.6 cores=1,3,5,7
/proc/25910/task/25915/stat : 25915 (java) S 25907 25910 22937 0 -1 4202560 1805 0 0 0 435 25 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555160783400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25916] ppid=25907 vsize=9625040 CPUtime=4.56 cores=1,3,5,7
/proc/25910/task/25916/stat : 25916 (java) S 25907 25910 22937 0 -1 4202560 1072 0 0 0 430 26 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555159730600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25917] ppid=25907 vsize=9625040 CPUtime=4.73 cores=1,3,5,7
/proc/25910/task/25917/stat : 25917 (java) S 25907 25910 22937 0 -1 4202560 1305 0 0 0 447 26 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555158678312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25918] ppid=25907 vsize=9625040 CPUtime=4.82 cores=1,3,5,7
/proc/25910/task/25918/stat : 25918 (java) S 25907 25910 22937 0 -1 4202560 1504 0 0 0 458 24 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555157625512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25919] ppid=25907 vsize=9625040 CPUtime=4.6 cores=1,3,5,7
/proc/25910/task/25919/stat : 25919 (java) S 25907 25910 22937 0 -1 4202560 1432 0 0 0 436 24 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555156573224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25920] ppid=25907 vsize=9625040 CPUtime=4.62 cores=1,3,5,7
/proc/25910/task/25920/stat : 25920 (java) S 25907 25910 22937 0 -1 4202560 1920 0 0 0 441 21 0 0 20 0 19 0 23016316 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140555155520424 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25910/tid=25921] ppid=25907 vsize=9625040 CPUtime=5.51 cores=1,3,5,7
/proc/25910/task/25921/stat : 25921 (java) S 25907 25910 22937 0 -1 4202560 1801 0 0 0 544 7 0 0 20 0 19 0 23016317 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554997410024 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25922] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25922/stat : 25922 (java) S 25907 25910 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554996356088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25923] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25923/stat : 25923 (java) S 25907 25910 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23016317 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554995303688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25924] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25924/stat : 25924 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554994252176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25925] ppid=25907 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/25910/task/25925/stat : 25925 (java) S 25907 25910 22937 0 -1 4202560 3765 0 0 0 49 0 0 0 20 0 19 0 23016320 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554993199800 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25910/tid=25926] ppid=25907 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/25910/task/25926/stat : 25926 (java) S 25907 25910 22937 0 -1 4202560 4012 0 0 0 48 0 0 0 20 0 19 0 23016320 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554992147000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25927] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25927/stat : 25927 (java) S 25907 25910 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23016320 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554991094904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25910/tid=25928] ppid=25907 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/25910/task/25928/stat : 25928 (java) S 25907 25910 22937 0 -1 4202560 104 0 0 0 27 35 0 0 20 0 19 0 23016320 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554990042312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25910/tid=25929] ppid=25907 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25910/task/25929/stat : 25929 (java) S 25907 25910 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23016357 9856040960 164191 33554432000 1073741824 1073778376 140734246718288 140554988987304 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 25910 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25910 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=159398
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=822570
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1772.04
CPU time (s): 1800.02
CPU user time (s): 1797.65
CPU system time (s): 2.37
CPU usage (%): 101.579
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.16
system time used= 2.82257
maximum resident set size= 809220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26643
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50416
involuntary context switches= 70826

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70528 second user time and 6.91195 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-18 02:28:31
IDJOB=4100021
IDBENCH=1563
IDSOLVER=2546
FILE ID=node140/4100021-1466209711
RUNJOBID= node140-1466206052-22954
PBS_JOBID= 19918137
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100021-1466209711/watcher-4100021-1466209711 -o /tmp/evaluation-result-4100021-1466209711/solver-4100021-1466209711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22954 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4100021-1466209711.opb

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

MD5SUM BENCH= c8eb834e0a7928e8a3e340a1c0512bdc
RANDOM SEED=1377870000

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27209200 kB
Buffers:           40456 kB
Cached:           127212 kB
SwapCached:         2488 kB
Active:          3263356 kB
Inactive:         118252 kB
Active(anon):    3213976 kB
Inactive(anon):     2608 kB
Active(file):      49380 kB
Inactive(file):   115644 kB
Unevictable:     1569824 kB
Mlocked:         1400172 kB
SwapTotal:      67108856 kB
SwapFree:       67096952 kB
Dirty:              1208 kB
Writeback:             0 kB
AnonPages:       4852184 kB
Mapped:            15380 kB
Shmem:                 0 kB
Slab:             572240 kB
SReclaimable:      16356 kB
SUnreclaim:       555884 kB
KernelStack:        1760 kB
PageTables:        13812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4990300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3411968 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= 71740 MiB
End job on node140 at 2016-06-18 02:58:03