Trace number 4098056

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 PB16UNSAT 712.77 708.72

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_7.opb
MD5SUM92da582f4b822563e9d3be08421e1a61
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 benchmark3.13352
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5112
Total number of constraints24926
Number of constraints which are clauses24921
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint71
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 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 78
Number of bits of the biggest sum of numbers7
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4098056-1466119447.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  no objective function found
1.25/0.80	c ... done. Wall clock time 0.7s.
1.25/0.80	c declared #vars     5112
1.25/0.80	c #constraints  24930
1.25/0.80	c constraints type 
1.25/0.80	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14910
1.25/0.80	c org.sat4j.specs.Constr$1 => 4
1.25/0.80	c org.sat4j.minisat.constraints.card.MinWatchCard => 3
1.25/0.80	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
1.25/0.80	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10010
1.25/0.80	c 24930 constraints processed.
2.63/1.97	c cleaning 2490 clauses out of 5000 with flag 42606/5000
4.10/3.38	c cleaning 4245 clauses out of 8510 with flag 86013/11000
5.70/4.91	c cleaning 5631 clauses out of 11265 with flag 138257/18000
7.28/6.41	c cleaning 6812 clauses out of 13634 with flag 185650/26000
10.35/9.19	c cleaning 7909 clauses out of 15824 with flag 263354/35002
13.65/12.13	c cleaning 8957 clauses out of 17913 with flag 335012/45000
16.54/15.06	c cleaning 9972 clauses out of 19956 with flag 400096/56000
19.84/18.36	c cleaning 10969 clauses out of 21985 with flag 477490/68001
23.46/21.93	c cleaning 12004 clauses out of 24016 with flag 575088/81001
27.16/25.65	c cleaning 12991 clauses out of 26011 with flag 660005/95000
31.30/29.80	c cleaning 13976 clauses out of 28020 with flag 752961/110000
35.81/34.25	c cleaning 15016 clauses out of 30046 with flag 869314/126002
40.51/38.95	c cleaning 15971 clauses out of 32028 with flag 999796/143000
45.51/43.63	c cleaning 17003 clauses out of 34057 with flag 1125418/161000
51.08/48.89	c cleaning 18013 clauses out of 36054 with flag 1250940/180001
56.48/54.29	c cleaning 18997 clauses out of 38039 with flag 1393502/200000
62.18/59.96	c cleaning 20006 clauses out of 40042 with flag 1543580/221000
68.28/66.03	c cleaning 20992 clauses out of 42036 with flag 1695387/243000
74.37/72.19	c cleaning 21992 clauses out of 44044 with flag 1856884/266000
81.62/79.31	c cleaning 22990 clauses out of 46052 with flag 2039336/290000
88.92/86.61	c cleaning 24008 clauses out of 48062 with flag 2205231/315000
96.28/93.96	c cleaning 25016 clauses out of 50057 with flag 2405873/341003
103.88/101.52	c cleaning 25996 clauses out of 52036 with flag 2580099/368001
111.17/108.86	c cleaning 27013 clauses out of 54040 with flag 2774349/396001
119.47/117.16	c cleaning 27949 clauses out of 56025 with flag 2986669/425000
127.78/125.45	c cleaning 29031 clauses out of 58077 with flag 3195582/455001
136.27/133.98	c cleaning 29995 clauses out of 60046 with flag 3393601/486001
145.12/142.70	c cleaning 30989 clauses out of 62050 with flag 3591817/518000
153.24/150.88	c cleaning 32029 clauses out of 64061 with flag 3785771/551000
161.33/158.93	c cleaning 33005 clauses out of 66032 with flag 3976497/585000
169.92/167.42	c cleaning 33995 clauses out of 68026 with flag 4162359/620000
180.12/177.65	c cleaning 34990 clauses out of 70031 with flag 4427199/656000
190.02/187.50	c cleaning 36010 clauses out of 72041 with flag 4659504/693000
200.11/197.64	c cleaning 37010 clauses out of 74032 with flag 4879911/731001
211.31/208.82	c cleaning 37997 clauses out of 76021 with flag 5142867/770001
222.94/220.31	c cleaning 38978 clauses out of 78022 with flag 5397445/810000
235.14/232.57	c cleaning 40020 clauses out of 80044 with flag 5671976/851000
247.84/245.22	c cleaning 40983 clauses out of 82024 with flag 5955731/893000
261.05/258.33	c cleaning 41968 clauses out of 84037 with flag 6271400/936000
273.35/270.69	c cleaning 43008 clauses out of 86069 with flag 6545934/980000
286.24/283.54	c cleaning 44025 clauses out of 88059 with flag 6830530/1025000
299.22/296.30	c cleaning 44998 clauses out of 90035 with flag 7115868/1071001
312.13/309.24	c cleaning 45995 clauses out of 92036 with flag 7377141/1118000
326.14/323.12	c cleaning 46997 clauses out of 94040 with flag 7673258/1166000
339.08/335.97	c cleaning 48000 clauses out of 96040 with flag 7942943/1215000
354.08/350.97	c cleaning 49018 clauses out of 98039 with flag 8311472/1265001
368.52/365.28	c cleaning 49986 clauses out of 100018 with flag 8605449/1316000
383.31/380.02	c cleaning 51003 clauses out of 102032 with flag 8931588/1368001
398.71/395.43	c cleaning 52008 clauses out of 104027 with flag 9270218/1421000
414.24/410.82	c cleaning 52993 clauses out of 106019 with flag 9593618/1475000
429.42/425.95	c cleaning 53997 clauses out of 108025 with flag 9898081/1530001
445.83/442.39	c cleaning 55008 clauses out of 110025 with flag 10251680/1586001
461.96/458.45	c cleaning 56002 clauses out of 112014 with flag 10592283/1643000
478.56/475.09	c cleaning 57001 clauses out of 114012 with flag 10934968/1701000
496.83/493.23	c cleaning 57998 clauses out of 116011 with flag 11292603/1760000
513.04/509.48	c cleaning 58995 clauses out of 118011 with flag 11619281/1820000
530.89/527.24	c cleaning 59997 clauses out of 120014 with flag 11999938/1881000
547.19/543.50	c cleaning 60995 clauses out of 122019 with flag 12334914/1943002
564.98/561.26	c cleaning 62005 clauses out of 124022 with flag 12688369/2006003
582.07/578.28	c cleaning 63001 clauses out of 126015 with flag 13030531/2070002
598.93/595.10	c cleaning 64004 clauses out of 128010 with flag 13358301/2135000
617.25/613.36	c cleaning 64998 clauses out of 130005 with flag 13706347/2201001
636.01/632.05	c cleaning 65996 clauses out of 132009 with flag 14077460/2268005
654.41/650.45	c cleaning 66991 clauses out of 134005 with flag 14420695/2336000
672.11/668.14	c cleaning 68000 clauses out of 136008 with flag 14752508/2405000
690.77/686.77	c cleaning 68990 clauses out of 138000 with flag 15087139/2475000
708.97/704.99	c cleaning 70002 clauses out of 140007 with flag 15395916/2546000
712.67/708.69	c starts		: 5928
712.67/708.69	c conflicts		: 2564155
712.67/708.69	c decisions		: 21203044
712.67/708.69	c propagations		: 556619089
712.67/708.69	c inspects		: 8946236130
712.67/708.69	c shortcuts		: 0
712.67/708.69	c learnt literals	: 68
712.67/708.69	c learnt binary clauses	: 106
712.67/708.69	c learnt ternary clauses	: 69
712.67/708.69	c learnt constraints	: 2564086
712.67/708.69	c ignored constraints	: 0
712.67/708.69	c root simplifications	: 0
712.67/708.69	c removed literals (reason simplification)	: 0
712.67/708.69	c reason swapping (by a shorter reason)	: 0
712.67/708.69	c Calls to reduceDB	: 67
712.67/708.69	c Number of update (reduction) of LBD	: 1432145
712.67/708.69	c Imported unit clauses	: 0
712.67/708.69	c number of reductions to clauses (during analyze)	: 0
712.67/708.69	c number of learned constraints concerned by reduction	: 0
712.67/708.69	c number of learning phase by resolution	: 0
712.67/708.69	c number of learning phase by cutting planes	: 0
712.67/708.69	c speed (assignments/second)	: 786316.2066559116
712.67/708.69	c non guided choices	4341
712.77/708.71	c learnt constraints type 
712.77/708.71	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 106
712.77/708.71	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 88051
712.77/708.71	s UNSATISFIABLE
712.77/708.71	c Total wall clock time (in seconds): 708.611

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-4098056-1466119447/watcher-4098056-1466119447 -o /tmp/evaluation-result-4098056-1466119447/solver-4098056-1466119447 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466119443-29785 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4098056-1466119447.opb 

