Trace number 4081441

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16OPT52 1747.81 877.321

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark0.130979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint124
Number of terms in the objective function 486
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 486
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4081441-1465249650.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.54/0.38	c ... done. Wall clock time 0.273s.
0.54/0.38	c declared #vars     2091
0.54/0.38	c #constraints  7288
0.54/0.38	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.54/0.38	c constraints type 
0.54/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1614
0.54/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5628
0.54/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 46
0.54/0.38	c 7288 constraints processed.
0.54/0.38	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.54/0.38	c constraints type 
0.54/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5628
0.54/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1614
0.54/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 46
0.54/0.38	c 7288 constraints processed.
0.54/0.38	c objective function length is 486 literals
0.84/0.41	c And the winner is solver1
1.68/0.89	c SATISFIABLE
1.68/0.89	c OPTIMIZING...
1.68/0.89	c Got one! Elapsed wall clock time (in seconds):0.78
1.68/0.89	o 55
3.39/1.31	c And the winner is solver0
3.39/1.39	c Got one! Elapsed wall clock time (in seconds):1.286
3.39/1.39	o 54
3.65/1.45	c And the winner is solver0
4.02/1.90	c Got one! Elapsed wall clock time (in seconds):1.789
4.02/1.90	o 53
5.20/2.46	c cleaning 2855 clauses out of 5710 with flag 29033/5710
7.28/3.35	c cleaning 4427 clauses out of 8855 with flag 83520/11710
9.37/4.30	c cleaning 5709 clauses out of 11426 with flag 122513/18708
11.65/5.45	c cleaning 6840 clauses out of 13717 with flag 183883/26708
14.56/6.86	c cleaning 7939 clauses out of 15877 with flag 259218/35708
18.09/8.57	c cleaning 8967 clauses out of 17938 with flag 329377/45708
19.49/9.26	c And the winner is solver1
19.63/9.40	c Got one! Elapsed wall clock time (in seconds):9.294
19.63/9.40	o 52
20.11/9.60	c cleaning 7131 clauses out of 14261 with flag 5690/50998
21.71/10.49	c cleaning 6554 clauses out of 13128 with flag 49073/56996
24.17/11.61	c cleaning 6772 clauses out of 13574 with flag 97271/63996
26.77/12.93	c cleaning 7398 clauses out of 14802 with flag 148610/71996
29.88/14.42	c cleaning 8202 clauses out of 16405 with flag 208220/80997
32.89/15.92	c cleaning 9101 clauses out of 18202 with flag 273242/90996
36.87/17.87	c cleaning 10051 clauses out of 20101 with flag 338527/101996
41.51/19.96	c cleaning 11021 clauses out of 22050 with flag 408151/113996
46.08/22.03	c cleaning 12014 clauses out of 24029 with flag 489376/126996
51.01/24.47	c cleaning 13008 clauses out of 26015 with flag 561323/140996
56.21/27.09	c cleaning 14002 clauses out of 28008 with flag 644505/155997
61.62/29.80	c cleaning 14991 clauses out of 30006 with flag 741791/171997
67.77/32.72	c cleaning 15997 clauses out of 32021 with flag 858254/189003
74.17/35.93	c cleaning 16991 clauses out of 34017 with flag 962809/206996
81.58/39.63	c cleaning 18002 clauses out of 36028 with flag 1073747/225998
89.08/43.31	c cleaning 19006 clauses out of 38025 with flag 1190195/245997
96.49/47.06	c cleaning 20010 clauses out of 40019 with flag 1338490/266997
104.28/50.98	c cleaning 20992 clauses out of 42008 with flag 1483797/288996
113.06/55.25	c cleaning 22008 clauses out of 44016 with flag 1618800/311996
122.06/59.70	c cleaning 23004 clauses out of 46008 with flag 1759368/335996
132.05/64.69	c cleaning 24002 clauses out of 48004 with flag 1913203/360996
141.85/69.58	c cleaning 25000 clauses out of 50002 with flag 2069574/386996
153.04/75.11	c cleaning 26000 clauses out of 52003 with flag 2228908/413997
163.38/80.24	c cleaning 26987 clauses out of 54002 with flag 2398969/441996
173.97/85.57	c cleaning 28001 clauses out of 56018 with flag 2607393/470999
185.68/91.78	c cleaning 29009 clauses out of 58017 with flag 2802160/500999
197.08/97.42	c cleaning 29997 clauses out of 60005 with flag 3007530/531996
209.14/103.50	c cleaning 30993 clauses out of 62009 with flag 3229754/563997
221.21/109.47	c cleaning 32004 clauses out of 64015 with flag 3472916/596996
233.62/115.64	c cleaning 32998 clauses out of 66015 with flag 3740735/631000
246.27/121.91	c cleaning 34008 clauses out of 68016 with flag 4024826/665999
259.40/128.47	c cleaning 35000 clauses out of 70005 with flag 4329965/701996
273.00/135.22	c cleaning 36003 clauses out of 72005 with flag 4640163/738996
286.07/141.76	c cleaning 36992 clauses out of 74002 with flag 4981754/776996
301.80/149.54	c cleaning 37997 clauses out of 76011 with flag 5289305/815998
321.65/159.47	c cleaning 38993 clauses out of 78013 with flag 5561896/855997
340.56/168.86	c cleaning 39998 clauses out of 80020 with flag 5832409/896997
358.33/177.66	c cleaning 41005 clauses out of 82020 with flag 6098060/938996
377.72/187.40	c cleaning 41985 clauses out of 84015 with flag 6365770/981996
399.10/197.95	c cleaning 42991 clauses out of 86030 with flag 6653513/1025996
420.29/208.47	c cleaning 44010 clauses out of 88039 with flag 6918034/1070996
442.89/219.65	c cleaning 45008 clauses out of 90030 with flag 7156794/1116997
465.71/230.92	c cleaning 46005 clauses out of 92021 with flag 7454145/1163996
489.36/242.67	c cleaning 47009 clauses out of 94018 with flag 7753715/1211998
513.57/254.64	c cleaning 47995 clauses out of 96007 with flag 8044797/1260996
536.82/266.80	c cleaning 49000 clauses out of 98012 with flag 8362354/1310996
559.97/278.21	c cleaning 50003 clauses out of 100013 with flag 8696988/1361997
582.50/289.49	c cleaning 51005 clauses out of 102010 with flag 9070395/1413997
586.70/291.55	c cleaning 0 clauses out of 5628 with flag 0/5629
606.27/301.12	c cleaning 51995 clauses out of 104006 with flag 9427720/1466998
634.02/314.95	c cleaning 52997 clauses out of 106011 with flag 9759732/1520998
660.69/328.22	c cleaning 53993 clauses out of 108012 with flag 10106327/1575996
686.65/341.14	c cleaning 55001 clauses out of 110019 with flag 10459653/1631996
712.10/353.85	c cleaning 56004 clauses out of 112019 with flag 10821878/1688997
738.24/366.84	c cleaning 56996 clauses out of 114015 with flag 11209326/1746997
763.32/379.36	c cleaning 57995 clauses out of 116017 with flag 11583186/1805996
790.91/393.07	c cleaning 59000 clauses out of 118021 with flag 11962448/1865996
817.43/406.20	c cleaning 60007 clauses out of 120022 with flag 12346545/1926997
845.93/420.43	c cleaning 60996 clauses out of 122014 with flag 12726773/1988996
875.63/435.12	c cleaning 62003 clauses out of 124018 with flag 13147441/2051996
905.18/449.74	c cleaning 62988 clauses out of 126015 with flag 13596749/2115996
933.98/464.06	c cleaning 63987 clauses out of 128026 with flag 13994106/2180996
964.93/479.44	c cleaning 65009 clauses out of 130040 with flag 14381982/2246997
997.35/495.49	c cleaning 66016 clauses out of 132031 with flag 14796505/2313998
1027.41/510.37	c cleaning 66996 clauses out of 134013 with flag 15243182/2381996
1064.28/528.52	c cleaning 68004 clauses out of 136018 with flag 15654276/2450997
1100.35/546.30	c cleaning 69001 clauses out of 138013 with flag 16064664/2520996
1134.01/562.93	c cleaning 69996 clauses out of 140011 with flag 16465330/2591996
1165.23/578.42	c cleaning 71003 clauses out of 142015 with flag 16904728/2663996
1199.38/596.31	c cleaning 72001 clauses out of 144014 with flag 17390399/2736998
1234.20/613.76	c cleaning 73003 clauses out of 146009 with flag 17918135/2810996
1266.55/629.85	c cleaning 73996 clauses out of 148007 with flag 18479632/2885997
1298.52/645.73	c cleaning 75004 clauses out of 150011 with flag 19128860/2961997
1332.39/662.68	c cleaning 75991 clauses out of 152006 with flag 19701693/3038996
1368.01/680.33	c cleaning 76986 clauses out of 154015 with flag 20209250/3116996
1404.65/698.55	c cleaning 77994 clauses out of 156026 with flag 20720487/3195996
1441.90/717.04	c cleaning 79001 clauses out of 158031 with flag 21227335/3275996
1480.03/735.92	c cleaning 80001 clauses out of 160033 with flag 21726021/3356999
1517.12/754.48	c cleaning 80985 clauses out of 162028 with flag 22203395/3438996
1554.27/772.82	c cleaning 82003 clauses out of 164043 with flag 22754668/3521996
1594.13/792.68	c cleaning 83008 clauses out of 166038 with flag 23298131/3605996
1634.64/812.76	c cleaning 84009 clauses out of 168030 with flag 23820864/3690996
1675.28/832.94	c cleaning 85000 clauses out of 170017 with flag 24397376/3776996
1713.40/851.93	c cleaning 85992 clauses out of 172011 with flag 24973028/3863996
1730.09/860.24	c And the winner is solver0
1747.42/877.28	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1747.42/877.28	c starts		: 16342
1747.42/877.28	c conflicts		: 3911708
1747.42/877.28	c decisions		: 30953240
1747.42/877.28	c propagations		: 1278269509
1747.42/877.28	c inspects		: 11166708312
1747.42/877.28	c shortcuts		: 0
1747.42/877.28	c learnt literals	: 55
1747.42/877.28	c learnt binary clauses	: 968
1747.42/877.28	c learnt ternary clauses	: 10890
1747.42/877.28	c learnt constraints	: 3911652
1747.42/877.28	c ignored constraints	: 0
1747.42/877.28	c root simplifications	: 0
1747.42/877.28	c removed literals (reason simplification)	: 40038101
1747.42/877.28	c reason swapping (by a shorter reason)	: 0
1747.42/877.28	c Calls to reduceDB	: 89
1747.42/877.28	c Number of update (reduction) of LBD	: 2581124
1747.42/877.28	c Imported unit clauses	: 0
1747.42/877.28	c number of reductions to clauses (during analyze)	: 0
1747.42/877.28	c number of learned constraints concerned by reduction	: 0
1747.42/877.28	c number of learning phase by resolution	: 0
1747.42/877.28	c number of learning phase by cutting planes	: 0
1747.42/877.28	c speed (assignments/second)	: 1472869.4377198613
1747.42/877.28	c non guided choices	0
1747.42/877.28	c learnt constraints type 
1747.42/877.28	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1747.42/877.28	c starts		: 36
1747.42/877.28	c conflicts		: 9193
1747.42/877.28	c decisions		: 67176
1747.42/877.28	c propagations		: 1482654
1747.42/877.28	c inspects		: 690029389
1747.42/877.28	c shortcuts		: 0
1747.42/877.28	c learnt literals	: 0
1747.42/877.28	c learnt binary clauses	: 0
1747.42/877.28	c learnt ternary clauses	: 0
1747.42/877.28	c learnt constraints	: 9191
1747.42/877.28	c ignored constraints	: 0
1747.42/877.28	c root simplifications	: 0
1747.42/877.28	c removed literals (reason simplification)	: 0
1747.42/877.28	c reason swapping (by a shorter reason)	: 0
1747.42/877.28	c Calls to reduceDB	: 1
1747.42/877.28	c Number of update (reduction) of LBD	: 0
1747.42/877.28	c Imported unit clauses	: 0
1747.42/877.28	c number of reductions to clauses (during analyze)	: 0
1747.42/877.28	c number of learned constraints concerned by reduction	: 0
1747.42/877.28	c number of learning phase by resolution	: 0
1747.42/877.28	c number of learning phase by cutting planes	: 0
1747.42/877.28	c speed (assignments/second)	: 1693.7261532134617
1747.42/877.28	c non guided choices	0
1747.42/877.28	c learnt constraints type 
1747.42/877.28	s OPTIMUM FOUND
1747.42/877.28	c Found 4 solution(s)
1747.42/877.29	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 x36 x37 x38 x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 x1756 x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 
1747.42/877.29	c objective function=52
1747.42/877.29	c Total wall clock time (in seconds): 877.183

