Trace number 4085807

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)-17 1800.8 1788.44

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_5.opb
MD5SUMb1b77cfc7c7e45b216596a736ff4b926
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 -29
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)12452
Sum of products size (including duplicates)24904
Number of different products6226
Sum of products size12452

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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-4085807-1465261186.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
1.05/0.52	c ... done. Wall clock time 0.406s.
1.05/0.52	c declared #vars     400
1.05/0.52	c internal #vars     6626
1.05/0.52	c #constraints  13054
1.05/0.52	c constraints type 
1.05/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6226
1.05/0.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
1.05/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1.05/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6226
1.05/0.52	c 13054 constraints processed.
1.05/0.52	c objective function length is 200 literals
3.15/1.46	c SATISFIABLE
3.15/1.46	c OPTIMIZING...
3.15/1.46	c Got one! Elapsed wall clock time (in seconds):1.35
3.15/1.46	o -17
4.46/2.72	c cleaning 2992 clauses out of 5983 with flag 20293/5983
6.00/4.28	c cleaning 4539 clauses out of 9078 with flag 35940/12070
8.02/6.24	c cleaning 5723 clauses out of 11445 with flag 49753/18976
9.93/8.10	c cleaning 6884 clauses out of 13767 with flag 65976/27021
12.67/10.89	c cleaning 7914 clauses out of 15828 with flag 83912/35966
16.08/14.22	c cleaning 8961 clauses out of 17922 with flag 104163/45974
19.67/17.88	c cleaning 10013 clauses out of 20026 with flag 127652/57039
23.16/21.23	c cleaning 10969 clauses out of 21985 with flag 151919/69011
27.37/25.44	c cleaning 11990 clauses out of 23979 with flag 178562/81974
31.93/29.99	c cleaning 12977 clauses out of 25984 with flag 209852/95969
37.08/35.06	c cleaning 14016 clauses out of 28031 with flag 244061/110993
42.48/40.49	c cleaning 14959 clauses out of 29983 with flag 276980/126961
48.29/46.26	c cleaning 16045 clauses out of 32090 with flag 316291/144027
53.98/51.73	c cleaning 16988 clauses out of 33976 with flag 354535/161958
60.68/58.43	c cleaning 17990 clauses out of 35988 with flag 396381/180958
66.67/64.47	c cleaning 18919 clauses out of 38005 with flag 441029/200965
75.77/73.59	c cleaning 20041 clauses out of 40081 with flag 487786/221960
85.08/82.68	c cleaning 21020 clauses out of 42039 with flag 534230/243959
94.17/91.72	c cleaning 22059 clauses out of 44117 with flag 581963/267057
104.08/101.67	c cleaning 22985 clauses out of 45972 with flag 633070/290971
115.28/112.89	c cleaning 24010 clauses out of 48019 with flag 685464/316003
126.14/123.41	c cleaning 25000 clauses out of 49999 with flag 738779/341993
137.34/134.66	c cleaning 25955 clauses out of 52008 with flag 794914/369002
148.94/146.25	c cleaning 27019 clauses out of 54037 with flag 852793/396986
159.83/157.02	c cleaning 27996 clauses out of 56006 with flag 913818/425974
170.73/167.98	c cleaning 28999 clauses out of 57997 with flag 976230/455961
180.04/177.29	c cleaning 29998 clauses out of 59995 with flag 1042639/486958
190.17/187.25	c cleaning 30970 clauses out of 62004 with flag 1110266/518965
201.26/198.36	c cleaning 32034 clauses out of 64070 with flag 1181117/552001
214.06/211.14	c cleaning 32993 clauses out of 66007 with flag 1253259/585972
229.12/226.04	c cleaning 33992 clauses out of 68000 with flag 1327048/620958
242.72/239.62	c cleaning 34968 clauses out of 70011 with flag 1402896/656961
254.44/251.17	c cleaning 36018 clauses out of 72040 with flag 1481524/693958
267.74/264.48	c cleaning 37014 clauses out of 74027 with flag 1563311/731963
282.83/279.36	c cleaning 37976 clauses out of 76008 with flag 1648339/770958
300.32/296.61	c cleaning 39026 clauses out of 78051 with flag 1732435/810977
315.92/312.29	c cleaning 40012 clauses out of 80025 with flag 1819241/851977
340.11/336.33	c cleaning 40987 clauses out of 82012 with flag 1907823/893976
363.94/360.05	c cleaning 42005 clauses out of 84010 with flag 1998825/936961
392.80/388.76	c cleaning 43010 clauses out of 86019 with flag 2089831/980975
412.80/408.70	c cleaning 43975 clauses out of 87992 with flag 2185049/1025958
435.75/431.66	c cleaning 45018 clauses out of 90037 with flag 2283645/1071978
454.86/450.69	c cleaning 45998 clauses out of 92016 with flag 2388383/1118975
471.98/467.64	c cleaning 47001 clauses out of 94001 with flag 2492367/1166958
501.35/496.93	c cleaning 48011 clauses out of 96022 with flag 2608056/1215980
523.75/519.21	c cleaning 48994 clauses out of 97989 with flag 2718600/1265958
548.94/544.30	c cleaning 49993 clauses out of 99996 with flag 2832804/1316959
570.95/566.28	c cleaning 51011 clauses out of 102021 with flag 2947511/1368977
590.94/586.13	c cleaning 51979 clauses out of 103999 with flag 3068654/1421966
615.56/610.74	c cleaning 53010 clauses out of 106019 with flag 3194848/1475965
637.73/632.84	c cleaning 53993 clauses out of 108004 with flag 3320989/1530960
658.00/653.02	c cleaning 54975 clauses out of 110009 with flag 3453596/1586958
679.80/674.79	c cleaning 56001 clauses out of 112039 with flag 3604202/1643963
703.60/698.47	c cleaning 57017 clauses out of 114033 with flag 3744020/1701958
721.07/715.70	c cleaning 58013 clauses out of 116025 with flag 3871029/1760967
758.54/753.18	c cleaning 58996 clauses out of 118003 with flag 4000096/1820958
791.87/786.24	c cleaning 60009 clauses out of 120017 with flag 4131108/1881968
846.63/840.99	c cleaning 60997 clauses out of 121998 with flag 4264023/1943958
897.62/891.75	c cleaning 62003 clauses out of 124006 with flag 4397198/2006963
937.61/931.52	c cleaning 62997 clauses out of 126007 with flag 4533946/2070967
975.54/969.39	c cleaning 64008 clauses out of 128016 with flag 4673999/2135973
1004.92/998.57	c cleaning 65001 clauses out of 130010 with flag 4823006/2201975
1039.65/1033.12	c cleaning 65996 clauses out of 131993 with flag 4976565/2268959
1065.62/1058.98	c cleaning 66998 clauses out of 133996 with flag 5141011/2336958
1103.94/1097.19	c cleaning 67991 clauses out of 136000 with flag 5304348/2405960
1139.22/1132.29	c cleaning 68996 clauses out of 138010 with flag 5483456/2475961
1174.09/1166.92	c cleaning 69994 clauses out of 140016 with flag 5650387/2546963
1212.61/1205.23	c cleaning 71017 clauses out of 142033 with flag 5824045/2618974
1252.04/1244.50	c cleaning 71988 clauses out of 144003 with flag 5990704/2691961
1300.64/1292.81	c cleaning 72992 clauses out of 146012 with flag 6163560/2765958
1339.90/1331.83	c cleaning 73996 clauses out of 148023 with flag 6326517/2840961
1379.64/1371.34	c cleaning 74997 clauses out of 150024 with flag 6497701/2916958
1417.18/1408.67	c cleaning 76004 clauses out of 152028 with flag 6671103/2993959
1458.47/1449.64	c cleaning 77001 clauses out of 154023 with flag 6842368/3071958
1500.86/1491.79	c cleaning 78005 clauses out of 156022 with flag 7023868/3150958
1541.94/1532.57	c cleaning 79008 clauses out of 158021 with flag 7213843/3230962
1577.76/1568.11	c cleaning 79990 clauses out of 160011 with flag 7401758/3311960
1623.52/1613.52	c cleaning 81003 clauses out of 162019 with flag 7587251/3393958
1669.98/1659.52	c cleaning 81993 clauses out of 164023 with flag 7765004/3476965
1729.08/1718.21	c cleaning 83006 clauses out of 166025 with flag 7940622/3560960
1785.00/1773.71	c cleaning 83999 clauses out of 168018 with flag 8126907/3645959
1800.06/1788.40	c starts		: 850
1800.06/1788.40	c conflicts		: 3687384
1800.06/1788.40	c decisions		: 5678913
1800.06/1788.40	c propagations		: 86089856
1800.06/1788.40	c inspects		: 35213000808
1800.06/1788.40	c shortcuts		: 0
1800.06/1788.40	c learnt literals	: 0
1800.06/1788.40	c learnt binary clauses	: 10
1800.06/1788.40	c learnt ternary clauses	: 1056
1800.06/1788.40	c learnt constraints	: 3687384
1800.06/1788.40	c ignored constraints	: 0
1800.06/1788.40	c root simplifications	: 0
1800.06/1788.40	c removed literals (reason simplification)	: 0
1800.06/1788.40	c reason swapping (by a shorter reason)	: 0
1800.06/1788.40	c Calls to reduceDB	: 81
1800.06/1788.40	c Number of update (reduction) of LBD	: 448349
1800.06/1788.40	c Imported unit clauses	: 0
1800.06/1788.40	c number of reductions to clauses (during analyze)	: 0
1800.06/1788.40	c number of learned constraints concerned by reduction	: 0
1800.06/1788.40	c number of learning phase by resolution	: 0
1800.06/1788.40	c number of learning phase by cutting planes	: 0
1800.06/1788.40	c speed (assignments/second)	: 48152.08230557635
1800.06/1788.40	c non guided choices	0
1800.06/1788.43	c learnt constraints type 
1800.06/1788.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1800.06/1788.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 125434
1800.06/1788.43	s SATISFIABLE
1800.06/1788.43	c Found 1 solution(s)
1800.06/1788.43	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.06/1788.44	c objective function=-17
1800.06/1788.44	c Total wall clock time (in seconds): 1788.322

