Trace number 4095921

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.55 1798.44

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-geq-random4regular-70.opb
MD5SUM528a9882757dc4748b3223760c669467
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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.010997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables281
Total number of constraints140
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)140
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.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-4095921-1466098909.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.09/0.14	c ... done. Wall clock time 0.028s.
0.09/0.14	c declared #vars     281
0.09/0.14	c #constraints  140
0.09/0.14	c constraints type 
0.09/0.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 140
0.09/0.14	c 140 constraints processed.
0.66/0.49	c cleaning 2490 clauses out of 5002 with flag 34169/5002
1.11/0.77	c cleaning 4248 clauses out of 8510 with flag 91145/11000
1.55/1.14	c cleaning 5626 clauses out of 11263 with flag 150568/18001
1.95/1.54	c cleaning 6811 clauses out of 13636 with flag 218303/26000
2.46/2.02	c cleaning 7908 clauses out of 15827 with flag 307476/35002
3.26/2.85	c cleaning 8952 clauses out of 17918 with flag 416088/45001
3.96/3.51	c cleaning 9978 clauses out of 19966 with flag 521576/56001
4.76/4.34	c cleaning 10984 clauses out of 21987 with flag 631232/68000
5.57/5.19	c cleaning 11991 clauses out of 24003 with flag 758464/81000
6.87/6.46	c cleaning 12986 clauses out of 26013 with flag 905005/95001
8.07/7.70	c cleaning 14004 clauses out of 28028 with flag 1058894/110002
9.47/9.09	c cleaning 14992 clauses out of 30022 with flag 1221123/126000
11.17/10.80	c cleaning 16006 clauses out of 32030 with flag 1404403/143000
13.07/12.65	c cleaning 16999 clauses out of 34024 with flag 1594329/161000
14.78/14.40	c cleaning 17998 clauses out of 36025 with flag 1770884/180000
16.87/16.47	c cleaning 19003 clauses out of 38028 with flag 1977488/200001
19.07/18.64	c cleaning 20000 clauses out of 40024 with flag 2173689/221000
21.27/20.85	c cleaning 21004 clauses out of 42026 with flag 2384528/243002
24.07/23.69	c cleaning 22001 clauses out of 44023 with flag 2628677/266003
26.97/26.52	c cleaning 23004 clauses out of 46019 with flag 2879853/290000
29.77/29.38	c cleaning 23997 clauses out of 48016 with flag 3120983/315001
33.16/32.70	c cleaning 24998 clauses out of 50021 with flag 3384434/341003
36.27/35.83	c cleaning 25998 clauses out of 52020 with flag 3622105/368000
39.77/39.37	c cleaning 27005 clauses out of 54022 with flag 3866126/396000
43.57/43.13	c cleaning 28004 clauses out of 56017 with flag 4141030/425000
47.47/47.02	c cleaning 28993 clauses out of 58014 with flag 4415900/455001
51.87/51.47	c cleaning 30003 clauses out of 60020 with flag 4689404/486000
56.27/55.89	c cleaning 30998 clauses out of 62018 with flag 4971551/518001
60.86/60.47	c cleaning 31997 clauses out of 64020 with flag 5282558/551001
66.06/65.60	c cleaning 33000 clauses out of 66023 with flag 5592527/585001
71.37/70.93	c cleaning 34007 clauses out of 68023 with flag 5898135/620001
76.97/76.51	c cleaning 35003 clauses out of 70017 with flag 6222562/656002
82.92/82.43	c cleaning 35997 clauses out of 72012 with flag 6582369/693000
88.62/88.13	c cleaning 37002 clauses out of 74015 with flag 6929408/731000
95.32/94.83	c cleaning 37992 clauses out of 76013 with flag 7313219/770000
102.53/102.07	c cleaning 39005 clauses out of 78021 with flag 7713437/810000
109.53/109.09	c cleaning 39998 clauses out of 80016 with flag 8114431/851000
116.83/116.39	c cleaning 40997 clauses out of 82018 with flag 8515648/893000
124.62/124.11	c cleaning 41999 clauses out of 84021 with flag 8931412/936000
133.22/132.78	c cleaning 42999 clauses out of 86022 with flag 9385179/980000
143.42/142.92	c cleaning 44006 clauses out of 88024 with flag 9875340/1025001
152.43/151.98	c cleaning 44993 clauses out of 90017 with flag 10341922/1071000
161.82/161.31	c cleaning 46001 clauses out of 92024 with flag 10815764/1118000
171.72/171.24	c cleaning 47000 clauses out of 94023 with flag 11280978/1166000
181.52/181.05	c cleaning 47997 clauses out of 96024 with flag 11751254/1215001
192.93/192.42	c cleaning 49005 clauses out of 98028 with flag 12297539/1265002
203.83/203.34	c cleaning 49999 clauses out of 100021 with flag 12776172/1316000
215.20/214.63	c cleaning 51001 clauses out of 102023 with flag 13294055/1368001
226.40/225.86	c cleaning 52002 clauses out of 104022 with flag 13813840/1421001
238.30/237.76	c cleaning 53007 clauses out of 106019 with flag 14329714/1475000
252.29/251.71	c cleaning 53996 clauses out of 108012 with flag 14890504/1530000
265.00/264.41	c cleaning 54993 clauses out of 110018 with flag 15415695/1586002
278.40/277.86	c cleaning 56004 clauses out of 112024 with flag 15965486/1643001
293.00/292.49	c cleaning 57007 clauses out of 114019 with flag 16546124/1701000
307.10/306.59	c cleaning 57999 clauses out of 116012 with flag 17102347/1760000
321.82/321.23	c cleaning 59001 clauses out of 118015 with flag 17694546/1820002
336.91/336.32	c cleaning 60001 clauses out of 120012 with flag 18282262/1881000
352.22/351.66	c cleaning 60993 clauses out of 122011 with flag 18926940/1943000
368.03/367.44	c cleaning 61996 clauses out of 124018 with flag 19523514/2006000
385.38/384.75	c cleaning 62999 clauses out of 126022 with flag 20136786/2070000
403.58/402.90	c cleaning 64001 clauses out of 128023 with flag 20785329/2135000
421.19/420.57	c cleaning 64999 clauses out of 130024 with flag 21422028/2201002
439.60/438.95	c cleaning 66000 clauses out of 132028 with flag 22040456/2268005
458.82/458.11	c cleaning 67004 clauses out of 134024 with flag 22689233/2336001
480.12/479.40	c cleaning 67988 clauses out of 136019 with flag 23329034/2405000
502.23/501.54	c cleaning 69010 clauses out of 138032 with flag 24013504/2475001
522.33/521.61	c cleaning 70011 clauses out of 140022 with flag 24700761/2546001
543.14/542.42	c cleaning 70989 clauses out of 142010 with flag 25440304/2618000
566.04/565.34	c cleaning 71998 clauses out of 144022 with flag 26158653/2691001
588.62/587.82	c cleaning 73005 clauses out of 146025 with flag 26869800/2765002
611.42/610.69	c cleaning 74003 clauses out of 148019 with flag 27586579/2840001
635.91/635.10	c cleaning 75004 clauses out of 150015 with flag 28306780/2916000
660.30/659.56	c cleaning 76001 clauses out of 152011 with flag 29039903/2993000
684.50/683.75	c cleaning 76998 clauses out of 154011 with flag 29798502/3071001
709.69/708.91	c cleaning 78000 clauses out of 156013 with flag 30555905/3150001
736.09/735.37	c cleaning 78993 clauses out of 158012 with flag 31329917/3230000
765.68/764.90	c cleaning 80001 clauses out of 160019 with flag 32168194/3311000
794.09/793.32	c cleaning 81001 clauses out of 162020 with flag 32968737/3393002
823.67/822.89	c cleaning 82002 clauses out of 164017 with flag 33747856/3476000
853.46/852.67	c cleaning 82997 clauses out of 166015 with flag 34528948/3560000
883.06/882.24	c cleaning 84000 clauses out of 168020 with flag 35345544/3645002
913.15/912.31	c cleaning 85004 clauses out of 170018 with flag 36145650/3731000
944.45/943.61	c cleaning 85991 clauses out of 172014 with flag 36930131/3818000
977.04/976.22	c cleaning 86984 clauses out of 174024 with flag 37750769/3906001
1010.24/1009.49	c cleaning 88013 clauses out of 176040 with flag 38584015/3995001
1044.06/1043.18	c cleaning 89003 clauses out of 178026 with flag 39424631/4085000
1079.45/1078.57	c cleaning 89992 clauses out of 180023 with flag 40244057/4176000
1119.65/1118.71	c cleaning 90995 clauses out of 182033 with flag 41138558/4268002
1157.86/1156.94	c cleaning 92013 clauses out of 184036 with flag 41990239/4361000
1196.97/1196.08	c cleaning 93006 clauses out of 186023 with flag 42855253/4455000
1238.68/1237.78	c cleaning 94001 clauses out of 188017 with flag 43724374/4550000
1280.00/1279.03	c cleaning 95009 clauses out of 190019 with flag 44617903/4646003
1319.51/1318.45	c cleaning 95996 clauses out of 192010 with flag 45502698/4743003
1358.32/1357.20	c cleaning 97000 clauses out of 194011 with flag 46421121/4841000
1401.44/1400.37	c cleaning 97991 clauses out of 196011 with flag 47293804/4940000
1444.04/1442.97	c cleaning 99006 clauses out of 198021 with flag 48180305/5040001
1487.26/1486.11	c cleaning 99996 clauses out of 200014 with flag 49091443/5141000
1530.65/1529.56	c cleaning 100999 clauses out of 202020 with flag 50043740/5243002
1576.82/1575.41	c cleaning 102003 clauses out of 204020 with flag 50986480/5346001
1624.33/1622.92	c cleaning 103002 clauses out of 206017 with flag 51919550/5450001
1674.05/1672.61	c cleaning 104000 clauses out of 208017 with flag 52880821/5555003
1729.37/1727.94	c cleaning 104997 clauses out of 210015 with flag 53852610/5661001
1784.62/1783.01	c cleaning 105999 clauses out of 212017 with flag 54835047/5768000
1800.03/1798.40	c starts		: 19389
1800.03/1798.40	c conflicts		: 5811906
1800.03/1798.40	c decisions		: 9366049
1800.03/1798.40	c propagations		: 188093214
1800.03/1798.40	c inspects		: 43726506137
1800.03/1798.40	c shortcuts		: 0
1800.03/1798.40	c learnt literals	: 0
1800.03/1798.40	c learnt binary clauses	: 0
1800.03/1798.40	c learnt ternary clauses	: 0
1800.03/1798.40	c learnt constraints	: 5811907
1800.03/1798.40	c ignored constraints	: 0
1800.03/1798.40	c root simplifications	: 0
1800.03/1798.40	c removed literals (reason simplification)	: 0
1800.03/1798.40	c reason swapping (by a shorter reason)	: 0
1800.03/1798.40	c Calls to reduceDB	: 103
1800.03/1798.40	c Number of update (reduction) of LBD	: 1987828
1800.03/1798.40	c Imported unit clauses	: 0
1800.03/1798.40	c number of reductions to clauses (during analyze)	: 0
1800.03/1798.40	c number of learned constraints concerned by reduction	: 0
1800.03/1798.40	c number of learning phase by resolution	: 0
1800.03/1798.40	c timeout
1800.03/1798.40	c number of learning phase by cutting planes	: 0
1800.03/1798.40	c speed (assignments/second)	: 104597.45931896313
1800.03/1798.40	c non guided choices	1044
1800.03/1798.43	c learnt constraints type 
1800.03/1798.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 149925
1800.03/1798.43	s UNKNOWN
1800.03/1798.43	c Total wall clock time (in seconds): 1798.316

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-4095921-1466098909/watcher-4095921-1466098909 -o /tmp/evaluation-result-4095921-1466098909/solver-4095921-1466098909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466097110-5879 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4095921-1466098909.opb 

