Trace number 4122510

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 1674.5 1673

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-71.cnf.gz-extracted.pb.metafix.opb
MD5SUMc95076bfb71f1304e795aabd7944e26b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables285
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)284
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.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-4122510-1467316991.opb
0.10/0.10	c reading problem ... 
0.10/0.11	c  no objective function found
0.10/0.15	c ... done. Wall clock time 0.05s.
0.10/0.15	c declared #vars     285
0.10/0.15	c #constraints  284
0.10/0.15	c constraints type 
0.10/0.15	c org.sat4j.minisat.constraints.card.MinWatchCard => 284
0.10/0.15	c 284 constraints processed.
0.65/0.41	c cleaning 2488 clauses out of 5002 with flag 24039/5002
1.12/0.61	c cleaning 4245 clauses out of 8512 with flag 58254/11000
1.32/0.82	c cleaning 5616 clauses out of 11267 with flag 95291/18000
1.64/1.11	c cleaning 6814 clauses out of 13651 with flag 142125/26000
1.95/1.42	c cleaning 7907 clauses out of 15838 with flag 192783/35001
2.25/1.78	c cleaning 8954 clauses out of 17930 with flag 250146/45000
2.75/2.29	c cleaning 9973 clauses out of 19977 with flag 314929/56001
3.35/2.82	c cleaning 10986 clauses out of 22003 with flag 390122/68000
3.85/3.39	c cleaning 11998 clauses out of 24018 with flag 466351/81001
4.55/4.03	c cleaning 13006 clauses out of 26019 with flag 549051/95000
5.35/4.82	c cleaning 13990 clauses out of 28013 with flag 638814/110000
6.15/5.66	c cleaning 14992 clauses out of 30023 with flag 740435/126000
7.34/6.82	c cleaning 16005 clauses out of 32033 with flag 843882/143002
8.55/8.00	c cleaning 16994 clauses out of 34027 with flag 959357/161001
9.65/9.15	c cleaning 18005 clauses out of 36033 with flag 1081296/180001
10.85/10.39	c cleaning 18999 clauses out of 38028 with flag 1208453/200001
12.35/11.80	c cleaning 19999 clauses out of 40028 with flag 1342590/221000
13.85/13.38	c cleaning 21008 clauses out of 42030 with flag 1494165/243001
15.45/14.99	c cleaning 21994 clauses out of 44021 with flag 1645853/266000
17.15/16.67	c cleaning 22997 clauses out of 46029 with flag 1802749/290002
19.15/18.63	c cleaning 23995 clauses out of 48031 with flag 1964992/315001
21.14/20.63	c cleaning 25003 clauses out of 50035 with flag 2134919/341000
23.34/22.82	c cleaning 26007 clauses out of 52032 with flag 2308578/368000
25.74/25.27	c cleaning 26997 clauses out of 54025 with flag 2490553/396000
28.24/27.73	c cleaning 28001 clauses out of 56028 with flag 2675571/425000
30.95/30.43	c cleaning 28998 clauses out of 58027 with flag 2868804/455000
33.74/33.25	c cleaning 30011 clauses out of 60031 with flag 3072216/486002
36.74/36.20	c cleaning 30998 clauses out of 62018 with flag 3279185/518000
39.94/39.40	c cleaning 32009 clauses out of 64025 with flag 3494611/551005
43.25/42.79	c cleaning 32996 clauses out of 66014 with flag 3709528/585003
46.76/46.23	c cleaning 33997 clauses out of 68017 with flag 3941626/620002
50.55/50.00	c cleaning 34987 clauses out of 70018 with flag 4168941/656000
54.46/53.93	c cleaning 36003 clauses out of 72032 with flag 4410617/693001
58.45/57.98	c cleaning 36998 clauses out of 74029 with flag 4658312/731001
62.95/62.49	c cleaning 38001 clauses out of 76031 with flag 4909069/770001
67.45/66.91	c cleaning 39003 clauses out of 78029 with flag 5177511/810000
72.16/71.67	c cleaning 40002 clauses out of 80026 with flag 5439857/851000
77.57/77.01	c cleaning 41006 clauses out of 82024 with flag 5710711/893000
82.76/82.23	c cleaning 41991 clauses out of 84018 with flag 5985787/936000
88.31/87.72	c cleaning 43006 clauses out of 86027 with flag 6269626/980000
93.71/93.13	c cleaning 44002 clauses out of 88021 with flag 6559347/1025000
99.31/98.72	c cleaning 45003 clauses out of 90019 with flag 6870605/1071000
105.12/104.58	c cleaning 45996 clauses out of 92016 with flag 7165685/1118000
111.11/110.55	c cleaning 46993 clauses out of 94025 with flag 7466095/1166005
117.61/117.07	c cleaning 48005 clauses out of 96027 with flag 7764614/1215000
124.51/123.93	c cleaning 48999 clauses out of 98024 with flag 8078334/1265002
130.91/130.34	c cleaning 50008 clauses out of 100025 with flag 8397285/1316002
137.91/137.35	c cleaning 50992 clauses out of 102015 with flag 8731460/1368000
145.71/145.13	c cleaning 52003 clauses out of 104023 with flag 9049218/1421000
153.31/152.76	c cleaning 52993 clauses out of 106020 with flag 9373267/1475000
161.31/160.74	c cleaning 54005 clauses out of 108028 with flag 9695256/1530001
169.32/168.72	c cleaning 54995 clauses out of 110023 with flag 10037558/1586001
177.72/177.14	c cleaning 56000 clauses out of 112027 with flag 10373252/1643000
186.71/186.10	c cleaning 57014 clauses out of 114028 with flag 10723372/1701001
195.91/195.31	c cleaning 57982 clauses out of 116014 with flag 11070665/1760001
205.22/204.63	c cleaning 58998 clauses out of 118031 with flag 11414688/1820000
214.91/214.33	c cleaning 59995 clauses out of 120033 with flag 11768926/1881000
224.81/224.27	c cleaning 60997 clauses out of 122039 with flag 12139091/1943001
235.37/234.72	c cleaning 62013 clauses out of 124044 with flag 12499799/2006003
246.08/245.41	c cleaning 63001 clauses out of 126029 with flag 12872089/2070001
256.87/256.24	c cleaning 64000 clauses out of 128027 with flag 13245391/2135000
267.77/267.15	c cleaning 65002 clauses out of 130027 with flag 13626807/2201000
279.27/278.62	c cleaning 66005 clauses out of 132025 with flag 14006396/2268000
290.68/290.05	c cleaning 67001 clauses out of 134021 with flag 14397219/2336001
302.98/302.31	c cleaning 67998 clauses out of 136019 with flag 14779533/2405000
315.58/314.95	c cleaning 68993 clauses out of 138021 with flag 15164089/2475000
328.88/328.23	c cleaning 69999 clauses out of 140028 with flag 15557604/2546000
342.19/341.55	c cleaning 71009 clauses out of 142032 with flag 15951320/2618003
355.59/354.96	c cleaning 71997 clauses out of 144021 with flag 16363273/2691001
370.10/369.45	c cleaning 72999 clauses out of 146023 with flag 16773469/2765000
384.20/383.55	c cleaning 74002 clauses out of 148024 with flag 17192553/2840000
398.91/398.28	c cleaning 75002 clauses out of 150022 with flag 17610752/2916000
413.97/413.26	c cleaning 75996 clauses out of 152022 with flag 18035929/2993002
429.07/428.38	c cleaning 76996 clauses out of 154025 with flag 18461376/3071001
444.58/443.83	c cleaning 78003 clauses out of 156030 with flag 18912666/3150002
460.68/459.96	c cleaning 78991 clauses out of 158027 with flag 19348815/3230002
477.08/476.36	c cleaning 79997 clauses out of 160036 with flag 19794170/3311002
493.69/492.92	c cleaning 81009 clauses out of 162037 with flag 20235547/3393000
510.88/510.18	c cleaning 82002 clauses out of 164028 with flag 20677817/3476000
528.59/527.89	c cleaning 83004 clauses out of 166029 with flag 21123290/3560003
547.19/546.41	c cleaning 84001 clauses out of 168022 with flag 21572340/3645000
566.38/565.63	c cleaning 85001 clauses out of 170024 with flag 22031742/3731003
585.78/585.04	c cleaning 85997 clauses out of 172022 with flag 22501411/3818002
604.48/603.77	c cleaning 87009 clauses out of 174024 with flag 22994262/3906001
624.68/623.88	c cleaning 87995 clauses out of 176015 with flag 23476923/3995001
644.28/643.47	c cleaning 89004 clauses out of 178021 with flag 23959857/4085002
664.87/664.04	c cleaning 89999 clauses out of 180015 with flag 24450551/4176000
685.77/684.97	c cleaning 90998 clauses out of 182017 with flag 24935105/4268001
708.28/707.44	c cleaning 91996 clauses out of 184019 with flag 25421278/4361001
730.28/729.46	c cleaning 92996 clauses out of 186026 with flag 25915894/4455004
753.37/752.57	c cleaning 94002 clauses out of 188027 with flag 26418676/4550001
775.96/775.17	c cleaning 95006 clauses out of 190024 with flag 26929119/4646000
799.86/799.02	c cleaning 96001 clauses out of 192018 with flag 27449771/4743000
824.47/823.61	c cleaning 97003 clauses out of 194020 with flag 27969341/4841003
848.88/848.10	c cleaning 98000 clauses out of 196015 with flag 28491419/4940001
874.49/873.53	c cleaning 99009 clauses out of 198017 with flag 29018949/5040003
900.29/899.39	c cleaning 99993 clauses out of 200006 with flag 29550454/5141001
926.50/925.56	c cleaning 100994 clauses out of 202014 with flag 30083110/5243002
953.61/952.70	c cleaning 101997 clauses out of 204020 with flag 30613178/5346002
981.40/980.47	c cleaning 103003 clauses out of 206021 with flag 31154956/5450000
1009.50/1008.57	c cleaning 103997 clauses out of 208020 with flag 31696724/5555002
1038.30/1037.35	c cleaning 105004 clauses out of 210022 with flag 32239862/5661001
1067.50/1066.52	c cleaning 105988 clauses out of 212017 with flag 32804008/5768000
1093.70/1092.72	c cleaning 107000 clauses out of 214030 with flag 33375588/5876001
1123.61/1122.60	c cleaning 107995 clauses out of 216029 with flag 33951888/5985000
1153.51/1152.48	c cleaning 109000 clauses out of 218037 with flag 34529750/6095003
1184.32/1183.25	c cleaning 110009 clauses out of 220035 with flag 35116475/6206001
1215.71/1214.64	c cleaning 111001 clauses out of 222027 with flag 35703611/6318002
1247.52/1246.44	c cleaning 112000 clauses out of 224025 with flag 36304001/6431001
1279.63/1278.59	c cleaning 112991 clauses out of 226024 with flag 36896231/6545000
1311.44/1310.35	c cleaning 114000 clauses out of 228033 with flag 37492748/6660000
1343.04/1341.96	c cleaning 115005 clauses out of 230033 with flag 38104939/6776000
1377.55/1376.49	c cleaning 116003 clauses out of 232030 with flag 38727405/6893002
1411.99/1410.78	c cleaning 116996 clauses out of 234026 with flag 39354479/7011001
1445.50/1444.30	c cleaning 118006 clauses out of 236029 with flag 39992821/7130000
1480.40/1479.13	c cleaning 118999 clauses out of 238024 with flag 40620585/7250001
1516.71/1515.41	c cleaning 119993 clauses out of 240024 with flag 41247260/7371000
1549.21/1547.90	c cleaning 121007 clauses out of 242031 with flag 41885806/7493000
1584.91/1583.67	c cleaning 122010 clauses out of 244025 with flag 42551519/7616001
1618.12/1616.84	c cleaning 123000 clauses out of 246015 with flag 43209408/7740001
1651.63/1650.33	c cleaning 123994 clauses out of 248014 with flag 43919554/7865000
1674.48/1672.96	c starts		: 20262
1674.48/1672.96	c conflicts		: 7961263
1674.48/1672.96	c decisions		: 11803206
1674.48/1672.96	c propagations		: 143187276
1674.48/1672.96	c inspects		: 37439754502
1674.48/1672.96	c shortcuts		: 0
1674.48/1672.96	c learnt literals	: 7
1674.48/1672.96	c learnt binary clauses	: 12
1674.48/1672.96	c learnt ternary clauses	: 45
1674.48/1672.96	c learnt constraints	: 7961255
1674.48/1672.96	c ignored constraints	: 0
1674.48/1672.96	c root simplifications	: 0
1674.48/1672.96	c removed literals (reason simplification)	: 0
1674.48/1672.96	c reason swapping (by a shorter reason)	: 0
1674.48/1672.96	c Calls to reduceDB	: 121
1674.48/1672.96	c Number of update (reduction) of LBD	: 2441538
1674.48/1672.96	c Imported unit clauses	: 0
1674.48/1672.96	c number of reductions to clauses (during analyze)	: 0
1674.48/1672.96	c number of learned constraints concerned by reduction	: 0
1674.48/1672.96	c number of learning phase by resolution	: 0
1674.48/1672.96	c number of learning phase by cutting planes	: 0
1674.48/1672.96	c speed (assignments/second)	: 85597.11143857174
1674.48/1672.96	c non guided choices	48971
1674.48/1672.99	c learnt constraints type 
1674.48/1672.99	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 12
1674.48/1672.99	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 220263
1674.48/1672.99	s UNSATISFIABLE
1674.48/1672.99	c Total wall clock time (in seconds): 1672.89

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