Verifier Data 

OK	-17

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-4085807-1465261186/watcher-4085807-1465261186 -o /tmp/evaluation-result-4085807-1465261186/solver-4085807-1465261186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085807-1465261186.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.07 2.11 3/194 6568
/proc/meminfo: memFree=30635668/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (java) D 6565 6568 5680 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 108053304 9515008 182 33554432000 1073741824 1073778376 140735188555440 140735188546472 271787572917 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/6568/statm: 2323 182 140 9 0 71 0

[startup+0.100144 s]
/proc/loadavg: 2.04 2.07 2.11 3/194 6568
/proc/meminfo: memFree=30635668/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 4442 0 1 0 8 1 0 0 20 0 18 0 108053304 9787879424 6073 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2389619 6073 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200232 s]
/proc/loadavg: 2.04 2.07 2.11 3/194 6568
/proc/meminfo: memFree=30635668/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 4713 0 1 0 22 1 0 0 20 0 18 0 108053304 9787879424 6798 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2389619 6798 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300232 s]
/proc/loadavg: 2.04 2.07 2.11 3/194 6568
/proc/meminfo: memFree=30635668/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 6039 0 1 0 44 1 0 0 20 0 18 0 108053304 9787879424 9268 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2389619 9268 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700196 s]
/proc/loadavg: 2.04 2.07 2.11 3/194 6568
/proc/meminfo: memFree=30635668/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9626848 CPUtime=1.64 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 26029 0 1 0 159 5 0 0 20 0 19 0 108053304 9857892352 30774 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2406260 30774 2267 9 0 2396937 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9626848

