Trace number 4121430

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 1290.41 1288.27

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-100.cnf.gz-extracted.pb.metafix.opb
MD5SUMd630f8ea1d97166a0d7525401c533e5b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.011997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables401
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4121430-1467314520.opb
0.08/0.11	c reading problem ... 
0.08/0.11	c  no objective function found
0.08/0.18	c ... done. Wall clock time 0.065s.
0.08/0.18	c declared #vars     401
0.08/0.18	c #constraints  400
0.08/0.18	c constraints type 
0.08/0.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 400
0.08/0.18	c 400 constraints processed.
0.67/0.46	c cleaning 2490 clauses out of 5000 with flag 22381/5000
1.11/0.64	c cleaning 4245 clauses out of 8510 with flag 53016/11000
1.37/0.85	c cleaning 5626 clauses out of 11265 with flag 88222/18000
1.58/1.10	c cleaning 6806 clauses out of 13640 with flag 130329/26001
2.00/1.46	c cleaning 7902 clauses out of 15833 with flag 185552/35000
2.30/1.79	c cleaning 8945 clauses out of 17931 with flag 237068/45000
2.69/2.16	c cleaning 9970 clauses out of 19986 with flag 297730/56000
3.19/2.61	c cleaning 10990 clauses out of 22016 with flag 362657/68000
3.70/3.13	c cleaning 12005 clauses out of 24026 with flag 436260/81000
4.29/3.71	c cleaning 12987 clauses out of 26021 with flag 514898/95000
4.89/4.34	c cleaning 13999 clauses out of 28034 with flag 593758/110000
5.59/5.05	c cleaning 14996 clauses out of 30035 with flag 680439/126000
6.39/5.82	c cleaning 16014 clauses out of 32041 with flag 771954/143002
7.20/6.69	c cleaning 16997 clauses out of 34025 with flag 875732/161000
8.19/7.62	c cleaning 18009 clauses out of 36028 with flag 990719/180000
9.29/8.70	c cleaning 18989 clauses out of 38020 with flag 1119405/200001
10.39/9.90	c cleaning 20010 clauses out of 40031 with flag 1254946/221001
11.70/11.17	c cleaning 20987 clauses out of 42021 with flag 1395428/243001
12.99/12.44	c cleaning 21998 clauses out of 44034 with flag 1532952/266001
14.30/13.78	c cleaning 23011 clauses out of 46037 with flag 1678476/290002
15.80/15.28	c cleaning 24001 clauses out of 48026 with flag 1833366/315002
17.50/16.90	c cleaning 25010 clauses out of 50023 with flag 1990914/341000
19.10/18.58	c cleaning 25984 clauses out of 52013 with flag 2159028/368000
20.90/20.38	c cleaning 27011 clauses out of 54029 with flag 2331041/396000
22.90/22.36	c cleaning 27989 clauses out of 56018 with flag 2509909/425000
25.00/24.42	c cleaning 28997 clauses out of 58029 with flag 2693177/455000
27.20/26.69	c cleaning 30003 clauses out of 60034 with flag 2884679/486002
29.59/29.05	c cleaning 31006 clauses out of 62029 with flag 3077869/518000
32.09/31.58	c cleaning 31998 clauses out of 64025 with flag 3292823/551002
34.80/34.23	c cleaning 32995 clauses out of 66025 with flag 3505966/585000
37.60/37.00	c cleaning 33996 clauses out of 68033 with flag 3717396/620003
40.60/40.00	c cleaning 34994 clauses out of 70034 with flag 3937682/656000
43.61/43.09	c cleaning 36004 clauses out of 72041 with flag 4167945/693001
47.00/46.42	c cleaning 36996 clauses out of 74037 with flag 4406358/731001
50.40/49.84	c cleaning 38017 clauses out of 76042 with flag 4651640/770002
54.00/53.41	c cleaning 38994 clauses out of 78023 with flag 4889064/810000
57.60/57.09	c cleaning 40001 clauses out of 80029 with flag 5148675/851000
61.60/61.02	c cleaning 40994 clauses out of 82028 with flag 5400534/893000
65.79/65.25	c cleaning 41989 clauses out of 84034 with flag 5660876/936000
70.05/69.44	c cleaning 43010 clauses out of 86048 with flag 5934270/980003
74.45/73.87	c cleaning 44009 clauses out of 88035 with flag 6203261/1025000
79.04/78.41	c cleaning 44998 clauses out of 90029 with flag 6482555/1071003
83.74/83.16	c cleaning 45989 clauses out of 92028 with flag 6767272/1118000
88.84/88.22	c cleaning 47016 clauses out of 94040 with flag 7060162/1166001
94.25/93.67	c cleaning 47998 clauses out of 96023 with flag 7347853/1215000
99.65/99.06	c cleaning 48996 clauses out of 98025 with flag 7638189/1265000
105.25/104.67	c cleaning 50005 clauses out of 100030 with flag 7937131/1316001
111.05/110.40	c cleaning 50996 clauses out of 102026 with flag 8239204/1368002
117.05/116.42	c cleaning 51989 clauses out of 104028 with flag 8548361/1421000
123.35/122.72	c cleaning 53017 clauses out of 106039 with flag 8853567/1475000
129.94/129.35	c cleaning 53998 clauses out of 108027 with flag 9168246/1530005
136.74/136.12	c cleaning 54990 clauses out of 110027 with flag 9493393/1586003
143.65/143.04	c cleaning 55993 clauses out of 112034 with flag 9820088/1643000
151.05/150.47	c cleaning 57005 clauses out of 114041 with flag 10153404/1701000
158.44/157.89	c cleaning 58002 clauses out of 116037 with flag 10490902/1760001
166.24/165.64	c cleaning 59004 clauses out of 118034 with flag 10843880/1820000
174.34/173.80	c cleaning 60006 clauses out of 120031 with flag 11189620/1881001
182.84/182.20	c cleaning 61003 clauses out of 122024 with flag 11552912/1943000
191.10/190.41	c cleaning 61995 clauses out of 124021 with flag 11921200/2006000
199.60/198.90	c cleaning 63003 clauses out of 126026 with flag 12287233/2070000
208.40/207.75	c cleaning 64007 clauses out of 128026 with flag 12658607/2135003
217.10/216.45	c cleaning 64996 clauses out of 130016 with flag 13037010/2201000
226.31/225.64	c cleaning 65995 clauses out of 132022 with flag 13415572/2268002
235.13/234.44	c cleaning 66996 clauses out of 134026 with flag 13803460/2336001
244.62/243.93	c cleaning 67998 clauses out of 136029 with flag 14185040/2405000
253.92/253.23	c cleaning 68998 clauses out of 138031 with flag 14577936/2475000
263.73/263.04	c cleaning 70006 clauses out of 140034 with flag 14981764/2546001
273.72/273.01	c cleaning 70993 clauses out of 142027 with flag 15390923/2618000
284.02/283.32	c cleaning 71999 clauses out of 144034 with flag 15796846/2691000
294.62/293.96	c cleaning 73002 clauses out of 146036 with flag 16205562/2765001
305.32/304.65	c cleaning 73998 clauses out of 148034 with flag 16622616/2840001
316.82/316.19	c cleaning 75001 clauses out of 150035 with flag 17046790/2916000
328.29/327.51	c cleaning 76005 clauses out of 152036 with flag 17470902/2993002
339.79/339.04	c cleaning 76999 clauses out of 154029 with flag 17900073/3071000
351.70/350.98	c cleaning 77997 clauses out of 156031 with flag 18334108/3150001
363.80/363.07	c cleaning 79009 clauses out of 158035 with flag 18771999/3230002
376.39/375.63	c cleaning 79994 clauses out of 160024 with flag 19210325/3311000
389.59/388.82	c cleaning 81001 clauses out of 162030 with flag 19654720/3393000
402.40/401.66	c cleaning 82005 clauses out of 164029 with flag 20107362/3476000
415.69/414.99	c cleaning 83004 clauses out of 166025 with flag 20572799/3560001
429.49/428.73	c cleaning 83989 clauses out of 168021 with flag 21030356/3645001
443.20/442.43	c cleaning 84996 clauses out of 170031 with flag 21503527/3731000
457.60/456.86	c cleaning 86004 clauses out of 172035 with flag 21989681/3818000
472.20/471.42	c cleaning 87002 clauses out of 174031 with flag 22468635/3906000
487.00/486.24	c cleaning 87997 clauses out of 176030 with flag 22951988/3995001
502.36/501.57	c cleaning 88998 clauses out of 178032 with flag 23432144/4085000
518.16/517.37	c cleaning 90004 clauses out of 180035 with flag 23926617/4176001
534.56/533.79	c cleaning 91000 clauses out of 182031 with flag 24421618/4268001
550.46/549.70	c cleaning 92001 clauses out of 184031 with flag 24921240/4361001
566.66/565.89	c cleaning 92996 clauses out of 186030 with flag 25430532/4455001
584.36/583.53	c cleaning 93987 clauses out of 188033 with flag 25932953/4550000
601.35/600.56	c cleaning 95007 clauses out of 190048 with flag 26447496/4646002
619.06/618.30	c cleaning 96005 clauses out of 192040 with flag 26953142/4743001
637.77/636.94	c cleaning 97005 clauses out of 194036 with flag 27472365/4841002
656.47/655.66	c cleaning 98001 clauses out of 196029 with flag 27988025/4940000
675.96/675.13	c cleaning 99000 clauses out of 198029 with flag 28510025/5040001
695.32/694.45	c cleaning 100005 clauses out of 200029 with flag 29057847/5141001
714.53/713.69	c cleaning 100988 clauses out of 202024 with flag 29594846/5243001
734.04/733.14	c cleaning 102002 clauses out of 204035 with flag 30134089/5346000
754.24/753.37	c cleaning 103004 clauses out of 206035 with flag 30678294/5450002
775.64/774.77	c cleaning 104003 clauses out of 208029 with flag 31222681/5555000
796.05/795.17	c cleaning 105000 clauses out of 210026 with flag 31772408/5661000
817.26/816.33	c cleaning 105986 clauses out of 212028 with flag 32311415/5768002
838.06/837.11	c cleaning 106996 clauses out of 214043 with flag 32870694/5876003
859.66/858.73	c cleaning 108003 clauses out of 216044 with flag 33451494/5985000
882.77/881.75	c cleaning 109009 clauses out of 218042 with flag 34041790/6095001
905.38/904.38	c cleaning 110009 clauses out of 220032 with flag 34624818/6206000
927.97/926.97	c cleaning 111005 clauses out of 222025 with flag 35210932/6318002
950.77/949.71	c cleaning 111998 clauses out of 224018 with flag 35807306/6431000
974.09/973.09	c cleaning 112993 clauses out of 226020 with flag 36420903/6545000
997.69/996.61	c cleaning 113993 clauses out of 228027 with flag 37047232/6660000
1022.68/1021.68	c cleaning 115001 clauses out of 230037 with flag 37655606/6776003
1047.48/1046.46	c cleaning 116003 clauses out of 232033 with flag 38304479/6893000
1073.53/1072.38	c cleaning 117001 clauses out of 234032 with flag 38928487/7011002
1100.73/1099.51	c cleaning 117990 clauses out of 236029 with flag 39557942/7130000
1127.81/1126.64	c cleaning 119010 clauses out of 238039 with flag 40184373/7250000
1154.91/1153.71	c cleaning 120000 clauses out of 240029 with flag 40819984/7371000
1179.61/1178.47	c cleaning 120990 clauses out of 242029 with flag 41471514/7493000
1205.22/1204.06	c cleaning 122008 clauses out of 244040 with flag 42147516/7616001
1231.31/1230.13	c cleaning 123006 clauses out of 246031 with flag 42866493/7740000
1258.81/1257.60	c cleaning 123996 clauses out of 248025 with flag 43580877/7865000
1287.41/1285.31	c cleaning 125013 clauses out of 250029 with flag 44303482/7991000
1290.41/1288.23	c starts		: 17921
1290.41/1288.23	c conflicts		: 8010677
1290.41/1288.23	c decisions		: 12140986
1290.41/1288.23	c propagations		: 146488381
1290.41/1288.23	c inspects		: 28182867334
1290.41/1288.23	c shortcuts		: 0
1290.41/1288.23	c learnt literals	: 15
1290.41/1288.23	c learnt binary clauses	: 11
1290.41/1288.23	c learnt ternary clauses	: 24
1290.41/1288.23	c learnt constraints	: 8010661
1290.41/1288.23	c ignored constraints	: 0
1290.41/1288.23	c root simplifications	: 0
1290.41/1288.23	c removed literals (reason simplification)	: 0
1290.41/1288.23	c reason swapping (by a shorter reason)	: 0
1290.41/1288.23	c Calls to reduceDB	: 122
1290.41/1288.23	c Number of update (reduction) of LBD	: 2487087
1290.41/1288.23	c Imported unit clauses	: 0
1290.41/1288.23	c number of reductions to clauses (during analyze)	: 0
1290.41/1288.23	c number of learned constraints concerned by reduction	: 0
1290.41/1288.23	c number of learning phase by resolution	: 0
1290.41/1288.23	c number of learning phase by cutting planes	: 0
1290.41/1288.23	c speed (assignments/second)	: 113728.88841961758
1290.41/1288.23	c non guided choices	123018
1290.41/1288.26	c learnt constraints type 
1290.41/1288.26	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11
1290.41/1288.26	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144666
1290.41/1288.26	s UNSATISFIABLE
1290.41/1288.26	c Total wall clock time (in seconds): 1288.147

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-4121430-1467314520/watcher-4121430-1467314520 -o /tmp/evaluation-result-4121430-1467314520/solver-4121430-1467314520 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467309899-13787 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4121430-1467314520.opb 