pid=27614
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.28 2.26 2.19 4/196 27617
/proc/meminfo: memFree=29828956/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=92888 CPUtime=0 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 12651640 95117312 918 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 23225 924 700 9 0 16769 0
[pid=27617/tid=27618] ppid=27614 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) D 27614 27617 21085 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 12651640 95129600 927 33554432000 1073741824 1073778376 140733473635584 140713145433640 273896533287 0 0 4096 0 18446744072100756772 0 0 -1 3 0 0 0 0 0

[startup+0.100064 s]
/proc/loadavg: 2.28 2.26 2.19 4/196 27617
/proc/meminfo: memFree=29828956/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 4444 0 1 0 9 1 0 0 20 0 18 0 12651640 9787879424 6081 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2389619 6081 2147 9 0 2380296 0
[pid=27617/tid=27618] ppid=27614 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2384 0 1 0 6 1 0 0 20 0 18 0 12651640 9787879424 6081 33554432000 1073741824 1073778376 140733473635584 140713145437088 140713010489139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200292 s]
/proc/loadavg: 2.28 2.26 2.19 4/196 27617
/proc/meminfo: memFree=29828956/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 6112 0 1 0 27 2 0 0 20 0 19 0 12651640 9856040960 7669 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 7669 2228 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2408 0 1 0 16 1 0 0 20 0 19 0 12651640 9856040960 7669 33554432000 1073741824 1073778376 140733473635584 140713145438848 140713010420379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040