Verifier Data 

OK	52

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

pid=17573
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: 3.95 4.18 4.18 4/199 17576
/proc/meminfo: memFree=26579940/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 106897816 98570240 978 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 24065 978 744 9 0 16771 0
[pid=17576/tid=17577] ppid=17573 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) R 17573 17576 15677 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 106897816 98570240 978 33554432000 1073741824 1073778376 140735410363568 140354833915432 273905698176 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100096 s]
/proc/loadavg: 3.95 4.18 4.18 4/199 17576
/proc/meminfo: memFree=26579940/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 4540 0 1 0 10 1 0 0 20 0 18 0 106897816 9787879424 5667 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2389619 5667 2156 9 0 2380296 0
[pid=17576/tid=17577] ppid=17573 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) R 17573 17576 15677 0 -1 4202560 2441 0 1 0 6 2 0 0 20 0 18 0 106897816 9787879424 5667 33554432000 1073741824 1073778376 140735410363568 140354833919240 140354838044667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200354 s]
/proc/loadavg: 3.95 4.18 4.18 4/199 17576
/proc/meminfo: memFree=26579940/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 4974 0 1 0 27 1 0 0 20 0 18 0 106897816 9787879424 6501 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2389619 6501 2216 9 0 2380296 0
[pid=17576/tid=17577] ppid=17573 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) R 17573 17576 15677 0 -1 4202560 2463 0 1 0 16 2 0 0 20 0 18 0 106897816 9787879424 6501 33554432000 1073741824 1073778376 140735410363568 140354833919240 140354773687585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300355 s]
/proc/loadavg: 3.95 4.18 4.18 4/199 17576
/proc/meminfo: memFree=26579940/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 7110 0 1 0 52 2 0 0 20 0 18 0 106897816 9787879424 9960 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2389619 9960 2234 9 0 2380296 0
[pid=17576/tid=17577] ppid=17573 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) R 17573 17576 15677 0 -1 4202560 2468 0 1 0 26 2 0 0 20 0 18 0 106897816 9787879424 9960 33554432000 1073741824 1073778376 140735410363568 140354833919240 140354838218304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700318 s]
/proc/loadavg: 3.95 4.18 4.18 4/199 17576
/proc/meminfo: memFree=26579940/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9825340 CPUtime=1.48 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 25821 0 1 0 141 7 0 0 20 0 19 0 106897816 10061148160 27391 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2456335 27391 2255 9 0 2447012 0
[pid=17576/tid=17577] ppid=17573 vsize=9825340 CPUtime=0.37 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) S 17573 17576 15677 0 -1 4202560 2567 0 1 0 35 2 0 0 20 0 19 0 106897816 10061148160 27391 33554432000 1073741824 1073778376 140735410363568 140354833920888 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9825340

