Trace number 4106840

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.05 1776.44

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_2_80.opb
MD5SUM4b0064bdd43b7a445f2334396cfebe4e
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non 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 benchmark0.260959
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12656
Sum of products size (including duplicates)25312
Number of different products6328
Sum of products size12656

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4106840-1466278656.opb
0.10/0.10	c reading problem ... 
0.10/0.11	c  no objective function found
1.07/0.53	c ... done. Wall clock time 0.43s.
1.07/0.53	c declared #vars     1000
1.07/0.53	c internal #vars     7328
1.07/0.53	c #constraints  14159
1.07/0.53	c constraints type 
1.07/0.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6328
1.07/0.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1.07/0.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.07/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1.07/0.53	c 14159 constraints processed.
4.92/2.72	c cleaning 2574 clauses out of 5148 with flag 11035/5148
6.48/4.25	c cleaning 4220 clauses out of 8439 with flag 23125/11013
8.28/6.00	c cleaning 5609 clauses out of 11217 with flag 37644/18011
10.18/7.83	c cleaning 6799 clauses out of 13597 with flag 54442/26000
12.12/9.77	c cleaning 7842 clauses out of 15798 with flag 73381/35000
14.18/11.73	c cleaning 8992 clauses out of 17989 with flag 94940/45033
15.84/13.33	c cleaning 9944 clauses out of 19964 with flag 123996/56000
18.16/15.59	c cleaning 10901 clauses out of 22020 with flag 149933/68000
21.15/18.53	c cleaning 12011 clauses out of 24119 with flag 178075/81000
26.40/23.51	c cleaning 13021 clauses out of 26108 with flag 209392/95000
31.51/28.62	c cleaning 13969 clauses out of 28087 with flag 240868/110000
35.61/32.74	c cleaning 15085 clauses out of 30170 with flag 274452/126052
39.64/36.56	c cleaning 16025 clauses out of 32050 with flag 312570/143017
42.64/39.54	c cleaning 16938 clauses out of 34008 with flag 357572/161000
48.02/44.81	c cleaning 17954 clauses out of 36070 with flag 399272/180000
56.92/53.70	c cleaning 19058 clauses out of 38116 with flag 441131/200000
64.12/60.75	c cleaning 19965 clauses out of 40058 with flag 485240/221000
69.54/66.11	c cleaning 21008 clauses out of 42106 with flag 538059/243013
75.43/71.79	c cleaning 21940 clauses out of 44086 with flag 599702/266001
85.47/81.35	c cleaning 23146 clauses out of 46292 with flag 651205/290147
92.97/88.81	c cleaning 23923 clauses out of 47999 with flag 702972/315000
98.30/93.99	c cleaning 24973 clauses out of 50076 with flag 762920/341000
108.35/103.41	c cleaning 25981 clauses out of 52104 with flag 820271/368001
117.74/112.83	c cleaning 26962 clauses out of 54123 with flag 878964/396001
124.22/119.21	c cleaning 28077 clauses out of 56169 with flag 947258/425009
135.40/130.22	c cleaning 29053 clauses out of 58106 with flag 1010570/455023
145.30/140.10	c cleaning 29960 clauses out of 60031 with flag 1075740/486001
152.78/147.42	c cleaning 30935 clauses out of 62070 with flag 1151359/518000
165.47/160.19	c cleaning 31980 clauses out of 64135 with flag 1221241/551000
174.12/168.42	c cleaning 33000 clauses out of 66155 with flag 1299228/585000
186.81/181.10	c cleaning 34019 clauses out of 68155 with flag 1373366/620000
196.54/190.74	c cleaning 34976 clauses out of 70136 with flag 1451314/656000
210.03/204.24	c cleaning 36043 clauses out of 72160 with flag 1543805/693000
221.75/215.71	c cleaning 36925 clauses out of 74117 with flag 1625342/731000
233.65/227.66	c cleaning 37964 clauses out of 76193 with flag 1722398/770001
244.17/237.94	c cleaning 39006 clauses out of 78228 with flag 1812807/810000
257.97/251.75	c cleaning 40005 clauses out of 80222 with flag 1899625/851000
271.18/264.88	c cleaning 41125 clauses out of 82249 with flag 1995977/893032
282.78/276.49	c cleaning 41910 clauses out of 84092 with flag 2091028/936000
297.04/290.54	c cleaning 43108 clauses out of 86239 with flag 2183705/980057
311.39/304.71	c cleaning 44044 clauses out of 88088 with flag 2285936/1025014
324.19/317.56	c cleaning 44896 clauses out of 90031 with flag 2388669/1071001
337.87/331.10	c cleaning 46042 clauses out of 92134 with flag 2497073/1118000
352.55/345.52	c cleaning 47016 clauses out of 94092 with flag 2605198/1166000
366.44/359.40	c cleaning 47914 clauses out of 96077 with flag 2716010/1215001
380.16/372.95	c cleaning 48960 clauses out of 98163 with flag 2829785/1265001
393.50/386.16	c cleaning 49978 clauses out of 100203 with flag 2954681/1316001
410.14/402.68	c cleaning 51145 clauses out of 102290 with flag 3071772/1368066
426.50/418.77	c cleaning 51946 clauses out of 104080 with flag 3190146/1421001
441.37/433.32	c cleaning 52946 clauses out of 106134 with flag 3319174/1475001
458.29/450.19	c cleaning 54005 clauses out of 108188 with flag 3443741/1530001
474.49/466.18	c cleaning 55006 clauses out of 110183 with flag 3577201/1586001
492.11/483.68	c cleaning 56008 clauses out of 112176 with flag 3703367/1643000
510.28/501.64	c cleaning 57065 clauses out of 114168 with flag 3851790/1701000
527.47/518.76	c cleaning 57963 clauses out of 116103 with flag 3989729/1760000
546.00/537.12	c cleaning 58997 clauses out of 118140 with flag 4132599/1820000
564.60/555.43	c cleaning 59943 clauses out of 120143 with flag 4278277/1881000
584.08/574.72	c cleaning 61078 clauses out of 122200 with flag 4427508/1943000
604.46/595.02	c cleaning 61956 clauses out of 124123 with flag 4577391/2006001
625.68/615.99	c cleaning 62963 clauses out of 126166 with flag 4754692/2070000
646.17/636.25	c cleaning 64039 clauses out of 128204 with flag 4921019/2135001
668.01/657.90	c cleaning 65083 clauses out of 130206 with flag 5085630/2201042
689.99/679.42	c cleaning 65976 clauses out of 132081 with flag 5265336/2268000
713.80/703.18	c cleaning 66973 clauses out of 134111 with flag 5441546/2336006
737.59/726.62	c cleaning 67979 clauses out of 136132 with flag 5648210/2405000
761.88/750.65	c cleaning 68969 clauses out of 138154 with flag 5852593/2475001
783.26/771.75	c cleaning 70035 clauses out of 140185 with flag 6099617/2546001
797.92/786.13	c cleaning 71018 clauses out of 142150 with flag 6371860/2618001
814.41/802.30	c cleaning 71992 clauses out of 144133 with flag 6661067/2691002
839.51/827.13	c cleaning 73034 clauses out of 146139 with flag 6925898/2765000
867.83/854.96	c cleaning 74024 clauses out of 148113 with flag 7167779/2840008
899.19/885.99	c cleaning 74981 clauses out of 150081 with flag 7403432/2916000
932.45/918.84	c cleaning 75926 clauses out of 152101 with flag 7625335/2993001
966.51/952.53	c cleaning 77013 clauses out of 154175 with flag 7839214/3071001
1002.86/988.54	c cleaning 78005 clauses out of 156161 with flag 8049320/3150000
1042.38/1027.70	c cleaning 78967 clauses out of 158157 with flag 8255958/3230001
1081.90/1066.74	c cleaning 80003 clauses out of 160189 with flag 8468402/3311000
1122.64/1107.00	c cleaning 81044 clauses out of 162189 with flag 8681517/3393003
1167.72/1151.51	c cleaning 82070 clauses out of 164179 with flag 8893987/3476037
1213.47/1196.87	c cleaning 82969 clauses out of 166085 with flag 9104747/3560013
1259.08/1242.03	c cleaning 84013 clauses out of 168103 with flag 9308801/3645000
1306.99/1289.20	c cleaning 85039 clauses out of 170128 with flag 9514877/3731038
1357.34/1338.92	c cleaning 85990 clauses out of 172058 with flag 9720997/3818007
1408.98/1390.16	c cleaning 86927 clauses out of 174062 with flag 9932706/3906001
1461.53/1442.18	c cleaning 87931 clauses out of 176134 with flag 10144408/3995000
1515.07/1495.01	c cleaning 88978 clauses out of 178204 with flag 10358885/4085001
1570.40/1549.72	c cleaning 90066 clauses out of 180225 with flag 10573256/4176000
1626.61/1605.22	c cleaning 91055 clauses out of 182159 with flag 10791110/4268000
1688.66/1666.50	c cleaning 91968 clauses out of 184105 with flag 11010473/4361001
1757.68/1734.65	c cleaning 92980 clauses out of 186136 with flag 11223690/4455000
1800.05/1776.40	c starts		: 1
1800.05/1776.40	c conflicts		: 4522699
1800.05/1776.40	c decisions		: 50111438
1800.05/1776.40	c propagations		: 149318161
1800.05/1776.40	c inspects		: 21176925922
1800.05/1776.40	c shortcuts		: 0
1800.05/1776.40	c learnt literals	: 0
1800.05/1776.40	c learnt binary clauses	: 0
1800.05/1776.40	c learnt ternary clauses	: 0
1800.05/1776.40	c learnt constraints	: 4522699
1800.05/1776.40	c ignored constraints	: 0
1800.05/1776.40	c root simplifications	: 0
1800.05/1776.40	c removed literals (reason simplification)	: 0
1800.05/1776.40	c reason swapping (by a shorter reason)	: 0
1800.05/1776.40	c Calls to reduceDB	: 90
1800.05/1776.40	c Number of update (reduction) of LBD	: 501049
1800.05/1776.40	c Imported unit clauses	: 0
1800.05/1776.40	c number of reductions to clauses (during analyze)	: 0
1800.05/1776.40	c number of learned constraints concerned by reduction	: 0
1800.05/1776.40	c number of learning phase by resolution	: 0
1800.05/1776.40	c number of learning phase by cutting planes	: 0
1800.05/1776.40	c speed (assignments/second)	: 84082.1731442794
1800.05/1776.40	c non guided choices	6812
1800.05/1776.41	c timeout
1800.05/1776.43	c learnt constraints type 
1800.05/1776.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 160856
1800.05/1776.43	s UNKNOWN
1800.05/1776.43	c Total wall clock time (in seconds): 1776.326

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-4106840-1466278656/watcher-4106840-1466278656 -o /tmp/evaluation-result-4106840-1466278656/solver-4106840-1466278656 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466275076-15927 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106840-1466278656.opb 

