Trace number 3458301

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)19 1800.17 1796.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_5.opb
MD5SUMe079962149860142627e0ca6e79ba5d1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1797.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
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 constraint112
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)37500
Sum of products size (including duplicates)75000
Number of different products37500
Sum of products size75000

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
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 2.3.1.v20110525
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/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-3458301-1307158649.opb
0.10/0.11	c reading problem ... 
1.50/0.70	c ... done. Wall clock time 0.589s.
1.50/0.70	c #vars     38000
1.50/0.70	c #constraints  75500
1.50/0.70	c constraints type 
1.50/0.70	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 38000
1.50/0.70	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37500
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.739
1.76/0.85	o 23
2.23/1.01	c Got one! Elapsed wall clock time (in seconds):0.894
2.23/1.01	o 22
2.23/1.07	c Got one! Elapsed wall clock time (in seconds):0.956
2.23/1.07	o 21
5.90/4.69	c cleaning 2551 clauses out of 5112 with flag 5000/5112
9.94/8.57	c cleaning 4275 clauses out of 8562 with flag 11001/11113
14.34/12.96	c cleaning 5637 clauses out of 11286 with flag 18000/18112
19.76/18.31	c cleaning 6818 clauses out of 13652 with flag 26003/26115
25.89/24.44	c cleaning 7912 clauses out of 15831 with flag 35000/35112
32.00/30.54	c cleaning 8955 clauses out of 17920 with flag 45001/45113
38.51/37.04	c cleaning 9977 clauses out of 19965 with flag 56001/56113
46.53/45.04	c cleaning 10988 clauses out of 21988 with flag 68001/68113
55.24/53.74	c cleaning 11996 clauses out of 24001 with flag 81002/81114
64.55/63.05	c cleaning 12994 clauses out of 26003 with flag 95000/95112
74.37/72.82	c cleaning 13997 clauses out of 28009 with flag 110000/110112
83.99/82.43	c Got one! Elapsed wall clock time (in seconds):82.316
83.99/82.43	o 20
86.30/84.73	c cleaning 17387 clauses out of 34783 with flag 5001/130883
89.80/88.29	c cleaning 11692 clauses out of 23396 with flag 11001/136883
94.21/92.67	c cleaning 9345 clauses out of 18703 with flag 18000/143882
99.53/97.99	c cleaning 8673 clauses out of 17360 with flag 26002/151884
106.73/105.14	c cleaning 8836 clauses out of 17687 with flag 35002/160884
115.24/113.66	c cleaning 9419 clauses out of 18849 with flag 45000/170882
122.54/120.93	c cleaning 10210 clauses out of 20431 with flag 56001/181883
130.96/129.30	c cleaning 11104 clauses out of 22220 with flag 68000/193882
141.17/139.51	c cleaning 12053 clauses out of 24117 with flag 81001/206883
150.98/149.39	c cleaning 13025 clauses out of 26063 with flag 95000/220882
161.09/159.42	c cleaning 14016 clauses out of 28041 with flag 110003/235885
172.81/171.16	c cleaning 15003 clauses out of 30022 with flag 126000/251882
184.33/182.66	c cleaning 16005 clauses out of 32020 with flag 143001/268883
196.03/194.32	c cleaning 17001 clauses out of 34014 with flag 161000/286882
208.24/206.58	c cleaning 18000 clauses out of 36015 with flag 180002/305884
210.26/208.54	c Got one! Elapsed wall clock time (in seconds):208.43
210.26/208.54	o 19
211.67/209.95	c cleaning 11921 clauses out of 23858 with flag 3000/311727
214.68/212.94	c cleaning 8960 clauses out of 17938 with flag 9001/317728
218.08/216.34	c cleaning 7978 clauses out of 15977 with flag 16000/324727
222.49/220.78	c cleaning 7992 clauses out of 15999 with flag 24000/332727
228.60/226.83	c cleaning 8492 clauses out of 17007 with flag 33000/341727
236.13/234.37	c cleaning 9249 clauses out of 18519 with flag 43004/351731
244.52/242.72	c cleaning 10125 clauses out of 20266 with flag 54000/362727
253.74/252.00	c cleaning 11064 clauses out of 22141 with flag 66000/374727
264.04/262.20	c cleaning 12031 clauses out of 24077 with flag 79000/387727
275.76/273.96	c cleaning 13022 clauses out of 26047 with flag 93001/401728
286.46/284.64	c cleaning 14006 clauses out of 28026 with flag 108002/416729
298.07/296.27	c cleaning 15004 clauses out of 30019 with flag 124001/432728
310.78/308.96	c cleaning 16003 clauses out of 32014 with flag 141000/449727
323.49/321.65	c cleaning 16999 clauses out of 34011 with flag 159000/467727
337.01/335.18	c cleaning 17998 clauses out of 36012 with flag 178000/486727
352.02/350.18	c cleaning 19000 clauses out of 38014 with flag 198000/506727
368.74/366.80	c cleaning 20000 clauses out of 40016 with flag 219002/527729
385.87/383.96	c cleaning 21005 clauses out of 42016 with flag 241002/549729
403.77/401.83	c cleaning 21996 clauses out of 44010 with flag 264001/572728
423.89/421.96	c cleaning 22999 clauses out of 46013 with flag 288000/596727
441.61/439.64	c cleaning 23999 clauses out of 48015 with flag 313001/621728
462.23/460.28	c cleaning 25000 clauses out of 50015 with flag 339000/647727
483.98/481.99	c cleaning 26001 clauses out of 52015 with flag 366000/674727
505.19/503.13	c cleaning 27000 clauses out of 54016 with flag 394002/702729
527.51/525.43	c cleaning 28003 clauses out of 56014 with flag 423000/731727
552.93/550.80	c cleaning 28998 clauses out of 58011 with flag 453000/761727
580.06/577.93	c cleaning 29998 clauses out of 60014 with flag 484001/792728
602.97/600.84	c cleaning 30998 clauses out of 62016 with flag 516001/824728
627.01/624.83	c cleaning 31998 clauses out of 64017 with flag 549000/857727
653.45/651.22	c cleaning 33001 clauses out of 66020 with flag 583001/891728
679.24/677.09	c cleaning 34004 clauses out of 68019 with flag 618001/926728
708.07/705.80	c cleaning 35004 clauses out of 70014 with flag 654000/962727
740.60/738.33	c cleaning 35996 clauses out of 72012 with flag 691002/999729
769.83/767.51	c cleaning 37000 clauses out of 74014 with flag 729000/1037727
803.17/800.82	c cleaning 38003 clauses out of 76014 with flag 768000/1076727
832.67/830.39	c cleaning 38998 clauses out of 78012 with flag 808001/1116728
862.61/860.24	c cleaning 40003 clauses out of 80015 with flag 849002/1157729
895.51/893.16	c cleaning 41001 clauses out of 82011 with flag 891001/1199728
935.54/933.16	c cleaning 42000 clauses out of 84011 with flag 934002/1242729
978.09/975.70	c cleaning 42999 clauses out of 86009 with flag 978000/1286727
1021.81/1019.34	c cleaning 43997 clauses out of 88010 with flag 1023000/1331727
1054.64/1052.19	c cleaning 45001 clauses out of 90013 with flag 1069000/1377727
1095.67/1093.12	c cleaning 46001 clauses out of 92012 with flag 1116000/1424727
1129.12/1126.56	c cleaning 46995 clauses out of 94011 with flag 1164000/1472727
1162.05/1159.50	c cleaning 47996 clauses out of 96016 with flag 1213000/1521727
1198.78/1196.19	c cleaning 49004 clauses out of 98021 with flag 1263001/1571728
1241.92/1239.20	c cleaning 50000 clauses out of 100016 with flag 1314000/1622727
1281.66/1278.93	c cleaning 51001 clauses out of 102017 with flag 1366001/1674728
1325.00/1322.25	c cleaning 51999 clauses out of 104017 with flag 1419002/1727729
1370.53/1367.70	c cleaning 53005 clauses out of 106017 with flag 1473001/1781728
1424.27/1421.48	c cleaning 54001 clauses out of 108011 with flag 1528000/1836727
1481.99/1479.17	c cleaning 54998 clauses out of 110010 with flag 1584000/1892727
1537.72/1534.89	c cleaning 55998 clauses out of 112013 with flag 1641001/1949728
1595.95/1593.03	c cleaning 57003 clauses out of 114015 with flag 1699001/2007728
1639.58/1636.67	c cleaning 57997 clauses out of 116013 with flag 1758002/2066729
1686.82/1683.82	c cleaning 59000 clauses out of 118014 with flag 1818000/2126727
1743.55/1740.50	c cleaning 60000 clauses out of 120014 with flag 1879000/2187727
1792.20/1789.13	c cleaning 61001 clauses out of 122017 with flag 1941003/2249730
1800.05/1796.92	c starts		: 233
1800.05/1796.92	c conflicts		: 2260051
1800.05/1796.92	c decisions		: 3395623
1800.05/1796.92	c propagations		: 903881685
1800.05/1796.92	c inspects		: 10419502079
1800.05/1796.92	c shortcuts		: 0
1800.05/1796.92	c learnt literals	: 0
1800.05/1796.92	c learnt binary clauses	: 0
1800.05/1796.92	c learnt ternary clauses	: 0
1800.05/1796.92	c learnt constraints	: 2260051
1800.05/1796.92	c ignored constraints	: 0
1800.05/1796.92	c root simplifications	: 0
1800.05/1796.92	c removed literals (reason simplification)	: 14225304
1800.05/1796.92	c reason swapping (by a shorter reason)	: 0
1800.05/1796.92	c Calls to reduceDB	: 84
1800.05/1796.92	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.92	c number of learned constraints concerned by reduction	: 0
1800.05/1796.92	c number of learning phase by resolution	: 0
1800.05/1796.92	c number of learning phase by cutting planes	: 0
1800.05/1796.92	c speed (assignments/second)	: 569059.5595003205
1800.05/1796.92	c non guided choices	15
1800.05/1796.95	c learnt constraints type 
1800.05/1796.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 71367
1800.05/1796.95	c constraints type 
1800.05/1796.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 38000
1800.05/1796.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1796.95	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37500
1800.05/1796.95	s SATISFIABLE
1800.05/1796.95	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.95	c objective function=19
1800.05/1796.95	c Total wall clock time (in seconds): 1796.839