pid=6033
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.17 2.13 3/194 6036
/proc/meminfo: memFree=30424800/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9488 CPUtime=0 cores=1,3,5,7
/proc/6036/stat : 6036 (java) R 6033 6036 3284 0 -1 4202496 479 0 0 0 0 0 0 0 20 0 1 0 11939566 9715712 134 33554432000 1073741824 1073778376 140734603289056 140734603286184 272886114128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2323 144 104 9 0 71 0

[startup+0.10016 s]
/proc/loadavg: 2.15 2.17 2.13 3/194 6036
/proc/meminfo: memFree=30424800/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 4384 0 1 0 8 1 0 0 20 0 18 0 11939566 9787879424 6025 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200226 s]
/proc/loadavg: 2.15 2.17 2.13 3/194 6036
/proc/meminfo: memFree=30424800/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 6133 0 1 0 26 1 0 0 20 0 19 0 11939566 9856040960 6963 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 6963 2230 9 0 2396937 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9625040

[startup+0.300217 s]
/proc/loadavg: 2.15 2.17 2.13 3/194 6036
/proc/meminfo: memFree=30424800/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 8537 0 1 0 52 2 0 0 20 0 19 0 11939566 9856040960 8417 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 8417 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.70022 s]
/proc/loadavg: 2.15 2.17 2.13 3/194 6036
/proc/meminfo: memFree=30424800/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 10552 0 1 0 108 3 0 0 20 0 19 0 11939566 9856040960 8973 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 8973 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.15 2.17 2.13 3/213 6121
/proc/meminfo: memFree=30570564/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=1.95 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 10573 0 1 0 192 3 0 0 20 0 19 0 11939566 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 10015 2250 9 0 2396937 0
[pid=6036/tid=6038] ppid=6033 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/6036/task/6038/stat : 6038 (java) R 6033 6036 3284 0 -1 4202560 2403 0 1 0 145 1 0 0 20 0 19 0 11939567 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468170625512 140467996404576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6039] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6039/stat : 6039 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468132117032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6040] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6040/stat : 6040 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468131064232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6041] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6041/stat : 6041 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468130011432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6042] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6042/stat : 6042 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468128958632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6043] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6043/stat : 6043 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468127906856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6044] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6044/stat : 6044 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468126854056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6045] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6045/stat : 6045 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468125801256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6046] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6046/stat : 6046 (java) S 6033 6036 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140468124748456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6047] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6047/stat : 6047 (java) S 6033 6036 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467994876392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6048] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6048/stat : 6048 (java) S 6033 6036 3284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467993822456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6049] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6049/stat : 6049 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467992769544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6050] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6050/stat : 6050 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467991718032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6051] ppid=6033 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6036/task/6051/stat : 6051 (java) S 6033 6036 3284 0 -1 4202560 3765 0 0 0 24 2 0 0 20 0 19 0 11939572 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467990666168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6052] ppid=6033 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/6036/task/6052/stat : 6052 (java) S 6033 6036 3284 0 -1 4202560 3135 0 0 0 20 0 0 0 20 0 19 0 11939572 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467989613368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6053] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6053/stat : 6053 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467988560760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6054] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6054/stat : 6054 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939573 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467987508168 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6057] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6057/stat : 6057 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939581 9856040960 10015 33554432000 1073741824 1073778376 140734603289056 140467986404520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.15 2.17 2.13 3/213 6121
/proc/meminfo: memFree=30561380/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 10575 0 1 0 353 3 0 0 20 0 19 0 11939566 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 11039 2250 9 0 2396937 0
[pid=6036/tid=6038] ppid=6033 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/6036/task/6038/stat : 6038 (java) R 6033 6036 3284 0 -1 4202560 2405 0 1 0 305 1 0 0 20 0 19 0 11939567 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468170616528 140467996346125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6039] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6039/stat : 6039 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468132117032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6040] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6040/stat : 6040 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468131064232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6041] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6041/stat : 6041 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468130011432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6042] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6042/stat : 6042 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468128958632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6043] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6043/stat : 6043 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468127906856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6044] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6044/stat : 6044 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468126854056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6045] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6045/stat : 6045 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468125801256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6046] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6046/stat : 6046 (java) S 6033 6036 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140468124748456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6047] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6047/stat : 6047 (java) S 6033 6036 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467994876392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6048] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6048/stat : 6048 (java) S 6033 6036 3284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467993822456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6049] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6049/stat : 6049 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467992769544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6050] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6050/stat : 6050 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467991718032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6051] ppid=6033 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6036/task/6051/stat : 6051 (java) S 6033 6036 3284 0 -1 4202560 3765 0 0 0 24 2 0 0 20 0 19 0 11939572 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467990666168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6052] ppid=6033 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/6036/task/6052/stat : 6052 (java) S 6033 6036 3284 0 -1 4202560 3135 0 0 0 21 0 0 0 20 0 19 0 11939572 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467989613368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6053] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6053/stat : 6053 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467988560760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6054] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6054/stat : 6054 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939573 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467987508168 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6057] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6057/stat : 6057 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939581 9856040960 11039 33554432000 1073741824 1073778376 140734603289056 140467986404520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.13 2.17 2.13 3/213 6121
/proc/meminfo: memFree=30545148/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=6.77 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 10581 0 1 0 673 4 0 0 20 0 19 0 11939566 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 12895 2251 9 0 2396937 0
[pid=6036/tid=6038] ppid=6033 vsize=9625040 CPUtime=6.27 cores=1,3,5,7
/proc/6036/task/6038/stat : 6038 (java) R 6033 6036 3284 0 -1 4202560 2410 0 1 0 625 2 0 0 20 0 19 0 11939567 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468170616528 140467996459775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6039] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6039/stat : 6039 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468132117032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6040] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6040/stat : 6040 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468131064232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6041] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6041/stat : 6041 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468130011432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6042] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6042/stat : 6042 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468128958632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6043] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6043/stat : 6043 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468127906856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6044] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6044/stat : 6044 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468126854056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6045] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6045/stat : 6045 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468125801256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6046] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6046/stat : 6046 (java) S 6033 6036 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11939569 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140468124748456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6047] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6047/stat : 6047 (java) S 6033 6036 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467994876392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6048] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6048/stat : 6048 (java) S 6033 6036 3284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467993822456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6049] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6049/stat : 6049 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467992769544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6050] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6050/stat : 6050 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467991718032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6051] ppid=6033 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6036/task/6051/stat : 6051 (java) S 6033 6036 3284 0 -1 4202560 3765 0 0 0 24 2 0 0 20 0 19 0 11939572 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467990666168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6052] ppid=6033 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/6036/task/6052/stat : 6052 (java) S 6033 6036 3284 0 -1 4202560 3135 0 0 0 21 0 0 0 20 0 19 0 11939572 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467989613368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6053] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6053/stat : 6053 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467988560760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6054] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6054/stat : 6054 (java) S 6033 6036 3284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 11939573 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467987508168 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6057] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6057/stat : 6057 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939581 9856040960 12895 33554432000 1073741824 1073778376 140734603289056 140467986404520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 9625040


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