pid=16476
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.27 2.26 2.20 3/196 16479
/proc/meminfo: memFree=29887988/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16479/stat : 16479 (java) R 16476 16479 15910 0 -1 4202496 613 0 0 0 0 0 0 0 20 0 1 0 29912041 23793664 263 33554432000 1073741824 1073778376 140735113693168 140735113682232 273896487489 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 5809 273 213 9 0 128 0

[startup+0.100234 s]
/proc/loadavg: 2.27 2.26 2.20 3/196 16479
/proc/meminfo: memFree=29887988/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 4436 0 1 0 9 1 0 0 20 0 18 0 29912041 9787879424 6066 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2389619 6066 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200323 s]
/proc/loadavg: 2.27 2.26 2.20 3/196 16479
/proc/meminfo: memFree=29887988/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 4706 0 1 0 24 1 0 0 20 0 18 0 29912041 9787879424 6787 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2389619 6787 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300345 s]
/proc/loadavg: 2.27 2.26 2.20 3/196 16479
/proc/meminfo: memFree=29887988/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 5622 0 1 0 45 1 0 0 20 0 18 0 29912041 9787879424 9566 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2389619 9568 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700252 s]
/proc/loadavg: 2.27 2.26 2.20 3/196 16479
/proc/meminfo: memFree=29887988/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 24080 0 1 0 162 5 0 0 20 0 19 0 29912041 9856040960 36052 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2406260 36069 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.27 2.26 2.20 6/215 16498
/proc/meminfo: memFree=29711936/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 40259 0 1 0 358 8 0 0 20 0 19 0 29912041 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2406260 47145 2268 9 0 2396937 0
[pid=16479/tid=16481] ppid=16476 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/16479/task/16481/stat : 16481 (java) R 16476 16479 15910 0 -1 4202560 2448 0 1 0 144 2 0 0 20 0 19 0 29912042 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474593546648 140474439232839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16482] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16482/stat : 16482 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474565998760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16483] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16483/stat : 16483 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474564946216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16484] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16484/stat : 16484 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474563893672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16479/tid=16485] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16485/stat : 16485 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474562841128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16486] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16486/stat : 16486 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474561788584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16487] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16487/stat : 16487 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474560736040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16488] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16488/stat : 16488 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474559683496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16489] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16489/stat : 16489 (java) S 16476 16479 15910 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140474558630952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16490] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16490/stat : 16490 (java) S 16476 16479 15910 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473947629672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16491] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16491/stat : 16491 (java) S 16476 16479 15910 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473946575992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16492] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16492/stat : 16492 (java) S 16476 16479 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473945523336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16493] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16493/stat : 16493 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912046 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473944472080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16494] ppid=16476 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/16479/task/16494/stat : 16494 (java) S 16476 16479 15910 0 -1 4202560 15233 0 0 0 101 3 0 0 20 0 19 0 29912046 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473943419448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16495] ppid=16476 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/16479/task/16495/stat : 16495 (java) S 16476 16479 15910 0 -1 4202560 21301 0 0 0 108 3 0 0 20 0 19 0 29912047 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473942366904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16496] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16496/stat : 16496 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473941314552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16497] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16497/stat : 16497 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473940262216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16498] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16498/stat : 16498 (java) S 16476 16479 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29912096 9856040960 47145 33554432000 1073741824 1073778376 140735113693168 140473939206952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.27 2.26 2.20 3/215 16498
/proc/meminfo: memFree=29703548/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9625040 CPUtime=5.34 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 40314 0 1 0 526 8 0 0 20 0 19 0 29912041 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2406260 51797 2276 9 0 2396937 0
[pid=16479/tid=16481] ppid=16476 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/16479/task/16481/stat : 16481 (java) R 16476 16479 15910 0 -1 4202560 2459 0 1 0 304 2 0 0 20 0 19 0 29912042 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474593537760 140474439254603 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16482] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16482/stat : 16482 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474565998760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16483] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16483/stat : 16483 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474564946216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16484] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16484/stat : 16484 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474563893672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16479/tid=16485] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16485/stat : 16485 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474562841128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16486] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16486/stat : 16486 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474561788584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16487] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16487/stat : 16487 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474560736040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16488] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16488/stat : 16488 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474559683496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16489] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16489/stat : 16489 (java) S 16476 16479 15910 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140474558630952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16490] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16490/stat : 16490 (java) S 16476 16479 15910 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473947629672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16491] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16491/stat : 16491 (java) S 16476 16479 15910 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473946575992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16492] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16492/stat : 16492 (java) S 16476 16479 15910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473945523336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16493] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16493/stat : 16493 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912046 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473944472080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16494] ppid=16476 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/16479/task/16494/stat : 16494 (java) S 16476 16479 15910 0 -1 4202560 15235 0 0 0 103 3 0 0 20 0 19 0 29912046 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473943419448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16495] ppid=16476 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/16479/task/16495/stat : 16495 (java) S 16476 16479 15910 0 -1 4202560 21342 0 0 0 114 3 0 0 20 0 19 0 29912047 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473942366904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16496] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16496/stat : 16496 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473941314552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16497] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16497/stat : 16497 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473940262216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16498] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16498/stat : 16498 (java) S 16476 16479 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29912096 9856040960 51797 33554432000 1073741824 1073778376 140735113693168 140473939206952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 2.33 2.27 2.21 3/215 16498
/proc/meminfo: memFree=29667600/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9625040 CPUtime=8.67 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 40403 0 1 0 856 11 0 0 20 0 19 0 29912041 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2406260 66382 2289 9 0 2396937 0
[pid=16479/tid=16481] ppid=16476 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/16479/task/16481/stat : 16481 (java) R 16476 16479 15910 0 -1 4202560 2484 0 1 0 619 3 0 0 20 0 19 0 29912042 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474593545544 140474438843434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16482] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16482/stat : 16482 (java) S 16476 16479 15910 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474565998760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16483] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16483/stat : 16483 (java) S 16476 16479 15910 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474564946216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16484] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16484/stat : 16484 (java) S 16476 16479 15910 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474563893672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16479/tid=16485] ppid=16476 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/16479/task/16485/stat : 16485 (java) S 16476 16479 15910 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474562841128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16486] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16486/stat : 16486 (java) S 16476 16479 15910 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474561788584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16487] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16487/stat : 16487 (java) S 16476 16479 15910 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474560736040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16488] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16488/stat : 16488 (java) S 16476 16479 15910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474559683496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16479/tid=16489] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16489/stat : 16489 (java) S 16476 16479 15910 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29912043 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140474558630952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16490] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16490/stat : 16490 (java) S 16476 16479 15910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473947629672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16491] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16491/stat : 16491 (java) S 16476 16479 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473946575992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16492] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16492/stat : 16492 (java) S 16476 16479 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473945523336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16493] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16493/stat : 16493 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912046 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473944472080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16494] ppid=16476 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/16479/task/16494/stat : 16494 (java) S 16476 16479 15910 0 -1 4202560 15235 0 0 0 105 3 0 0 20 0 19 0 29912046 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473943419448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16495] ppid=16476 vsize=9625040 CPUtime=1.19 cores=1,3,5,7
/proc/16479/task/16495/stat : 16495 (java) S 16476 16479 15910 0 -1 4202560 21342 0 0 0 116 3 0 0 20 0 19 0 29912047 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473942366904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16496] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16496/stat : 16496 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473941314552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16497] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16497/stat : 16497 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473940262216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16498] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16498/stat : 16498 (java) S 16476 16479 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29912096 9856040960 66382 33554432000 1073741824 1073778376 140735113693168 140473939206952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 9625040


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