[startup+0.300377 s]
/proc/loadavg: 2.28 2.26 2.19 4/196 27617
/proc/meminfo: memFree=29828956/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 6636 0 1 0 48 2 0 0 20 0 19 0 12651640 9856040960 7859 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 7859 2244 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 19 0 12651640 9856040960 7859 33554432000 1073741824 1073778376 140733473635584 140713145438584 140713010460207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.70032 s]
/proc/loadavg: 2.28 2.26 2.19 4/196 27617
/proc/meminfo: memFree=29828956/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 14472 0 1 0 118 4 0 0 20 0 19 0 12651640 9856040960 13292 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 13292 2255 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2409 0 1 0 66 1 0 0 20 0 19 0 12651640 9856040960 13292 33554432000 1073741824 1073778376 140733473635584 140713145429696 140713010873156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.28 2.26 2.19 3/215 27636
/proc/meminfo: memFree=29781004/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 14481 0 1 0 201 4 0 0 20 0 19 0 12651640 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 14322 2257 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2412 0 1 0 146 1 0 0 20 0 19 0 12651640 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140713145438472 140713010873156 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27620] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27620/stat : 27620 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140713134500776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27621] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27621/stat : 27621 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140713133448232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27622] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27622/stat : 27622 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140713132395176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27623] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27623/stat : 27623 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140713131342632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27624] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27624/stat : 27624 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140713130289576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27625] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27625/stat : 27625 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140713129237032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27626] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27626/stat : 27626 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712982821032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27627] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27627/stat : 27627 (java) S 27614 27617 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712981768488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27628] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27628/stat : 27628 (java) S 27614 27617 21085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12651642 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712969571176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27629] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27629/stat : 27629 (java) S 27614 27617 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712968517496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27630] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27630/stat : 27630 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712967464328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27631] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27631/stat : 27631 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712966413072 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27632] ppid=27614 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) S 27614 27617 21085 0 -1 4202560 4350 0 0 0 25 1 0 0 20 0 19 0 12651645 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712965359928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27633] ppid=27614 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/27617/task/27633/stat : 27633 (java) S 27614 27617 21085 0 -1 4202560 6447 0 0 0 25 2 0 0 20 0 19 0 12651645 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712964307384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27634] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27634/stat : 27634 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712963254520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27635] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27635/stat : 27635 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712962202184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27636] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27636/stat : 27636 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651656 9856040960 14322 33554432000 1073741824 1073778376 140733473635584 140712961148456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9625040