pid=30090
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: 1.21 1.25 1.63 3/194 30093
/proc/meminfo: memFree=30640016/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 13994000 98570240 977 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 24065 977 743 9 0 16771 0
[pid=30093/tid=30094] ppid=30090 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13994001 98570240 977 33554432000 1073741824 1073778376 140735776383808 140075443998248 219513963904 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30093
/proc/meminfo: memFree=30640016/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 4480 0 1 0 9 1 0 0 20 0 18 0 13994000 9787879424 6114 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2389619 6114 2157 9 0 2380296 0
[pid=30093/tid=30094] ppid=30090 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2381 0 1 0 6 1 0 0 20 0 18 0 13994001 9787879424 6114 33554432000 1073741824 1073778376 140735776383808 140075444001696 219517347085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.20026 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30093
/proc/meminfo: memFree=30640016/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9559004 CPUtime=0.3 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 5921 0 1 0 29 1 0 0 20 0 18 0 13994000 9788420096 8013 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2389751 8013 2221 9 0 2380428 0
[pid=30093/tid=30094] ppid=30090 vsize=9559004 CPUtime=0.17 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2401 0 1 0 16 1 0 0 20 0 18 0 13994001 9788420096 8013 33554432000 1073741824 1073778376 140735776383808 140075444001696 140075274925472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9559004

