Trace number 3292249

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 NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06SAT 874.006 872.617

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
MD5SUMf874c09c5787bb3c6a16f7a5f9ea0ad4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark26.544
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3292249-1303792496.cnf
0.00/0.09	c reading problem ... 
0.36/0.26	c ... done. Wall clock time 0.167s.
0.36/0.26	c #vars     841
0.36/0.26	c #constraints  120147
0.36/0.26	c constraints type 
0.36/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 72964
0.36/0.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 47183
2.15/1.60	c cleaning 2496 clauses out of 5000 with flag 5000/5000
4.04/3.11	c cleaning 4250 clauses out of 8504 with flag 11000/11000
5.74/4.85	c cleaning 5627 clauses out of 11255 with flag 18001/18001
7.74/6.81	c cleaning 6810 clauses out of 13627 with flag 26000/26000
10.16/9.24	c cleaning 7904 clauses out of 15817 with flag 35000/35000
12.87/11.96	c cleaning 8954 clauses out of 17916 with flag 45003/45003
15.97/15.03	c cleaning 9977 clauses out of 19960 with flag 56001/56001
19.27/18.30	c cleaning 10989 clauses out of 21982 with flag 68000/68000
22.98/22.03	c cleaning 11995 clauses out of 23994 with flag 81001/81001
27.17/26.30	c cleaning 12996 clauses out of 26000 with flag 95002/95002
31.68/30.77	c cleaning 13990 clauses out of 28002 with flag 110000/110000
36.58/35.64	c cleaning 15002 clauses out of 30015 with flag 126003/126003
41.88/40.94	c cleaning 16004 clauses out of 32012 with flag 143002/143002
47.58/46.70	c cleaning 17000 clauses out of 34006 with flag 161000/161000
53.49/52.54	c cleaning 18000 clauses out of 36006 with flag 180000/180000
60.09/59.13	c cleaning 19002 clauses out of 38007 with flag 200001/200001
67.19/66.22	c cleaning 19997 clauses out of 40004 with flag 221000/221000
74.20/73.30	c cleaning 21002 clauses out of 42008 with flag 243001/243001
81.70/80.79	c cleaning 22000 clauses out of 44006 with flag 266001/266001
90.21/89.29	c cleaning 22994 clauses out of 46005 with flag 290000/290000
100.02/99.06	c cleaning 24002 clauses out of 48011 with flag 315000/315000
110.22/109.24	c cleaning 25000 clauses out of 50010 with flag 341001/341001
120.63/119.69	c cleaning 26002 clauses out of 52009 with flag 368000/368000
131.94/130.99	c cleaning 26996 clauses out of 54008 with flag 396001/396001
142.84/141.87	c cleaning 28002 clauses out of 56013 with flag 425002/425002
153.85/152.89	c cleaning 28999 clauses out of 58009 with flag 455000/455000
164.54/163.56	c cleaning 29992 clauses out of 60010 with flag 486000/486000
176.96/175.95	c cleaning 31002 clauses out of 62018 with flag 518000/518000
188.85/187.89	c cleaning 32007 clauses out of 64016 with flag 551000/551000
201.76/200.71	c cleaning 33000 clauses out of 66011 with flag 585002/585002
214.28/213.23	c cleaning 34002 clauses out of 68010 with flag 620001/620001
227.78/226.75	c cleaning 35001 clauses out of 70008 with flag 656001/656001
242.39/241.31	c cleaning 35997 clauses out of 72006 with flag 693000/693000
257.09/256.05	c cleaning 36995 clauses out of 74010 with flag 731001/731001
272.40/271.34	c cleaning 38004 clauses out of 76015 with flag 770001/770001
287.11/286.09	c cleaning 38995 clauses out of 78010 with flag 810000/810000
303.01/301.99	c cleaning 40005 clauses out of 80017 with flag 851002/851002
319.51/318.47	c cleaning 40998 clauses out of 82011 with flag 893001/893001
335.92/334.81	c cleaning 42006 clauses out of 84018 with flag 936006/936006
353.23/352.19	c cleaning 42996 clauses out of 86006 with flag 980000/980000
371.24/370.17	c cleaning 43996 clauses out of 88011 with flag 1025001/1025001
389.74/388.69	c cleaning 45003 clauses out of 90016 with flag 1071002/1071002
410.05/408.97	c cleaning 46003 clauses out of 92012 with flag 1118001/1118001
429.07/427.96	c cleaning 47000 clauses out of 94009 with flag 1166001/1166001
446.17/445.09	c cleaning 47994 clauses out of 96010 with flag 1215002/1215002
465.78/464.69	c cleaning 49006 clauses out of 98015 with flag 1265001/1265001
484.88/483.72	c cleaning 49997 clauses out of 100008 with flag 1316000/1316000
504.10/502.93	c cleaning 51004 clauses out of 102013 with flag 1368002/1368002
525.72/524.60	c cleaning 51998 clauses out of 104008 with flag 1421001/1421001
545.92/544.71	c cleaning 53000 clauses out of 106010 with flag 1475001/1475001
567.03/565.89	c cleaning 53998 clauses out of 108009 with flag 1530000/1530000
587.44/586.24	c cleaning 54988 clauses out of 110014 with flag 1586003/1586003
607.85/606.69	c cleaning 56008 clauses out of 112023 with flag 1643000/1643000
632.16/630.92	c cleaning 57000 clauses out of 114016 with flag 1701001/1701001
655.68/654.47	c cleaning 58002 clauses out of 116015 with flag 1760000/1760000
678.79/677.55	c cleaning 59000 clauses out of 118016 with flag 1820003/1820003
704.10/702.86	c cleaning 60001 clauses out of 120014 with flag 1881001/1881001
731.10/729.85	c cleaning 61000 clauses out of 122013 with flag 1943001/1943001
758.71/757.49	c cleaning 62001 clauses out of 124012 with flag 2006000/2006000
786.93/785.65	c cleaning 63001 clauses out of 126013 with flag 2070002/2070002
814.03/812.78	c cleaning 64000 clauses out of 128012 with flag 2135002/2135002
843.54/842.28	c cleaning 64996 clauses out of 130011 with flag 2201001/2201001
873.86/872.57	c starts		: 1635
873.86/872.57	c conflicts		: 2262083
873.86/872.57	c decisions		: 4406653
873.86/872.57	c propagations		: 310846455
873.86/872.57	c inspects		: 9369981417
873.86/872.57	c shortcuts		: 0
873.86/872.57	c learnt literals	: 0
873.86/872.57	c learnt binary clauses	: 69
873.86/872.57	c learnt ternary clauses	: 4600
873.86/872.57	c learnt constraints	: 2262083
873.86/872.57	c ignored constraints	: 0
873.86/872.57	c root simplifications	: 1635
873.86/872.57	c removed literals (reason simplification)	: 59225996
873.86/872.57	c reason swapping (by a shorter reason)	: 0
873.86/872.57	c Calls to reduceDB	: 62
873.86/872.57	c speed (assignments/second)	: 356347.3833360273
873.86/872.57	c non guided choices	136
873.97/872.60	c learnt constraints type 
873.97/872.60	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 69
873.97/872.60	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 126028
873.97/872.60	c constraints type 
873.97/872.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 72964
873.97/872.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 47183
873.97/872.60	s SATISFIABLE
873.97/872.60	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 492 -493 -494 -495 -496 -497 -498 -499 -500 501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 0
873.97/872.60	c Total wall clock time (in seconds) : 872.48

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3292249-1303792496/watcher-3292249-1303792496 -o /tmp/evaluation-result-3292249-1303792496/solver-3292249-1303792496 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3292249-1303792496.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.38 3.87 3.83 6/200 28418
/proc/meminfo: memFree=19124788/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=30528 CPUtime=0 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 1246 0 0 0 0 0 0 0 25 0 2 0 490852226 31260672 965 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 7632 965 739 9 0 383 0
[pid=28418/tid=28419] ppid=28416 vsize=30528 CPUtime=0 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 2 0 490852226 31260672 965 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216634515200 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.017888 s]
/proc/loadavg: 3.38 3.87 3.83 6/200 28418
/proc/meminfo: memFree=19124788/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7542380 CPUtime=0 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 7346 0 1 0 0 0 0 0 25 0 3 0 490852226 7723397120 7047 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1885595 7047 930 9 0 1876751 0
[pid=28418/tid=28419] ppid=28416 vsize=7542380 CPUtime=0 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) S 28416 28418 28353 0 -1 4202560 6232 0 1 0 0 0 0 0 25 0 3 0 490852226 7723397120 7047 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16784584 18446604453654297344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7542380