Verifier Data 

OK	19

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-3458301-1307158649/watcher-3458301-1307158649 -o /tmp/evaluation-result-3458301-1307158649/solver-3458301-1307158649 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458301-1307158649.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.00 2.02 2.00 2/495 27635
/proc/meminfo: memFree=20990704/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 3565 0 1 0 0 0 0 0 23 0 2 0 808280188 13833195520 3266 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3377245 3278 906 9 0 3368401 0
[pid=27635/tid=27636] ppid=27633 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 4391 0 1 0 0 0 0 0 24 0 2 0 808280189 13850947584 5207 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.101935 s]
/proc/loadavg: 2.00 2.02 2.00 2/495 27635
/proc/meminfo: memFree=20990704/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13621952 CPUtime=0.1 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 15462 0 1 0 8 2 0 0 23 0 18 0 808280188 13948878848 15158 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3405488 15158 2092 9 0 3396222 0
[pid=27635/tid=27636] ppid=27633 vsize=13621952 CPUtime=0.08 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 13589 0 1 0 7 1 0 0 25 0 18 0 808280189 13948878848 15158 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254261277729 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621952

[startup+0.200884 s]
/proc/loadavg: 2.00 2.02 2.00 2/495 27635
/proc/meminfo: memFree=20990704/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13622904 CPUtime=0.25 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 16529 0 1 0 23 2 0 0 23 0 18 0 808280188 13949853696 16194 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3405726 16194 2168 9 0 3396460 0
[pid=27635/tid=27636] ppid=27633 vsize=13622904 CPUtime=0.17 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 14318 0 1 0 16 1 0 0 25 0 18 0 808280189 13949853696 16194 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 47393614968598 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13622904

