Trace number 4085805

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 Resolution PB16SAT (TO)-19 1800.02 1785.04

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085805-1465260103.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
1.06/0.52	c ... done. Wall clock time 0.408s.
1.06/0.52	c declared #vars     400
1.06/0.52	c internal #vars     6604
1.06/0.52	c #constraints  13010
1.06/0.52	c constraints type 
1.06/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6204
1.06/0.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.06/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.06/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6204
1.06/0.52	c 13010 constraints processed.
1.06/0.52	c objective function length is 200 literals
3.05/1.30	c SATISFIABLE
3.05/1.30	c OPTIMIZING...
3.05/1.30	c Got one! Elapsed wall clock time (in seconds):1.185
3.05/1.30	o -17
3.17/1.45	c Got one! Elapsed wall clock time (in seconds):1.339
3.17/1.45	o -18
3.47/1.61	c Got one! Elapsed wall clock time (in seconds):1.496
3.47/1.61	o -19
4.82/2.94	c cleaning 3134 clauses out of 6267 with flag 18109/6267
6.60/4.60	c cleaning 4628 clauses out of 9255 with flag 33441/12389
8.11/6.16	c cleaning 5751 clauses out of 11508 with flag 49551/19270
9.72/7.71	c cleaning 6852 clauses out of 13750 with flag 69685/27263
12.38/10.38	c cleaning 7956 clauses out of 15911 with flag 88705/36276
15.78/13.78	c cleaning 8977 clauses out of 17953 with flag 108897/46274
18.87/16.89	c cleaning 9990 clauses out of 19980 with flag 130908/57278
23.35/21.22	c cleaning 11005 clauses out of 22009 with flag 155782/69297
27.85/25.75	c cleaning 11986 clauses out of 23972 with flag 182491/82265
32.45/30.32	c cleaning 12980 clauses out of 25992 with flag 210714/96271
37.05/34.94	c cleaning 14002 clauses out of 28003 with flag 241004/111262
42.55/40.43	c cleaning 14988 clauses out of 30051 with flag 273604/127312
49.05/46.93	c cleaning 16027 clauses out of 32054 with flag 308166/144303
55.64/53.37	c cleaning 16991 clauses out of 33981 with flag 345305/162257
62.44/60.12	c cleaning 18001 clauses out of 36001 with flag 385544/181268
69.44/67.18	c cleaning 18999 clauses out of 37997 with flag 426463/201265
75.74/73.42	c cleaning 20012 clauses out of 40025 with flag 470984/222292
84.74/82.27	c cleaning 20994 clauses out of 41987 with flag 515749/244266
92.53/90.09	c cleaning 21998 clauses out of 43995 with flag 562956/267268
101.94/99.45	c cleaning 22989 clauses out of 45986 with flag 613783/291257
110.94/108.43	c cleaning 24005 clauses out of 48009 with flag 665935/316269
119.91/117.21	c cleaning 25033 clauses out of 50065 with flag 719757/342330
128.11/125.48	c cleaning 25993 clauses out of 51985 with flag 784635/369283
138.51/135.80	c cleaning 26942 clauses out of 53973 with flag 845063/397264
146.02/143.22	c cleaning 28013 clauses out of 56025 with flag 907221/426258
153.82/151.03	c cleaning 29013 clauses out of 58032 with flag 975215/456278
165.53/162.78	c cleaning 29947 clauses out of 60008 with flag 1040155/487267
175.87/172.94	c cleaning 30999 clauses out of 62074 with flag 1108892/519280
186.37/183.42	c cleaning 32028 clauses out of 64056 with flag 1176270/552261
199.07/196.16	c cleaning 33009 clauses out of 66058 with flag 1245823/586291
211.71/208.50	c cleaning 34012 clauses out of 68023 with flag 1322671/621265
223.71/220.50	c cleaning 34998 clauses out of 70007 with flag 1399976/657261
239.91/236.45	c cleaning 36018 clauses out of 72035 with flag 1475990/694287
257.13/253.43	c cleaning 36986 clauses out of 73987 with flag 1558262/732257
269.53/265.82	c cleaning 37969 clauses out of 76001 with flag 1653223/771257
286.65/282.93	c cleaning 39044 clauses out of 78102 with flag 1744444/811327
301.84/298.10	c cleaning 39979 clauses out of 79997 with flag 1832796/852266
321.83/317.92	c cleaning 40974 clauses out of 82018 with flag 1925318/894266
336.21/332.23	c cleaning 42027 clauses out of 84080 with flag 2027795/937302
351.18/347.17	c cleaning 42989 clauses out of 86011 with flag 2128465/981260
365.22/361.00	c cleaning 44008 clauses out of 88025 with flag 2245182/1026263
377.29/373.02	c cleaning 44989 clauses out of 90011 with flag 2349265/1072257
388.37/384.06	c cleaning 46001 clauses out of 92022 with flag 2453925/1119257
404.55/400.15	c cleaning 47021 clauses out of 94048 with flag 2574009/1167284
421.57/417.02	c cleaning 48001 clauses out of 96009 with flag 2697770/1216266
434.46/429.82	c cleaning 48989 clauses out of 98000 with flag 2811346/1266258
452.88/448.13	c cleaning 49999 clauses out of 100011 with flag 2923996/1317258
470.30/465.48	c cleaning 50988 clauses out of 102014 with flag 3056311/1369260
485.46/480.56	c cleaning 52008 clauses out of 104033 with flag 3175175/1422267
502.78/497.79	c cleaning 52996 clauses out of 106017 with flag 3294356/1476259
523.09/518.02	c cleaning 54009 clauses out of 108034 with flag 3414903/1531272
541.57/536.37	c cleaning 54994 clauses out of 110010 with flag 3541772/1587257
563.22/557.86	c cleaning 55995 clauses out of 112021 with flag 3667653/1644262
580.11/574.60	c cleaning 57008 clauses out of 114026 with flag 3796260/1702262
603.40/597.86	c cleaning 58000 clauses out of 116014 with flag 3927272/1761258
628.55/622.83	c cleaning 58992 clauses out of 118015 with flag 4056570/1821259
654.87/649.10	c cleaning 59996 clauses out of 120021 with flag 4187256/1882257
682.93/676.96	c cleaning 61003 clauses out of 122029 with flag 4323689/1944261
711.48/705.36	c cleaning 62011 clauses out of 124029 with flag 4459008/2007264
739.70/733.30	c cleaning 63006 clauses out of 126019 with flag 4596272/2071265
765.79/759.36	c cleaning 63998 clauses out of 128012 with flag 4734023/2136264
794.77/788.15	c cleaning 65003 clauses out of 130012 with flag 4874489/2202262
823.80/817.08	c cleaning 65999 clauses out of 132004 with flag 5017653/2269257
851.87/844.92	c cleaning 66998 clauses out of 134005 with flag 5171450/2337257
880.88/873.71	c cleaning 68010 clauses out of 136020 with flag 5335380/2406270
910.62/903.22	c cleaning 68996 clauses out of 138007 with flag 5512601/2476267
938.32/930.71	c cleaning 69998 clauses out of 140021 with flag 5674841/2547277
967.93/960.21	c cleaning 71002 clauses out of 142003 with flag 5847955/2619257
1000.24/992.32	c cleaning 71966 clauses out of 144001 with flag 6022617/2692257
1030.65/1022.55	c cleaning 73006 clauses out of 146035 with flag 6185461/2766257
1071.22/1062.80	c cleaning 74008 clauses out of 148038 with flag 6360904/2841266
1101.77/1093.19	c cleaning 75014 clauses out of 150038 with flag 6601889/2917274
1135.46/1126.58	c cleaning 76004 clauses out of 152007 with flag 6854663/2994257
1168.30/1159.01	c cleaning 76992 clauses out of 154004 with flag 7065778/3072258
1194.84/1185.39	c cleaning 77995 clauses out of 156019 with flag 7279137/3151265
1234.97/1225.23	c cleaning 79005 clauses out of 158016 with flag 7463445/3231257
1264.60/1254.52	c cleaning 79993 clauses out of 160011 with flag 7675282/3312257
1302.79/1292.47	c cleaning 81004 clauses out of 162018 with flag 7890175/3394257
1336.56/1325.86	c cleaning 81977 clauses out of 164016 with flag 8102377/3477259
1375.05/1364.05	c cleaning 82990 clauses out of 166038 with flag 8289196/3561258
1422.44/1411.02	c cleaning 83963 clauses out of 168047 with flag 8490960/3646257
1454.11/1442.49	c cleaning 85031 clauses out of 170084 with flag 8706201/3732257
1491.46/1479.39	c cleaning 86012 clauses out of 172057 with flag 8930181/3819261
1535.35/1522.88	c cleaning 87016 clauses out of 174042 with flag 9124810/3907258
1577.85/1564.86	c cleaning 88008 clauses out of 176038 with flag 9342181/3996270
1629.90/1616.45	c cleaning 89004 clauses out of 178024 with flag 9537624/4086264
1675.09/1661.21	c cleaning 90011 clauses out of 180028 with flag 9757228/4177272
1724.86/1710.57	c cleaning 90978 clauses out of 182002 with flag 9956387/4269257
1782.03/1767.20	c cleaning 92001 clauses out of 184027 with flag 10158071/4362260
1800.02/1785.00	c starts		: 541
1800.02/1785.00	c conflicts		: 4416176
1800.02/1785.00	c decisions		: 7685892
1800.02/1785.00	c propagations		: 90857153
1800.02/1785.00	c inspects		: 32387072798
1800.02/1785.00	c shortcuts		: 0
1800.02/1785.00	c learnt literals	: 0
1800.02/1785.00	c learnt binary clauses	: 7
1800.02/1785.00	c learnt ternary clauses	: 1166
1800.02/1785.00	c learnt constraints	: 4416176
1800.02/1785.00	c ignored constraints	: 0
1800.02/1785.00	c root simplifications	: 0
1800.02/1785.00	c removed literals (reason simplification)	: 0
1800.02/1785.00	c reason swapping (by a shorter reason)	: 0
1800.02/1785.00	c Calls to reduceDB	: 89
1800.02/1785.00	c Number of update (reduction) of LBD	: 682243
1800.02/1785.00	c Imported unit clauses	: 0
1800.02/1785.00	c number of reductions to clauses (during analyze)	: 0
1800.02/1785.00	c number of learned constraints concerned by reduction	: 0
1800.02/1785.00	c number of learning phase by resolution	: 0
1800.02/1785.00	c number of learning phase by cutting planes	: 0
1800.02/1785.00	c speed (assignments/second)	: 50915.340926603065
1800.02/1785.00	c non guided choices	0
1800.02/1785.03	c learnt constraints type 
1800.02/1785.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.02/1785.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145935
1800.02/1785.03	s SATISFIABLE
1800.02/1785.03	c Found 3 solution(s)
1800.02/1785.03	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 
1800.02/1785.03	c objective function=-19
1800.02/1785.03	c Total wall clock time (in seconds): 1784.921