[startup+1.50089 s]
/proc/loadavg: 2.04 2.07 2.11 4/213 6587
/proc/meminfo: memFree=30513500/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9625040 CPUtime=3.26 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 32390 0 1 0 320 6 0 0 20 0 19 0 108053304 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2406260 32667 2274 9 0 2396937 0
[pid=6568/tid=6570] ppid=6565 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/6568/task/6570/stat : 6570 (java) R 6565 6568 5680 0 -1 4202560 2473 0 1 0 145 2 0 0 20 0 19 0 108053305 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865747804192 139865621090037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6571] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6571/stat : 6571 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865591893032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6572] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6572/stat : 6572 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865590840232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6573] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6573/stat : 6573 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865589787432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6574] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6574/stat : 6574 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865588734632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6575] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865587681832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6576] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6576/stat : 6576 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865586629032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6577] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6577/stat : 6577 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865585576232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6578] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6578/stat : 6578 (java) S 6565 6568 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865584523432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6579] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (java) S 6565 6568 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 108053307 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865572113384 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6580] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6580/stat : 6580 (java) S 6565 6568 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865571059448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6581] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6581/stat : 6581 (java) S 6565 6568 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865570006536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6582] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6582/stat : 6582 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865568955024 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6583] ppid=6565 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (java) S 6565 6568 5680 0 -1 4202560 16862 0 0 0 81 3 0 0 20 0 19 0 108053310 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865567902136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6584] ppid=6565 vsize=9625040 CPUtime=0.92 cores=1,3,5,7
/proc/6568/task/6584/stat : 6584 (java) S 6565 6568 5680 0 -1 4202560 11780 0 0 0 90 2 0 0 20 0 19 0 108053310 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865566849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6585] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6585/stat : 6585 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865565796728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6586] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6586/stat : 6586 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865564744136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6587] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6587/stat : 6587 (java) S 6565 6568 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108053357 9856040960 32667 33554432000 1073741824 1073778376 140734081785712 139865563592360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 9625040