[pid=6036/tid=6048] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6048/stat : 6048 (java) S 6033 6036 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467993822456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6049] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6049/stat : 6049 (java) S 6033 6036 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467992769544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6050] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6050/stat : 6050 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467991718032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6051] ppid=6033 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6036/task/6051/stat : 6051 (java) S 6033 6036 3284 0 -1 4202560 3765 0 0 0 24 2 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467990666168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6052] ppid=6033 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/6036/task/6052/stat : 6052 (java) S 6033 6036 3284 0 -1 4202560 3156 0 0 0 24 0 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467989613368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6053] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6053/stat : 6053 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467988560760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6054] ppid=6033 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/6036/task/6054/stat : 6054 (java) S 6033 6036 3284 0 -1 4202560 96 0 0 0 21 30 0 0 20 0 19 0 11939573 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467987508168 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6057] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6057/stat : 6057 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939581 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467986404520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1663.75
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.23 2.15 3/214 6187
/proc/meminfo: memFree=30114220/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=1723.77 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 12902 0 1 0 172319 58 0 0 20 0 19 0 11939566 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 77866 2266 9 0 2396937 0
[pid=6036/tid=6038] ppid=6033 vsize=9625040 CPUtime=1721.9 cores=1,3,5,7
/proc/6036/task/6038/stat : 6038 (java) R 6033 6036 3284 0 -1 4202560 2473 0 1 0 172158 32 0 0 20 0 19 0 11939567 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468170616624 140467996459248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6039] ppid=6033 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/6036/task/6039/stat : 6039 (java) S 6033 6036 3284 0 -1 4202560 256 0 0 0 8 2 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468132117032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6040] ppid=6033 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/6036/task/6040/stat : 6040 (java) S 6033 6036 3284 0 -1 4202560 317 0 0 0 13 2 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468131064232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6041] ppid=6033 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/6036/task/6041/stat : 6041 (java) S 6033 6036 3284 0 -1 4202560 27 0 0 0 7 0 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468130011432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6042] ppid=6033 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/6036/task/6042/stat : 6042 (java) S 6033 6036 3284 0 -1 4202560 430 0 0 0 13 3 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468128958632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6043] ppid=6033 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/6036/task/6043/stat : 6043 (java) S 6033 6036 3284 0 -1 4202560 38 0 0 0 6 1 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468127906856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6044] ppid=6033 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/6036/task/6044/stat : 6044 (java) S 6033 6036 3284 0 -1 4202560 178 0 0 0 10 2 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468126854056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6045] ppid=6033 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/6036/task/6045/stat : 6045 (java) S 6033 6036 3284 0 -1 4202560 575 0 0 0 14 3 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468125801256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6046] ppid=6033 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/6036/task/6046/stat : 6046 (java) S 6033 6036 3284 0 -1 4202560 267 0 0 0 10 2 0 0 20 0 19 0 11939569 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140468124748456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6047] ppid=6033 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6036/task/6047/stat : 6047 (java) S 6033 6036 3284 0 -1 4202560 62 0 0 0 0 2 0 0 20 0 19 0 11939570 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467994876392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6048] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6048/stat : 6048 (java) S 6033 6036 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467993822456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6049] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6049/stat : 6049 (java) S 6033 6036 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467992769544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6050] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6050/stat : 6050 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467991718032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6051] ppid=6033 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6036/task/6051/stat : 6051 (java) S 6033 6036 3284 0 -1 4202560 3765 0 0 0 24 2 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467990666168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6052] ppid=6033 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/6036/task/6052/stat : 6052 (java) S 6033 6036 3284 0 -1 4202560 3156 0 0 0 24 0 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467989613368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6053] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6053/stat : 6053 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467988560760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6054] ppid=6033 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/6036/task/6054/stat : 6054 (java) S 6033 6036 3284 0 -1 4202560 100 0 0 0 22 32 0 0 20 0 19 0 11939573 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467987508168 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6057] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6057/stat : 6057 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939581 9856040960 77866 33554432000 1073741824 1073778376 140734603289056 140467986404520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1723.77
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.31 2.24 2.16 4/213 6188
/proc/meminfo: memFree=30097320/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=1783.92 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 12955 0 1 0 178332 60 0 0 20 0 19 0 11939566 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 80964 2266 9 0 2396937 0
[pid=6036/tid=6038] ppid=6033 vsize=9625040 CPUtime=1781.86 cores=1,3,5,7
/proc/6036/task/6038/stat : 6038 (java) R 6033 6036 3284 0 -1 4202560 2474 0 1 0 178153 33 0 0 20 0 19 0 11939567 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468170624336 140467996406176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6039] ppid=6033 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/6036/task/6039/stat : 6039 (java) S 6033 6036 3284 0 -1 4202560 259 0 0 0 9 2 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468132117032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6040] ppid=6033 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6036/task/6040/stat : 6040 (java) S 6033 6036 3284 0 -1 4202560 317 0 0 0 15 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468131064232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6041] ppid=6033 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/6036/task/6041/stat : 6041 (java) S 6033 6036 3284 0 -1 4202560 30 0 0 0 9 0 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468130011432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6042] ppid=6033 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/6036/task/6042/stat : 6042 (java) S 6033 6036 3284 0 -1 4202560 433 0 0 0 15 4 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468128958632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6043] ppid=6033 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/6036/task/6043/stat : 6043 (java) S 6033 6036 3284 0 -1 4202560 39 0 0 0 8 1 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468127906856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6044] ppid=6033 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/6036/task/6044/stat : 6044 (java) S 6033 6036 3284 0 -1 4202560 179 0 0 0 11 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468126854056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6045] ppid=6033 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/6036/task/6045/stat : 6045 (java) S 6033 6036 3284 0 -1 4202560 594 0 0 0 19 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468125801256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6046] ppid=6033 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/6036/task/6046/stat : 6046 (java) S 6033 6036 3284 0 -1 4202560 283 0 0 0 13 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468124748456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6047] ppid=6033 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6036/task/6047/stat : 6047 (java) S 6033 6036 3284 0 -1 4202560 64 0 0 0 0 2 0 0 20 0 19 0 11939570 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467994876392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6048] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6048/stat : 6048 (java) S 6033 6036 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467993822456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6049] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6049/stat : 6049 (java) S 6033 6036 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467992769544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6050] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6050/stat : 6050 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467991718032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6051] ppid=6033 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6036/task/6051/stat : 6051 (java) S 6033 6036 3284 0 -1 4202560 3765 0 0 0 24 2 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467990666168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6052] ppid=6033 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/6036/task/6052/stat : 6052 (java) S 6033 6036 3284 0 -1 4202560 3156 0 0 0 24 0 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467989613368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6053] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6053/stat : 6053 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467988560760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6054] ppid=6033 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6036/task/6054/stat : 6054 (java) S 6033 6036 3284 0 -1 4202560 104 0 0 0 22 34 0 0 20 0 19 0 11939573 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467987508168 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6057] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6057/stat : 6057 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939581 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467986404520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1783.92
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.4 s]
/proc/loadavg: 2.24 2.23 2.15 3/213 6188
/proc/meminfo: memFree=30097468/32872528 swapFree=1243920/1391088
[pid=6036] ppid=6033 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/6036/stat : 6036 (java) S 6033 6036 3284 0 -1 4202496 12955 0 1 0 179942 61 0 0 20 0 19 0 11939566 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140734603280192 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6036/statm: 2406260 80964 2266 9 0 2396937 0
[pid=6036/tid=6038] ppid=6033 vsize=9625040 CPUtime=1797.96 cores=1,3,5,7
/proc/6036/task/6038/stat : 6038 (java) R 6033 6036 3284 0 -1 4202560 2474 0 1 0 179763 33 0 0 20 0 19 0 11939567 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468170616624 140467996202946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6036/tid=6039] ppid=6033 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/6036/task/6039/stat : 6039 (java) S 6033 6036 3284 0 -1 4202560 259 0 0 0 9 2 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468132117032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6040] ppid=6033 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6036/task/6040/stat : 6040 (java) S 6033 6036 3284 0 -1 4202560 317 0 0 0 15 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468131064232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6041] ppid=6033 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/6036/task/6041/stat : 6041 (java) S 6033 6036 3284 0 -1 4202560 30 0 0 0 9 0 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468130011432 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6042] ppid=6033 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/6036/task/6042/stat : 6042 (java) S 6033 6036 3284 0 -1 4202560 433 0 0 0 15 4 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468128958632 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6043] ppid=6033 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/6036/task/6043/stat : 6043 (java) S 6033 6036 3284 0 -1 4202560 39 0 0 0 8 1 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468127906856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6044] ppid=6033 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/6036/task/6044/stat : 6044 (java) S 6033 6036 3284 0 -1 4202560 179 0 0 0 11 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468126854056 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6045] ppid=6033 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/6036/task/6045/stat : 6045 (java) S 6033 6036 3284 0 -1 4202560 594 0 0 0 19 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468125801256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6046] ppid=6033 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/6036/task/6046/stat : 6046 (java) S 6033 6036 3284 0 -1 4202560 283 0 0 0 13 3 0 0 20 0 19 0 11939569 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140468124748456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6047] ppid=6033 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6036/task/6047/stat : 6047 (java) S 6033 6036 3284 0 -1 4202560 64 0 0 0 0 2 0 0 20 0 19 0 11939570 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467994876392 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6048] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6048/stat : 6048 (java) S 6033 6036 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467993822456 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6049] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6049/stat : 6049 (java) S 6033 6036 3284 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 11939570 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467992769544 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6050] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6050/stat : 6050 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467991718032 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6051] ppid=6033 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6036/task/6051/stat : 6051 (java) S 6033 6036 3284 0 -1 4202560 3765 0 0 0 24 2 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467990666168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6036/tid=6052] ppid=6033 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/6036/task/6052/stat : 6052 (java) S 6033 6036 3284 0 -1 4202560 3156 0 0 0 24 0 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467989613368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6053] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6053/stat : 6053 (java) S 6033 6036 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11939572 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467988560760 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6036/tid=6054] ppid=6033 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/6036/task/6054/stat : 6054 (java) S 6033 6036 3284 0 -1 4202560 104 0 0 0 22 35 0 0 20 0 19 0 11939573 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467987508168 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6036/tid=6057] ppid=6033 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6036/task/6057/stat : 6057 (java) S 6033 6036 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11939581 9856040960 80964 33554432000 1073741824 1073778376 140734603289056 140467986404520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 6036 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1798.44
CPU time (s): 1800.55
CPU user time (s): 1799.5
CPU system time (s): 1.05084
CPU usage (%): 100.117
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.05084
maximum resident set size= 324036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13007
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38260
involuntary context switches= 13782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66799 second user time and 7.79082 second system time