[startup+0.100349 s]
/proc/loadavg: 3.38 3.87 3.83 6/200 28418
/proc/meminfo: memFree=19124788/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7637068 CPUtime=0.1 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 10589 0 1 0 9 1 0 0 25 0 18 0 490852226 7820357632 10285 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1909267 10286 2093 9 0 1900005 0
[pid=28418/tid=28419] ppid=28416 vsize=7637068 CPUtime=0.08 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 8707 0 1 0 7 1 0 0 25 0 18 0 490852226 7820357632 10286 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 47099036522120 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7637068

[startup+0.305269 s]
/proc/loadavg: 3.38 3.87 3.83 6/200 28418
/proc/meminfo: memFree=19124788/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7640928 CPUtime=0.46 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 14311 0 1 0 44 2 0 0 25 0 19 0 490852226 7824310272 13705 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1910232 13705 2205 9 0 1900970 0
[pid=28418/tid=28419] ppid=28416 vsize=7640928 CPUtime=0.28 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) S 28416 28418 28353 0 -1 4202560 11348 0 1 0 27 1 0 0 25 0 19 0 490852226 7824310272 13705 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 7640928

[startup+0.700223 s]
/proc/loadavg: 3.38 3.87 3.83 6/200 28418
/proc/meminfo: memFree=19124788/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7641884 CPUtime=1.14 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 15164 0 1 0 112 2 0 0 25 0 19 0 490852226 7825289216 14203 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1910471 14203 2223 9 0 1901209 0
[pid=28418/tid=28419] ppid=28416 vsize=7641884 CPUtime=0.67 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 11488 0 1 0 66 1 0 0 25 0 19 0 490852226 7825289216 14203 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 46912505616577 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 7641884