[startup+3.10089 s]
/proc/loadavg: 2.28 2.26 2.19 3/215 27636
/proc/meminfo: memFree=29775976/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 14484 0 1 0 361 4 0 0 20 0 19 0 12651640 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 15346 2257 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2415 0 1 0 306 1 0 0 20 0 19 0 12651640 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140713145438592 140713010894915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27620] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27620/stat : 27620 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140713134500776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27621] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27621/stat : 27621 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140713133448232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27622] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27622/stat : 27622 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140713132395176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27623] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27623/stat : 27623 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140713131342632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27624] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27624/stat : 27624 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140713130289576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27625] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27625/stat : 27625 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140713129237032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27626] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27626/stat : 27626 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712982821032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27627] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27627/stat : 27627 (java) S 27614 27617 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712981768488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27628] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27628/stat : 27628 (java) S 27614 27617 21085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12651642 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712969571176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27629] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27629/stat : 27629 (java) S 27614 27617 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712968517496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27630] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27630/stat : 27630 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712967464328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27631] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27631/stat : 27631 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712966413072 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27632] ppid=27614 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) S 27614 27617 21085 0 -1 4202560 4350 0 0 0 25 1 0 0 20 0 19 0 12651645 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712965359928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27633] ppid=27614 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/27617/task/27633/stat : 27633 (java) S 27614 27617 21085 0 -1 4202560 6447 0 0 0 25 2 0 0 20 0 19 0 12651645 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712964307384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27634] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27634/stat : 27634 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712963254520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27635] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27635/stat : 27635 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712962202184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27636] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27636/stat : 27636 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651656 9856040960 15346 33554432000 1073741824 1073778376 140733473635584 140712961148456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.25 2.25 2.19 3/215 27636
/proc/meminfo: memFree=29770092/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=6.84 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 14490 0 1 0 680 4 0 0 20 0 19 0 12651640 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 16230 2258 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2420 0 1 0 625 1 0 0 20 0 19 0 12651640 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140713145429696 140713010845324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27620] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27620/stat : 27620 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140713134500776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27621] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27621/stat : 27621 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140713133448232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27622] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27622/stat : 27622 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140713132395176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27623] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27623/stat : 27623 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140713131342632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27624] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27624/stat : 27624 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140713130289576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27625] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27625/stat : 27625 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140713129237032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27626] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27626/stat : 27626 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140712982821032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27627] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27627/stat : 27627 (java) S 27614 27617 21085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12651641 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140712981768488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27628] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27628/stat : 27628 (java) S 27614 27617 21085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12651642 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140712969571176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27629] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27629/stat : 27629 (java) S 27614 27617 21085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140712968517496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27630] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27630/stat : 27630 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140712967464328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27631] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27631/stat : 27631 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140712966413072 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27632] ppid=27614 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) S 27614 27617 21085 0 -1 4202560 4350 0 0 0 25 1 0 0 20 0 19 0 12651645 9856040960 16230 33554432000 1073741824 1073778376 140733473635584 140712965359928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27633] ppid=27614 vsize=9625040 CPUtime=0.27 cores=1,3,5,7

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