[startup+0.300866 s]
/proc/loadavg: 2.00 2.02 2.00 2/495 27635
/proc/meminfo: memFree=20990704/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13623924 CPUtime=0.45 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 17858 0 1 0 43 2 0 0 23 0 18 0 808280188 13950898176 17391 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3405981 17394 2215 9 0 3396715 0
[pid=27635/tid=27636] ppid=27633 vsize=13623924 CPUtime=0.27 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 15240 0 1 0 26 1 0 0 25 0 18 0 808280189 13950898176 17394 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 47393618606931 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13623924

[startup+0.70083 s]
/proc/loadavg: 2.00 2.02 2.00 2/495 27635
/proc/meminfo: memFree=20990704/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13630980 CPUtime=1.5 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 44123 0 1 0 144 6 0 0 23 0 18 0 808280188 13958123520 41283 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3407745 41289 2234 9 0 3398479 0
[pid=27635/tid=27636] ppid=27633 vsize=13630980 CPUtime=0.68 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 34361 0 1 0 63 5 0 0 25 0 18 0 808280189 13958123520 41291 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 46912505574546 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13630980

[startup+1.50069 s]
/proc/loadavg: 2.16 2.05 2.01 3/514 27654
/proc/meminfo: memFree=20820060/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13632008 CPUtime=2.76 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 47992 0 1 0 270 6 0 0 23 0 19 0 808280188 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3408002 44596 2243 9 0 3398736 0
[pid=27635/tid=27636] ppid=27633 vsize=13632008 CPUtime=1.48 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 37471 0 1 0 143 5 0 0 25 0 19 0 808280189 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 46912506054031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27635/tid=27638] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27639] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27640] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27641] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27642] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27643] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27644] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27645] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27646] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27635 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 0 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27647] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27635 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808280192 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27648] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280192 13959176192 44596 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27649] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 44597 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273440177 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27650] ppid=27633 vsize=13632008 CPUtime=0.66 cores=1,3,5,7
/proc/27635/task/27650/stat : 27650 (java) S 27633 27635 23895 0 -1 4202560 5358 0 0 0 66 0 0 0 22 0 19 0 808280195 13959176192 44597 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27651] ppid=27633 vsize=13632008 CPUtime=0.6 cores=1,3,5,7
/proc/27635/task/27651/stat : 27651 (java) S 27633 27635 23895 0 -1 4202560 4002 0 0 0 60 0 0 0 22 0 19 0 808280195 13959176192 44597 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27652] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27652/stat : 27652 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 44597 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27653] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27653/stat : 27653 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808280195 13959176192 44597 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27654] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27654/stat : 27654 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280261 13959176192 44597 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 13632008

