Trace number 4084673

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 1784.84

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_40.opb
MD5SUMae994079f65819ac107e4a3e259224ff
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.247961
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084673-1465263674.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.45/0.37	c ... done. Wall clock time 0.26s.
0.45/0.37	c declared #vars     400
0.45/0.37	c internal #vars     2892
0.45/0.37	c #constraints  5587
0.45/0.37	c constraints type 
0.45/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
0.45/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.45/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.45/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
0.45/0.37	c 5587 constraints processed.
1.85/1.03	c cleaning 2500 clauses out of 5000 with flag 13529/5000
2.81/1.81	c cleaning 4244 clauses out of 8500 with flag 26555/11000
3.50/2.44	c cleaning 5630 clauses out of 11259 with flag 43616/18003
4.42/3.24	c cleaning 6811 clauses out of 13626 with flag 62818/26000
5.26/4.06	c cleaning 7860 clauses out of 15815 with flag 83570/35000
6.16/4.97	c cleaning 8933 clauses out of 17956 with flag 105952/45001
7.16/5.94	c cleaning 10011 clauses out of 20037 with flag 132097/56015
8.25/7.01	c cleaning 10956 clauses out of 22012 with flag 161313/68001
9.55/8.29	c cleaning 11997 clauses out of 24055 with flag 193555/81000
10.95/9.64	c cleaning 12981 clauses out of 26058 with flag 231902/95000
12.36/11.03	c cleaning 14025 clauses out of 28090 with flag 278984/110013
13.75/12.45	c cleaning 14981 clauses out of 30053 with flag 332578/126001
15.86/14.57	c cleaning 15987 clauses out of 32072 with flag 380232/143001
18.36/17.00	c cleaning 17033 clauses out of 34084 with flag 426811/161000
21.36/19.83	c cleaning 18022 clauses out of 36054 with flag 474521/180003
24.55/23.03	c cleaning 19008 clauses out of 38029 with flag 523301/200000
28.15/26.68	c cleaning 19990 clauses out of 40022 with flag 572125/221001
32.05/30.54	c cleaning 21028 clauses out of 42056 with flag 623536/243025
35.85/34.38	c cleaning 22026 clauses out of 44051 with flag 677559/266048
40.74/39.09	c cleaning 22970 clauses out of 45977 with flag 732057/290000
45.53/43.80	c cleaning 23972 clauses out of 48008 with flag 790233/315001
51.24/49.52	c cleaning 25020 clauses out of 50042 with flag 849588/341007
58.87/56.97	c cleaning 25983 clauses out of 52016 with flag 911101/368001
63.87/61.94	c cleaning 26970 clauses out of 54033 with flag 977449/396001
68.07/66.12	c cleaning 28005 clauses out of 56062 with flag 1059153/425000
72.47/70.42	c cleaning 29004 clauses out of 58057 with flag 1152023/455000
78.47/76.49	c cleaning 30000 clauses out of 60053 with flag 1230414/486000
85.46/83.41	c cleaning 31008 clauses out of 62053 with flag 1309351/518000
93.52/91.26	c cleaning 32028 clauses out of 64058 with flag 1390024/551013
102.32/100.02	c cleaning 32964 clauses out of 66018 with flag 1472069/585001
111.62/109.34	c cleaning 34018 clauses out of 68058 with flag 1554456/620005
121.68/119.12	c cleaning 35012 clauses out of 70040 with flag 1635743/656005
132.58/130.07	c cleaning 36033 clauses out of 72072 with flag 1719596/693049
143.09/140.29	c cleaning 36977 clauses out of 73990 with flag 1806907/731000
149.98/147.09	c cleaning 37973 clauses out of 76013 with flag 1914435/770000
158.68/155.77	c cleaning 38966 clauses out of 78041 with flag 2027672/810001
170.20/167.10	c cleaning 40010 clauses out of 80081 with flag 2128707/851007
183.03/179.80	c cleaning 41032 clauses out of 82069 with flag 2232757/893005
197.31/194.01	c cleaning 41994 clauses out of 84032 with flag 2337378/936000
211.48/208.14	c cleaning 43037 clauses out of 86079 with flag 2439571/980041
222.28/218.82	c cleaning 43974 clauses out of 88001 with flag 2562170/1025000
233.05/229.50	c cleaning 44997 clauses out of 90027 with flag 2715304/1071000
244.31/240.78	c cleaning 45976 clauses out of 92030 with flag 2872368/1118000
254.51/250.89	c cleaning 46999 clauses out of 94055 with flag 3046242/1166001
262.05/258.35	c cleaning 48009 clauses out of 96057 with flag 3216315/1215002
269.31/265.58	c cleaning 49001 clauses out of 98047 with flag 3378939/1265001
278.99/275.02	c cleaning 49999 clauses out of 100047 with flag 3562549/1316002
290.91/286.89	c cleaning 51008 clauses out of 102057 with flag 3753598/1368011
304.45/300.38	c cleaning 51995 clauses out of 104040 with flag 3941399/1421002
317.79/313.58	c cleaning 53011 clauses out of 106050 with flag 4118319/1475007
332.46/328.12	c cleaning 54007 clauses out of 108032 with flag 4299631/1530000
348.80/344.35	c cleaning 54994 clauses out of 110026 with flag 4474169/1586001
364.85/360.33	c cleaning 55992 clauses out of 112031 with flag 4666829/1643000
383.60/378.94	c cleaning 56998 clauses out of 114040 with flag 4850303/1701001
404.22/399.58	c cleaning 58007 clauses out of 116041 with flag 5030619/1760000
426.32/421.59	c cleaning 58986 clauses out of 118034 with flag 5214635/1820000
446.23/441.36	c cleaning 60010 clauses out of 120048 with flag 5414528/1881000
468.96/463.93	c cleaning 61014 clauses out of 122043 with flag 5605240/1943005
491.99/486.88	c cleaning 61995 clauses out of 124025 with flag 5804634/2006001
515.91/510.69	c cleaning 62996 clauses out of 126029 with flag 5998253/2070000
541.01/535.69	c cleaning 63977 clauses out of 128033 with flag 6182733/2135000
567.59/562.05	c cleaning 65004 clauses out of 130058 with flag 6392172/2201002
597.93/592.25	c cleaning 65996 clauses out of 132052 with flag 6578802/2268000
626.30/620.46	c cleaning 67017 clauses out of 134056 with flag 6785564/2336000
657.56/651.50	c cleaning 68000 clauses out of 136039 with flag 6990141/2405000
686.77/680.52	c cleaning 69002 clauses out of 138050 with flag 7199487/2475011
717.32/710.93	c cleaning 69991 clauses out of 140038 with flag 7413077/2546001
748.97/742.48	c cleaning 71004 clauses out of 142047 with flag 7625331/2618001
784.53/777.85	c cleaning 72005 clauses out of 144042 with flag 7837372/2691000
823.09/816.26	c cleaning 73006 clauses out of 146037 with flag 8036309/2765000
859.28/852.29	c cleaning 73976 clauses out of 148031 with flag 8257934/2840000
894.94/887.74	c cleaning 75019 clauses out of 150055 with flag 8488269/2916000
932.23/924.86	c cleaning 75992 clauses out of 152036 with flag 8709605/2993000
974.29/966.64	c cleaning 77011 clauses out of 154049 with flag 8923778/3071005
1018.73/1010.82	c cleaning 77976 clauses out of 156034 with flag 9141095/3150001
1059.38/1051.29	c cleaning 78996 clauses out of 158057 with flag 9375573/3230000
1102.16/1093.79	c cleaning 79998 clauses out of 160061 with flag 9608712/3311000
1153.50/1144.72	c cleaning 80998 clauses out of 162064 with flag 9819348/3393001
1201.61/1192.56	c cleaning 81993 clauses out of 164072 with flag 10062365/3476007
1248.56/1238.92	c cleaning 83016 clauses out of 166072 with flag 10304336/3560000
1305.66/1295.62	c cleaning 83993 clauses out of 168056 with flag 10520016/3645000
1358.67/1348.15	c cleaning 85016 clauses out of 170069 with flag 10769473/3731006
1412.57/1401.34	c cleaning 86030 clauses out of 172065 with flag 11018476/3818018
1474.53/1462.79	c cleaning 86992 clauses out of 174017 with flag 11235200/3906000
1530.35/1517.91	c cleaning 88002 clauses out of 176025 with flag 11497624/3995000
1587.63/1574.50	c cleaning 88981 clauses out of 178024 with flag 11746149/4085001
1654.38/1640.61	c cleaning 90028 clauses out of 180058 with flag 11975123/4176016
1714.22/1699.91	c cleaning 90963 clauses out of 182014 with flag 12241142/4268000
1777.66/1762.73	c cleaning 91993 clauses out of 184051 with flag 12490713/4361000
1800.05/1784.80	c starts		: 1
1800.05/1784.80	c conflicts		: 4401460
1800.05/1784.80	c decisions		: 22753247
1800.05/1784.80	c propagations		: 48176973
1800.05/1784.80	c inspects		: 30762396693
1800.05/1784.80	c shortcuts		: 0
1800.05/1784.80	c learnt literals	: 0
1800.05/1784.80	c learnt binary clauses	: 0
1800.05/1784.80	c learnt ternary clauses	: 0
1800.05/1784.80	c learnt constraints	: 4401460
1800.05/1784.80	c ignored constraints	: 0
1800.05/1784.80	c root simplifications	: 0
1800.05/1784.80	c removed literals (reason simplification)	: 0
1800.05/1784.80	c reason swapping (by a shorter reason)	: 0
1800.05/1784.80	c Calls to reduceDB	: 89
1800.05/1784.80	c Number of update (reduction) of LBD	: 1003283
1800.05/1784.80	c Imported unit clauses	: 0
1800.05/1784.80	c number of reductions to clauses (during analyze)	: 0
1800.05/1784.80	c number of learned constraints concerned by reduction	: 0
1800.05/1784.80	c number of learning phase by resolution	: 0
1800.05/1784.80	c number of learning phase by cutting planes	: 0
1800.05/1784.80	c speed (assignments/second)	: 26998.601230088123
1800.05/1784.80	c non guided choices	2680
1800.05/1784.80	c timeout
1800.05/1784.83	c learnt constraints type 
1800.05/1784.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 132519
1800.05/1784.83	s UNKNOWN
1800.05/1784.83	c Total wall clock time (in seconds): 1784.718

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-4084673-1465263674/watcher-4084673-1465263674 -o /tmp/evaluation-result-4084673-1465263674/solver-4084673-1465263674 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3501 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084673-1465263674.opb 