[startup+0.300261 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30093
/proc/meminfo: memFree=30640016/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 7040 0 1 0 56 2 0 0 20 0 18 0 13994000 9787879424 11758 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2389619 11758 2238 9 0 2380296 0
[pid=30093/tid=30094] ppid=30090 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2407 0 1 0 26 1 0 0 20 0 18 0 13994001 9787879424 11758 33554432000 1073741824 1073778376 140735776383808 140075444001912 140075275317489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700324 s]
/proc/loadavg: 1.21 1.25 1.63 3/194 30093
/proc/meminfo: memFree=30640016/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9558476 CPUtime=0.99 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 7125 0 1 0 96 3 0 0 20 0 18 0 13994000 9787879424 39943 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2389619 39943 2256 9 0 2380296 0
[pid=30093/tid=30094] ppid=30090 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2465 0 1 0 64 3 0 0 20 0 18 0 13994001 9787879424 39943 33554432000 1073741824 1073778376 140735776383808 140075443994544 140075274925488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9558476

[startup+1.50079 s]
/proc/loadavg: 1.21 1.25 1.63 3/213 30112
/proc/meminfo: memFree=30480740/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 9478 0 1 0 219 4 0 0 20 0 19 0 13994000 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2406260 40669 2281 9 0 2396937 0
[pid=30093/tid=30094] ppid=30090 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2480 0 1 0 144 3 0 0 20 0 19 0 13994001 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075444002920 140075275617498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30096] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 27601 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13994001 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075405494696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30097] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075404442152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30098] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075403389096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30099] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 27601 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075402336552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30100] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075401284520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30101] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075400231976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30102] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075399178920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30103] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075398126376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30104] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 27601 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075267488104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30105] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075266434424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30106] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075265381256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30107] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075264330000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30108] ppid=30090 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 27601 0 -1 4202560 2976 0 0 0 35 0 0 0 20 0 19 0 13994005 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075263277880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30109] ppid=30090 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 27601 0 -1 4202560 2727 0 0 0 37 0 0 0 20 0 19 0 13994005 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075262225336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30110] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30110/stat : 30110 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075261172472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30111] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30111/stat : 30111 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140075260120136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30112] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30112/stat : 30112 (java) S 30090 30093 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13994082 9856040960 40669 33554432000 1073741824 1073778376 140735776383808 140074251445288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 1.21 1.25 1.63 3/213 30112
/proc/meminfo: memFree=30478064/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 9487 0 1 0 383 4 0 0 20 0 19 0 13994000 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2406260 40674 2285 9 0 2396937 0
[pid=30093/tid=30094] ppid=30090 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2482 0 1 0 304 3 0 0 20 0 19 0 13994001 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075444003336 140075275545722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30096] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 27601 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13994001 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075405494696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30097] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075404442152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30098] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075403389096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30099] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 27601 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075402336552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30100] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075401284520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30101] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075400231976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30102] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075399178920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30103] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075398126376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30104] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075267488104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30105] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075266434424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30106] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075265381256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30107] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075264330000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30108] ppid=30090 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 27601 0 -1 4202560 2978 0 0 0 36 0 0 0 20 0 19 0 13994005 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075263277880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30109] ppid=30090 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 27601 0 -1 4202560 2731 0 0 0 39 0 0 0 20 0 19 0 13994005 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075262225336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30110] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30110/stat : 30110 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075261172472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30111] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30111/stat : 30111 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140075260120136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30112] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30112/stat : 30112 (java) S 30090 30093 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13994082 9856040960 40674 33554432000 1073741824 1073778376 140735776383808 140074251445288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 1.27 1.26 1.64 3/213 30112
/proc/meminfo: memFree=30470000/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9625040 CPUtime=7.11 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 9490 0 1 0 707 4 0 0 20 0 19 0 13994000 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2406260 40658 2285 9 0 2396937 0
[pid=30093/tid=30094] ppid=30090 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2485 0 1 0 623 3 0 0 20 0 19 0 13994001 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075443993576 140075447288679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30096] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 27601 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13994001 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075405494696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30097] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075404442152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30098] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075403389096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30099] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 27601 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075402336552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30100] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075401284520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30101] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075400231976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30102] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075399178920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30103] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 27601 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13994002 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075398126376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30104] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075267488104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30105] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075266434424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30106] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075265381256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30107] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075264330000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30108] ppid=30090 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) R 30090 30093 27601 0 -1 4202560 2978 0 0 0 39 0 0 0 20 0 19 0 13994005 9856040960 40658 33554432000 1073741824 1073778376 140735776383808 140075263277880 219513631396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30109] ppid=30090 vsize=9625040 CPUtime=0.41 cores=0,2,4,6

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