[startup+1.50111 s]
/proc/loadavg: 3.43 3.87 3.83 5/220 28438
/proc/meminfo: memFree=18966856/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7641884 CPUtime=2 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 15633 0 1 0 197 3 0 0 25 0 19 0 490852226 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1910471 14671 2226 9 0 1901209 0
[pid=28418/tid=28419] ppid=28416 vsize=7641884 CPUtime=1.47 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 11945 0 1 0 146 1 0 0 25 0 19 0 490852226 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 46912505682367 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28418/tid=28421] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28421/stat : 28421 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28422] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28422/stat : 28422 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28423] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28423/stat : 28423 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28424] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28424/stat : 28424 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28425] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28425/stat : 28425 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28426] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28426/stat : 28426 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28427] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28427/stat : 28427 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28428] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28428/stat : 28428 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852227 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28429] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28429/stat : 28429 (java) S 28416 28418 28353 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 490852228 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28430] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28430/stat : 28430 (java) S 28416 28418 28353 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 490852229 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28431] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28431/stat : 28431 (java) S 28416 28418 28353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490852229 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28432] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28432/stat : 28432 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28433] ppid=28416 vsize=7641884 CPUtime=0.36 cores=4,6
/proc/28418/task/28433/stat : 28433 (java) S 28416 28418 28353 0 -1 4202560 1892 0 0 0 36 0 0 0 15 0 19 0 490852231 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28434] ppid=28416 vsize=7641884 CPUtime=0.13 cores=4,6
/proc/28418/task/28434/stat : 28434 (java) S 28416 28418 28353 0 -1 4202560 635 0 0 0 13 0 0 0 19 0 19 0 490852231 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28435] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28435/stat : 28435 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28436] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28436/stat : 28436 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490852231 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28437] ppid=28416 vsize=7641884 CPUtime=0 cores=4,6
/proc/28418/task/28437/stat : 28437 (java) S 28416 28418 28353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490852252 7825289216 14671 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 7641884

