Trace number 3458316

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 Resolution 2.3.0SAT (TO)20 1800.17 1796.89

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_2.opb
MD5SUMfd4b450948caa11c29cf407b64203711
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark1797.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint61
Maximum length of a constraint106
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37488
Sum of products size (including duplicates)74976
Number of different products37488
Sum of products size74976

Quality of the solution as a function of time


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

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458316-1307158773.opb
0.10/0.11	c reading problem ... 
1.51/0.71	c ... done. Wall clock time 0.597s.
1.51/0.71	c #vars     37988
1.51/0.71	c #constraints  75476
1.51/0.71	c constraints type 
1.51/0.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37988
1.51/0.71	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37488
1.76/0.85	c SATISFIABLE
1.76/0.85	c OPTIMIZING...
1.76/0.85	c Got one! Elapsed wall clock time (in seconds):0.735
1.76/0.85	o 24
1.94/0.98	c Got one! Elapsed wall clock time (in seconds):0.868
1.94/0.98	o 23
2.23/1.05	c Got one! Elapsed wall clock time (in seconds):0.936
2.23/1.05	o 22
2.23/1.09	c Got one! Elapsed wall clock time (in seconds):0.976
2.23/1.09	o 21
6.00/4.71	c cleaning 2525 clauses out of 5055 with flag 5001/5055
9.93/8.56	c cleaning 4263 clauses out of 8531 with flag 11002/11056
14.34/12.90	c cleaning 5626 clauses out of 11266 with flag 18000/18054
19.35/17.91	c cleaning 6817 clauses out of 13641 with flag 26001/26055
24.99/23.56	c cleaning 7908 clauses out of 15825 with flag 35002/35056
31.80/30.30	c cleaning 8952 clauses out of 17916 with flag 45001/45055
38.82/37.38	c cleaning 9977 clauses out of 19963 with flag 56000/56054
42.32/40.83	c Got one! Elapsed wall clock time (in seconds):40.72
42.32/40.83	o 20
44.63/43.13	c cleaning 10039 clauses out of 20093 with flag 5000/66161
49.04/47.58	c cleaning 8023 clauses out of 16056 with flag 11002/72163
54.37/52.86	c cleaning 7514 clauses out of 15031 with flag 18000/79161
59.87/58.37	c cleaning 7758 clauses out of 15518 with flag 26001/87162
65.77/64.22	c cleaning 8376 clauses out of 16759 with flag 35000/96161
73.28/71.76	c cleaning 9187 clauses out of 18383 with flag 45000/106161
81.39/79.86	c cleaning 10093 clauses out of 20198 with flag 56002/117163
89.40/87.86	c cleaning 11045 clauses out of 22103 with flag 68000/129161
98.33/96.71	c cleaning 12026 clauses out of 24059 with flag 81001/142162
108.62/107.01	c cleaning 13013 clauses out of 26033 with flag 95001/156162
119.93/118.38	c cleaning 14004 clauses out of 28019 with flag 110000/171161
130.65/129.06	c cleaning 15002 clauses out of 30016 with flag 126001/187162
141.96/140.34	c cleaning 16002 clauses out of 32013 with flag 143000/204161
155.37/153.74	c cleaning 16997 clauses out of 34012 with flag 161001/222162
168.98/167.30	c cleaning 18000 clauses out of 36014 with flag 180000/241161
184.10/182.47	c cleaning 19001 clauses out of 38015 with flag 200001/261162
198.01/196.37	c cleaning 20000 clauses out of 40016 with flag 221003/282164
212.73/211.02	c cleaning 21002 clauses out of 42013 with flag 243000/304161
228.84/227.12	c cleaning 22000 clauses out of 44012 with flag 266001/327162
248.36/246.69	c cleaning 22997 clauses out of 46011 with flag 290000/351161
266.38/264.67	c cleaning 24001 clauses out of 48015 with flag 315001/376162
284.42/282.62	c cleaning 25003 clauses out of 50016 with flag 341003/402164
302.73/300.92	c cleaning 25997 clauses out of 52010 with flag 368000/429161
323.16/321.36	c cleaning 27000 clauses out of 54013 with flag 396000/457161
343.38/341.50	c cleaning 27999 clauses out of 56014 with flag 425001/486162
363.50/361.65	c cleaning 29000 clauses out of 58014 with flag 455000/516161
388.05/386.13	c cleaning 30001 clauses out of 60014 with flag 486000/547161
412.86/410.92	c cleaning 31002 clauses out of 62017 with flag 518004/579165
435.89/433.98	c cleaning 32000 clauses out of 64011 with flag 551000/612161
459.21/457.22	c cleaning 33004 clauses out of 66011 with flag 585000/646161
485.24/483.29	c cleaning 33996 clauses out of 68007 with flag 620000/681161
514.37/512.30	c cleaning 34996 clauses out of 70011 with flag 656000/717161
543.50/541.49	c cleaning 36003 clauses out of 72017 with flag 693002/754163
573.61/571.52	c cleaning 36999 clauses out of 74012 with flag 731000/792161
604.33/602.21	c cleaning 37999 clauses out of 76013 with flag 770000/831161
637.27/635.15	c cleaning 39000 clauses out of 78015 with flag 810001/871162
666.30/664.12	c cleaning 40004 clauses out of 80016 with flag 851002/912163
697.62/695.41	c cleaning 40997 clauses out of 82010 with flag 893000/954161
730.66/728.49	c cleaning 42002 clauses out of 84013 with flag 936000/997161
766.19/763.93	c cleaning 42998 clauses out of 86011 with flag 980000/1041161
809.63/807.31	c cleaning 44003 clauses out of 88014 with flag 1025001/1086162
847.95/845.68	c cleaning 44999 clauses out of 90011 with flag 1071001/1132162
888.09/885.73	c cleaning 46002 clauses out of 92012 with flag 1118001/1179162
931.52/929.10	c cleaning 46998 clauses out of 94009 with flag 1166000/1227161
979.66/977.25	c cleaning 48000 clauses out of 96012 with flag 1215001/1276162
1027.19/1024.71	c cleaning 48999 clauses out of 98013 with flag 1265002/1326163
1060.32/1057.82	c cleaning 50001 clauses out of 100012 with flag 1316000/1377161
1099.78/1097.23	c cleaning 50999 clauses out of 102011 with flag 1368000/1429161
1138.93/1136.34	c cleaning 51997 clauses out of 104013 with flag 1421001/1482162
1178.76/1176.19	c cleaning 52999 clauses out of 106015 with flag 1475000/1536161
1225.32/1222.66	c cleaning 53998 clauses out of 108018 with flag 1530002/1591163
1270.45/1267.75	c cleaning 55003 clauses out of 110018 with flag 1586000/1647161
1317.99/1315.22	c cleaning 55998 clauses out of 112015 with flag 1643000/1704161
1368.74/1365.96	c cleaning 57000 clauses out of 114017 with flag 1701000/1762161
1415.88/1413.05	c cleaning 58001 clauses out of 116020 with flag 1760003/1821164
1463.02/1460.17	c cleaning 59001 clauses out of 118018 with flag 1820002/1881163
1511.15/1508.30	c cleaning 60002 clauses out of 120015 with flag 1881000/1942161
1559.57/1556.66	c cleaning 61002 clauses out of 122013 with flag 1943000/2004161
1607.23/1604.22	c cleaning 62002 clauses out of 124011 with flag 2006000/2067161
1660.07/1657.08	c cleaning 62997 clauses out of 126010 with flag 2070001/2131162
1713.41/1710.38	c cleaning 63997 clauses out of 128012 with flag 2135000/2196161
1766.79/1763.68	c cleaning 65002 clauses out of 130016 with flag 2201001/2262162
1800.05/1796.82	c starts		: 234
1800.05/1796.82	c conflicts		: 2305717
1800.05/1796.82	c decisions		: 3411268
1800.05/1796.82	c propagations		: 886694915
1800.05/1796.82	c inspects		: 9937342258
1800.05/1796.82	c shortcuts		: 0
1800.05/1796.82	c learnt literals	: 0
1800.05/1796.82	c learnt binary clauses	: 0
1800.05/1796.82	c learnt ternary clauses	: 0
1800.05/1796.82	c learnt constraints	: 2305716
1800.05/1796.82	c ignored constraints	: 0
1800.05/1796.82	c root simplifications	: 0
1800.05/1796.82	c removed literals (reason simplification)	: 17513393
1800.05/1796.82	c reason swapping (by a shorter reason)	: 0
1800.05/1796.82	c Calls to reduceDB	: 69
1800.05/1796.82	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.82	c number of learned constraints concerned by reduction	: 0
1800.05/1796.82	c number of learning phase by resolution	: 0
1800.05/1796.82	c number of learning phase by cutting planes	: 0
1800.05/1796.82	c speed (assignments/second)	: 504954.9968450809
1800.05/1796.82	c non guided choices	0
1800.05/1796.85	c learnt constraints type 
1800.05/1796.85	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 108596
1800.05/1796.85	c constraints type 
1800.05/1796.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37988
1800.05/1796.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1796.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37488
1800.05/1796.85	s SATISFIABLE
1800.05/1796.85	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 
1800.05/1796.85	c objective function=20
1800.05/1796.85	c Total wall clock time (in seconds): 1796.739

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458316-1307158773/watcher-3458316-1307158773 -o /tmp/evaluation-result-3458316-1307158773/solver-3458316-1307158773 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458316-1307158773.opb 

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.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 3519 0 1 0 0 0 0 0 25 0 2 0 827475842 13833195520 3220 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3377245 3234 906 9 0 3368401 0
[pid=27728/tid=27729] ppid=27726 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 4760 0 1 0 0 0 0 0 25 0 2 0 827475842 13850947584 5576 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.054891 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 13876 0 1 0 3 1 0 0 25 0 13 0 827475842 13874667520 13572 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3387370 13573 1681 9 0 3378118 0
[pid=27728/tid=27729] ppid=27726 vsize=13549480 CPUtime=0.04 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 12729 0 1 0 3 1 0 0 25 0 13 0 827475842 13874667520 13573 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216474059 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549480