[pid=30093/tid=30104] ppid=30090 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 27601 0 -1 4202560 150 0 0 0 9 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075267488104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30105] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075266434424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30106] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075265381256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30107] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075264330000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30108] ppid=30090 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 27601 0 -1 4202560 20901 0 0 0 173 3 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075263277880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30109] ppid=30090 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 27601 0 -1 4202560 3016 0 0 0 53 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075262225336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30110] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30110/stat : 30110 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075261172472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30111] ppid=30090 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30093/task/30111/stat : 30111 (java) S 30090 30093 27601 0 -1 4202560 41 0 0 0 5 9 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075260120136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30112] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30112/stat : 30112 (java) S 30090 30093 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13994082 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140074251445288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 712.07
Current children cumulated vsize (KiB) 9625040

[startup+708.401 s]
/proc/loadavg: 2.19 2.09 1.91 4/213 30129
/proc/meminfo: memFree=29759960/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9625040 CPUtime=712.48 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 30513 0 1 0 71183 65 0 0 20 0 19 0 13994000 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2406260 137286 2294 9 0 2396937 0
[pid=30093/tid=30094] ppid=30090 vsize=9625040 CPUtime=705.69 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2511 0 1 0 70555 14 0 0 20 0 19 0 13994001 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075443994304 140075275478554 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30096] ppid=30090 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 27601 0 -1 4202560 509 0 0 0 22 7 0 0 20 0 19 0 13994001 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075405494696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30097] ppid=30090 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 27601 0 -1 4202560 159 0 0 0 28 7 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075404442152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30098] ppid=30090 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 27601 0 -1 4202560 363 0 0 0 21 7 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075403389096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30099] ppid=30090 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 27601 0 -1 4202560 362 0 0 0 23 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075402336552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30100] ppid=30090 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 27601 0 -1 4202560 430 0 0 0 25 8 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075401284520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30101] ppid=30090 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 27601 0 -1 4202560 350 0 0 0 25 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075400231976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30102] ppid=30090 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 27601 0 -1 4202560 290 0 0 0 25 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075399178920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30103] ppid=30090 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 27601 0 -1 4202560 172 0 0 0 22 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075398126376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30104] ppid=30090 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 27601 0 -1 4202560 150 0 0 0 9 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075267488104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30105] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075266434424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30106] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075265381256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30107] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075264330000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30108] ppid=30090 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 27601 0 -1 4202560 20901 0 0 0 173 3 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075263277880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30109] ppid=30090 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 27601 0 -1 4202560 3016 0 0 0 53 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075262225336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30110] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30110/stat : 30110 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075261172472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30111] ppid=30090 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30093/task/30111/stat : 30111 (java) S 30090 30093 27601 0 -1 4202560 41 0 0 0 5 9 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075260120136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30112] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30112/stat : 30112 (java) S 30090 30093 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13994082 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140074251445288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 712.48
Current children cumulated vsize (KiB) 9625040