[startup+3.10085 s]
/proc/loadavg: 3.43 3.87 3.83 5/220 28438
/proc/meminfo: memFree=18809280/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7663740 CPUtime=4.04 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 27127 0 1 0 399 5 0 0 25 0 19 0 490852226 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1915935 24446 2254 9 0 1906673 0
[pid=28418/tid=28419] ppid=28416 vsize=7663740 CPUtime=2.96 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 11970 0 1 0 295 1 0 0 25 0 19 0 490852226 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 46912505625799 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28418/tid=28421] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28421/stat : 28421 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28422] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28422/stat : 28422 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28423] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28423/stat : 28423 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28424] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28424/stat : 28424 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28425] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28425/stat : 28425 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28426] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28426/stat : 28426 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28427] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28427/stat : 28427 (java) S 28416 28418 28353 0 -1 4202560 839 0 0 0 0 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28428] ppid=28416 vsize=7663740 CPUtime=0.01 cores=4,6
/proc/28418/task/28428/stat : 28428 (java) S 28416 28418 28353 0 -1 4202560 1579 0 0 0 1 0 0 0 18 0 19 0 490852227 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28429] ppid=28416 vsize=7663740 CPUtime=0.04 cores=4,6
/proc/28418/task/28429/stat : 28429 (java) S 28416 28418 28353 0 -1 4202560 2410 0 0 0 4 0 0 0 15 0 19 0 490852228 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28430] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28430/stat : 28430 (java) S 28416 28418 28353 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490852229 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28431] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28431/stat : 28431 (java) S 28416 28418 28353 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490852229 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28432] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28432/stat : 28432 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28433] ppid=28416 vsize=7663740 CPUtime=0.8 cores=4,6
/proc/28418/task/28433/stat : 28433 (java) S 28416 28418 28353 0 -1 4202560 8048 0 0 0 78 2 0 0 16 0 19 0 490852231 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28434] ppid=28416 vsize=7663740 CPUtime=0.17 cores=4,6
/proc/28418/task/28434/stat : 28434 (java) S 28416 28418 28353 0 -1 4202560 1125 0 0 0 17 0 0 0 16 0 19 0 490852231 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28435] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28435/stat : 28435 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28436] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28436/stat : 28436 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490852231 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28437] ppid=28416 vsize=7663740 CPUtime=0 cores=4,6
/proc/28418/task/28437/stat : 28437 (java) S 28416 28418 28353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490852252 7847669760 24446 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 7663740

[startup+6.30128 s]
/proc/loadavg: 3.43 3.87 3.83 5/260 28485
/proc/meminfo: memFree=18254032/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7655044 CPUtime=7.24 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 28102 0 1 0 719 5 0 0 25 0 19 0 490852226 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1913761 23880 2254 9 0 1904499 0
[pid=28418/tid=28419] ppid=28416 vsize=7655044 CPUtime=6.08 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 11974 0 1 0 607 1 0 0 25 0 19 0 490852226 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 46912505820124 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28418/tid=28421] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28421/stat : 28421 (java) S 28416 28418 28353 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28422] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28422/stat : 28422 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28423] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28423/stat : 28423 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28424] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28424/stat : 28424 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28425] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28425/stat : 28425 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28426] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28426/stat : 28426 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28427] ppid=28416 vsize=7655044 CPUtime=0.01 cores=4,6
/proc/28418/task/28427/stat : 28427 (java) S 28416 28418 28353 0 -1 4202560 1106 0 0 0 1 0 0 0 15 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28428] ppid=28416 vsize=7655044 CPUtime=0.01 cores=4,6
/proc/28418/task/28428/stat : 28428 (java) S 28416 28418 28353 0 -1 4202560 1580 0 0 0 1 0 0 0 16 0 19 0 490852227 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28429] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28429/stat : 28429 (java) S 28416 28418 28353 0 -1 4202560 2756 0 0 0 11 0 0 0 15 0 19 0 490852228 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28430] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28430/stat : 28430 (java) S 28416 28418 28353 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28431] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28431/stat : 28431 (java) S 28416 28418 28353 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28432] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28432/stat : 28432 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28433] ppid=28416 vsize=7655044 CPUtime=0.8 cores=4,6
/proc/28418/task/28433/stat : 28433 (java) S 28416 28418 28353 0 -1 4202560 8048 0 0 0 78 2 0 0 15 0 19 0 490852231 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28434] ppid=28416 vsize=7655044 CPUtime=0.18 cores=4,6
/proc/28418/task/28434/stat : 28434 (java) S 28416 28418 28353 0 -1 4202560 1126 0 0 0 18 0 0 0 15 0 19 0 490852231 7838765056 23880 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0

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