The end

Launcher Data

Begin job on node119 at 2016-06-16 19:41:49
IDJOB=4095921
IDBENCH=107540
IDSOLVER=2546
FILE ID=node119/4095921-1466098909
RUNJOBID= node119-1466097110-5879
PBS_JOBID= 19904040
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-random4regular-70.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095921-1466098909/watcher-4095921-1466098909 -o /tmp/evaluation-result-4095921-1466098909/solver-4095921-1466098909 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466097110-5879 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4095921-1466098909.opb

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

MD5SUM BENCH= 528a9882757dc4748b3223760c669467
RANDOM SEED=1235459811

node119.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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
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.456
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.456
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.456
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.456
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.54
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.456
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.456
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.56
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.456
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:        30424948 kB
Buffers:           49428 kB
Cached:           100516 kB
SwapCached:         1048 kB
Active:           263620 kB
Inactive:          89512 kB
Active(anon):     204120 kB
Inactive(anon):     1560 kB
Active(file):      59500 kB
Inactive(file):    87952 kB
Unevictable:     1391088 kB
Mlocked:         1243920 kB
SwapTotal:      67108856 kB
SwapFree:       67100204 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       1658828 kB
Mapped:            14920 kB
Shmem:                 0 kB
Slab:             570232 kB
SReclaimable:      14116 kB
SUnreclaim:       556116 kB
KernelStack:        1760 kB
PageTables:         7156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2079388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    403456 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= 71736 MiB
End job on node119 at 2016-06-16 20:11:48