[startup+0.100794 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13621808 CPUtime=0.1 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 15490 0 1 0 9 1 0 0 25 0 18 0 827475842 13948731392 15157 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3405452 15157 2093 9 0 3396186 0
[pid=27728/tid=27729] ppid=27726 vsize=13621808 CPUtime=0.08 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 13536 0 1 0 7 1 0 0 25 0 18 0 827475842 13948731392 15157 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 47061635174307 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621808

[startup+0.300763 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13622848 CPUtime=0.45 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 17843 0 1 0 43 2 0 0 25 0 18 0 827475842 13949796352 17387 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3405712 17388 2218 9 0 3396446 0
[pid=27728/tid=27729] ppid=27726 vsize=13622848 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 15179 0 1 0 26 2 0 0 25 0 18 0 827475842 13949796352 17388 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505547110 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13622848

[startup+0.700744 s]
/proc/loadavg: 2.29 2.09 2.02 2/507 27728
/proc/meminfo: memFree=27059392/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13636348 CPUtime=1.51 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 44353 0 1 0 144 7 0 0 25 0 18 0 827475842 13963620352 40572 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409087 40577 2235 9 0 3399821 0
[pid=27728/tid=27729] ppid=27726 vsize=13636348 CPUtime=0.68 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 33420 0 1 0 62 6 0 0 25 0 18 0 827475842 13963620352 40579 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505603576 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 13636348

[startup+1.5016 s]
/proc/loadavg: 2.29 2.09 2.02 3/526 27747
/proc/meminfo: memFree=26890676/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=2.77 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 50118 0 1 0 269 8 0 0 25 0 19 0 827475842 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 45211 2244 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1.48 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 37907 0 1 0 142 6 0 0 25 0 19 0 827475842 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912506119350 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45211 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.63 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5341 0 0 0 63 0 0 0 15 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.63 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5708 0 0 0 63 0 0 0 15 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 45212 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 13637376

[startup+3.10134 s]
/proc/loadavg: 2.29 2.09 2.02 3/526 27747
/proc/meminfo: memFree=26883980/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=4.39 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 50790 0 1 0 431 8 0 0 25 0 19 0 827475842 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 45881 2245 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=3.08 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 38571 0 1 0 301 7 0 0 18 0 19 0 827475842 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505915365 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475845 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827475846 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475846 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.63 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5341 0 0 0 63 0 0 0 15 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.65 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5715 0 0 0 65 0 0 0 15 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 45881 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13637376

[startup+6.30081 s]
/proc/loadavg: 2.51 2.14 2.04 3/526 27747
/proc/meminfo: memFree=26806484/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=7.69 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 69764 0 1 0 759 10 0 0 25 0 19 0 827475842 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 64828 2270 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=6.09 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39415 0 1 0 602 7 0 0 18 0 19 0 827475842 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912506029740 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.02 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 1773 0 0 0 2 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.03 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 3060 0 0 0 3 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.04 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 3090 0 0 0 4 0 0 0 18 0 19 0 827475845 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=0.14 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 9881 0 0 0 14 0 0 0 15 0 19 0 827475846 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.64 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5342 0 0 0 64 0 0 0 15 0 19 0 827475848 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.67 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5721 0 0 0 67 0 0 0 15 0 19 0 827475848 13964673024 64828 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0

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

[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.3 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 30 0 0 0 16 0 19 0 827475845 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 16 0 19 0 827475845 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.37 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8226 0 0 0 36 1 0 0 15 0 19 0 827475845 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.05 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 21960 0 0 0 903 2 0 0 15 0 19 0 827475846 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 104445 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.41
Current children cumulated vsize (KiB) 13637376

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/526 27852
/proc/meminfo: memFree=26651336/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=1725.49 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 109793 0 1 0 172532 17 0 0 25 0 19 0 827475842 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 104557 2271 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1712.24 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39485 0 1 0 171217 7 0 0 25 0 19 0 827475842 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912506052791 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0.29 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 2805 0 0 0 29 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 3471 0 0 0 28 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0.27 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 2304 0 0 0 27 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0.3 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 3792 0 0 0 30 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 5054 0 0 0 27 1 0 0 16 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.33 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 33 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 15 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.4 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8226 0 0 0 39 1 0 0 16 0 19 0 827475845 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.25 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 22070 0 0 0 923 2 0 0 15 0 19 0 827475846 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 104557 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.49
Current children cumulated vsize (KiB) 13637376

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/526 27854
/proc/meminfo: memFree=26648056/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=1785.53 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 110321 0 1 0 178536 17 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 105078 2271 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1772.08 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39486 0 1 0 177201 7 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505926480 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 2811 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0.29 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 3471 0 0 0 29 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0.27 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 2304 0 0 0 27 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 3792 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 5054 0 0 0 27 1 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.33 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 33 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.41 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8227 0 0 0 40 1 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.4 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 22586 0 0 0 938 2 0 0 15 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 13637376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/526 27854
/proc/meminfo: memFree=26648156/32951124 swapFree=63649284/67111528
[pid=27728] ppid=27726 vsize=13637376 CPUtime=1800.05 cores=1,3,5,7
/proc/27728/stat : 27728 (java) S 27726 27728 23523 0 -1 4202496 110321 0 1 0 179988 17 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27728/statm: 3409344 105078 2271 9 0 3400078 0
[pid=27728/tid=27729] ppid=27726 vsize=13637376 CPUtime=1786.6 cores=1,3,5,7
/proc/27728/task/27729/stat : 27729 (java) R 27726 27728 23523 0 -1 4202560 39486 0 1 0 178653 7 0 0 25 0 19 0 827475842 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 46912505951870 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27728/tid=27731] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27731/stat : 27731 (java) S 27726 27728 23523 0 -1 4202560 2811 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27732] ppid=27726 vsize=13637376 CPUtime=0.29 cores=1,3,5,7
/proc/27728/task/27732/stat : 27732 (java) S 27726 27728 23523 0 -1 4202560 3471 0 0 0 29 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27733] ppid=27726 vsize=13637376 CPUtime=0.27 cores=1,3,5,7
/proc/27728/task/27733/stat : 27733 (java) S 27726 27728 23523 0 -1 4202560 2304 0 0 0 27 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27734] ppid=27726 vsize=13637376 CPUtime=0.31 cores=1,3,5,7
/proc/27728/task/27734/stat : 27734 (java) S 27726 27728 23523 0 -1 4202560 3792 0 0 0 31 0 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27735] ppid=27726 vsize=13637376 CPUtime=0.28 cores=1,3,5,7
/proc/27728/task/27735/stat : 27735 (java) S 27726 27728 23523 0 -1 4202560 5054 0 0 0 27 1 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27736] ppid=27726 vsize=13637376 CPUtime=0.33 cores=1,3,5,7
/proc/27728/task/27736/stat : 27736 (java) S 27726 27728 23523 0 -1 4202560 3928 0 0 0 33 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27737] ppid=27726 vsize=13637376 CPUtime=0.32 cores=1,3,5,7
/proc/27728/task/27737/stat : 27737 (java) S 27726 27728 23523 0 -1 4202560 6323 0 0 0 32 0 0 0 15 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27738] ppid=27726 vsize=13637376 CPUtime=0.41 cores=1,3,5,7
/proc/27728/task/27738/stat : 27738 (java) S 27726 27728 23523 0 -1 4202560 8227 0 0 0 40 1 0 0 16 0 19 0 827475845 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27739] ppid=27726 vsize=13637376 CPUtime=9.4 cores=1,3,5,7
/proc/27728/task/27739/stat : 27739 (java) S 27726 27728 23523 0 -1 4202560 22586 0 0 0 938 2 0 0 15 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 0 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27740] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27740/stat : 27740 (java) S 27726 27728 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27741] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27741/stat : 27741 (java) S 27726 27728 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827475846 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
[pid=27728/tid=27742] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27742/stat : 27742 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216470961 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27743] ppid=27726 vsize=13637376 CPUtime=0.71 cores=1,3,5,7
/proc/27728/task/27743/stat : 27743 (java) S 27726 27728 23523 0 -1 4202560 5356 0 0 0 71 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27744] ppid=27726 vsize=13637376 CPUtime=0.7 cores=1,3,5,7
/proc/27728/task/27744/stat : 27744 (java) S 27726 27728 23523 0 -1 4202560 5729 0 0 0 70 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 1 0 0 0
[pid=27728/tid=27745] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27745/stat : 27745 (java) S 27726 27728 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463257 0 4 0 16800975 18446604460126826688 0 0 -1 3 0 0 0
[pid=27728/tid=27746] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27746/stat : 27746 (java) S 27726 27728 23523 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827475848 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 5 0 0 0
[pid=27728/tid=27747] ppid=27726 vsize=13637376 CPUtime=0 cores=1,3,5,7
/proc/27728/task/27747/stat : 27747 (java) S 27726 27728 23523 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827475916 13964673024 105078 33554432000 1073741824 1073778376 140735143289392 18446744073709551615 210216463872 0 4 0 16800975 18446604460126826688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13637376

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1796.89
CPU time (s): 1800.17
CPU user time (s): 1799.98
CPU system time (s): 0.19297
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 13637376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110366
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38759
involuntary context switches= 6289

runsolver used 8.89965 second user time and 20.5469 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 05:39:33
IDJOB=3458316
IDBENCH=48136
IDSOLVER=1952
FILE ID=node130/3458316-1307158773
RUNJOBID= node130-1307156588-27165
PBS_JOBID= 13508786
Free space on /tmp= 73856 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_2.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458316-1307158773/watcher-3458316-1307158773 -o /tmp/evaluation-result-3458316-1307158773/solver-3458316-1307158773 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458316-1307158773.opb

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

MD5SUM BENCH= fd4b450948caa11c29cf407b64203711
RANDOM SEED=834121557

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27059548 kB
Buffers:        275112 kB
Cached:         419336 kB
SwapCached:       9700 kB
Active:        5238124 kB
Inactive:       371896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27059548 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:             860 kB
Writeback:           0 kB
AnonPages:     4913448 kB
Mapped:          38996 kB
Slab:           158044 kB
PageTables:      54508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 158527444 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73856 MiB
End job on node130 at 2011-06-04 06:09:32