[pid=27617/tid=27632] ppid=27614 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) S 27614 27617 21085 0 -1 4202560 4362 0 0 0 28 1 0 0 20 0 19 0 12651645 9856040960 69080 33554432000 1073741824 1073778376 140733473635584 140712965359928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27633] ppid=27614 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/27617/task/27633/stat : 27633 (java) S 27614 27617 21085 0 -1 4202560 6447 0 0 0 25 2 0 0 20 0 19 0 12651645 9856040960 69080 33554432000 1073741824 1073778376 140733473635584 140712964307384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27634] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27634/stat : 27634 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 69080 33554432000 1073741824 1073778376 140733473635584 140712963254520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27635] ppid=27614 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/27617/task/27635/stat : 27635 (java) S 27614 27617 21085 0 -1 4202560 96 0 0 0 22 25 0 0 20 0 19 0 12651645 9856040960 69080 33554432000 1073741824 1073778376 140733473635584 140712962202184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27636] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27636/stat : 27636 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651656 9856040960 69080 33554432000 1073741824 1073778376 140733473635584 140712961148456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1668.55
Current children cumulated vsize (KiB) 9625040

[startup+1670.4 s]
/proc/loadavg: 1.22 1.45 1.81 3/190 27775
/proc/meminfo: memFree=29591660/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=1671.97 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 15939 0 1 0 167153 44 0 0 20 0 19 0 12651640 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 78093 2272 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=1665.75 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2485 0 1 0 166548 27 0 0 20 0 19 0 12651640 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713145438648 140713011128200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27620] ppid=27614 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/27617/task/27620/stat : 27620 (java) S 27614 27617 21085 0 -1 4202560 149 0 0 0 13 3 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713134500776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27621] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27621/stat : 27621 (java) S 27614 27617 21085 0 -1 4202560 254 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713133448232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27622] ppid=27614 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/27617/task/27622/stat : 27622 (java) S 27614 27617 21085 0 -1 4202560 50 0 0 0 8 3 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713132395176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27623] ppid=27614 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/27617/task/27623/stat : 27623 (java) S 27614 27617 21085 0 -1 4202560 234 0 0 0 9 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713131342632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27624] ppid=27614 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/27617/task/27624/stat : 27624 (java) S 27614 27617 21085 0 -1 4202560 262 0 0 0 11 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713130289576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27625] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27625/stat : 27625 (java) S 27614 27617 21085 0 -1 4202560 83 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713129237032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27626] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27626/stat : 27626 (java) S 27614 27617 21085 0 -1 4202560 29 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712982821032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27627] ppid=27614 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/27617/task/27627/stat : 27627 (java) S 27614 27617 21085 0 -1 4202560 169 0 0 0 7 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712981768488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27628] ppid=27614 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/27617/task/27628/stat : 27628 (java) S 27614 27617 21085 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 12651642 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712969571176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27629] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27629/stat : 27629 (java) S 27614 27617 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712968517496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27630] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27630/stat : 27630 (java) S 27614 27617 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712967464328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27631] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27631/stat : 27631 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712966413072 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27632] ppid=27614 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) S 27614 27617 21085 0 -1 4202560 4364 0 0 0 34 1 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712965359928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27633] ppid=27614 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/27617/task/27633/stat : 27633 (java) S 27614 27617 21085 0 -1 4202560 6447 0 0 0 27 2 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712964307384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27634] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27634/stat : 27634 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712963254520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27635] ppid=27614 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/27617/task/27635/stat : 27635 (java) S 27614 27617 21085 0 -1 4202560 96 0 0 0 22 26 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712962202184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27636] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27636/stat : 27636 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651656 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712961148456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1671.97
Current children cumulated vsize (KiB) 9625040