[startup+3.1009 s]
/proc/loadavg: 2.04 2.07 2.11 3/213 6587
/proc/meminfo: memFree=30509280/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9625040 CPUtime=4.88 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 32405 0 1 0 482 6 0 0 20 0 19 0 108053304 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2406260 35744 2278 9 0 2396937 0
[pid=6568/tid=6570] ppid=6565 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/6568/task/6570/stat : 6570 (java) R 6565 6568 5680 0 -1 4202560 2481 0 1 0 304 2 0 0 20 0 19 0 108053305 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865747803856 139865621043515 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6571] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6571/stat : 6571 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865591893032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6572] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6572/stat : 6572 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865590840232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6573] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6573/stat : 6573 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865589787432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6574] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6574/stat : 6574 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865588734632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6575] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865587681832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6576] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6576/stat : 6576 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865586629032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6577] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6577/stat : 6577 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865585576232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6578] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6578/stat : 6578 (java) S 6565 6568 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865584523432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6579] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (java) S 6565 6568 5680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 108053307 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865572113384 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6580] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6580/stat : 6580 (java) S 6565 6568 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865571059448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6581] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6581/stat : 6581 (java) S 6565 6568 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865570006536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6582] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6582/stat : 6582 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865568955024 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6583] ppid=6565 vsize=9625040 CPUtime=0.85 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (java) S 6565 6568 5680 0 -1 4202560 16864 0 0 0 82 3 0 0 20 0 19 0 108053310 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865567902136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6584] ppid=6565 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/6568/task/6584/stat : 6584 (java) S 6565 6568 5680 0 -1 4202560 11784 0 0 0 92 2 0 0 20 0 19 0 108053310 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865566849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6585] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6585/stat : 6585 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865565796728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6586] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6586/stat : 6586 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865564744136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6587] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6587/stat : 6587 (java) S 6565 6568 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108053357 9856040960 35744 33554432000 1073741824 1073778376 140734081785712 139865563592360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 9625040