Verifier Data 

OK	-19

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.12 2.09 3/194 6326
/proc/meminfo: memFree=30554700/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/6326/stat : 6326 (java) R 6323 6326 3485 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 107944766 9515008 129 33554432000 1073741824 1073778376 140737446038208 140737446035336 213869718832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2323 134 104 9 0 71 0

[startup+0.100161 s]
/proc/loadavg: 2.16 2.12 2.09 3/194 6326
/proc/meminfo: memFree=30554700/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 4396 0 1 0 8 1 0 0 20 0 18 0 107944766 9787879424 6032 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200218 s]
/proc/loadavg: 2.16 2.12 2.09 3/194 6326
/proc/meminfo: memFree=30554700/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 4707 0 1 0 23 1 0 0 20 0 18 0 107944766 9787879424 6811 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2389619 6811 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.16 2.12 2.09 3/194 6326
/proc/meminfo: memFree=30554700/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 6142 0 1 0 45 2 0 0 20 0 18 0 107944766 9787879424 9358 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2389619 9358 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700169 s]
/proc/loadavg: 2.16 2.12 2.09 3/194 6326
/proc/meminfo: memFree=30554700/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 29465 0 1 0 159 6 0 0 20 0 19 0 107944766 9856040960 32987 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2406260 32987 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.16 2.12 2.09 3/213 6345
/proc/meminfo: memFree=30432664/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9625040 CPUtime=3.37 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 33794 0 1 0 330 7 0 0 20 0 19 0 107944766 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2406260 32966 2270 9 0 2396937 0
[pid=6326/tid=6328] ppid=6323 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/6326/task/6328/stat : 6328 (java) R 6323 6326 3485 0 -1 4202560 2466 0 1 0 145 2 0 0 20 0 19 0 107944767 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597520408848 140597382772096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6329] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6329/stat : 6329 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597509470504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6330] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6330/stat : 6330 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597508417704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6331] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6331/stat : 6331 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597507365416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6332] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6332/stat : 6332 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597506312616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6333] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6333/stat : 6333 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597505260328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6334] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597504207528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6335] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6335/stat : 6335 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597503155240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6336] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6336/stat : 6336 (java) S 6323 6326 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597502102440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6337] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6337/stat : 6337 (java) S 6323 6326 3485 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597344561384 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6338] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6338/stat : 6338 (java) S 6323 6326 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597343507448 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6339] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6339/stat : 6339 (java) S 6323 6326 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597342455048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6340] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597341403536 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6341] ppid=6323 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/6326/task/6341/stat : 6341 (java) S 6323 6326 3485 0 -1 4202560 16558 0 0 0 82 4 0 0 20 0 19 0 107944772 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597340351160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6342] ppid=6323 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/6326/task/6342/stat : 6342 (java) R 6323 6326 3485 0 -1 4202560 13494 0 0 0 99 2 0 0 20 0 19 0 107944772 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597339298536 140597523010436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6343] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6343/stat : 6343 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597338246264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6344] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6344/stat : 6344 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597337193672 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6345] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (java) S 6323 6326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107944819 9856040960 32966 33554432000 1073741824 1073778376 140737446038208 140597336138664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.16 2.12 2.09 3/213 6345
/proc/meminfo: memFree=30428444/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9625040 CPUtime=5.07 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 33809 0 1 0 500 7 0 0 20 0 19 0 107944766 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2406260 35020 2275 9 0 2396937 0
[pid=6326/tid=6328] ppid=6323 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/6326/task/6328/stat : 6328 (java) R 6323 6326 3485 0 -1 4202560 2471 0 1 0 304 2 0 0 20 0 19 0 107944767 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597520406880 140597382652818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6329] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6329/stat : 6329 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597509470504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6330] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6330/stat : 6330 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597508417704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6331] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6331/stat : 6331 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597507365416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6332] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6332/stat : 6332 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597506312616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6333] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6333/stat : 6333 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597505260328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6334] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597504207528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6335] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6335/stat : 6335 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597503155240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6336] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6336/stat : 6336 (java) S 6323 6326 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597502102440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6337] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6337/stat : 6337 (java) S 6323 6326 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597344561384 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6338] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6338/stat : 6338 (java) S 6323 6326 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597343507448 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6339] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6339/stat : 6339 (java) S 6323 6326 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597342455048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6340] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597341403536 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6341] ppid=6323 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/6326/task/6341/stat : 6341 (java) S 6323 6326 3485 0 -1 4202560 16562 0 0 0 84 4 0 0 20 0 19 0 107944772 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597340351160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6342] ppid=6323 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/6326/task/6342/stat : 6342 (java) S 6323 6326 3485 0 -1 4202560 13499 0 0 0 107 2 0 0 20 0 19 0 107944772 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597339298360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6343] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6343/stat : 6343 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597338246264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6344] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6344/stat : 6344 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597337193672 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6345] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (java) S 6323 6326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107944819 9856040960 35020 33554432000 1073741824 1073778376 140737446038208 140597336138664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.14 2.12 2.09 3/213 6345
/proc/meminfo: memFree=30440708/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9625040 CPUtime=8.32 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 33822 0 1 0 824 8 0 0 20 0 19 0 107944766 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2406260 32360 2276 9 0 2396937 0
[pid=6326/tid=6328] ppid=6323 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/6326/task/6328/stat : 6328 (java) R 6323 6326 3485 0 -1 4202560 2483 0 1 0 623 2 0 0 20 0 19 0 107944767 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597520408888 140597382667100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6329] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6329/stat : 6329 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597509470504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6330] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6330/stat : 6330 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597508417704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6331] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6331/stat : 6331 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597507365416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6332] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6332/stat : 6332 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597506312616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6333] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6333/stat : 6333 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597505260328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6334] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597504207528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6335] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6335/stat : 6335 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597503155240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6336] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6336/stat : 6336 (java) S 6323 6326 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107944768 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597502102440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6337] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6337/stat : 6337 (java) S 6323 6326 3485 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597344561384 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6338] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6338/stat : 6338 (java) S 6323 6326 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597343507448 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6339] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6339/stat : 6339 (java) S 6323 6326 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597342455048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6340] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597341403536 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6341] ppid=6323 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/6326/task/6341/stat : 6341 (java) S 6323 6326 3485 0 -1 4202560 16562 0 0 0 86 4 0 0 20 0 19 0 107944772 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597340351160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6342] ppid=6323 vsize=9625040 CPUtime=1.11 cores=0,2,4,6
/proc/6326/task/6342/stat : 6342 (java) S 6323 6326 3485 0 -1 4202560 13499 0 0 0 109 2 0 0 20 0 19 0 107944772 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597339298360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6343] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6343/stat : 6343 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597338246264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6344] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6344/stat : 6344 (java) S 6323 6326 3485 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597337193672 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6345] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (java) S 6323 6326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107944819 9856040960 32360 33554432000 1073741824 1073778376 140737446038208 140597336138664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 9625040


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