/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 15595 0 1 0 86783 4 0 0 25 0 19 0 490852226 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 46912505682367 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28418/tid=28421] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28421/stat : 28421 (java) S 28416 28418 28353 0 -1 4202560 2445 0 0 0 11 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28422] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28422/stat : 28422 (java) S 28416 28418 28353 0 -1 4202560 1112 0 0 0 8 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28423] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28423/stat : 28423 (java) S 28416 28418 28353 0 -1 4202560 1558 0 0 0 11 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28424] ppid=28416 vsize=7655044 CPUtime=0.07 cores=4,6
/proc/28418/task/28424/stat : 28424 (java) S 28416 28418 28353 0 -1 4202560 733 0 0 0 7 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28425] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28425/stat : 28425 (java) S 28416 28418 28353 0 -1 4202560 214 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28426] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28426/stat : 28426 (java) S 28416 28418 28353 0 -1 4202560 117 0 0 0 8 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28427] ppid=28416 vsize=7655044 CPUtime=0.14 cores=4,6
/proc/28418/task/28427/stat : 28427 (java) S 28416 28418 28353 0 -1 4202560 3170 0 0 0 14 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28428] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28428/stat : 28428 (java) S 28416 28418 28353 0 -1 4202560 1612 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28429] ppid=28416 vsize=7655044 CPUtime=3.45 cores=4,6
/proc/28418/task/28429/stat : 28429 (java) S 28416 28418 28353 0 -1 4202560 8212 0 0 0 344 1 0 0 15 0 19 0 490852228 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28430] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28430/stat : 28430 (java) S 28416 28418 28353 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28431] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28431/stat : 28431 (java) S 28416 28418 28353 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28432] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28432/stat : 28432 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28433] ppid=28416 vsize=7655044 CPUtime=0.8 cores=4,6
/proc/28418/task/28433/stat : 28433 (java) S 28416 28418 28353 0 -1 4202560 8048 0 0 0 78 2 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28434] ppid=28416 vsize=7655044 CPUtime=0.24 cores=4,6
/proc/28418/task/28434/stat : 28434 (java) S 28416 28418 28353 0 -1 4202560 1736 0 0 0 24 0 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28435] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28435/stat : 28435 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28436] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28436/stat : 28436 (java) S 28416 28418 28353 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28437] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28437/stat : 28437 (java) S 28416 28418 28353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490852252 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 873.26
Current children cumulated vsize (KiB) 7655044

[startup+872.307 s]
/proc/loadavg: 4.00 4.03 3.93 5/262 28648
/proc/meminfo: memFree=18476668/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7655044 CPUtime=873.66 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 45752 0 1 0 87356 10 0 0 25 0 19 0 490852226 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1913761 41202 2254 9 0 1904499 0
[pid=28418/tid=28419] ppid=28416 vsize=7655044 CPUtime=868.28 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 15595 0 1 0 86824 4 0 0 25 0 19 0 490852226 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 46912505639890 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28418/tid=28421] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28421/stat : 28421 (java) S 28416 28418 28353 0 -1 4202560 2445 0 0 0 11 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28422] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28422/stat : 28422 (java) S 28416 28418 28353 0 -1 4202560 1112 0 0 0 8 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28423] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28423/stat : 28423 (java) S 28416 28418 28353 0 -1 4202560 1558 0 0 0 11 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28424] ppid=28416 vsize=7655044 CPUtime=0.07 cores=4,6
/proc/28418/task/28424/stat : 28424 (java) S 28416 28418 28353 0 -1 4202560 733 0 0 0 7 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28425] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28425/stat : 28425 (java) S 28416 28418 28353 0 -1 4202560 214 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28426] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28426/stat : 28426 (java) S 28416 28418 28353 0 -1 4202560 117 0 0 0 8 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28427] ppid=28416 vsize=7655044 CPUtime=0.14 cores=4,6
/proc/28418/task/28427/stat : 28427 (java) S 28416 28418 28353 0 -1 4202560 3170 0 0 0 14 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28428] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28428/stat : 28428 (java) S 28416 28418 28353 0 -1 4202560 1612 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28429] ppid=28416 vsize=7655044 CPUtime=3.45 cores=4,6
/proc/28418/task/28429/stat : 28429 (java) S 28416 28418 28353 0 -1 4202560 8212 0 0 0 344 1 0 0 15 0 19 0 490852228 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28430] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28430/stat : 28430 (java) S 28416 28418 28353 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28431] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28431/stat : 28431 (java) S 28416 28418 28353 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28432] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28432/stat : 28432 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28433] ppid=28416 vsize=7655044 CPUtime=0.8 cores=4,6
/proc/28418/task/28433/stat : 28433 (java) S 28416 28418 28353 0 -1 4202560 8048 0 0 0 78 2 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28434] ppid=28416 vsize=7655044 CPUtime=0.24 cores=4,6
/proc/28418/task/28434/stat : 28434 (java) S 28416 28418 28353 0 -1 4202560 1736 0 0 0 24 0 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28435] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28435/stat : 28435 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28436] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28436/stat : 28436 (java) S 28416 28418 28353 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28437] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28437/stat : 28437 (java) S 28416 28418 28353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490852252 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 873.66
Current children cumulated vsize (KiB) 7655044