[startup+1.50086 s]
/proc/loadavg: 4.03 4.19 4.19 7/221 17601
/proc/meminfo: memFree=26472084/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9824732 CPUtime=3.96 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 30282 0 1 0 384 12 0 0 20 0 19 0 106897816 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2456183 33021 2276 9 0 2446860 0
[pid=17576/tid=17577] ppid=17573 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) S 17573 17576 15677 0 -1 4202560 2572 0 1 0 36 2 0 0 20 0 19 0 106897816 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354833920888 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17579] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17579/stat : 17579 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354772651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17580] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17580/stat : 17580 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354771598248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17581] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17581/stat : 17581 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354770545448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17582] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17582/stat : 17582 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354769492648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17583] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17583/stat : 17583 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354768439848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17584] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17584/stat : 17584 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354671819176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17585] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17585/stat : 17585 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354670766376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17586] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17586/stat : 17586 (java) S 17573 17576 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106897817 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354669713576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17587] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17587/stat : 17587 (java) S 17573 17576 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354657516520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17588] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17588/stat : 17588 (java) S 17573 17576 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354656462584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17589] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17589/stat : 17589 (java) S 17573 17576 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354655409672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17590] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17590/stat : 17590 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354654358160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17591] ppid=17573 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/17576/task/17591/stat : 17591 (java) R 17573 17576 15677 0 -1 4202560 11487 0 0 0 124 1 0 0 20 0 19 0 106897821 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354653292800 140354840101024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17592] ppid=17573 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/17576/task/17592/stat : 17592 (java) R 17573 17576 15677 0 -1 4202560 14817 0 0 0 124 4 0 0 20 0 19 0 106897821 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354652252504 140354838037878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17593] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17593/stat : 17593 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354651199864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17594] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17594/stat : 17594 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354650147272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17601] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17601/stat : 17601 (java) S 17573 17576 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106897906 10060525568 33021 33554432000 1073741824 1073778376 140735410363568 140354645312424 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9824732