[startup+6.30088 s]
/proc/loadavg: 2.12 2.08 2.11 3/213 6587
/proc/meminfo: memFree=30494028/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9625040 CPUtime=8.12 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 32417 0 1 0 805 7 0 0 20 0 19 0 108053304 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2406260 38875 2279 9 0 2396937 0
[pid=6568/tid=6570] ppid=6565 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/6568/task/6570/stat : 6570 (java) R 6565 6568 5680 0 -1 4202560 2492 0 1 0 624 2 0 0 20 0 19 0 108053305 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865747812664 139865620976128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6571] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6571/stat : 6571 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865591893032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6572] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6572/stat : 6572 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865590840232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6573] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6573/stat : 6573 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865589787432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6574] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6574/stat : 6574 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865588734632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6575] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865587681832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6576] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6576/stat : 6576 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865586629032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6577] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6577/stat : 6577 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865585576232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6578] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6578/stat : 6578 (java) S 6565 6568 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108053306 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865584523432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6579] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (java) S 6565 6568 5680 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 108053307 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865572113384 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6580] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6580/stat : 6580 (java) S 6565 6568 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865571059448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6581] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6581/stat : 6581 (java) S 6565 6568 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865570006536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6582] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6582/stat : 6582 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865568955024 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6583] ppid=6565 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (java) S 6565 6568 5680 0 -1 4202560 16865 0 0 0 84 3 0 0 20 0 19 0 108053310 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865567902136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6584] ppid=6565 vsize=9625040 CPUtime=0.96 cores=1,3,5,7
/proc/6568/task/6584/stat : 6584 (java) S 6565 6568 5680 0 -1 4202560 11784 0 0 0 94 2 0 0 20 0 19 0 108053310 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865566849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6585] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6585/stat : 6585 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865565796728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6586] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6586/stat : 6586 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865564744136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6587] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6587/stat : 6587 (java) S 6565 6568 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108053357 9856040960 38875 33554432000 1073741824 1073778376 140734081785712 139865563592360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 9625040


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