[startup+872.501 s]
/proc/loadavg: 4.00 4.03 3.93 5/262 28648
/proc/meminfo: memFree=18476668/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7655044 CPUtime=873.86 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 45752 0 1 0 87376 10 0 0 25 0 19 0 490852226 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1913761 41202 2254 9 0 1904499 0
[pid=28418/tid=28419] ppid=28416 vsize=7655044 CPUtime=868.47 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) R 28416 28418 28353 0 -1 4202560 15595 0 1 0 86843 4 0 0 25 0 19 0 490852226 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 46912505682499 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28418/tid=28421] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28421/stat : 28421 (java) S 28416 28418 28353 0 -1 4202560 2445 0 0 0 11 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28422] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28422/stat : 28422 (java) S 28416 28418 28353 0 -1 4202560 1112 0 0 0 8 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28423] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28423/stat : 28423 (java) S 28416 28418 28353 0 -1 4202560 1558 0 0 0 11 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28424] ppid=28416 vsize=7655044 CPUtime=0.07 cores=4,6
/proc/28418/task/28424/stat : 28424 (java) S 28416 28418 28353 0 -1 4202560 733 0 0 0 7 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28425] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28425/stat : 28425 (java) S 28416 28418 28353 0 -1 4202560 214 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28426] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28426/stat : 28426 (java) S 28416 28418 28353 0 -1 4202560 117 0 0 0 8 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28427] ppid=28416 vsize=7655044 CPUtime=0.14 cores=4,6
/proc/28418/task/28427/stat : 28427 (java) S 28416 28418 28353 0 -1 4202560 3170 0 0 0 14 0 0 0 15 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28428] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28428/stat : 28428 (java) S 28416 28418 28353 0 -1 4202560 1612 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28429] ppid=28416 vsize=7655044 CPUtime=3.45 cores=4,6
/proc/28418/task/28429/stat : 28429 (java) S 28416 28418 28353 0 -1 4202560 8212 0 0 0 344 1 0 0 15 0 19 0 490852228 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28430] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28430/stat : 28430 (java) S 28416 28418 28353 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28431] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28431/stat : 28431 (java) S 28416 28418 28353 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28432] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28432/stat : 28432 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28433] ppid=28416 vsize=7655044 CPUtime=0.8 cores=4,6
/proc/28418/task/28433/stat : 28433 (java) S 28416 28418 28353 0 -1 4202560 8048 0 0 0 78 2 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28434] ppid=28416 vsize=7655044 CPUtime=0.24 cores=4,6
/proc/28418/task/28434/stat : 28434 (java) S 28416 28418 28353 0 -1 4202560 1736 0 0 0 24 0 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28435] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28435/stat : 28435 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28436] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28436/stat : 28436 (java) S 28416 28418 28353 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 490852231 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28437] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28437/stat : 28437 (java) S 28416 28418 28353 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 490852252 7838765056 41202 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 873.86
Current children cumulated vsize (KiB) 7655044