[startup+708.601 s]
/proc/loadavg: 2.19 2.09 1.91 4/213 30129
/proc/meminfo: memFree=29759960/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9625040 CPUtime=712.67 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 30513 0 1 0 71202 65 0 0 20 0 19 0 13994000 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2406260 137286 2294 9 0 2396937 0
[pid=30093/tid=30094] ppid=30090 vsize=9625040 CPUtime=705.89 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) R 30090 30093 27601 0 -1 4202560 2511 0 1 0 70575 14 0 0 20 0 19 0 13994001 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075443994304 140075275538472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30096] ppid=30090 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 27601 0 -1 4202560 509 0 0 0 22 7 0 0 20 0 19 0 13994001 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075405494696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30097] ppid=30090 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 27601 0 -1 4202560 159 0 0 0 28 7 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075404442152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30098] ppid=30090 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 27601 0 -1 4202560 363 0 0 0 21 7 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075403389096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30099] ppid=30090 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 27601 0 -1 4202560 362 0 0 0 23 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075402336552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30100] ppid=30090 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 27601 0 -1 4202560 430 0 0 0 25 8 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075401284520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30101] ppid=30090 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 27601 0 -1 4202560 350 0 0 0 25 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075400231976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30102] ppid=30090 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 27601 0 -1 4202560 290 0 0 0 25 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075399178920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30103] ppid=30090 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 27601 0 -1 4202560 172 0 0 0 22 6 0 0 20 0 19 0 13994002 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075398126376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30104] ppid=30090 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 27601 0 -1 4202560 150 0 0 0 9 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075267488104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30105] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075266434424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30106] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075265381256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30107] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075264330000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30108] ppid=30090 vsize=9625040 CPUtime=1.76 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) S 30090 30093 27601 0 -1 4202560 20901 0 0 0 173 3 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075263277880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30109] ppid=30090 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 27601 0 -1 4202560 3016 0 0 0 53 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075262225336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30110] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30110/stat : 30110 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075261172472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30111] ppid=30090 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/30093/task/30111/stat : 30111 (java) S 30090 30093 27601 0 -1 4202560 41 0 0 0 5 9 0 0 20 0 19 0 13994005 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140075260120136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30112] ppid=30090 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30112/stat : 30112 (java) S 30090 30093 27601 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13994082 9856040960 137286 33554432000 1073741824 1073778376 140735776383808 140074251445288 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 712.67
Current children cumulated vsize (KiB) 9625040

