Trace number 42257

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, and are wall clock time (not CPU 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
SAT4JPSEUDO 2006.2 HeuristicsSAT 927.059 912.495

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM7b1cf6104f891053895193aa96c054c6
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.015997
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables900
Total number of constraints673
Number of constraints which are clauses624
Number of constraints which are cardinality constraints (but not clauses)49
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint12
Maximum length of a constraint25
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.15	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.15	c no version file found!!!
0.15	c sun.arch.data.model	32
0.15	c java.version	1.5.0_06
0.15	c os.name	Linux
0.15	c os.version	2.6.9-34.ELsmp
0.15	c os.arch	i386
0.15	c Free memory 1548419056
0.15	c Max memory 1551040512
0.15	c Total memory 1551040512
0.15	c Number of processors 2
0.23	c Cutting planes based inference
0.23	c --- Begin Solver configuration ---
0.23	c org.sat4j.minisat.uip.FirstUIP@1df073d
0.23	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25
0.23	c org.sat4j.minisat.learning.MiniSATLearning@b66cc
0.23	c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 
0.23	c VSIDS like heuristics from MiniSAT using a heap
0.23	c No reason simplification
0.23	c --- End Solver configuration ---
0.23	c solving ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb
0.23	c reading problem ... 
0.60	c ... done. Time 0.365 ms.
0.60	c #vars     900
0.60	c #constraints  673
912.32	c starts		: 14
912.32	c conflicts		: 38774
912.32	c decisions		: 170155
912.32	c propagations		: 1523079
912.33	c inspects		: 156318181
912.33	c learnt literals	: 0
912.33	c learnt binary clauses	: 0
912.33	c learnt ternary clauses	: 0
912.33	c learnt clauses	: 38774
912.33	c root simplifications	: 0
912.33	c removed literals (reason simplification)	: 0
912.33	c reason swapping (by a shorter reason)	: 0
912.33	c Calls to reduceDB	: 0
912.33	c speed (decisions/second)	: 186.63117323558382
912.33	c non guided choices	2030
912.33	s SATISFIABLE
912.33	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
912.33	v -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
912.33	v -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
912.33	v -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
912.33	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
912.33	v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
912.33	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168
912.33	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
912.33	v -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210
912.33	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
912.33	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
912.33	v -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
912.33	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
912.33	v x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315
912.33	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
912.33	v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
912.33	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378
912.33	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
912.33	v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
912.33	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
912.33	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462
912.33	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
912.33	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504
912.33	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525
912.33	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546
912.33	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
912.33	v -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
912.33	v -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
912.33	v -x610 x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
912.33	v x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651
912.33	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
912.33	v -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693
912.33	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714
912.33	v -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735
912.33	v -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756
912.33	v -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777
912.33	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 -x796 -x797 -x798
912.33	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 x819
912.33	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840
912.33	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861
912.33	v -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882
912.33	v -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
912.33	c Total wall clock time (ms): 912.097

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node76/watcher-42257-1149232472 -o ROOT/results/node76/solver-42257-1149232472 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb 649387562 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.94 0.90 2/68 15583
/proc/meminfo: memFree=1618000/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=18544 CPUtime=0
/proc/15583/stat : 15583 (runsolver) R 15581 15583 15538 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 188886582 18989056 280 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15583/statm: 4636 280 244 16 0 2626 0

[startup+10.0026 s]
/proc/loadavg: 0.87 0.94 0.90 2/80 15595
/proc/meminfo: memFree=1429360/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=11.19
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 52044 0 1 0 1097 22 0 0 18 0 13 0 188886582 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 48924 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.26
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 6448 0 0 0 24 2 0 0 16 0 13 0 188886585 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.26
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 6471 0 0 0 24 2 0 0 17 0 13 0 188886585 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 188886643 1753546752 48924 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (Kb) 1712448

[startup+20.0098 s]
/proc/loadavg: 0.89 0.94 0.90 2/80 15595
/proc/meminfo: memFree=1411120/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=21.32
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 57570 0 1 0 2107 25 0 0 25 0 13 0 188886582 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071378842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 53480 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.39
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 9416 0 0 0 35 4 0 0 16 0 13 0 188886585 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.38
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 9020 0 0 0 35 3 0 0 16 0 13 0 188886585 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 188886643 1753546752 53480 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.32
Current children cumulated vsize (Kb) 1712448

[startup+30.017 s]
/proc/loadavg: 0.91 0.94 0.90 2/80 15595
/proc/meminfo: memFree=1411568/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=31.39
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 59718 0 1 0 3113 26 0 0 21 0 13 0 188886582 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 53327 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.45
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 10489 0 0 0 41 4 0 0 16 0 13 0 188886585 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.45
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 10084 0 0 0 41 4 0 0 16 0 13 0 188886585 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 188886643 1753546752 53327 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.39
Current children cumulated vsize (Kb) 1712448

[startup+40.0242 s]
/proc/loadavg: 0.92 0.94 0.90 2/80 15595
/proc/meminfo: memFree=1410544/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=41.48
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 62616 0 1 0 4121 27 0 0 20 0 13 0 188886582 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 53617 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.55
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 11912 0 0 0 50 5 0 0 16 0 13 0 188886585 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.54
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 11533 0 0 0 50 4 0 0 16 0 13 0 188886585 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 43 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 53617 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (Kb) 1712448

[startup+50.0324 s]
/proc/loadavg: 0.93 0.95 0.90 2/80 15595
/proc/meminfo: memFree=1394416/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=51.57
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 67948 0 1 0 5127 30 0 0 24 0 13 0 188886582 1753546752 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 57733 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.63
/proc/15583/task/15584/stat : 15584 (java) R 15581 15583 15538 0 -1 64 13680 0 0 0 57 6 0 0 15 0 13 0 188886585 1753546752 57733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.63
/proc/15583/task/15585/stat : 15585 (java) R 15581 15583 15538 0 -1 64 13227 0 0 0 58 5 0 0 15 0 13 0 188886585 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154971854 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.02
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 46 0 0 0 1 1 0 0 15 0 13 0 188886588 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.72
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1189 0 0 0 72 0 0 0 16 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.63
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 878 0 0 0 63 0 0 0 17 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 57734 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.57
Current children cumulated vsize (Kb) 1712448

[startup+60.0386 s]
/proc/loadavg: 0.94 0.95 0.91 2/80 15595
/proc/meminfo: memFree=1384240/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=61.66
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 71108 0 1 0 6135 31 0 0 25 0 13 0 188886582 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566810 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 60142 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=0.71
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 15170 0 0 0 65 6 0 0 16 0 13 0 188886585 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=0.71
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 14877 0 0 0 66 5 0 0 17 0 13 0 188886585 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.02
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 56 0 0 0 1 1 0 0 16 0 13 0 188886588 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 60142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/15583/statm: 428112 206956 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=12.95
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 97666 0 0 0 1250 45 0 0 17 0 13 0 188886585 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=12.93
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 96079 0 0 0 1249 44 0 0 16 0 13 0 188886585 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.12
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 8 4 0 0 16 0 13 0 188886588 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 206956 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 874.21
Current children cumulated vsize (Kb) 1712448

[startup+870.633 s]
/proc/loadavg: 1.05 1.01 0.93 2/80 15595
/proc/meminfo: memFree=791088/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=884.38
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 241900 0 1 0 88321 117 0 0 25 0 13 0 188886582 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 208096 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.12
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 98295 0 0 0 1267 45 0 0 16 0 13 0 188886585 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.1
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 96765 0 0 0 1266 44 0 0 17 0 13 0 188886585 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.12
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 8 4 0 0 16 0 13 0 188886588 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 208096 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 884.38
Current children cumulated vsize (Kb) 1712448

[startup+880.64 s]
/proc/loadavg: 1.04 1.01 0.93 2/80 15595
/proc/meminfo: memFree=785904/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=894.56
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 243307 0 1 0 89338 118 0 0 25 0 13 0 188886582 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071354265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 209387 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.31
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 99095 0 0 0 1285 46 0 0 17 0 13 0 188886585 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.29
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 97367 0 0 0 1284 45 0 0 16 0 13 0 188886585 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 16 0 13 0 188886588 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 209387 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 894.56
Current children cumulated vsize (Kb) 1712448

[startup+890.647 s]
/proc/loadavg: 1.04 1.00 0.93 2/80 15595
/proc/meminfo: memFree=779824/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=904.75
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 245036 0 1 0 90356 119 0 0 25 0 13 0 188886582 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15583/statm: 428112 210902 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.51
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 99989 0 0 0 1304 47 0 0 16 0 13 0 188886585 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.48
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 98197 0 0 0 1303 45 0 0 16 0 13 0 188886585 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 16 0 13 0 188886588 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 210902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 904.75
Current children cumulated vsize (Kb) 1712448

[startup+900.654 s]
/proc/loadavg: 1.10 1.02 0.93 2/80 15595
/proc/meminfo: memFree=773168/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=915.01
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 246839 0 1 0 91381 120 0 0 20 0 13 0 188886582 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 212542 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.76
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 100908 0 0 0 1329 47 0 0 17 0 13 0 188886585 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.74
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 99074 0 0 0 1328 46 0 0 16 0 13 0 188886585 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 15 0 13 0 188886588 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 212542 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 915.01
Current children cumulated vsize (Kb) 1712448

[startup+910.661 s]
/proc/loadavg: 1.09 1.02 0.93 2/80 15595
/proc/meminfo: memFree=769520/2055888 swapFree=4085392/4096564
[pid=15583] ppid=15581 vsize=1712448 CPUtime=925.19
/proc/15583/stat : 15583 (java) R 15581 15583 15538 0 -1 0 247819 0 1 0 92399 120 0 0 25 0 13 0 188886582 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071539086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15583/statm: 428112 213466 1909 14 0 414858 0
[pid=15583/tid=15584] ppid=15581 vsize=1712448 CPUtime=13.94
/proc/15583/task/15584/stat : 15584 (java) S 15581 15583 15538 0 -1 64 101406 0 0 0 1347 47 0 0 17 0 13 0 188886585 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15585] ppid=15581 vsize=1712448 CPUtime=13.92
/proc/15583/task/15585/stat : 15585 (java) S 15581 15583 15538 0 -1 64 99551 0 0 0 1346 46 0 0 16 0 13 0 188886585 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15586] ppid=15581 vsize=1712448 CPUtime=0.13
/proc/15583/task/15586/stat : 15586 (java) S 15581 15583 15538 0 -1 64 77 0 0 0 9 4 0 0 16 0 13 0 188886588 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15587] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15587/stat : 15587 (java) S 15581 15583 15538 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15588] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15588/stat : 15588 (java) S 15581 15583 15538 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188886588 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15589] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15589/stat : 15589 (java) S 15581 15583 15538 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15590] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15590/stat : 15590 (java) S 15581 15583 15538 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15591] ppid=15581 vsize=1712448 CPUtime=0.77
/proc/15583/task/15591/stat : 15591 (java) S 15581 15583 15538 0 -1 64 1190 0 0 0 77 0 0 0 16 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15592] ppid=15581 vsize=1712448 CPUtime=0.69
/proc/15583/task/15592/stat : 15592 (java) S 15581 15583 15538 0 -1 64 886 0 0 0 69 0 0 0 16 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15593] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15593/stat : 15593 (java) S 15581 15583 15538 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15594] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15594/stat : 15594 (java) S 15581 15583 15538 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188886592 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15583/tid=15595] ppid=15581 vsize=1712448 CPUtime=0
/proc/15583/task/15595/stat : 15595 (java) S 15581 15583 15538 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 188886643 1753546752 213466 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 925.19
Current children cumulated vsize (Kb) 1712448

Child status: 10
Real time (s): 912.495
CPU time (s): 927.059
CPU user time (s): 925.725
CPU system time (s): 1.3338
CPU usage (%): 101.596
Max. virtual memory (cumulated for all children) (Kb): 1712448

Launcher Data (download as text)

Begin job on node76 on Fri Jun  2 07:14:32 UTC 2006


FILE ID= 42257-1149232472

PBS_JOBID= 296550

BENCH NAME= ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb 649387562
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-42257-1149232472 -o ROOT/results/node76/solver-42257-1149232472 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node76/42257-1149232472/instance-42257-1149232472.opb 649387562

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  7b1cf6104f891053895193aa96c054c6

RANDOM SEED= 649387562


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.14
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1618208 kB
Buffers:         32336 kB
Cached:         338768 kB
SwapCached:       2488 kB
Active:          93528 kB
Inactive:       286348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1618208 kB
SwapTotal:     4096564 kB
SwapFree:      4085392 kB
Dirty:             140 kB
Writeback:           0 kB
Mapped:          16536 kB
Slab:            44412 kB
Committed_AS:   216200 kB
PageTables:       1260 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node76 on Fri Jun  2 07:29:45 UTC 2006