pid=6901
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.28 2.26 2.16 3/195 6904
/proc/meminfo: memFree=30394284/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/6904/stat : 6904 (java) R 6901 6904 3485 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 108301914 9379840 104 33554432000 1073741824 1073778376 140736020963280 140736020960408 213865677488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2290 123 94 9 0 38 0

[startup+0.100159 s]
/proc/loadavg: 2.28 2.26 2.16 3/195 6904
/proc/meminfo: memFree=30394284/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 108301914 9787879424 6024 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2389619 6024 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 2.28 2.26 2.16 3/195 6904
/proc/meminfo: memFree=30394284/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 4693 0 1 0 22 1 0 0 20 0 18 0 108301914 9787879424 6756 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2389619 6756 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.28 2.26 2.16 3/195 6904
/proc/meminfo: memFree=30394284/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 6043 0 1 0 44 1 0 0 20 0 18 0 108301914 9787879424 9864 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2389619 9864 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.70026 s]
/proc/loadavg: 2.28 2.26 2.16 3/195 6904
/proc/meminfo: memFree=30394284/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 12760 0 1 0 146 2 0 0 20 0 19 0 108301914 9856040960 15833 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2406260 15833 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9625040

[startup+1.50081 s]
/proc/loadavg: 2.28 2.26 2.16 3/214 6923
/proc/meminfo: memFree=30343592/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 12878 0 1 0 242 3 0 0 20 0 19 0 108301914 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2406260 19463 2273 9 0 2396937 0
[pid=6904/tid=6906] ppid=6901 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/6904/task/6906/stat : 6906 (java) R 6901 6904 3485 0 -1 4202560 2469 0 1 0 144 2 0 0 20 0 19 0 108301915 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742275453352 139742147078867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6907] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6907/stat : 6907 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742118886440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6908] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6908/stat : 6908 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742117833640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6909] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6909/stat : 6909 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742116780840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6910] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6910/stat : 6910 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742115728040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6911] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6911/stat : 6911 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742114675240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6912] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6912/stat : 6912 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742113622440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6913] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6913/stat : 6913 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742112569640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6914] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6914/stat : 6914 (java) S 6901 6904 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742111516840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6915] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6915/stat : 6915 (java) S 6901 6904 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108301917 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742099319784 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6916] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6916/stat : 6916 (java) S 6901 6904 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742098265848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6917] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6917/stat : 6917 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742097212936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6918] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6918/stat : 6918 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742096161424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6919] ppid=6901 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/6904/task/6919/stat : 6919 (java) R 6901 6904 3485 0 -1 4202560 3545 0 0 0 45 0 0 0 20 0 19 0 108301920 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742095108536 139742278176618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6920] ppid=6901 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/6904/task/6920/stat : 6920 (java) S 6901 6904 3485 0 -1 4202560 5592 0 0 0 49 2 0 0 20 0 19 0 108301920 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742094055736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6921] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6921/stat : 6921 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742093003128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6922] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6922/stat : 6922 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742091950536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6923] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6923/stat : 6923 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301952 9856040960 19463 33554432000 1073741824 1073778376 140736020963280 139742090897064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.28 2.26 2.16 3/214 6923
/proc/meminfo: memFree=30326952/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9625040 CPUtime=4.32 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 17951 0 1 0 428 4 0 0 20 0 19 0 108301914 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2406260 25100 2273 9 0 2396937 0
[pid=6904/tid=6906] ppid=6901 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/6904/task/6906/stat : 6906 (java) R 6901 6904 3485 0 -1 4202560 2481 0 1 0 304 2 0 0 20 0 19 0 108301915 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742275453256 139742147183880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6907] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6907/stat : 6907 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742118886440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6908] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6908/stat : 6908 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742117833640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6909] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6909/stat : 6909 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742116780840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6910] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6910/stat : 6910 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742115728040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6911] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6911/stat : 6911 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742114675240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6912] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6912/stat : 6912 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742113622440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6913] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6913/stat : 6913 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742112569640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6914] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6914/stat : 6914 (java) S 6901 6904 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742111516840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6915] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6915/stat : 6915 (java) S 6901 6904 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108301917 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742099319784 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6916] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6916/stat : 6916 (java) S 6901 6904 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742098265848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6917] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6917/stat : 6917 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742097212936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6918] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6918/stat : 6918 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742096161424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6919] ppid=6901 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/6904/task/6919/stat : 6919 (java) S 6901 6904 3485 0 -1 4202560 8606 0 0 0 70 2 0 0 20 0 19 0 108301920 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742095108536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6920] ppid=6901 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6904/task/6920/stat : 6920 (java) S 6901 6904 3485 0 -1 4202560 5592 0 0 0 51 2 0 0 20 0 19 0 108301920 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742094055736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6921] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6921/stat : 6921 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742093003128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6922] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6922/stat : 6922 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742091950536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6923] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6923/stat : 6923 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301952 9856040960 25100 33554432000 1073741824 1073778376 140736020963280 139742090897064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.26 2.25 2.16 3/214 6923
/proc/meminfo: memFree=30280820/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9625040 CPUtime=7.56 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 17976 0 1 0 751 5 0 0 20 0 19 0 108301914 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2406260 36618 2274 9 0 2396937 0
[pid=6904/tid=6906] ppid=6901 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/6904/task/6906/stat : 6906 (java) R 6901 6904 3485 0 -1 4202560 2505 0 1 0 622 2 0 0 20 0 19 0 108301915 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742275444432 139742147059038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6907] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6907/stat : 6907 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742118886440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6908] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6908/stat : 6908 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742117833640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6909] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6909/stat : 6909 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742116780840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6910] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6910/stat : 6910 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742115728040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6911] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6911/stat : 6911 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742114675240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6912] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6912/stat : 6912 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742113622440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6913] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6913/stat : 6913 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742112569640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6914] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6914/stat : 6914 (java) S 6901 6904 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108301916 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742111516840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6915] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6915/stat : 6915 (java) S 6901 6904 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108301917 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742099319784 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6916] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6916/stat : 6916 (java) S 6901 6904 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742098265848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6917] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6917/stat : 6917 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742097212936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6918] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6918/stat : 6918 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742096161424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6919] ppid=6901 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/6904/task/6919/stat : 6919 (java) S 6901 6904 3485 0 -1 4202560 8606 0 0 0 73 2 0 0 20 0 19 0 108301920 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742095108536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6920] ppid=6901 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6904/task/6920/stat : 6920 (java) S 6901 6904 3485 0 -1 4202560 5592 0 0 0 51 2 0 0 20 0 19 0 108301920 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742094055736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6921] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6921/stat : 6921 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742093003128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6922] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6922/stat : 6922 (java) S 6901 6904 3485 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742091950536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6923] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6923/stat : 6923 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301952 9856040960 36618 33554432000 1073741824 1073778376 140736020963280 139742090897064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 9625040


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