[startup+3.10141 s]
/proc/loadavg: 2.16 2.05 2.01 3/514 27654
/proc/meminfo: memFree=20817456/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13632008 CPUtime=4.4 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 48798 0 1 0 433 7 0 0 23 0 19 0 808280188 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3408002 45400 2244 9 0 3398736 0
[pid=27635/tid=27636] ppid=27633 vsize=13632008 CPUtime=3.08 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 38269 0 1 0 302 6 0 0 25 0 19 0 808280189 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 46912506054267 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27635/tid=27638] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27639] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27640] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27641] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27642] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27643] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27644] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45400 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27645] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280191 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27646] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27635 23895 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 0 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27647] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27635 23895 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808280192 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27648] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280192 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27649] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273440177 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27650] ppid=27633 vsize=13632008 CPUtime=0.69 cores=1,3,5,7
/proc/27635/task/27650/stat : 27650 (java) S 27633 27635 23895 0 -1 4202560 5365 0 0 0 69 0 0 0 15 0 19 0 808280195 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27651] ppid=27633 vsize=13632008 CPUtime=0.6 cores=1,3,5,7
/proc/27635/task/27651/stat : 27651 (java) S 27633 27635 23895 0 -1 4202560 4002 0 0 0 60 0 0 0 18 0 19 0 808280195 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27652] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27652/stat : 27652 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27653] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27653/stat : 27653 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808280195 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27654] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27654/stat : 27654 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280261 13959176192 45401 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 13632008