[startup+3.10089 s]
/proc/loadavg: 4.03 4.19 4.19 5/221 17607
/proc/meminfo: memFree=26426832/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9824732 CPUtime=6.85 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 30980 0 1 0 670 15 0 0 20 0 22 0 106897816 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2456183 55637 2293 9 0 2446860 0
[pid=17576/tid=17577] ppid=17573 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) S 17573 17576 15677 0 -1 4202560 2572 0 1 0 36 2 0 0 20 0 22 0 106897816 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354833920888 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17579] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17579/stat : 17579 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354772651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17580] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17580/stat : 17580 (java) S 17573 17576 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354771598248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17581] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17581/stat : 17581 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354770545448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17582] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17582/stat : 17582 (java) S 17573 17576 15677 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354769492648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17583] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17583/stat : 17583 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354768439848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17584] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17584/stat : 17584 (java) S 17573 17576 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354671819176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17585] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17585/stat : 17585 (java) S 17573 17576 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354670766376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17586] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17586/stat : 17586 (java) S 17573 17576 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106897817 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354669713576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17587] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17587/stat : 17587 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106897818 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354657516520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17588] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17588/stat : 17588 (java) S 17573 17576 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106897818 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354656462584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17589] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17589/stat : 17589 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 106897818 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354655409672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17590] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17590/stat : 17590 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106897821 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354654358160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17591] ppid=17573 vsize=9824732 CPUtime=1.45 cores=1,3,5,7
/proc/17576/task/17591/stat : 17591 (java) S 17573 17576 15677 0 -1 4202560 11510 0 0 0 143 2 0 0 20 0 22 0 106897821 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354653305272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17592] ppid=17573 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/17576/task/17592/stat : 17592 (java) R 17573 17576 15677 0 -1 4202560 15398 0 0 0 152 4 0 0 20 0 22 0 106897821 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354652252472 140354836527193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17593] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17593/stat : 17593 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106897821 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354651199864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17594] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17594/stat : 17594 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 106897821 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354650147272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17601] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17601/stat : 17601 (java) S 17573 17576 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 106897906 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354645312424 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17605] ppid=17573 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/17576/task/17605/stat : 17605 (java) R 17573 17576 15677 0 -1 4202560 3 0 0 0 115 0 0 0 20 0 22 0 106898006 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354648470432 140354774358397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17606] ppid=17573 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/17576/task/17606/stat : 17606 (java) R 17573 17576 15677 0 -1 4202560 42 0 0 0 114 2 0 0 20 0 22 0 106898006 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354647416520 140354774821580 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17607] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17607/stat : 17607 (java) S 17573 17576 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 106898006 10060525568 55637 33554432000 1073741824 1073778376 140735410363568 140354646365352 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.03 4.19 4.19 5/221 17607
/proc/meminfo: memFree=26322488/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9824732 CPUtime=13.55 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 32041 0 1 0 1330 25 0 0 20 0 22 0 106897816 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2456183 73691 2293 9 0 2446860 0
[pid=17576/tid=17577] ppid=17573 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) S 17573 17576 15677 0 -1 4202560 2572 0 1 0 36 2 0 0 20 0 22 0 106897816 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354833920888 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17579] ppid=17573 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17576/task/17579/stat : 17579 (java) S 17573 17576 15677 0 -1 4202560 259 0 0 0 3 2 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354772651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17580] ppid=17573 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17576/task/17580/stat : 17580 (java) S 17573 17576 15677 0 -1 4202560 95 0 0 0 3 2 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354771598248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17581] ppid=17573 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/17576/task/17581/stat : 17581 (java) S 17573 17576 15677 0 -1 4202560 99 0 0 0 3 0 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354770545448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17582] ppid=17573 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/17576/task/17582/stat : 17582 (java) S 17573 17576 15677 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354769492648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17583] ppid=17573 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/17576/task/17583/stat : 17583 (java) S 17573 17576 15677 0 -1 4202560 137 0 0 0 4 2 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354768439848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17584] ppid=17573 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17576/task/17584/stat : 17584 (java) S 17573 17576 15677 0 -1 4202560 149 0 0 0 3 2 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354671819176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17585] ppid=17573 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17576/task/17585/stat : 17585 (java) S 17573 17576 15677 0 -1 4202560 136 0 0 0 4 1 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354670766376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17586] ppid=17573 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/17576/task/17586/stat : 17586 (java) S 17573 17576 15677 0 -1 4202560 133 0 0 0 4 1 0 0 20 0 22 0 106897817 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354669713576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17587] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17587/stat : 17587 (java) S 17573 17576 15677 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 106897818 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354657516520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17588] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17588/stat : 17588 (java) S 17573 17576 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 106897818 10060525568 73691 33554432000 1073741824 1073778376 140735410363568 140354656462584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17589] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=17576/tid=17577] ppid=17573 vsize=9824732 CPUtime=15.15 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) R 17573 17576 15677 0 -1 4202560 2590 0 1 0 1512 3 0 0 20 0 19 0 106897816 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354833920648 140354773878722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17579] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17579/stat : 17579 (java) S 17573 17576 15677 0 -1 4202560 778 0 0 0 320 15 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354772651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17580] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17580/stat : 17580 (java) S 17573 17576 15677 0 -1 4202560 639 0 0 0 279 14 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354771598248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17581] ppid=17573 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/17576/task/17581/stat : 17581 (java) S 17573 17576 15677 0 -1 4202560 703 0 0 0 335 18 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354770545448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17582] ppid=17573 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/17576/task/17582/stat : 17582 (java) S 17573 17576 15677 0 -1 4202560 641 0 0 0 284 20 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354769492648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17583] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17583/stat : 17583 (java) S 17573 17576 15677 0 -1 4202560 727 0 0 0 317 18 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354768439848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17584] ppid=17573 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/17576/task/17584/stat : 17584 (java) S 17573 17576 15677 0 -1 4202560 699 0 0 0 309 19 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354671819176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17585] ppid=17573 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/17576/task/17585/stat : 17585 (java) S 17573 17576 15677 0 -1 4202560 657 0 0 0 338 19 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354670766376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17586] ppid=17573 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/17576/task/17586/stat : 17586 (java) S 17573 17576 15677 0 -1 4202560 662 0 0 0 305 15 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354669713576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17587] ppid=17573 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/17576/task/17587/stat : 17587 (java) S 17573 17576 15677 0 -1 4202560 2799 0 0 0 411 8 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354657516520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17588] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17588/stat : 17588 (java) S 17573 17576 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354656462584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17589] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17589/stat : 17589 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354655409672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17590] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17590/stat : 17590 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354654358160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17591] ppid=17573 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/17576/task/17591/stat : 17591 (java) S 17573 17576 15677 0 -1 4202560 11520 0 0 0 160 2 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354653305272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17592] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17592/stat : 17592 (java) S 17573 17576 15677 0 -1 4202560 15474 0 0 0 289 4 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354652252472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17593] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17593/stat : 17593 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354651199864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17594] ppid=17573 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/17576/task/17594/stat : 17594 (java) S 17573 17576 15677 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354650147272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17610] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17610/stat : 17610 (java) S 17573 17576 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106898757 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354645312296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1746.22
Current children cumulated vsize (KiB) 9824732