[pid=6904/tid=6923] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6923/stat : 6923 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301952 9856040960 84520 33554432000 1073741824 1073778376 140736020963280 139742090897064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1676.35
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/213 7051
/proc/meminfo: memFree=30207460/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9625040 CPUtime=1736.91 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 28993 0 1 0 173523 168 0 0 20 0 19 0 108301914 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2406260 85548 2296 9 0 2396937 0
[pid=6904/tid=6906] ppid=6901 vsize=9625040 CPUtime=1707.72 cores=0,2,4,6
/proc/6904/task/6906/stat : 6906 (java) R 6901 6904 3485 0 -1 4202560 2839 0 1 0 170743 29 0 0 20 0 19 0 108301915 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742275452208 139742147078464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6907] ppid=6901 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/6904/task/6907/stat : 6907 (java) S 6901 6904 3485 0 -1 4202560 1830 0 0 0 211 15 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742118886440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6908] ppid=6901 vsize=9625040 CPUtime=2.43 cores=0,2,4,6
/proc/6904/task/6908/stat : 6908 (java) S 6901 6904 3485 0 -1 4202560 1112 0 0 0 224 19 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742117833640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6909] ppid=6901 vsize=9625040 CPUtime=2.64 cores=0,2,4,6
/proc/6904/task/6909/stat : 6909 (java) S 6901 6904 3485 0 -1 4202560 1112 0 0 0 246 18 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742116780840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6910] ppid=6901 vsize=9625040 CPUtime=2.33 cores=0,2,4,6
/proc/6904/task/6910/stat : 6910 (java) S 6901 6904 3485 0 -1 4202560 1365 0 0 0 218 15 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742115728040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6911] ppid=6901 vsize=9625040 CPUtime=2.14 cores=0,2,4,6
/proc/6904/task/6911/stat : 6911 (java) S 6901 6904 3485 0 -1 4202560 876 0 0 0 199 15 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742114675240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6912] ppid=6901 vsize=9625040 CPUtime=2.32 cores=0,2,4,6
/proc/6904/task/6912/stat : 6912 (java) S 6901 6904 3485 0 -1 4202560 1000 0 0 0 214 18 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742113622440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6913] ppid=6901 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/6904/task/6913/stat : 6913 (java) S 6901 6904 3485 0 -1 4202560 1170 0 0 0 213 18 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742112569640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6914] ppid=6901 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/6904/task/6914/stat : 6914 (java) S 6901 6904 3485 0 -1 4202560 1168 0 0 0 219 15 0 0 20 0 19 0 108301916 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742111516840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6915] ppid=6901 vsize=9625040 CPUtime=4.46 cores=0,2,4,6
/proc/6904/task/6915/stat : 6915 (java) S 6901 6904 3485 0 -1 4202560 962 0 0 0 441 5 0 0 20 0 19 0 108301917 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742099319784 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6916] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6916/stat : 6916 (java) S 6901 6904 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742098265848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6917] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6917/stat : 6917 (java) S 6901 6904 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742097212936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6918] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6918/stat : 6918 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742096161424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6919] ppid=6901 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/6904/task/6919/stat : 6919 (java) S 6901 6904 3485 0 -1 4202560 8609 0 0 0 75 2 0 0 20 0 19 0 108301920 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742095108536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6920] ppid=6901 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6904/task/6920/stat : 6920 (java) S 6901 6904 3485 0 -1 4202560 5592 0 0 0 51 2 0 0 20 0 19 0 108301920 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742094055736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6921] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6921/stat : 6921 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742093003128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6922] ppid=6901 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/6904/task/6922/stat : 6922 (java) S 6901 6904 3485 0 -1 4202560 100 0 0 0 27 33 0 0 20 0 19 0 108301920 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742091950536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6923] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6923/stat : 6923 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301952 9856040960 85548 33554432000 1073741824 1073778376 140736020963280 139742090897064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1736.91
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/214 7055
/proc/meminfo: memFree=30193736/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9625040 CPUtime=1797.52 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 29484 0 1 0 179579 173 0 0 20 0 19 0 108301914 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2406260 77588 2296 9 0 2396937 0
[pid=6904/tid=6906] ppid=6901 vsize=9625040 CPUtime=1767.04 cores=0,2,4,6
/proc/6904/task/6906/stat : 6906 (java) R 6901 6904 3485 0 -1 4202560 2862 0 1 0 176673 31 0 0 20 0 19 0 108301915 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742275452208 139742147217181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6907] ppid=6901 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/6904/task/6907/stat : 6907 (java) S 6901 6904 3485 0 -1 4202560 1834 0 0 0 219 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742118886440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6908] ppid=6901 vsize=9625040 CPUtime=2.55 cores=0,2,4,6
/proc/6904/task/6908/stat : 6908 (java) S 6901 6904 3485 0 -1 4202560 1122 0 0 0 235 20 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742117833640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6909] ppid=6901 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/6904/task/6909/stat : 6909 (java) S 6901 6904 3485 0 -1 4202560 1121 0 0 0 257 18 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742116780840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6910] ppid=6901 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/6904/task/6910/stat : 6910 (java) S 6901 6904 3485 0 -1 4202560 1374 0 0 0 230 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742115728040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6911] ppid=6901 vsize=9625040 CPUtime=2.26 cores=0,2,4,6
/proc/6904/task/6911/stat : 6911 (java) S 6901 6904 3485 0 -1 4202560 979 0 0 0 211 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742114675240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6912] ppid=6901 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/6904/task/6912/stat : 6912 (java) S 6901 6904 3485 0 -1 4202560 1006 0 0 0 226 18 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742113622440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6913] ppid=6901 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/6904/task/6913/stat : 6913 (java) S 6901 6904 3485 0 -1 4202560 1337 0 0 0 223 19 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742112569640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6914] ppid=6901 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/6904/task/6914/stat : 6914 (java) S 6901 6904 3485 0 -1 4202560 1274 0 0 0 230 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742111516840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6915] ppid=6901 vsize=9625040 CPUtime=4.72 cores=0,2,4,6
/proc/6904/task/6915/stat : 6915 (java) S 6901 6904 3485 0 -1 4202560 1012 0 0 0 466 6 0 0 20 0 19 0 108301917 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742099319784 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6916] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6916/stat : 6916 (java) S 6901 6904 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742098265848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6917] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6917/stat : 6917 (java) S 6901 6904 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742097212936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6918] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6918/stat : 6918 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742096161424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6919] ppid=6901 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/6904/task/6919/stat : 6919 (java) S 6901 6904 3485 0 -1 4202560 8609 0 0 0 75 2 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742095108536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6920] ppid=6901 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6904/task/6920/stat : 6920 (java) S 6901 6904 3485 0 -1 4202560 5592 0 0 0 51 2 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742094055736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6921] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6921/stat : 6921 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742093003128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6922] ppid=6901 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6904/task/6922/stat : 6922 (java) S 6901 6904 3485 0 -1 4202560 104 0 0 0 28 34 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742091950536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6923] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6923/stat : 6923 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301952 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742090897064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.8 s]
/proc/loadavg: 2.10 2.09 2.09 3/214 7055
/proc/meminfo: memFree=30193856/32872528 swapFree=12352/737972
[pid=6904] ppid=6901 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/6904/stat : 6904 (java) S 6901 6904 3485 0 -1 4202496 29485 0 1 0 179832 173 0 0 20 0 19 0 108301914 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 140736020954416 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6904/statm: 2406260 77588 2296 9 0 2396937 0
[pid=6904/tid=6906] ppid=6901 vsize=9625040 CPUtime=1769.52 cores=0,2,4,6
/proc/6904/task/6906/stat : 6906 (java) R 6901 6904 3485 0 -1 4202560 2863 0 1 0 176921 31 0 0 20 0 19 0 108301915 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742275452192 139742147217181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6907] ppid=6901 vsize=9625040 CPUtime=2.35 cores=0,2,4,6
/proc/6904/task/6907/stat : 6907 (java) S 6901 6904 3485 0 -1 4202560 1834 0 0 0 220 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742118886440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6908] ppid=6901 vsize=9625040 CPUtime=2.55 cores=0,2,4,6
/proc/6904/task/6908/stat : 6908 (java) S 6901 6904 3485 0 -1 4202560 1122 0 0 0 235 20 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742117833640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6909] ppid=6901 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/6904/task/6909/stat : 6909 (java) S 6901 6904 3485 0 -1 4202560 1121 0 0 0 257 18 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742116780840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6910] ppid=6901 vsize=9625040 CPUtime=2.46 cores=0,2,4,6
/proc/6904/task/6910/stat : 6910 (java) S 6901 6904 3485 0 -1 4202560 1374 0 0 0 231 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742115728040 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6911] ppid=6901 vsize=9625040 CPUtime=2.27 cores=0,2,4,6
/proc/6904/task/6911/stat : 6911 (java) S 6901 6904 3485 0 -1 4202560 979 0 0 0 212 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742114675240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6912] ppid=6901 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/6904/task/6912/stat : 6912 (java) S 6901 6904 3485 0 -1 4202560 1006 0 0 0 226 18 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742113622440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6913] ppid=6901 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/6904/task/6913/stat : 6913 (java) S 6901 6904 3485 0 -1 4202560 1337 0 0 0 223 19 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742112569640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6904/tid=6914] ppid=6901 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/6904/task/6914/stat : 6914 (java) S 6901 6904 3485 0 -1 4202560 1274 0 0 0 230 15 0 0 20 0 19 0 108301916 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742111516840 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6915] ppid=6901 vsize=9625040 CPUtime=4.72 cores=0,2,4,6
/proc/6904/task/6915/stat : 6915 (java) S 6901 6904 3485 0 -1 4202560 1012 0 0 0 466 6 0 0 20 0 19 0 108301917 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742099319784 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6916] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6916/stat : 6916 (java) S 6901 6904 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742098265848 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6917] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6917/stat : 6917 (java) S 6901 6904 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108301918 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742097212936 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6918] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6918/stat : 6918 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742096161424 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6919] ppid=6901 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/6904/task/6919/stat : 6919 (java) S 6901 6904 3485 0 -1 4202560 8609 0 0 0 75 2 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742095108536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6904/tid=6920] ppid=6901 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6904/task/6920/stat : 6920 (java) S 6901 6904 3485 0 -1 4202560 5592 0 0 0 51 2 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742094055736 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6921] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6921/stat : 6921 (java) S 6901 6904 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742093003128 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6904/tid=6922] ppid=6901 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/6904/task/6922/stat : 6922 (java) S 6901 6904 3485 0 -1 4202560 104 0 0 0 28 34 0 0 20 0 19 0 108301920 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742091950536 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6904/tid=6923] ppid=6901 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6904/task/6923/stat : 6923 (java) S 6901 6904 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108301952 9856040960 77588 33554432000 1073741824 1073778376 140736020963280 139742090897064 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 6904 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 6904 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=919282
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=241659
# CPU time returned by wait4() is 1796.16
# 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): 1784.84
CPU time (s): 1800.05
CPU user time (s): 1798.32
CPU system time (s): 1.73
CPU usage (%): 100.852
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 2.24166
maximum resident set size= 867316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29517
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48548
involuntary context switches= 40049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0935 second user time and 13.7919 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 03:41:14
IDJOB=4084673
IDBENCH=48331
IDSOLVER=2546
FILE ID=node112/4084673-1465263674
RUNJOBID= node112-1465252319-3501
PBS_JOBID= 19843261
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= ae994079f65819ac107e4a3e259224ff
RANDOM SEED=1665228233

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.72
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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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:        30394556 kB
Buffers:           94184 kB
Cached:           117152 kB
SwapCached:         1624 kB
Active:           870536 kB
Inactive:         136596 kB
Active(anon):     796164 kB
Inactive(anon):     2140 kB
Active(file):      74372 kB
Inactive(file):   134456 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098612 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       1662200 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             597420 kB
SReclaimable:      40932 kB
SUnreclaim:       556488 kB
KernelStack:        1768 kB
PageTables:         7632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1641236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1587200 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= 71748 MiB
End job on node112 at 2016-06-07 04:10:59