[pid=6568/tid=6580] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6580/stat : 6580 (java) S 6565 6568 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865571059448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6581] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6581/stat : 6581 (java) S 6565 6568 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865570006536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6582] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6582/stat : 6582 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865568955024 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6583] ppid=6565 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (java) S 6565 6568 5680 0 -1 4202560 16865 0 0 0 85 3 0 0 20 0 19 0 108053310 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865567902136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6584] ppid=6565 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/6568/task/6584/stat : 6584 (java) S 6565 6568 5680 0 -1 4202560 11794 0 0 0 112 3 0 0 20 0 19 0 108053310 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865566849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6585] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6585/stat : 6585 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865565796728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6586] ppid=6565 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/6568/task/6586/stat : 6586 (java) S 6565 6568 5680 0 -1 4202560 95 0 0 0 25 29 0 0 20 0 19 0 108053310 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865564744136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6587] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6587/stat : 6587 (java) S 6565 6568 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108053357 9856040960 93179 33554432000 1073741824 1073778376 140734081785712 139865563592360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1672.81
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.91 2.36 2.18 4/220 7261
/proc/meminfo: memFree=29817680/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9625040 CPUtime=1733.31 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 40075 0 1 0 173200 131 0 0 20 0 19 0 108053304 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2406260 90952 2301 9 0 2396937 0
[pid=6568/tid=6570] ppid=6565 vsize=9625040 CPUtime=1715.36 cores=1,3,5,7
/proc/6568/task/6570/stat : 6570 (java) R 6565 6568 5680 0 -1 4202560 2696 0 1 0 171504 32 0 0 20 0 19 0 108053305 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865747811656 139865621089816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6571] ppid=6565 vsize=9625040 CPUtime=1.61 cores=1,3,5,7
/proc/6568/task/6571/stat : 6571 (java) S 6565 6568 5680 0 -1 4202560 494 0 0 0 149 12 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865591893032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6572] ppid=6565 vsize=9625040 CPUtime=1.63 cores=1,3,5,7
/proc/6568/task/6572/stat : 6572 (java) S 6565 6568 5680 0 -1 4202560 449 0 0 0 150 13 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865590840232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6573] ppid=6565 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/6568/task/6573/stat : 6573 (java) S 6565 6568 5680 0 -1 4202560 962 0 0 0 137 11 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865589787432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6574] ppid=6565 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/6568/task/6574/stat : 6574 (java) S 6565 6568 5680 0 -1 4202560 844 0 0 0 145 13 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865588734632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6575] ppid=6565 vsize=9625040 CPUtime=1.63 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (java) S 6565 6568 5680 0 -1 4202560 954 0 0 0 148 15 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865587681832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6576] ppid=6565 vsize=9625040 CPUtime=1.52 cores=1,3,5,7
/proc/6568/task/6576/stat : 6576 (java) S 6565 6568 5680 0 -1 4202560 813 0 0 0 142 10 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865586629032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6577] ppid=6565 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/6568/task/6577/stat : 6577 (java) S 6565 6568 5680 0 -1 4202560 799 0 0 0 144 10 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865585576232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6578] ppid=6565 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/6568/task/6578/stat : 6578 (java) S 6565 6568 5680 0 -1 4202560 1341 0 0 0 144 12 0 0 20 0 19 0 108053306 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865584523432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6579] ppid=6565 vsize=9625040 CPUtime=3.16 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (java) S 6565 6568 5680 0 -1 4202560 704 0 0 0 312 4 0 0 20 0 19 0 108053307 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865572113384 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6580] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6580/stat : 6580 (java) S 6565 6568 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865571059448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6581] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6581/stat : 6581 (java) S 6565 6568 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865570006536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6582] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6582/stat : 6582 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865568955024 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6583] ppid=6565 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (java) S 6565 6568 5680 0 -1 4202560 16865 0 0 0 85 3 0 0 20 0 19 0 108053310 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865567902136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6584] ppid=6565 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/6568/task/6584/stat : 6584 (java) S 6565 6568 5680 0 -1 4202560 11794 0 0 0 112 3 0 0 20 0 19 0 108053310 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865566849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6585] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6585/stat : 6585 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865565796728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6586] ppid=6565 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/6568/task/6586/stat : 6586 (java) S 6565 6568 5680 0 -1 4202560 99 0 0 0 26 29 0 0 20 0 19 0 108053310 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865564744136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6587] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6587/stat : 6587 (java) S 6565 6568 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108053357 9856040960 90952 33554432000 1073741824 1073778376 140734081785712 139865563592360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1733.31
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.72 2.42 2.21 3/214 8432
/proc/meminfo: memFree=29691200/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9625040 CPUtime=1793.87 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 40855 0 1 0 179248 139 0 0 20 0 19 0 108053304 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2406260 97383 2301 9 0 2396937 0
[pid=6568/tid=6570] ppid=6565 vsize=9625040 CPUtime=1774.88 cores=1,3,5,7
/proc/6568/task/6570/stat : 6570 (java) R 6565 6568 5680 0 -1 4202560 2718 0 1 0 177456 32 0 0 20 0 19 0 108053305 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865747811656 139865621068640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6571] ppid=6565 vsize=9625040 CPUtime=1.7 cores=1,3,5,7
/proc/6568/task/6571/stat : 6571 (java) S 6565 6568 5680 0 -1 4202560 615 0 0 0 157 13 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865591893032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6572] ppid=6565 vsize=9625040 CPUtime=1.73 cores=1,3,5,7
/proc/6568/task/6572/stat : 6572 (java) S 6565 6568 5680 0 -1 4202560 557 0 0 0 159 14 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865590840232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6573] ppid=6565 vsize=9625040 CPUtime=1.57 cores=1,3,5,7
/proc/6568/task/6573/stat : 6573 (java) S 6565 6568 5680 0 -1 4202560 1135 0 0 0 145 12 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865589787432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6574] ppid=6565 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/6568/task/6574/stat : 6574 (java) S 6565 6568 5680 0 -1 4202560 864 0 0 0 154 14 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865588734632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6575] ppid=6565 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (java) S 6565 6568 5680 0 -1 4202560 966 0 0 0 160 15 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865587681832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6576] ppid=6565 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/6568/task/6576/stat : 6576 (java) S 6565 6568 5680 0 -1 4202560 846 0 0 0 151 11 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865586629032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6577] ppid=6565 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/6568/task/6577/stat : 6577 (java) S 6565 6568 5680 0 -1 4202560 997 0 0 0 154 11 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865585576232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6578] ppid=6565 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/6568/task/6578/stat : 6578 (java) S 6565 6568 5680 0 -1 4202560 1356 0 0 0 153 13 0 0 20 0 19 0 108053306 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865584523432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6579] ppid=6565 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (java) S 6565 6568 5680 0 -1 4202560 778 0 0 0 336 4 0 0 20 0 19 0 108053307 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865572113384 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6580] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6580/stat : 6580 (java) S 6565 6568 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865571059448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6581] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6581/stat : 6581 (java) S 6565 6568 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865570006536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6582] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6582/stat : 6582 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865568955024 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6583] ppid=6565 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (java) S 6565 6568 5680 0 -1 4202560 16865 0 0 0 85 3 0 0 20 0 19 0 108053310 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865567902136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6584] ppid=6565 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/6568/task/6584/stat : 6584 (java) S 6565 6568 5680 0 -1 4202560 11794 0 0 0 112 3 0 0 20 0 19 0 108053310 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865566849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6585] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6585/stat : 6585 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865565796728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6586] ppid=6565 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/6568/task/6586/stat : 6586 (java) S 6565 6568 5680 0 -1 4202560 103 0 0 0 26 31 0 0 20 0 19 0 108053310 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865564744136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6587] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6587/stat : 6587 (java) S 6565 6568 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108053357 9856040960 97383 33554432000 1073741824 1073778376 140734081785712 139865563592360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1793.87
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.4 s]
/proc/loadavg: 2.66 2.41 2.21 3/214 8432
/proc/meminfo: memFree=29681708/32872528 swapFree=13072/1184284
[pid=6568] ppid=6565 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/6568/stat : 6568 (java) S 6565 6568 5680 0 -1 4202496 40885 0 1 0 179866 140 0 0 20 0 19 0 108053304 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 140734081776848 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6568/statm: 2406260 101478 2301 9 0 2396937 0
[pid=6568/tid=6570] ppid=6565 vsize=9625040 CPUtime=1780.94 cores=1,3,5,7
/proc/6568/task/6570/stat : 6570 (java) R 6565 6568 5680 0 -1 4202560 2721 0 1 0 178061 33 0 0 20 0 19 0 108053305 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865747811536 139865621042563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6571] ppid=6565 vsize=9625040 CPUtime=1.71 cores=1,3,5,7
/proc/6568/task/6571/stat : 6571 (java) S 6565 6568 5680 0 -1 4202560 619 0 0 0 158 13 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865591893032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6572] ppid=6565 vsize=9625040 CPUtime=1.75 cores=1,3,5,7
/proc/6568/task/6572/stat : 6572 (java) S 6565 6568 5680 0 -1 4202560 560 0 0 0 161 14 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865590840232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6573] ppid=6565 vsize=9625040 CPUtime=1.59 cores=1,3,5,7
/proc/6568/task/6573/stat : 6573 (java) S 6565 6568 5680 0 -1 4202560 1137 0 0 0 147 12 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865589787432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6574] ppid=6565 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/6568/task/6574/stat : 6574 (java) S 6565 6568 5680 0 -1 4202560 864 0 0 0 155 14 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865588734632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6575] ppid=6565 vsize=9625040 CPUtime=1.78 cores=1,3,5,7
/proc/6568/task/6575/stat : 6575 (java) S 6565 6568 5680 0 -1 4202560 974 0 0 0 162 16 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865587681832 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6576] ppid=6565 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/6568/task/6576/stat : 6576 (java) S 6565 6568 5680 0 -1 4202560 849 0 0 0 153 11 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865586629032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6577] ppid=6565 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/6568/task/6577/stat : 6577 (java) S 6565 6568 5680 0 -1 4202560 1002 0 0 0 156 11 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865585576232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6568/tid=6578] ppid=6565 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/6568/task/6578/stat : 6578 (java) S 6565 6568 5680 0 -1 4202560 1358 0 0 0 154 13 0 0 20 0 19 0 108053306 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865584523432 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6579] ppid=6565 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/6568/task/6579/stat : 6579 (java) S 6565 6568 5680 0 -1 4202560 778 0 0 0 336 4 0 0 20 0 19 0 108053307 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865572113384 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6580] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6580/stat : 6580 (java) S 6565 6568 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865571059448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6581] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6581/stat : 6581 (java) S 6565 6568 5680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 108053308 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865570006536 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6582] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6582/stat : 6582 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865568955024 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6583] ppid=6565 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/6568/task/6583/stat : 6583 (java) S 6565 6568 5680 0 -1 4202560 16865 0 0 0 85 3 0 0 20 0 19 0 108053310 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865567902136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6568/tid=6584] ppid=6565 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/6568/task/6584/stat : 6584 (java) S 6565 6568 5680 0 -1 4202560 11794 0 0 0 112 3 0 0 20 0 19 0 108053310 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865566849336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6585] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6585/stat : 6585 (java) S 6565 6568 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108053310 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865565796728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6568/tid=6586] ppid=6565 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6568/task/6586/stat : 6586 (java) S 6565 6568 5680 0 -1 4202560 103 0 0 0 27 31 0 0 20 0 19 0 108053310 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865564744136 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6568/tid=6587] ppid=6565 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6568/task/6587/stat : 6587 (java) S 6565 6568 5680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 108053357 9856040960 101478 33554432000 1073741824 1073778376 140734081785712 139865563592360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 6568 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1788.44
CPU time (s): 1800.8
CPU user time (s): 1798.88
CPU system time (s): 1.92171
CPU usage (%): 100.691
Max. virtual memory (cumulated for all children) (KiB): 9626848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.92171
maximum resident set size= 852196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40920
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44084
involuntary context switches= 33431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.021 second user time and 11.0143 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-07 02:59:46
IDJOB=4085807
IDBENCH=48253
IDSOLVER=2546
FILE ID=node115/4085807-1465261186
RUNJOBID= node115-1465253623-5697
PBS_JOBID= 19843266
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_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085807-1465261186/watcher-4085807-1465261186 -o /tmp/evaluation-result-4085807-1465261186/solver-4085807-1465261186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085807-1465261186.opb

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

MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926
RANDOM SEED=1725706707

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.174
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.57
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.174
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.174
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.57
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.174
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.57
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.174
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:        30635824 kB
Buffers:           35092 kB
Cached:           101260 kB
SwapCached:         2032 kB
Active:           264116 kB
Inactive:          82360 kB
Active(anon):     210452 kB
Inactive(anon):     2032 kB
Active(file):      53664 kB
Inactive(file):    80328 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098756 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:       1394008 kB
Mapped:            16340 kB
Shmem:                 0 kB
Slab:             571712 kB
SReclaimable:      15580 kB
SUnreclaim:       556132 kB
KernelStack:        1632 kB
PageTables:         7200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1883532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1368064 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= 71740 MiB
End job on node115 at 2016-06-07 03:29:35