pid=15461
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.16 2.11 2.09 4/194 15464
/proc/meminfo: memFree=26553784/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/15464/stat : 15464 (java) R 15461 15464 13214 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 12419331 9445376 93 33554432000 1073741824 1073778376 140737107408576 140737107405704 213183935927 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2306 95 75 9 0 38 0

[startup+0.100059 s]
/proc/loadavg: 2.16 2.11 2.09 4/194 15464
/proc/meminfo: memFree=26553784/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 4400 0 1 0 8 0 0 0 20 0 18 0 12419331 9787879424 6034 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2389619 6034 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.16 2.11 2.09 4/194 15464
/proc/meminfo: memFree=26553784/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 4729 0 1 0 24 1 0 0 20 0 19 0 12419331 9856040960 6815 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 6815 2219 9 0 2396937 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9625040

[startup+0.30023 s]
/proc/loadavg: 2.16 2.11 2.09 4/194 15464
/proc/meminfo: memFree=26553784/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 6820 0 1 0 52 1 0 0 20 0 19 0 12419331 9856040960 8250 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 8250 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040

[startup+0.700179 s]
/proc/loadavg: 2.16 2.11 2.09 4/194 15464
/proc/meminfo: memFree=26553784/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 15184 0 1 0 125 2 0 0 20 0 19 0 12419331 9856040960 13872 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 13872 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.16 2.11 2.09 4/213 15483
/proc/meminfo: memFree=26504568/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 15191 0 1 0 208 2 0 0 20 0 19 0 12419331 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 14900 2257 9 0 2396937 0
[pid=15464/tid=15466] ppid=15461 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/15464/task/15466/stat : 15466 (java) R 15461 15464 13214 0 -1 4202560 2413 0 1 0 146 0 0 0 20 0 19 0 12419332 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139970046329080 139969914386276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15467] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15467/stat : 15467 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139970035391528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15468] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15468/stat : 15468 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139970034338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15469] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15469/stat : 15469 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139970033285928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15470] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15470/stat : 15470 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969886370472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15471] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15471/stat : 15471 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969885317672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15472] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15472/stat : 15472 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969884264872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15473] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15473/stat : 15473 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969883212072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15474] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15474/stat : 15474 (java) S 15461 15464 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969882159272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15475] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15475/stat : 15475 (java) S 15461 15464 13214 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969869962216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15476] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15476/stat : 15476 (java) S 15461 15464 13214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969868908280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15477] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15477/stat : 15477 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969867855368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15478] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15478/stat : 15478 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969866803856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15479] ppid=15461 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/15464/task/15479/stat : 15479 (java) S 15461 15464 13214 0 -1 4202560 8242 0 0 0 34 0 0 0 20 0 19 0 12419337 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969865750968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15480] ppid=15461 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/15464/task/15480/stat : 15480 (java) S 15461 15464 13214 0 -1 4202560 3264 0 0 0 25 0 0 0 20 0 19 0 12419337 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969864698168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15481] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15481/stat : 15481 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969863645560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15482] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15482/stat : 15482 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969862592968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15483] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15483/stat : 15483 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419350 9856040960 14900 33554432000 1073741824 1073778376 140737107408576 139969861539496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.15 2.11 2.09 3/213 15483
/proc/meminfo: memFree=26499976/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 15195 0 1 0 368 2 0 0 20 0 19 0 12419331 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 16436 2257 9 0 2396937 0
[pid=15464/tid=15466] ppid=15461 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/15464/task/15466/stat : 15466 (java) R 15461 15464 13214 0 -1 4202560 2417 0 1 0 304 1 0 0 20 0 19 0 12419332 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139970046320304 139969914405402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15467] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15467/stat : 15467 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139970035391528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15468] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15468/stat : 15468 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139970034338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15469] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15469/stat : 15469 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139970033285928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15470] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15470/stat : 15470 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969886370472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15471] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15471/stat : 15471 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969885317672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15472] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15472/stat : 15472 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969884264872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15473] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15473/stat : 15473 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969883212072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15474] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15474/stat : 15474 (java) S 15461 15464 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969882159272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15475] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15475/stat : 15475 (java) S 15461 15464 13214 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969869962216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15476] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15476/stat : 15476 (java) S 15461 15464 13214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969868908280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15477] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15477/stat : 15477 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969867855368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15478] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15478/stat : 15478 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969866803856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15479] ppid=15461 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/15464/task/15479/stat : 15479 (java) S 15461 15464 13214 0 -1 4202560 8242 0 0 0 34 0 0 0 20 0 19 0 12419337 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969865750968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15480] ppid=15461 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/15464/task/15480/stat : 15480 (java) S 15461 15464 13214 0 -1 4202560 3264 0 0 0 25 0 0 0 20 0 19 0 12419337 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969864698168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15481] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15481/stat : 15481 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969863645560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15482] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15482/stat : 15482 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969862592968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15483] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15483/stat : 15483 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419350 9856040960 16436 33554432000 1073741824 1073778376 140737107408576 139969861539496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.15 2.11 2.09 3/213 15483
/proc/meminfo: memFree=26490184/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=6.89 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 15201 0 1 0 687 2 0 0 20 0 19 0 12419331 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 18060 2258 9 0 2396937 0
[pid=15464/tid=15466] ppid=15461 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/15464/task/15466/stat : 15466 (java) R 15461 15464 13214 0 -1 4202560 2422 0 1 0 623 1 0 0 20 0 19 0 12419332 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139970046320304 139969914448017 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15467] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15467/stat : 15467 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139970035391528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15468] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15468/stat : 15468 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139970034338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15469] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15469/stat : 15469 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139970033285928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15470] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15470/stat : 15470 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969886370472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15471] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15471/stat : 15471 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969885317672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15472] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15472/stat : 15472 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969884264872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15473] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15473/stat : 15473 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969883212072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15474] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15474/stat : 15474 (java) S 15461 15464 13214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12419333 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969882159272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15475] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15475/stat : 15475 (java) S 15461 15464 13214 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969869962216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15476] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15476/stat : 15476 (java) S 15461 15464 13214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969868908280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15477] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15477/stat : 15477 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969867855368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15478] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15478/stat : 15478 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969866803856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15479] ppid=15461 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/15464/task/15479/stat : 15479 (java) S 15461 15464 13214 0 -1 4202560 8242 0 0 0 34 0 0 0 20 0 19 0 12419337 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969865750968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15480] ppid=15461 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/15464/task/15480/stat : 15480 (java) S 15461 15464 13214 0 -1 4202560 3264 0 0 0 25 0 0 0 20 0 19 0 12419337 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969864698168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15481] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15481/stat : 15481 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969863645560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15482] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15482/stat : 15482 (java) S 15461 15464 13214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969862592968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15483] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15483/stat : 15483 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419350 9856040960 18060 33554432000 1073741824 1073778376 140737107408576 139969861539496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 9625040


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