[pid=6326/tid=6345] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (java) S 6323 6326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107944819 9856040960 98483 33554432000 1073741824 1073778376 140737446038208 140597336138664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1676.24
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.04 3/215 6477
/proc/meminfo: memFree=30403172/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9625040 CPUtime=1736.87 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 44696 0 1 0 173518 169 0 0 20 0 19 0 107944766 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2406260 101623 2298 9 0 2396937 0
[pid=6326/tid=6328] ppid=6323 vsize=9625040 CPUtime=1708.27 cores=0,2,4,6
/proc/6326/task/6328/stat : 6328 (java) R 6323 6326 3485 0 -1 4202560 2766 0 1 0 170796 31 0 0 20 0 19 0 107944767 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597520407744 140597382666672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6329] ppid=6323 vsize=9625040 CPUtime=2.13 cores=0,2,4,6
/proc/6326/task/6329/stat : 6329 (java) S 6323 6326 3485 0 -1 4202560 1505 0 0 0 193 20 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597509470504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6330] ppid=6323 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/6326/task/6330/stat : 6330 (java) S 6323 6326 3485 0 -1 4202560 1478 0 0 0 192 15 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597508417704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6331] ppid=6323 vsize=9625040 CPUtime=2.1 cores=0,2,4,6
/proc/6326/task/6331/stat : 6331 (java) S 6323 6326 3485 0 -1 4202560 1243 0 0 0 194 16 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597507365416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6332] ppid=6323 vsize=9625040 CPUtime=2.23 cores=0,2,4,6
/proc/6326/task/6332/stat : 6332 (java) S 6323 6326 3485 0 -1 4202560 1119 0 0 0 208 15 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597506312616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6333] ppid=6323 vsize=9625040 CPUtime=2.11 cores=0,2,4,6
/proc/6326/task/6333/stat : 6333 (java) S 6323 6326 3485 0 -1 4202560 482 0 0 0 195 16 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597505260328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6334] ppid=6323 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (java) S 6323 6326 3485 0 -1 4202560 1572 0 0 0 206 18 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597504207528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6335] ppid=6323 vsize=9625040 CPUtime=2.14 cores=0,2,4,6
/proc/6326/task/6335/stat : 6335 (java) S 6323 6326 3485 0 -1 4202560 1182 0 0 0 199 15 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597503155240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6336] ppid=6323 vsize=9625040 CPUtime=2.42 cores=0,2,4,6
/proc/6326/task/6336/stat : 6336 (java) S 6323 6326 3485 0 -1 4202560 865 0 0 0 224 18 0 0 20 0 19 0 107944768 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597502102440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6337] ppid=6323 vsize=9625040 CPUtime=4.33 cores=0,2,4,6
/proc/6326/task/6337/stat : 6337 (java) S 6323 6326 3485 0 -1 4202560 1049 0 0 0 428 5 0 0 20 0 19 0 107944769 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597344561384 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6338] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6338/stat : 6338 (java) S 6323 6326 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597343507448 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6339] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6339/stat : 6339 (java) S 6323 6326 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597342455048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6340] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597341403536 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6341] ppid=6323 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/6326/task/6341/stat : 6341 (java) S 6323 6326 3485 0 -1 4202560 16562 0 0 0 86 4 0 0 20 0 19 0 107944772 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597340351160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6342] ppid=6323 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/6326/task/6342/stat : 6342 (java) S 6323 6326 3485 0 -1 4202560 13511 0 0 0 118 2 0 0 20 0 19 0 107944772 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597339298360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6343] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6343/stat : 6343 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597338246264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6344] ppid=6323 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/6326/task/6344/stat : 6344 (java) S 6323 6326 3485 0 -1 4202560 99 0 0 0 24 22 0 0 20 0 19 0 107944772 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597337193672 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6345] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (java) S 6323 6326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107944819 9856040960 101623 33554432000 1073741824 1073778376 140737446038208 140597336138664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1736.87
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.22 2.12 2.06 4/214 6478
/proc/meminfo: memFree=30422480/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9625040 CPUtime=1797.32 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 44802 0 1 0 179559 173 0 0 20 0 19 0 107944766 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2406260 96688 2298 9 0 2396937 0
[pid=6326/tid=6328] ppid=6323 vsize=9625040 CPUtime=1767.68 cores=0,2,4,6
/proc/6326/task/6328/stat : 6328 (java) R 6323 6326 3485 0 -1 4202560 2781 0 1 0 176736 32 0 0 20 0 19 0 107944767 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597520407760 140597382702399 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6329] ppid=6323 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6326/task/6329/stat : 6329 (java) S 6323 6326 3485 0 -1 4202560 1516 0 0 0 200 21 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597509470504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6330] ppid=6323 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/6326/task/6330/stat : 6330 (java) S 6323 6326 3485 0 -1 4202560 1482 0 0 0 199 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597508417704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6331] ppid=6323 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/6326/task/6331/stat : 6331 (java) S 6323 6326 3485 0 -1 4202560 1247 0 0 0 201 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597507365416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6332] ppid=6323 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/6326/task/6332/stat : 6332 (java) S 6323 6326 3485 0 -1 4202560 1123 0 0 0 215 15 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597506312616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6333] ppid=6323 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/6326/task/6333/stat : 6333 (java) S 6323 6326 3485 0 -1 4202560 482 0 0 0 203 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597505260328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6334] ppid=6323 vsize=9625040 CPUtime=2.32 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (java) S 6323 6326 3485 0 -1 4202560 1587 0 0 0 214 18 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597504207528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6335] ppid=6323 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/6326/task/6335/stat : 6335 (java) S 6323 6326 3485 0 -1 4202560 1195 0 0 0 208 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597503155240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6336] ppid=6323 vsize=9625040 CPUtime=2.51 cores=0,2,4,6
/proc/6326/task/6336/stat : 6336 (java) S 6323 6326 3485 0 -1 4202560 893 0 0 0 232 19 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597502102440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6337] ppid=6323 vsize=9625040 CPUtime=4.56 cores=0,2,4,6
/proc/6326/task/6337/stat : 6337 (java) S 6323 6326 3485 0 -1 4202560 1057 0 0 0 451 5 0 0 20 0 19 0 107944769 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597344561384 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6338] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6338/stat : 6338 (java) S 6323 6326 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597343507448 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6339] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6339/stat : 6339 (java) S 6323 6326 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597342455048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6340] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597341403536 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6341] ppid=6323 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/6326/task/6341/stat : 6341 (java) S 6323 6326 3485 0 -1 4202560 16562 0 0 0 86 4 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597340351160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6342] ppid=6323 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/6326/task/6342/stat : 6342 (java) S 6323 6326 3485 0 -1 4202560 13511 0 0 0 118 2 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597339298360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6343] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6343/stat : 6343 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597338246264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6344] ppid=6323 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/6326/task/6344/stat : 6344 (java) S 6323 6326 3485 0 -1 4202560 103 0 0 0 25 23 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597337193672 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6345] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (java) S 6323 6326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107944819 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597336138664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.32
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785 s]
/proc/loadavg: 2.21 2.12 2.06 3/214 6478
/proc/meminfo: memFree=30422604/32872528 swapFree=12352/737972
[pid=6326] ppid=6323 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/6326/stat : 6326 (java) S 6323 6326 3485 0 -1 4202496 44802 0 1 0 179829 173 0 0 20 0 19 0 107944766 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140737446029344 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6326/statm: 2406260 96688 2298 9 0 2396937 0
[pid=6326/tid=6328] ppid=6323 vsize=9625040 CPUtime=1770.38 cores=0,2,4,6
/proc/6326/task/6328/stat : 6328 (java) R 6323 6326 3485 0 -1 4202560 2781 0 1 0 177006 32 0 0 20 0 19 0 107944767 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597520407760 140597382772151 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6326/tid=6329] ppid=6323 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/6326/task/6329/stat : 6329 (java) S 6323 6326 3485 0 -1 4202560 1516 0 0 0 200 21 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597509470504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6330] ppid=6323 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/6326/task/6330/stat : 6330 (java) S 6323 6326 3485 0 -1 4202560 1482 0 0 0 199 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597508417704 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6331] ppid=6323 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/6326/task/6331/stat : 6331 (java) S 6323 6326 3485 0 -1 4202560 1247 0 0 0 201 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597507365416 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6332] ppid=6323 vsize=9625040 CPUtime=2.3 cores=0,2,4,6
/proc/6326/task/6332/stat : 6332 (java) S 6323 6326 3485 0 -1 4202560 1123 0 0 0 215 15 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597506312616 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6333] ppid=6323 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/6326/task/6333/stat : 6333 (java) S 6323 6326 3485 0 -1 4202560 482 0 0 0 203 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597505260328 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6334] ppid=6323 vsize=9625040 CPUtime=2.32 cores=0,2,4,6
/proc/6326/task/6334/stat : 6334 (java) S 6323 6326 3485 0 -1 4202560 1587 0 0 0 214 18 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597504207528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6335] ppid=6323 vsize=9625040 CPUtime=2.24 cores=0,2,4,6
/proc/6326/task/6335/stat : 6335 (java) S 6323 6326 3485 0 -1 4202560 1195 0 0 0 208 16 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597503155240 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6336] ppid=6323 vsize=9625040 CPUtime=2.51 cores=0,2,4,6
/proc/6326/task/6336/stat : 6336 (java) S 6323 6326 3485 0 -1 4202560 893 0 0 0 232 19 0 0 20 0 19 0 107944768 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597502102440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6337] ppid=6323 vsize=9625040 CPUtime=4.56 cores=0,2,4,6
/proc/6326/task/6337/stat : 6337 (java) S 6323 6326 3485 0 -1 4202560 1057 0 0 0 451 5 0 0 20 0 19 0 107944769 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597344561384 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6338] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6338/stat : 6338 (java) S 6323 6326 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597343507448 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6339] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6339/stat : 6339 (java) S 6323 6326 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107944769 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597342455048 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6340] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6340/stat : 6340 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597341403536 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6341] ppid=6323 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/6326/task/6341/stat : 6341 (java) S 6323 6326 3485 0 -1 4202560 16562 0 0 0 86 4 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597340351160 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6326/tid=6342] ppid=6323 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/6326/task/6342/stat : 6342 (java) S 6323 6326 3485 0 -1 4202560 13511 0 0 0 118 2 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597339298360 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6343] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6343/stat : 6343 (java) S 6323 6326 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597338246264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6326/tid=6344] ppid=6323 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/6326/task/6344/stat : 6344 (java) S 6323 6326 3485 0 -1 4202560 103 0 0 0 25 23 0 0 20 0 19 0 107944772 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597337193672 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6326/tid=6345] ppid=6323 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6326/task/6345/stat : 6345 (java) S 6323 6326 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107944819 9856040960 96688 33554432000 1073741824 1073778376 140737446038208 140597336138664 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6326 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6326 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=768305
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=182668
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1785.04
CPU time (s): 1800.02
CPU user time (s): 1798.29
CPU system time (s): 1.73
CPU usage (%): 100.839
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 2.18267
maximum resident set size= 862404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44839
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46186
involuntary context switches= 43357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5224 second user time and 13.022 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 02:41:43
IDJOB=4085805
IDBENCH=48239
IDSOLVER=2546
FILE ID=node112/4085805-1465260103
RUNJOBID= node112-1465252319-3501
PBS_JOBID= 19843261
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d
RANDOM SEED=1493845110

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30555236 kB
Buffers:           51424 kB
Cached:           112176 kB
SwapCached:         1620 kB
Active:           766064 kB
Inactive:          98336 kB
Active(anon):     702212 kB
Inactive(anon):      564 kB
Active(file):      63852 kB
Inactive(file):    97772 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098572 kB
Dirty:               428 kB
Writeback:             0 kB
AnonPages:       1474192 kB
Mapped:            15388 kB
Shmem:                 0 kB
Slab:             567788 kB
SReclaimable:      11476 kB
SUnreclaim:       556312 kB
KernelStack:        1760 kB
PageTables:         7248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2445428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1419264 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= 71744 MiB
End job on node112 at 2016-06-07 03:11:28