[pid=16479/tid=16498] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16498/stat : 16498 (java) S 16476 16479 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29912096 9856040960 244328 33554432000 1073741824 1073778376 140735113693168 140473939206952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1623.71
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.26 3/215 16563
/proc/meminfo: memFree=27788252/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9625040 CPUtime=1684.56 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 52922 0 1 0 168189 267 0 0 20 0 19 0 29912041 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2406260 248527 2298 9 0 2396937 0
[pid=16479/tid=16481] ppid=16476 vsize=9625040 CPUtime=1645.05 cores=1,3,5,7
/proc/16479/task/16481/stat : 16481 (java) R 16476 16479 15910 0 -1 4202560 2647 0 1 0 164473 32 0 0 20 0 19 0 29912042 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474593545456 140474439347720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16482] ppid=16476 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/16479/task/16482/stat : 16482 (java) S 16476 16479 15910 0 -1 4202560 1470 0 0 0 302 27 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474565998760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16483] ppid=16476 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/16479/task/16483/stat : 16483 (java) S 16476 16479 15910 0 -1 4202560 1211 0 0 0 313 30 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474564946216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16484] ppid=16476 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/16479/task/16484/stat : 16484 (java) S 16476 16479 15910 0 -1 4202560 1483 0 0 0 309 25 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474563893672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16485] ppid=16476 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/16479/task/16485/stat : 16485 (java) S 16476 16479 15910 0 -1 4202560 875 0 0 0 309 32 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474562841128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16486] ppid=16476 vsize=9625040 CPUtime=3.35 cores=1,3,5,7
/proc/16479/task/16486/stat : 16486 (java) S 16476 16479 15910 0 -1 4202560 936 0 0 0 310 25 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474561788584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16479/tid=16487] ppid=16476 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/16479/task/16487/stat : 16487 (java) S 16476 16479 15910 0 -1 4202560 1932 0 0 0 301 23 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474560736040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16488] ppid=16476 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/16479/task/16488/stat : 16488 (java) S 16476 16479 15910 0 -1 4202560 1340 0 0 0 304 29 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474559683496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16489] ppid=16476 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/16479/task/16489/stat : 16489 (java) S 16476 16479 15910 0 -1 4202560 1023 0 0 0 320 27 0 0 20 0 19 0 29912043 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140474558630952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16490] ppid=16476 vsize=9625040 CPUtime=5.41 cores=1,3,5,7
/proc/16479/task/16490/stat : 16490 (java) S 16476 16479 15910 0 -1 4202560 2068 0 0 0 535 6 0 0 20 0 19 0 29912044 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473947629672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16491] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16491/stat : 16491 (java) S 16476 16479 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473946575992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16492] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16492/stat : 16492 (java) S 16476 16479 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473945523336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16493] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16493/stat : 16493 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912046 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473944472080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16494] ppid=16476 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/16479/task/16494/stat : 16494 (java) S 16476 16479 15910 0 -1 4202560 15235 0 0 0 106 3 0 0 20 0 19 0 29912046 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473943419448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16495] ppid=16476 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/16479/task/16495/stat : 16495 (java) S 16476 16479 15910 0 -1 4202560 21344 0 0 0 142 3 0 0 20 0 19 0 29912047 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473942366904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16496] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16496/stat : 16496 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473941314552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16497] ppid=16476 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/16479/task/16497/stat : 16497 (java) S 16476 16479 15910 0 -1 4202560 95 0 0 0 26 34 0 0 20 0 19 0 29912047 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473940262216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16498] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16498/stat : 16498 (java) S 16476 16479 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29912096 9856040960 248527 33554432000 1073741824 1073778376 140735113693168 140473939206952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1684.56
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.23 2.25 2.26 3/215 16565
/proc/meminfo: memFree=27868944/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9625040 CPUtime=1745.3 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 53108 0 1 0 174261 269 0 0 20 0 19 0 29912041 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2406260 223395 2298 9 0 2396937 0
[pid=16479/tid=16481] ppid=16476 vsize=9625040 CPUtime=1704.28 cores=1,3,5,7
/proc/16479/task/16481/stat : 16481 (java) R 16476 16479 15910 0 -1 4202560 2658 0 1 0 170396 32 0 0 20 0 19 0 29912042 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474593545456 140474439347720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16482] ppid=16476 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/16479/task/16482/stat : 16482 (java) S 16476 16479 15910 0 -1 4202560 1470 0 0 0 314 27 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474565998760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16483] ppid=16476 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/16479/task/16483/stat : 16483 (java) S 16476 16479 15910 0 -1 4202560 1211 0 0 0 324 30 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474564946216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16484] ppid=16476 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/16479/task/16484/stat : 16484 (java) S 16476 16479 15910 0 -1 4202560 1483 0 0 0 325 25 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474563893672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16485] ppid=16476 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/16479/task/16485/stat : 16485 (java) S 16476 16479 15910 0 -1 4202560 875 0 0 0 323 32 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474562841128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16486] ppid=16476 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/16479/task/16486/stat : 16486 (java) S 16476 16479 15910 0 -1 4202560 936 0 0 0 321 25 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474561788584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16487] ppid=16476 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/16479/task/16487/stat : 16487 (java) S 16476 16479 15910 0 -1 4202560 1932 0 0 0 316 23 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474560736040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16488] ppid=16476 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/16479/task/16488/stat : 16488 (java) S 16476 16479 15910 0 -1 4202560 1340 0 0 0 314 29 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474559683496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16489] ppid=16476 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/16479/task/16489/stat : 16489 (java) S 16476 16479 15910 0 -1 4202560 1023 0 0 0 333 27 0 0 20 0 19 0 29912043 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140474558630952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16490] ppid=16476 vsize=9625040 CPUtime=5.73 cores=1,3,5,7
/proc/16479/task/16490/stat : 16490 (java) S 16476 16479 15910 0 -1 4202560 2239 0 0 0 567 6 0 0 20 0 19 0 29912044 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473947629672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16491] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16491/stat : 16491 (java) S 16476 16479 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473946575992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16492] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16492/stat : 16492 (java) S 16476 16479 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473945523336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16493] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16493/stat : 16493 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912046 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473944472080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16494] ppid=16476 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/16479/task/16494/stat : 16494 (java) S 16476 16479 15910 0 -1 4202560 15235 0 0 0 106 3 0 0 20 0 19 0 29912046 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473943419448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16495] ppid=16476 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/16479/task/16495/stat : 16495 (java) S 16476 16479 15910 0 -1 4202560 21344 0 0 0 142 3 0 0 20 0 19 0 29912047 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473942366904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16496] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16496/stat : 16496 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473941314552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16497] ppid=16476 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/16479/task/16497/stat : 16497 (java) S 16476 16479 15910 0 -1 4202560 99 0 0 0 27 36 0 0 20 0 19 0 29912047 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473940262216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16498] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16498/stat : 16498 (java) S 16476 16479 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29912096 9856040960 223395 33554432000 1073741824 1073778376 140735113693168 140473939206952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1745.3
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.4 s]
/proc/loadavg: 2.26 2.25 2.26 3/215 16566
/proc/meminfo: memFree=27896928/32872528 swapFree=1482636/1662508
[pid=16479] ppid=16476 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/16479/stat : 16479 (java) S 16476 16479 15910 0 -1 4202496 53902 0 1 0 179724 281 0 0 20 0 19 0 29912041 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140735113684304 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16479/statm: 2406260 239918 2298 9 0 2396937 0
[pid=16479/tid=16481] ppid=16476 vsize=9625040 CPUtime=1757.71 cores=1,3,5,7
/proc/16479/task/16481/stat : 16481 (java) R 16476 16479 15910 0 -1 4202560 2667 0 1 0 175738 33 0 0 20 0 19 0 29912042 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474593545456 140474439204260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16482] ppid=16476 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/16479/task/16482/stat : 16482 (java) S 16476 16479 15910 0 -1 4202560 1529 0 0 0 325 27 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474565998760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16483] ppid=16476 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/16479/task/16483/stat : 16483 (java) S 16476 16479 15910 0 -1 4202560 1317 0 0 0 334 31 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474564946216 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16484] ppid=16476 vsize=9625040 CPUtime=3.63 cores=1,3,5,7
/proc/16479/task/16484/stat : 16484 (java) S 16476 16479 15910 0 -1 4202560 1572 0 0 0 336 27 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474563893672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16479/tid=16485] ppid=16476 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/16479/task/16485/stat : 16485 (java) S 16476 16479 15910 0 -1 4202560 1101 0 0 0 331 34 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474562841128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16486] ppid=16476 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/16479/task/16486/stat : 16486 (java) S 16476 16479 15910 0 -1 4202560 1009 0 0 0 334 26 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474561788584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16487] ppid=16476 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/16479/task/16487/stat : 16487 (java) S 16476 16479 15910 0 -1 4202560 1955 0 0 0 326 24 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474560736040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16488] ppid=16476 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/16479/task/16488/stat : 16488 (java) S 16476 16479 15910 0 -1 4202560 1410 0 0 0 325 30 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474559683496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16489] ppid=16476 vsize=9625040 CPUtime=3.71 cores=1,3,5,7
/proc/16479/task/16489/stat : 16489 (java) S 16476 16479 15910 0 -1 4202560 1147 0 0 0 342 29 0 0 20 0 19 0 29912043 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140474558630952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16490] ppid=16476 vsize=9625040 CPUtime=5.98 cores=1,3,5,7
/proc/16479/task/16490/stat : 16490 (java) S 16476 16479 15910 0 -1 4202560 2250 0 0 0 592 6 0 0 20 0 19 0 29912044 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473947629672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16491] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16491/stat : 16491 (java) S 16476 16479 15910 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473946575992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16492] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16492/stat : 16492 (java) S 16476 16479 15910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29912044 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473945523336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16493] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16493/stat : 16493 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912046 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473944472080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16494] ppid=16476 vsize=9625040 CPUtime=1.09 cores=1,3,5,7
/proc/16479/task/16494/stat : 16494 (java) S 16476 16479 15910 0 -1 4202560 15235 0 0 0 106 3 0 0 20 0 19 0 29912046 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473943419448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16479/tid=16495] ppid=16476 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/16479/task/16495/stat : 16495 (java) S 16476 16479 15910 0 -1 4202560 21344 0 0 0 142 3 0 0 20 0 19 0 29912047 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473942366904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16496] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16496/stat : 16496 (java) S 16476 16479 15910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29912047 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473941314552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16479/tid=16497] ppid=16476 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/16479/task/16497/stat : 16497 (java) S 16476 16479 15910 0 -1 4202560 103 0 0 0 28 37 0 0 20 0 19 0 29912047 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473940262216 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16479/tid=16498] ppid=16476 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/16479/task/16498/stat : 16498 (java) S 16476 16479 15910 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29912096 9856040960 239918 33554432000 1073741824 1073778376 140735113693168 140473939206952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 16479 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 16479 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=759459
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=241507
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1776.44
CPU time (s): 1800.05
CPU user time (s): 1797.24
CPU system time (s): 2.81
CPU usage (%): 101.329
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.76
system time used= 3.24151
maximum resident set size= 1563488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53937
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43132
involuntary context switches= 41580

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6872 second user time and 17.1294 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 21:37:36
IDJOB=4106840
IDBENCH=48286
IDSOLVER=2546
FILE ID=node134/4106840-1466278656
RUNJOBID= node134-1466275076-15927
PBS_JOBID= 19918245
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_2_80.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106840-1466278656/watcher-4106840-1466278656 -o /tmp/evaluation-result-4106840-1466278656/solver-4106840-1466278656 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466275076-15927 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106840-1466278656.opb

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

MD5SUM BENCH= 4b0064bdd43b7a445f2334396cfebe4e
RANDOM SEED=1383673239

node134.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		: 2667.020
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	: 5334.04
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		: 2667.020
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	: 7358.89
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		: 2667.020
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		: 2667.020
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		: 2667.020
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		: 2667.020
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.54
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		: 2667.020
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		: 2667.020
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:        29888368 kB
Buffers:          168104 kB
Cached:           188336 kB
SwapCached:         1008 kB
Active:           310392 kB
Inactive:         275144 kB
Active(anon):     229976 kB
Inactive(anon):     1616 kB
Active(file):      80416 kB
Inactive(file):   273528 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:              2068 kB
Writeback:             0 kB
AnonPages:       1907092 kB
Mapped:            15448 kB
Shmem:                 0 kB
Slab:             603740 kB
SReclaimable:      47152 kB
SUnreclaim:       556588 kB
KernelStack:        1776 kB
PageTables:         8240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2479500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 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= 71716 MiB
End job on node134 at 2016-06-18 22:07:13