[startup+876.808 s]
/proc/loadavg: 3.89 4.20 4.19 4/218 17756
/proc/meminfo: memFree=25737544/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9824732 CPUtime=1747.03 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 40774 0 1 0 174461 242 0 0 20 0 19 0 106897816 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2456183 951053 2302 9 0 2446860 0
[pid=17576/tid=17577] ppid=17573 vsize=9824732 CPUtime=15.96 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) R 17573 17576 15677 0 -1 4202560 2590 0 1 0 1593 3 0 0 20 0 19 0 106897816 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354833920648 140354775087359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17579] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17579/stat : 17579 (java) S 17573 17576 15677 0 -1 4202560 778 0 0 0 320 15 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354772651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17580] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17580/stat : 17580 (java) S 17573 17576 15677 0 -1 4202560 639 0 0 0 279 14 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354771598248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17581] ppid=17573 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/17576/task/17581/stat : 17581 (java) S 17573 17576 15677 0 -1 4202560 703 0 0 0 335 18 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354770545448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17582] ppid=17573 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/17576/task/17582/stat : 17582 (java) S 17573 17576 15677 0 -1 4202560 641 0 0 0 284 20 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354769492648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17583] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17583/stat : 17583 (java) S 17573 17576 15677 0 -1 4202560 727 0 0 0 317 18 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354768439848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17584] ppid=17573 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/17576/task/17584/stat : 17584 (java) S 17573 17576 15677 0 -1 4202560 699 0 0 0 309 19 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354671819176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17585] ppid=17573 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/17576/task/17585/stat : 17585 (java) S 17573 17576 15677 0 -1 4202560 657 0 0 0 338 19 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354670766376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17586] ppid=17573 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/17576/task/17586/stat : 17586 (java) S 17573 17576 15677 0 -1 4202560 662 0 0 0 305 15 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354669713576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17587] ppid=17573 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/17576/task/17587/stat : 17587 (java) S 17573 17576 15677 0 -1 4202560 2799 0 0 0 411 8 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354657516520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17588] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17588/stat : 17588 (java) S 17573 17576 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354656462584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17589] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17589/stat : 17589 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354655409672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17590] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17590/stat : 17590 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354654358160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17591] ppid=17573 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/17576/task/17591/stat : 17591 (java) S 17573 17576 15677 0 -1 4202560 11520 0 0 0 160 2 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354653305272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17592] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17592/stat : 17592 (java) S 17573 17576 15677 0 -1 4202560 15474 0 0 0 289 4 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354652252472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17593] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17593/stat : 17593 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354651199864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17594] ppid=17573 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/17576/task/17594/stat : 17594 (java) S 17573 17576 15677 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354650147272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17610] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17610/stat : 17610 (java) S 17573 17576 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106898757 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354645312296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1747.03
Current children cumulated vsize (KiB) 9824732