[startup+872.601 s]
/proc/loadavg: 4.00 4.03 3.93 5/262 28648
/proc/meminfo: memFree=18476668/32951124 swapFree=67111528/67111528
[pid=28418] ppid=28416 vsize=7655044 CPUtime=873.97 cores=4,6
/proc/28418/stat : 28418 (java) S 28416 28418 28353 0 -1 4202496 45933 0 1 0 87387 10 0 0 25 0 19 0 490852226 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28418/statm: 1913761 41380 2255 9 0 1904499 0
[pid=28418/tid=28419] ppid=28416 vsize=7655044 CPUtime=868.54 cores=4,6
/proc/28418/task/28419/stat : 28419 (java) S 28416 28418 28353 0 -1 4202560 15598 0 1 0 86850 4 0 0 25 0 19 0 490852226 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28421] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28421/stat : 28421 (java) S 28416 28418 28353 0 -1 4202560 2445 0 0 0 11 0 0 0 16 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28422] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28422/stat : 28422 (java) S 28416 28418 28353 0 -1 4202560 1112 0 0 0 8 0 0 0 15 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28423] ppid=28416 vsize=7655044 CPUtime=0.11 cores=4,6
/proc/28418/task/28423/stat : 28423 (java) S 28416 28418 28353 0 -1 4202560 1558 0 0 0 11 0 0 0 15 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28424] ppid=28416 vsize=7655044 CPUtime=0.07 cores=4,6
/proc/28418/task/28424/stat : 28424 (java) S 28416 28418 28353 0 -1 4202560 733 0 0 0 7 0 0 0 15 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28425] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28425/stat : 28425 (java) S 28416 28418 28353 0 -1 4202560 214 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28426] ppid=28416 vsize=7655044 CPUtime=0.08 cores=4,6
/proc/28418/task/28426/stat : 28426 (java) S 28416 28418 28353 0 -1 4202560 117 0 0 0 8 0 0 0 16 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28427] ppid=28416 vsize=7655044 CPUtime=0.14 cores=4,6
/proc/28418/task/28427/stat : 28427 (java) S 28416 28418 28353 0 -1 4202560 3170 0 0 0 14 0 0 0 15 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28428] ppid=28416 vsize=7655044 CPUtime=0.1 cores=4,6
/proc/28418/task/28428/stat : 28428 (java) S 28416 28418 28353 0 -1 4202560 1612 0 0 0 10 0 0 0 16 0 19 0 490852227 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28429] ppid=28416 vsize=7655044 CPUtime=3.45 cores=4,6
/proc/28418/task/28429/stat : 28429 (java) S 28416 28418 28353 0 -1 4202560 8212 0 0 0 344 1 0 0 15 0 19 0 490852228 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 0 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28430] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28430/stat : 28430 (java) S 28416 28418 28353 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41380 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28431] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28431/stat : 28431 (java) S 28416 28418 28353 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 490852229 7838765056 41350 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28432] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28432/stat : 28432 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41350 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646338993 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28433] ppid=28416 vsize=7655044 CPUtime=0.8 cores=4,6
/proc/28418/task/28433/stat : 28433 (java) S 28416 28418 28353 0 -1 4202560 8049 0 0 0 78 2 0 0 16 0 19 0 490852231 7838765056 41350 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28434] ppid=28416 vsize=7655044 CPUtime=0.26 cores=4,6
/proc/28418/task/28434/stat : 28434 (java) S 28416 28418 28353 0 -1 4202560 1909 0 0 0 26 0 0 0 15 0 19 0 490852231 7838765056 41350 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 4 0 0 0
[pid=28418/tid=28435] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28435/stat : 28435 (java) S 28416 28418 28353 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 490852231 7838765056 41350 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331289 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
[pid=28418/tid=28436] ppid=28416 vsize=7655044 CPUtime=0 cores=4,6
/proc/28418/task/28436/stat : 28436 (java) S 28416 28418 28353 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 490852231 7838765056 41350 33554432000 1073741824 1073778376 140735099515216 18446744073709551615 216646331904 0 4 0 16800975 18446604453654297344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 873.97
Current children cumulated vsize (KiB) 7655044

Child status: 10
Real time (s): 872.617
CPU time (s): 874.006
CPU user time (s): 873.89
CPU system time (s): 0.115982
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 7663740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 873.89
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45996
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= 19721
involuntary context switches= 4131

runsolver used 1.61175 second user time and 3.16252 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-26 06:34:56
IDJOB=3292249
IDBENCH=85973
IDSOLVER=1611
FILE ID=node103/3292249-1303792496
RUNJOBID= node103-1303792496-28372
PBS_JOBID= 13157275
Free space on /tmp= 71760 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292249-1303792496/watcher-3292249-1303792496 -o /tmp/evaluation-result-3292249-1303792496/solver-3292249-1303792496 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3292249-1303792496.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=290647045

node103.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.858
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.71
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.858
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.75
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.858
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.858
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.858
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.858
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.75
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.858
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.83
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.858
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:      19125564 kB
Buffers:       2128104 kB
Cached:       11014228 kB
SwapCached:          0 kB
Active:        4119272 kB
Inactive:      9123808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19125564 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15756 kB
Writeback:           0 kB
AnonPages:      100764 kB
Mapped:          20824 kB
Slab:           515968 kB
PageTables:       5476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7462976 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= 71764 MiB
End job on node103 at 2011-04-26 06:49:29