[pid=15464/tid=15476] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15476/stat : 15476 (java) S 15461 15464 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969868908280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15477] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15477/stat : 15477 (java) S 15461 15464 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969867855368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15478] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15478/stat : 15478 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969866803856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15479] ppid=15461 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/15464/task/15479/stat : 15479 (java) S 15461 15464 13214 0 -1 4202560 10108 0 0 0 111 2 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969865750968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15480] ppid=15461 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/15464/task/15480/stat : 15480 (java) S 15461 15464 13214 0 -1 4202560 3264 0 0 0 29 0 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969864698168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15481] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15481/stat : 15481 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969863645560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15482] ppid=15461 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/15464/task/15482/stat : 15482 (java) S 15461 15464 13214 0 -1 4202560 76 0 0 0 16 15 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969862592968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15483] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15483/stat : 15483 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419350 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969861539496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1288.56
Current children cumulated vsize (KiB) 9625040

[startup+1287.2 s]
/proc/loadavg: 2.05 2.08 2.08 3/213 16227
/proc/meminfo: memFree=26254084/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=1289.36 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 18579 0 1 0 128906 30 0 0 20 0 19 0 12419331 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 80830 2272 9 0 2396937 0
[pid=15464/tid=15466] ppid=15461 vsize=9625040 CPUtime=1283.54 cores=0,2,4,6
/proc/15464/task/15466/stat : 15466 (java) R 15461 15464 13214 0 -1 4202560 2487 0 1 0 128332 22 0 0 20 0 19 0 12419332 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139970046327312 139969914685971 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15467] ppid=15461 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/15464/task/15467/stat : 15467 (java) S 15461 15464 13214 0 -1 4202560 178 0 0 0 7 1 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139970035391528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15468] ppid=15461 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15464/task/15468/stat : 15468 (java) S 15461 15464 13214 0 -1 4202560 204 0 0 0 11 3 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139970034338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15469] ppid=15461 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15464/task/15469/stat : 15469 (java) S 15461 15464 13214 0 -1 4202560 281 0 0 0 8 2 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139970033285928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15470] ppid=15461 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15464/task/15470/stat : 15470 (java) S 15461 15464 13214 0 -1 4202560 82 0 0 0 10 2 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969886370472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15471] ppid=15461 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15464/task/15471/stat : 15471 (java) S 15461 15464 13214 0 -1 4202560 327 0 0 0 9 2 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969885317672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15472] ppid=15461 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15464/task/15472/stat : 15472 (java) S 15461 15464 13214 0 -1 4202560 45 0 0 0 10 2 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969884264872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15473] ppid=15461 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15464/task/15473/stat : 15473 (java) S 15461 15464 13214 0 -1 4202560 132 0 0 0 9 2 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969883212072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15474] ppid=15461 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/15464/task/15474/stat : 15474 (java) S 15461 15464 13214 0 -1 4202560 74 0 0 0 7 2 0 0 20 0 19 0 12419333 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969882159272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15475] ppid=15461 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15464/task/15475/stat : 15475 (java) S 15461 15464 13214 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 19 0 12419335 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969869962216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15476] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15476/stat : 15476 (java) S 15461 15464 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969868908280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15477] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15477/stat : 15477 (java) S 15461 15464 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969867855368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15478] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15478/stat : 15478 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969866803856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15479] ppid=15461 vsize=9625040 CPUtime=1.13 cores=0,2,4,6
/proc/15464/task/15479/stat : 15479 (java) S 15461 15464 13214 0 -1 4202560 10108 0 0 0 111 2 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969865750968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15480] ppid=15461 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/15464/task/15480/stat : 15480 (java) S 15461 15464 13214 0 -1 4202560 3264 0 0 0 29 0 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969864698168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15481] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15481/stat : 15481 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969863645560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15482] ppid=15461 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/15464/task/15482/stat : 15482 (java) S 15461 15464 13214 0 -1 4202560 76 0 0 0 16 15 0 0 20 0 19 0 12419337 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969862592968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15483] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15483/stat : 15483 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419350 9856040960 80830 33554432000 1073741824 1073778376 140737107408576 139969861539496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1289.36
Current children cumulated vsize (KiB) 9625040