[startup+877.201 s]
/proc/loadavg: 3.89 4.20 4.19 4/218 17756
/proc/meminfo: memFree=25737544/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9824732 CPUtime=1747.42 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 40774 0 1 0 174500 242 0 0 20 0 19 0 106897816 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2456183 951053 2302 9 0 2446860 0
[pid=17576/tid=17577] ppid=17573 vsize=9824732 CPUtime=16.35 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) R 17573 17576 15677 0 -1 4202560 2590 0 1 0 1632 3 0 0 20 0 19 0 106897816 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354833920648 140354773878710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17579] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17579/stat : 17579 (java) S 17573 17576 15677 0 -1 4202560 778 0 0 0 320 15 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354772651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17580] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17580/stat : 17580 (java) S 17573 17576 15677 0 -1 4202560 639 0 0 0 279 14 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354771598248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17581] ppid=17573 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/17576/task/17581/stat : 17581 (java) S 17573 17576 15677 0 -1 4202560 703 0 0 0 335 18 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354770545448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17582] ppid=17573 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/17576/task/17582/stat : 17582 (java) S 17573 17576 15677 0 -1 4202560 641 0 0 0 284 20 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354769492648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17583] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17583/stat : 17583 (java) S 17573 17576 15677 0 -1 4202560 727 0 0 0 317 18 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354768439848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17584] ppid=17573 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/17576/task/17584/stat : 17584 (java) S 17573 17576 15677 0 -1 4202560 699 0 0 0 309 19 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354671819176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17585] ppid=17573 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/17576/task/17585/stat : 17585 (java) S 17573 17576 15677 0 -1 4202560 657 0 0 0 338 19 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354670766376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17586] ppid=17573 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/17576/task/17586/stat : 17586 (java) S 17573 17576 15677 0 -1 4202560 662 0 0 0 305 15 0 0 20 0 19 0 106897817 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354669713576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17587] ppid=17573 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/17576/task/17587/stat : 17587 (java) S 17573 17576 15677 0 -1 4202560 2799 0 0 0 411 8 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354657516520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17588] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17588/stat : 17588 (java) S 17573 17576 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354656462584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17589] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17589/stat : 17589 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106897818 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354655409672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17590] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17590/stat : 17590 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354654358160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17591] ppid=17573 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/17576/task/17591/stat : 17591 (java) S 17573 17576 15677 0 -1 4202560 11520 0 0 0 160 2 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354653305272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17592] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17592/stat : 17592 (java) S 17573 17576 15677 0 -1 4202560 15474 0 0 0 289 4 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354652252472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17593] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17593/stat : 17593 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354651199864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17594] ppid=17573 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/17576/task/17594/stat : 17594 (java) S 17573 17576 15677 0 -1 4202560 51 0 0 0 14 22 0 0 20 0 19 0 106897821 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354650147272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17610] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17610/stat : 17610 (java) S 17573 17576 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106898757 10060525568 951053 33554432000 1073741824 1073778376 140735410363568 140354645312296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1747.42
Current children cumulated vsize (KiB) 9824732