[startup+1672 s]
/proc/loadavg: 1.22 1.45 1.81 2/190 27775
/proc/meminfo: memFree=29591668/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=1673.58 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 15944 0 1 0 167314 44 0 0 20 0 19 0 12651640 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 78093 2272 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=1667.35 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2486 0 1 0 166708 27 0 0 20 0 19 0 12651640 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713145436840 140713011141916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27620] ppid=27614 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/27617/task/27620/stat : 27620 (java) S 27614 27617 21085 0 -1 4202560 149 0 0 0 13 3 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713134500776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27621] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27621/stat : 27621 (java) S 27614 27617 21085 0 -1 4202560 254 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713133448232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27622] ppid=27614 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/27617/task/27622/stat : 27622 (java) S 27614 27617 21085 0 -1 4202560 50 0 0 0 8 3 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713132395176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27623] ppid=27614 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/27617/task/27623/stat : 27623 (java) S 27614 27617 21085 0 -1 4202560 234 0 0 0 9 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713131342632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27624] ppid=27614 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/27617/task/27624/stat : 27624 (java) S 27614 27617 21085 0 -1 4202560 262 0 0 0 11 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713130289576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27625] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27625/stat : 27625 (java) S 27614 27617 21085 0 -1 4202560 83 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713129237032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27626] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27626/stat : 27626 (java) S 27614 27617 21085 0 -1 4202560 29 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712982821032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27627] ppid=27614 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/27617/task/27627/stat : 27627 (java) S 27614 27617 21085 0 -1 4202560 169 0 0 0 7 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712981768488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27628] ppid=27614 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/27617/task/27628/stat : 27628 (java) S 27614 27617 21085 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 12651642 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712969571176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27629] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27629/stat : 27629 (java) S 27614 27617 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712968517496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27630] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27630/stat : 27630 (java) S 27614 27617 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712967464328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27631] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27631/stat : 27631 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712966413072 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27632] ppid=27614 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) S 27614 27617 21085 0 -1 4202560 4366 0 0 0 35 1 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712965359928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27633] ppid=27614 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/27617/task/27633/stat : 27633 (java) S 27614 27617 21085 0 -1 4202560 6447 0 0 0 27 2 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712964307384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27634] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27634/stat : 27634 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712963254520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27635] ppid=27614 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/27617/task/27635/stat : 27635 (java) S 27614 27617 21085 0 -1 4202560 98 0 0 0 22 26 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712962202184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27636] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27636/stat : 27636 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651656 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712961148456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1673.58
Current children cumulated vsize (KiB) 9625040