[startup+1288 s]
/proc/loadavg: 2.05 2.08 2.08 3/213 16227
/proc/meminfo: memFree=26254084/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=1290.2 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 18579 0 1 0 128990 30 0 0 20 0 19 0 12419331 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 80600 2272 9 0 2396937 0
[pid=15464/tid=15466] ppid=15461 vsize=9625040 CPUtime=1284.34 cores=0,2,4,6
/proc/15464/task/15466/stat : 15466 (java) R 15461 15464 13214 0 -1 4202560 2487 0 1 0 128412 22 0 0 20 0 19 0 12419332 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970046329208 139969914389941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15467] ppid=15461 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/15464/task/15467/stat : 15467 (java) S 15461 15464 13214 0 -1 4202560 178 0 0 0 7 1 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970035391528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15468] ppid=15461 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15464/task/15468/stat : 15468 (java) S 15461 15464 13214 0 -1 4202560 204 0 0 0 11 3 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970034338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15469] ppid=15461 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15464/task/15469/stat : 15469 (java) S 15461 15464 13214 0 -1 4202560 281 0 0 0 8 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970033285928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15470] ppid=15461 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15464/task/15470/stat : 15470 (java) S 15461 15464 13214 0 -1 4202560 82 0 0 0 10 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969886370472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15471] ppid=15461 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15464/task/15471/stat : 15471 (java) S 15461 15464 13214 0 -1 4202560 327 0 0 0 9 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969885317672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15472] ppid=15461 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15464/task/15472/stat : 15472 (java) S 15461 15464 13214 0 -1 4202560 45 0 0 0 10 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969884264872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15473] ppid=15461 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15464/task/15473/stat : 15473 (java) S 15461 15464 13214 0 -1 4202560 132 0 0 0 9 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969883212072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15474] ppid=15461 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/15464/task/15474/stat : 15474 (java) S 15461 15464 13214 0 -1 4202560 74 0 0 0 7 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969882159272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15475] ppid=15461 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15464/task/15475/stat : 15475 (java) S 15461 15464 13214 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 19 0 12419335 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969869962216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15476] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15476/stat : 15476 (java) S 15461 15464 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969868908280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15477] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15477/stat : 15477 (java) S 15461 15464 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969867855368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15478] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15478/stat : 15478 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969866803856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15479] ppid=15461 vsize=9625040 CPUtime=1.15 cores=0,2,4,6
/proc/15464/task/15479/stat : 15479 (java) S 15461 15464 13214 0 -1 4202560 10108 0 0 0 113 2 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969865750968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15480] ppid=15461 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/15464/task/15480/stat : 15480 (java) S 15461 15464 13214 0 -1 4202560 3264 0 0 0 32 0 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969864698168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15481] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15481/stat : 15481 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969863645560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15482] ppid=15461 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/15464/task/15482/stat : 15482 (java) S 15461 15464 13214 0 -1 4202560 76 0 0 0 16 15 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969862592968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15483] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15483/stat : 15483 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419350 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969861539496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1290.2
Current children cumulated vsize (KiB) 9625040