[startup+877.301 s]
/proc/loadavg: 3.89 4.20 4.19 4/218 17756
/proc/meminfo: memFree=25737544/32872528 swapFree=15540/1663004
[pid=17576] ppid=17573 vsize=9824732 CPUtime=1747.57 cores=1,3,5,7
/proc/17576/stat : 17576 (java) S 17573 17576 15677 0 -1 4202496 40786 0 1 0 174511 246 0 0 20 0 16 0 106897816 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140735410354704 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17576/statm: 2456183 951055 2302 9 0 2446860 0
[pid=17576/tid=17577] ppid=17573 vsize=9824732 CPUtime=16.44 cores=1,3,5,7
/proc/17576/task/17577/stat : 17577 (java) S 17573 17576 15677 0 -1 4202560 2592 0 1 0 1641 3 0 0 20 0 16 0 106897816 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354833920696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17579] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17579/stat : 17579 (java) S 17573 17576 15677 0 -1 4202560 778 0 0 0 320 15 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354772651048 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17580] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17580/stat : 17580 (java) S 17573 17576 15677 0 -1 4202560 639 0 0 0 279 14 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354771598248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17581] ppid=17573 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/17576/task/17581/stat : 17581 (java) S 17573 17576 15677 0 -1 4202560 703 0 0 0 335 18 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354770545448 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17582] ppid=17573 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/17576/task/17582/stat : 17582 (java) S 17573 17576 15677 0 -1 4202560 641 0 0 0 284 20 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354769492648 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17583] ppid=17573 vsize=9824732 CPUtime=3.35 cores=1,3,5,7
/proc/17576/task/17583/stat : 17583 (java) S 17573 17576 15677 0 -1 4202560 727 0 0 0 317 18 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354768439848 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17584] ppid=17573 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/17576/task/17584/stat : 17584 (java) S 17573 17576 15677 0 -1 4202560 699 0 0 0 309 19 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354671819176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17585] ppid=17573 vsize=9824732 CPUtime=3.57 cores=1,3,5,7
/proc/17576/task/17585/stat : 17585 (java) S 17573 17576 15677 0 -1 4202560 657 0 0 0 338 19 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354670766376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17586] ppid=17573 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/17576/task/17586/stat : 17586 (java) S 17573 17576 15677 0 -1 4202560 662 0 0 0 305 15 0 0 20 0 16 0 106897817 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354669713576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17576/tid=17587] ppid=17573 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/17576/task/17587/stat : 17587 (java) S 17573 17576 15677 0 -1 4202560 2799 0 0 0 411 8 0 0 20 0 16 0 106897818 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354657516072 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17576/tid=17588] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17588/stat : 17588 (java) S 17573 17576 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 106897818 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354656462584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17589] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17589/stat : 17589 (java) S 17573 17576 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 106897818 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354655409672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17591] ppid=17573 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/17576/task/17591/stat : 17591 (java) S 17573 17576 15677 0 -1 4202560 11520 0 0 0 160 2 0 0 20 0 16 0 106897821 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354653305272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17576/tid=17592] ppid=17573 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/17576/task/17592/stat : 17592 (java) S 17573 17576 15677 0 -1 4202560 15474 0 0 0 289 4 0 0 20 0 16 0 106897821 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354652239192 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17576/tid=17593] ppid=17573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/17576/task/17593/stat : 17593 (java) S 17573 17576 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 106897821 10060525568 951055 33554432000 1073741824 1073778376 140735410363568 140354651199864 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1747.57
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 877.321
CPU time (s): 1747.81
CPU user time (s): 1745.17
CPU system time (s): 2.6416
CPU usage (%): 199.221
Max. virtual memory (cumulated for all children) (KiB): 9825932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.17
system time used= 2.6416
maximum resident set size= 3804252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40786
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23551
involuntary context switches= 31873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86911 second user time and 8.20875 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-06 23:47:30
IDJOB=4081441
IDBENCH=25029
IDSOLVER=2543
FILE ID=node134/4081441-1465249650
RUNJOBID= node134-1465243580-15694
PBS_JOBID= 19843249
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081441-1465249650/watcher-4081441-1465249650 -o /tmp/evaluation-result-4081441-1465249650/solver-4081441-1465249650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15694 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081441-1465249650.opb

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

MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa
RANDOM SEED=2132962011

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26579892 kB
Buffers:           44864 kB
Cached:           119548 kB
SwapCached:         1804 kB
Active:          3810740 kB
Inactive:          90000 kB
Active(anon):    3738032 kB
Inactive(anon):     1040 kB
Active(file):      72708 kB
Inactive(file):    88960 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098296 kB
Dirty:              1004 kB
Writeback:             0 kB
AnonPages:       5417864 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             568800 kB
SReclaimable:      12192 kB
SUnreclaim:       556608 kB
KernelStack:        1648 kB
PageTables:        14636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6032996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5304320 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= 71732 MiB
End job on node134 at 2016-06-07 00:02:08