[startup+708.701 s]
/proc/loadavg: 2.19 2.09 1.91 4/213 30129
/proc/meminfo: memFree=29759960/32872528 swapFree=1073984/1155744
[pid=30093] ppid=30090 vsize=9691604 CPUtime=712.77 cores=0,2,4,6
/proc/30093/stat : 30093 (java) S 30090 30093 27601 0 -1 4202496 30527 0 1 0 71212 65 0 0 20 0 19 0 13994000 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140735776374944 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30093/statm: 2422901 137295 2295 9 0 2413578 0
[pid=30093/tid=30094] ppid=30090 vsize=9691604 CPUtime=705.98 cores=0,2,4,6
/proc/30093/task/30094/stat : 30094 (java) S 30090 30093 27601 0 -1 4202560 2514 0 1 0 70584 14 0 0 20 0 19 0 13994001 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075444003544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30096] ppid=30090 vsize=9691604 CPUtime=0.29 cores=0,2,4,6
/proc/30093/task/30096/stat : 30096 (java) S 30090 30093 27601 0 -1 4202560 509 0 0 0 22 7 0 0 20 0 19 0 13994001 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075405494696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30097] ppid=30090 vsize=9691604 CPUtime=0.35 cores=0,2,4,6
/proc/30093/task/30097/stat : 30097 (java) S 30090 30093 27601 0 -1 4202560 159 0 0 0 28 7 0 0 20 0 19 0 13994002 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075404442152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30098] ppid=30090 vsize=9691604 CPUtime=0.28 cores=0,2,4,6
/proc/30093/task/30098/stat : 30098 (java) S 30090 30093 27601 0 -1 4202560 363 0 0 0 21 7 0 0 20 0 19 0 13994002 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075403389096 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30099] ppid=30090 vsize=9691604 CPUtime=0.29 cores=0,2,4,6
/proc/30093/task/30099/stat : 30099 (java) S 30090 30093 27601 0 -1 4202560 362 0 0 0 23 6 0 0 20 0 19 0 13994002 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075402336552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30100] ppid=30090 vsize=9691604 CPUtime=0.33 cores=0,2,4,6
/proc/30093/task/30100/stat : 30100 (java) S 30090 30093 27601 0 -1 4202560 430 0 0 0 25 8 0 0 20 0 19 0 13994002 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075401284520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30101] ppid=30090 vsize=9691604 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30101/stat : 30101 (java) S 30090 30093 27601 0 -1 4202560 350 0 0 0 25 6 0 0 20 0 19 0 13994002 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075400231976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30102] ppid=30090 vsize=9691604 CPUtime=0.31 cores=0,2,4,6
/proc/30093/task/30102/stat : 30102 (java) S 30090 30093 27601 0 -1 4202560 290 0 0 0 25 6 0 0 20 0 19 0 13994002 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075399178920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30093/tid=30103] ppid=30090 vsize=9691604 CPUtime=0.28 cores=0,2,4,6
/proc/30093/task/30103/stat : 30103 (java) S 30090 30093 27601 0 -1 4202560 172 0 0 0 22 6 0 0 20 0 19 0 13994002 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075398126376 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30104] ppid=30090 vsize=9691604 CPUtime=0.09 cores=0,2,4,6
/proc/30093/task/30104/stat : 30104 (java) S 30090 30093 27601 0 -1 4202560 150 0 0 0 9 0 0 0 20 0 19 0 13994003 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075267488104 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30093/tid=30105] ppid=30090 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30105/stat : 30105 (java) S 30090 30093 27601 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13994003 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075266434424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30106] ppid=30090 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30106/stat : 30106 (java) S 30090 30093 27601 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 13994003 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075265381256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30107] ppid=30090 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30107/stat : 30107 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075264330000 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30108] ppid=30090 vsize=9691604 CPUtime=1.76 cores=0,2,4,6
/proc/30093/task/30108/stat : 30108 (java) R 30090 30093 27601 0 -1 4202560 20902 0 0 0 173 3 0 0 20 0 19 0 13994005 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075263277880 140075450799224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30109] ppid=30090 vsize=9691604 CPUtime=0.53 cores=0,2,4,6
/proc/30093/task/30109/stat : 30109 (java) S 30090 30093 27601 0 -1 4202560 3017 0 0 0 53 0 0 0 20 0 19 0 13994005 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075262225336 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30093/tid=30110] ppid=30090 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/30093/task/30110/stat : 30110 (java) S 30090 30093 27601 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13994005 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075261172472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30093/tid=30111] ppid=30090 vsize=9691604 CPUtime=0.14 cores=0,2,4,6
/proc/30093/task/30111/stat : 30111 (java) S 30090 30093 27601 0 -1 4202560 41 0 0 0 5 9 0 0 20 0 19 0 13994005 9924202496 137295 33554432000 1073741824 1073778376 140735776383808 140075260120136 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 712.77
Current children cumulated vsize (KiB) 9691604