[startup+6.30084 s]
/proc/loadavg: 2.16 2.05 2.01 3/514 27654
/proc/meminfo: memFree=20739712/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13632008 CPUtime=7.7 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 67754 0 1 0 761 9 0 0 23 0 19 0 808280188 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3408002 64348 2269 9 0 3398736 0
[pid=27635/tid=27636] ppid=27633 vsize=13632008 CPUtime=6.09 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 39037 0 1 0 603 6 0 0 25 0 19 0 808280189 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 46912506054213 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27635/tid=27638] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27639] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27640] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27641] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27642] ppid=27633 vsize=13632008 CPUtime=0.01 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27635 23895 0 -1 4202560 1181 0 0 0 1 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27643] ppid=27633 vsize=13632008 CPUtime=0.03 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27635 23895 0 -1 4202560 2556 0 0 0 3 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27644] ppid=27633 vsize=13632008 CPUtime=0.03 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27635 23895 0 -1 4202560 2047 0 0 0 3 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27645] ppid=27633 vsize=13632008 CPUtime=0.03 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27635 23895 0 -1 4202560 2490 0 0 0 3 0 0 0 18 0 19 0 808280191 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27646] ppid=27633 vsize=13632008 CPUtime=0.14 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27635 23895 0 -1 4202560 9910 0 0 0 14 0 0 0 15 0 19 0 808280192 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 0 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27647] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27635 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27648] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27635 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27649] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273440177 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27650] ppid=27633 vsize=13632008 CPUtime=0.7 cores=1,3,5,7
/proc/27635/task/27650/stat : 27650 (java) S 27633 27635 23895 0 -1 4202560 5372 0 0 0 70 0 0 0 15 0 19 0 808280195 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27651] ppid=27633 vsize=13632008 CPUtime=0.61 cores=1,3,5,7
/proc/27635/task/27651/stat : 27651 (java) S 27633 27635 23895 0 -1 4202560 4006 0 0 0 61 0 0 0 16 0 19 0 808280195 13959176192 64348 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0

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