[startup+1672.8 s]
/proc/loadavg: 1.22 1.45 1.81 2/190 27775
/proc/meminfo: memFree=29591668/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=9625040 CPUtime=1674.38 cores=1,3,5,7
/proc/27617/stat : 27617 (java) S 27614 27617 21085 0 -1 4202496 15945 0 1 0 167394 44 0 0 20 0 19 0 12651640 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140733473626720 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 2406260 78093 2272 9 0 2396937 0
[pid=27617/tid=27618] ppid=27614 vsize=9625040 CPUtime=1668.15 cores=1,3,5,7
/proc/27617/task/27618/stat : 27618 (java) R 27614 27617 21085 0 -1 4202560 2487 0 1 0 166788 27 0 0 20 0 19 0 12651640 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713145436720 140713011128223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27620] ppid=27614 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/27617/task/27620/stat : 27620 (java) S 27614 27617 21085 0 -1 4202560 149 0 0 0 13 3 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713134500776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27621] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27621/stat : 27621 (java) S 27614 27617 21085 0 -1 4202560 254 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713133448232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27622] ppid=27614 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/27617/task/27622/stat : 27622 (java) S 27614 27617 21085 0 -1 4202560 50 0 0 0 8 3 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713132395176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27623] ppid=27614 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/27617/task/27623/stat : 27623 (java) S 27614 27617 21085 0 -1 4202560 234 0 0 0 9 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713131342632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27624] ppid=27614 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/27617/task/27624/stat : 27624 (java) S 27614 27617 21085 0 -1 4202560 262 0 0 0 11 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713130289576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27625] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27625/stat : 27625 (java) S 27614 27617 21085 0 -1 4202560 83 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140713129237032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27626] ppid=27614 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/27617/task/27626/stat : 27626 (java) S 27614 27617 21085 0 -1 4202560 29 0 0 0 8 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712982821032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27617/tid=27627] ppid=27614 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/27617/task/27627/stat : 27627 (java) S 27614 27617 21085 0 -1 4202560 169 0 0 0 7 2 0 0 20 0 19 0 12651641 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712981768488 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27628] ppid=27614 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/27617/task/27628/stat : 27628 (java) S 27614 27617 21085 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 12651642 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712969571176 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27629] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27629/stat : 27629 (java) S 27614 27617 21085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712968517496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27630] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27630/stat : 27630 (java) S 27614 27617 21085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12651643 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712967464328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27631] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27631/stat : 27631 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712966413072 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27617/tid=27632] ppid=27614 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) S 27614 27617 21085 0 -1 4202560 4366 0 0 0 35 1 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712965359928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27617/tid=27633] ppid=27614 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/27617/task/27633/stat : 27633 (java) S 27614 27617 21085 0 -1 4202560 6447 0 0 0 27 2 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712964307384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27634] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27634/stat : 27634 (java) S 27614 27617 21085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712963254520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27635] ppid=27614 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/27617/task/27635/stat : 27635 (java) S 27614 27617 21085 0 -1 4202560 98 0 0 0 22 26 0 0 20 0 19 0 12651645 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712962202184 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27617/tid=27636] ppid=27614 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27617/task/27636/stat : 27636 (java) S 27614 27617 21085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12651656 9856040960 78093 33554432000 1073741824 1073778376 140733473635584 140712961148456 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1674.38
Current children cumulated vsize (KiB) 9625040