[startup+1288.21 s]
/proc/loadavg: 2.05 2.08 2.08 3/213 16227
/proc/meminfo: memFree=26254332/32872528 swapFree=11480/941500
[pid=15464] ppid=15461 vsize=9625040 CPUtime=1290.41 cores=0,2,4,6
/proc/15464/stat : 15464 (java) S 15461 15464 13214 0 -1 4202496 18579 0 1 0 129011 30 0 0 20 0 19 0 12419331 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 140737107399712 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15464/statm: 2406260 80600 2272 9 0 2396937 0
[pid=15464/tid=15466] ppid=15461 vsize=9625040 CPUtime=1284.54 cores=0,2,4,6
/proc/15464/task/15466/stat : 15466 (java) R 15461 15464 13214 0 -1 4202560 2487 0 1 0 128432 22 0 0 20 0 19 0 12419332 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970046329288 139969914685957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15467] ppid=15461 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/15464/task/15467/stat : 15467 (java) S 15461 15464 13214 0 -1 4202560 178 0 0 0 7 1 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970035391528 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15468] ppid=15461 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/15464/task/15468/stat : 15468 (java) S 15461 15464 13214 0 -1 4202560 204 0 0 0 11 3 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970034338728 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15469] ppid=15461 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15464/task/15469/stat : 15469 (java) S 15461 15464 13214 0 -1 4202560 281 0 0 0 8 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139970033285928 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15470] ppid=15461 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15464/task/15470/stat : 15470 (java) S 15461 15464 13214 0 -1 4202560 82 0 0 0 10 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969886370472 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15471] ppid=15461 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15464/task/15471/stat : 15471 (java) S 15461 15464 13214 0 -1 4202560 327 0 0 0 9 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969885317672 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15472] ppid=15461 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15464/task/15472/stat : 15472 (java) S 15461 15464 13214 0 -1 4202560 45 0 0 0 10 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969884264872 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15473] ppid=15461 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/15464/task/15473/stat : 15473 (java) S 15461 15464 13214 0 -1 4202560 132 0 0 0 9 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969883212072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15464/tid=15474] ppid=15461 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/15464/task/15474/stat : 15474 (java) S 15461 15464 13214 0 -1 4202560 74 0 0 0 7 2 0 0 20 0 19 0 12419333 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969882159272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15475] ppid=15461 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15464/task/15475/stat : 15475 (java) S 15461 15464 13214 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 19 0 12419335 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969869962216 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15476] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15476/stat : 15476 (java) S 15461 15464 13214 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969868908280 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15477] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15477/stat : 15477 (java) S 15461 15464 13214 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12419335 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969867855368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15478] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15478/stat : 15478 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969866803856 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15479] ppid=15461 vsize=9625040 CPUtime=1.16 cores=0,2,4,6
/proc/15464/task/15479/stat : 15479 (java) S 15461 15464 13214 0 -1 4202560 10108 0 0 0 114 2 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969865750968 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15464/tid=15480] ppid=15461 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/15464/task/15480/stat : 15480 (java) S 15461 15464 13214 0 -1 4202560 3264 0 0 0 32 0 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969864698168 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15481] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15481/stat : 15481 (java) S 15461 15464 13214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969863645560 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15464/tid=15482] ppid=15461 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/15464/task/15482/stat : 15482 (java) S 15461 15464 13214 0 -1 4202560 76 0 0 0 16 15 0 0 20 0 19 0 12419337 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969862592968 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15464/tid=15483] ppid=15461 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15464/task/15483/stat : 15483 (java) S 15461 15464 13214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12419350 9856040960 80600 33554432000 1073741824 1073778376 140737107408576 139969861539496 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1290.41
Current children cumulated vsize (KiB) 9625040