[pid=27635/tid=27643] ppid=27633 vsize=13632008 CPUtime=0.27 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27635 23895 0 -1 4202560 3997 0 0 0 27 0 0 0 15 0 19 0 808280191 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27644] ppid=27633 vsize=13632008 CPUtime=0.28 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27635 23895 0 -1 4202560 3221 0 0 0 28 0 0 0 16 0 19 0 808280191 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27645] ppid=27633 vsize=13632008 CPUtime=0.32 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27635 23895 0 -1 4202560 7649 0 0 0 32 0 0 0 15 0 19 0 808280191 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27646] ppid=27633 vsize=13632008 CPUtime=10.74 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27635 23895 0 -1 4202560 20528 0 0 0 1072 2 0 0 15 0 19 0 808280192 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 0 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27647] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27635 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27648] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27635 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27649] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273440177 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27650] ppid=27633 vsize=13632008 CPUtime=0.73 cores=1,3,5,7
/proc/27635/task/27650/stat : 27650 (java) S 27633 27635 23895 0 -1 4202560 5373 0 0 0 73 0 0 0 15 0 19 0 808280195 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27651] ppid=27633 vsize=13632008 CPUtime=0.68 cores=1,3,5,7
/proc/27635/task/27651/stat : 27651 (java) S 27633 27635 23895 0 -1 4202560 4020 0 0 0 68 0 0 0 15 0 19 0 808280195 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27652] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27652/stat : 27652 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27653] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27653/stat : 27653 (java) S 27633 27635 23895 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 808280195 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27654] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27654/stat : 27654 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280261 13959176192 98288 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.32
Current children cumulated vsize (KiB) 13632008

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/514 27757
/proc/meminfo: memFree=20906924/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13632008 CPUtime=1725.35 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 102419 0 1 0 172520 15 0 0 23 0 19 0 808280188 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3408002 98671 2270 9 0 3398736 0
[pid=27635/tid=27636] ppid=27633 vsize=13632008 CPUtime=1710.67 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 39121 0 1 0 171061 6 0 0 25 0 19 0 808280189 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 46912506047532 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27635/tid=27638] ppid=27633 vsize=13632008 CPUtime=0.3 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27635 23895 0 -1 4202560 2544 0 0 0 30 0 0 0 16 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27639] ppid=27633 vsize=13632008 CPUtime=0.29 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27635 23895 0 -1 4202560 2175 0 0 0 29 0 0 0 15 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27640] ppid=27633 vsize=13632008 CPUtime=0.21 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27635 23895 0 -1 4202560 1973 0 0 0 21 0 0 0 15 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27641] ppid=27633 vsize=13632008 CPUtime=0.25 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27635 23895 0 -1 4202560 4451 0 0 0 24 1 0 0 15 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27642] ppid=27633 vsize=13632008 CPUtime=0.32 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27635 23895 0 -1 4202560 5740 0 0 0 31 1 0 0 15 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27643] ppid=27633 vsize=13632008 CPUtime=0.29 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27635 23895 0 -1 4202560 3998 0 0 0 29 0 0 0 16 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27644] ppid=27633 vsize=13632008 CPUtime=0.28 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27635 23895 0 -1 4202560 3221 0 0 0 28 0 0 0 15 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27645] ppid=27633 vsize=13632008 CPUtime=0.32 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27635 23895 0 -1 4202560 7649 0 0 0 32 0 0 0 15 0 19 0 808280191 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27646] ppid=27633 vsize=13632008 CPUtime=10.89 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27635 23895 0 -1 4202560 20905 0 0 0 1087 2 0 0 15 0 19 0 808280192 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 0 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27647] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27635 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27648] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27635 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27649] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273440177 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27650] ppid=27633 vsize=13632008 CPUtime=0.73 cores=1,3,5,7
/proc/27635/task/27650/stat : 27650 (java) S 27633 27635 23895 0 -1 4202560 5373 0 0 0 73 0 0 0 15 0 19 0 808280195 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27651] ppid=27633 vsize=13632008 CPUtime=0.68 cores=1,3,5,7
/proc/27635/task/27651/stat : 27651 (java) S 27633 27635 23895 0 -1 4202560 4020 0 0 0 68 0 0 0 15 0 19 0 808280195 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27652] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27652/stat : 27652 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27653] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27653/stat : 27653 (java) S 27633 27635 23895 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 808280195 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27654] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27654/stat : 27654 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280261 13959176192 98671 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.35
Current children cumulated vsize (KiB) 13632008

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/514 27758
/proc/meminfo: memFree=20903872/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13632008 CPUtime=1785.4 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 102843 0 1 0 178525 15 0 0 23 0 19 0 808280188 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3408002 99088 2270 9 0 3398736 0
[pid=27635/tid=27636] ppid=27633 vsize=13632008 CPUtime=1770.51 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 39122 0 1 0 177045 6 0 0 25 0 19 0 808280189 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 46912506054267 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27635/tid=27638] ppid=27633 vsize=13632008 CPUtime=0.3 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27635 23895 0 -1 4202560 2544 0 0 0 30 0 0 0 15 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27639] ppid=27633 vsize=13632008 CPUtime=0.29 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27635 23895 0 -1 4202560 2175 0 0 0 29 0 0 0 15 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27640] ppid=27633 vsize=13632008 CPUtime=0.21 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27635 23895 0 -1 4202560 1973 0 0 0 21 0 0 0 15 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27641] ppid=27633 vsize=13632008 CPUtime=0.25 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27635 23895 0 -1 4202560 4451 0 0 0 24 1 0 0 15 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27642] ppid=27633 vsize=13632008 CPUtime=0.34 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27635 23895 0 -1 4202560 5740 0 0 0 33 1 0 0 16 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27643] ppid=27633 vsize=13632008 CPUtime=0.3 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27635 23895 0 -1 4202560 3998 0 0 0 30 0 0 0 16 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27644] ppid=27633 vsize=13632008 CPUtime=0.3 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27635 23895 0 -1 4202560 3221 0 0 0 30 0 0 0 16 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27645] ppid=27633 vsize=13632008 CPUtime=0.34 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27635 23895 0 -1 4202560 7651 0 0 0 34 0 0 0 16 0 19 0 808280191 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27646] ppid=27633 vsize=13632008 CPUtime=11.03 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27635 23895 0 -1 4202560 21322 0 0 0 1101 2 0 0 15 0 19 0 808280192 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 0 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27647] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27635 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27648] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27635 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27649] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273440177 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27650] ppid=27633 vsize=13632008 CPUtime=0.73 cores=1,3,5,7
/proc/27635/task/27650/stat : 27650 (java) S 27633 27635 23895 0 -1 4202560 5373 0 0 0 73 0 0 0 15 0 19 0 808280195 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27651] ppid=27633 vsize=13632008 CPUtime=0.68 cores=1,3,5,7
/proc/27635/task/27651/stat : 27651 (java) S 27633 27635 23895 0 -1 4202560 4020 0 0 0 68 0 0 0 15 0 19 0 808280195 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27652] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27652/stat : 27652 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27653] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27653/stat : 27653 (java) S 27633 27635 23895 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808280195 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27654] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27654/stat : 27654 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280261 13959176192 99088 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (KiB) 13632008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/514 27759
/proc/meminfo: memFree=20903988/32951124 swapFree=67057928/67111528
[pid=27635] ppid=27633 vsize=13632008 CPUtime=1800.05 cores=1,3,5,7
/proc/27635/stat : 27635 (java) S 27633 27635 23895 0 -1 4202496 102853 0 1 0 179990 15 0 0 23 0 19 0 808280188 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27635/statm: 3408002 99095 2270 9 0 3398736 0
[pid=27635/tid=27636] ppid=27633 vsize=13632008 CPUtime=1784.92 cores=1,3,5,7
/proc/27635/task/27636/stat : 27636 (java) R 27633 27635 23895 0 -1 4202560 39123 0 1 0 178486 6 0 0 25 0 19 0 808280189 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 46912506053995 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27635/tid=27638] ppid=27633 vsize=13632008 CPUtime=0.3 cores=1,3,5,7
/proc/27635/task/27638/stat : 27638 (java) S 27633 27635 23895 0 -1 4202560 2544 0 0 0 30 0 0 0 15 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27639] ppid=27633 vsize=13632008 CPUtime=0.29 cores=1,3,5,7
/proc/27635/task/27639/stat : 27639 (java) S 27633 27635 23895 0 -1 4202560 2175 0 0 0 29 0 0 0 15 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27640] ppid=27633 vsize=13632008 CPUtime=0.22 cores=1,3,5,7
/proc/27635/task/27640/stat : 27640 (java) S 27633 27635 23895 0 -1 4202560 1973 0 0 0 22 0 0 0 16 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27641] ppid=27633 vsize=13632008 CPUtime=0.25 cores=1,3,5,7
/proc/27635/task/27641/stat : 27641 (java) S 27633 27635 23895 0 -1 4202560 4451 0 0 0 24 1 0 0 15 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27642] ppid=27633 vsize=13632008 CPUtime=0.35 cores=1,3,5,7
/proc/27635/task/27642/stat : 27642 (java) S 27633 27635 23895 0 -1 4202560 5744 0 0 0 34 1 0 0 16 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27643] ppid=27633 vsize=13632008 CPUtime=0.32 cores=1,3,5,7
/proc/27635/task/27643/stat : 27643 (java) S 27633 27635 23895 0 -1 4202560 3998 0 0 0 32 0 0 0 16 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27644] ppid=27633 vsize=13632008 CPUtime=0.3 cores=1,3,5,7
/proc/27635/task/27644/stat : 27644 (java) S 27633 27635 23895 0 -1 4202560 3221 0 0 0 30 0 0 0 15 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27645] ppid=27633 vsize=13632008 CPUtime=0.35 cores=1,3,5,7
/proc/27635/task/27645/stat : 27645 (java) S 27633 27635 23895 0 -1 4202560 7654 0 0 0 35 0 0 0 16 0 19 0 808280191 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 5 0 0 0
[pid=27635/tid=27646] ppid=27633 vsize=13632008 CPUtime=11.23 cores=1,3,5,7
/proc/27635/task/27646/stat : 27646 (java) S 27633 27635 23895 0 -1 4202560 21324 0 0 0 1121 2 0 0 15 0 19 0 808280192 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 0 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27647] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27647/stat : 27647 (java) S 27633 27635 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27648] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27648/stat : 27648 (java) S 27633 27635 23895 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808280192 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27649] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27649/stat : 27649 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273440177 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27650] ppid=27633 vsize=13632008 CPUtime=0.73 cores=1,3,5,7
/proc/27635/task/27650/stat : 27650 (java) S 27633 27635 23895 0 -1 4202560 5373 0 0 0 73 0 0 0 15 0 19 0 808280195 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27651] ppid=27633 vsize=13632008 CPUtime=0.68 cores=1,3,5,7
/proc/27635/task/27651/stat : 27651 (java) S 27633 27635 23895 0 -1 4202560 4020 0 0 0 68 0 0 0 15 0 19 0 808280195 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 7 0 0 0
[pid=27635/tid=27652] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27652/stat : 27652 (java) S 27633 27635 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808280195 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273432473 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
[pid=27635/tid=27653] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27653/stat : 27653 (java) S 27633 27635 23895 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808280195 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 3 0 0 0
[pid=27635/tid=27654] ppid=27633 vsize=13632008 CPUtime=0 cores=1,3,5,7
/proc/27635/task/27654/stat : 27654 (java) S 27633 27635 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808280261 13959176192 99095 33554432000 1073741824 1073778376 140736424220352 18446744073709551615 254273433088 0 4 0 16800975 18446604455359009792 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13632008

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.98
CPU time (s): 1800.17
CPU user time (s): 1799.99
CPU system time (s): 0.175973
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 13632084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.175973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102895
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= 39235
involuntary context switches= 5618

runsolver used 8.05977 second user time and 19.817 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-04 05:37:29
IDJOB=3458301
IDBENCH=48121
IDSOLVER=1952
FILE ID=node140/3458301-1307158649
RUNJOBID= node140-1307156475-27027
PBS_JOBID= 13508776
Free space on /tmp= 73644 MiB

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

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

MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1
RANDOM SEED=1653516444

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.833
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.77
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.833
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.833
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.74
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.833
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20990860 kB
Buffers:        308764 kB
Cached:        3968556 kB
SwapCached:       6932 kB
Active:        7822400 kB
Inactive:      3801464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20990860 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:     7344504 kB
Mapped:          46324 kB
Slab:           214764 kB
PageTables:      52924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 154836356 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= 73644 MiB
End job on node140 at 2011-06-04 06:07:28