Child status: 20

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30093 and gives
#  childrusage.ru_utime.tv_sec=710
#  childrusage.ru_utime.tv_usec=304017
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=930858
# CPU time returned by wait4() is 711.235
# while last known CPU time is 712.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 708.72
CPU time (s): 712.77
CPU user time (s): 712.12
CPU system time (s): 0.65
CPU usage (%): 100.571
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 710.304
system time used= 0.930858
maximum resident set size= 638104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30528
page faults= 1
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15761
involuntary context switches= 13653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.17421 second user time and 6.37903 second system time

The end

Launcher Data

Begin job on node114 at 2016-06-17 01:24:08
IDJOB=4098056
IDBENCH=107845
IDSOLVER=2546
FILE ID=node114/4098056-1466119447
RUNJOBID= node114-1466119443-29785
PBS_JOBID= 19904125
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_7.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098056-1466119447/watcher-4098056-1466119447 -o /tmp/evaluation-result-4098056-1466119447/solver-4098056-1466119447 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466119443-29785 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4098056-1466119447.opb

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

MD5SUM BENCH= 92da582f4b822563e9d3be08421e1a61
RANDOM SEED=1504461818

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.761
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.761
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.761
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:        30640396 kB
Buffers:           55908 kB
Cached:           141996 kB
SwapCached:        80112 kB
Active:           174588 kB
Inactive:         196932 kB
Active(anon):      96676 kB
Inactive(anon):    79672 kB
Active(file):      77912 kB
Inactive(file):   117260 kB
Unevictable:     1155744 kB
Mlocked:         1073984 kB
SwapTotal:      67108856 kB
SwapFree:       67022276 kB
Dirty:              5404 kB
Writeback:             0 kB
AnonPages:       1250960 kB
Mapped:            16876 kB
Shmem:                 0 kB
Slab:             571852 kB
SReclaimable:      14880 kB
SUnreclaim:       556972 kB
KernelStack:        1576 kB
PageTables:         6684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1843476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71728 MiB
End job on node114 at 2016-06-17 01:35:57