Child status: 20

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15464 and gives
#  childrusage.ru_utime.tv_sec=1286
#  childrusage.ru_utime.tv_usec=857367
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=689895
# CPU time returned by wait4() is 1287.55
# while last known CPU time is 1290.41
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1288.27
CPU time (s): 1290.41
CPU user time (s): 1290.11
CPU system time (s): 0.3
CPU usage (%): 100.166
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1286.86
system time used= 0.689895
maximum resident set size= 325028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18608
page faults= 1
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27494
involuntary context switches= 2649

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10162 second user time and 11.7002 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-30 21:22:00
IDJOB=4121430
IDBENCH=110482
IDSOLVER=2546
FILE ID=node113/4121430-1467314520
RUNJOBID= node113-1467309899-13787
PBS_JOBID= 20005277
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-100.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121430-1467314520/watcher-4121430-1467314520 -o /tmp/evaluation-result-4121430-1467314520/solver-4121430-1467314520 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467309899-13787 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4121430-1467314520.opb

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

MD5SUM BENCH= d630f8ea1d97166a0d7525401c533e5b
RANDOM SEED=940471036

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26553700 kB
Buffers:          129460 kB
Cached:          4271728 kB
SwapCached:            0 kB
Active:          3134160 kB
Inactive:        1478264 kB
Active(anon):     208148 kB
Inactive(anon):     5656 kB
Active(file):    2926012 kB
Inactive(file):  1472608 kB
Unevictable:      941500 kB
Mlocked:           11480 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       1244664 kB
Mapped:            21524 kB
Shmem:               204 kB
Slab:             629204 kB
SReclaimable:      73380 kB
SUnreclaim:       555824 kB
KernelStack:        1760 kB
PageTables:         6384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1632488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1214464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node113 at 2016-06-30 21:43:28