[startup+1673 s]
/proc/loadavg: 1.22 1.45 1.81 2/190 27775
/proc/meminfo: memFree=29591668/32872528 swapFree=1484672/1662500
[pid=27617] ppid=27614 vsize=0 CPUtime=1670.66 cores=1,3,5,7
/proc/27617/stat : 27617 (java) Z 27614 27617 21085 0 -1 4203532 15975 0 1 0 166979 87 0 0 20 0 2 0 12651640 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27617/statm: 0 0 0 0 0 0 0
[pid=27617/tid=27632] ppid=27614 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/27617/task/27632/stat : 27632 (java) R 27614 27617 21085 0 -1 4203588 4376 0 0 0 37 2 0 0 20 0 2 0 12651645 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1670.66
Current children cumulated vsize (KiB) 0

Child status: 20

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.81995
#  lost CPU user time (s): 4.25
#  lost CPU system time (s): -0.43

Real time (s): 1673
CPU time (s): 1674.5
CPU user time (s): 1674.04
CPU system time (s): 0.463864
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1669.79
system time used= 0.893864
maximum resident set size= 312468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15975
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35568
involuntary context switches= 2562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5432 second user time and 15.6876 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-30 22:03:11
IDJOB=4122510
IDBENCH=111154
IDSOLVER=2546
FILE ID=node134/4122510-1467316991
RUNJOBID= node134-1467310932-25493
PBS_JOBID= 20005262
Free space on /tmp= 71708 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-71.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122510-1467316991/watcher-4122510-1467316991 -o /tmp/evaluation-result-4122510-1467316991/solver-4122510-1467316991 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467310932-25493 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4122510-1467316991.opb

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

MD5SUM BENCH= c95076bfb71f1304e795aabd7944e26b
RANDOM SEED=685171779

node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29829120 kB
Buffers:          167852 kB
Cached:           385772 kB
SwapCached:            0 kB
Active:           315384 kB
Inactive:         322012 kB
Active(anon):      80380 kB
Inactive(anon):     5960 kB
Active(file):     235004 kB
Inactive(file):   316052 kB
Unevictable:     1662500 kB
Mlocked:         1484672 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1772 kB
Writeback:             0 kB
AnonPages:       1754300 kB
Mapped:            21512 kB
Shmem:               216 kB
Slab:             611312 kB
SReclaimable:      54756 kB
SUnreclaim:       556556 kB
KernelStack:        1776 kB
PageTables:         7748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2355444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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= 71708 MiB
End job on node134 at 2016-06-30 22:31:04