PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM	0493ba9e257fafbb54efa7af2eeb7bf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1567
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	5699
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	5699
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.134979
Number of variables	133
Total number of constraints	229
Number of constraints which are clauses	229
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	31
Trace number 29283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 06:04:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20661 boxname=wulflinc21 idbench=251 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0493ba9e257fafbb54efa7af2eeb7bf2  /oldhome/oroussel/tmp/wulflinc21/normalized-cc.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc21/normalized-cc.opb
IDLAUNCH: 20661
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        240872 kB
Buffers:         29288 kB
Cached:         733808 kB
SwapCached:       1020 kB
Active:          48176 kB
Inactive:       717108 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        240620 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            22788 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:23:10 (client local time) WITH STATUS 30 IN 1123.73 SECONDS
stats: 20661 0 1123.73 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-cc.opb
c reading problem ... done. Time 0.46 ms.
c #vars     133
c #constraints  229
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                1755 		Current CPU time: 0.61 ms
c CURRENT OPTIMUM=                1746 		Current CPU time: 0.85 ms
c CURRENT OPTIMUM=                1737 		Current CPU time: 1.02 ms
c CURRENT OPTIMUM=                1723 		Current CPU time: 6.14 ms
c CURRENT OPTIMUM=                1674 		Current CPU time: 46.66 ms
c CURRENT OPTIMUM=                1651 		Current CPU time: 64.69 ms
c CURRENT OPTIMUM=                1602 		Current CPU time: 87.83 ms
c CURRENT OPTIMUM=                1584 		Current CPU time: 177.78 ms
c CURRENT OPTIMUM=                1567 		Current CPU time: 182.60 ms
c starts	: 23
c conflicts	: 3350
c decisions	: 15821
c propagations	: 55864
c inspects	: 4413200
c learned literals	: 0
c learned binary clauses	: 1
c learned ternary clauses	: 3
c learned clauses	: 3349
c root simplifications	: 29
s OPTIMUM_FOUND
v -x1 x2 -x3 -x4 x5 -x6 x7 -x8 x9 x10 -x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 x48 x49 x50 x51 -x52 x53 x54 -x55 -x56 x57 -x58 -x59 x60 -x61 x62 x63 x64 -x65 x66 -x67 x68 x69 x70 -x71 -x72 x73 x74 x75 -x76 x77 x78 -x79 -x80 x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 
c objectif function=1567
c Total CPU time (ms) : 1114.482
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 10511
Raw data (stat): 10511 (runsolver) R 10510 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 713842261 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99984 s]
Raw data (loadavg): 1.16 1.03 1.01 2/65 10525
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18118 3 1 0 691 36 0 0 25 0 11 0 713842261 860094464 20550 4294967295 134512640 134569956 3221224384 3221214520 1131181574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209984 20550 13086 16 0 209968 0
vsize: 839936
[startup+19.9995 s]
Raw data (loadavg): 1.29 1.06 1.02 2/65 10525
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 1648 36 0 0 25 0 11 0 713842261 859766784 21139 4294967295 134512640 134569956 3221224384 3221214584 1131167247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209904 21139 13086 16 0 209888 0
vsize: 839616
[startup+30.0006 s]
Raw data (loadavg): 1.25 1.06 1.02 2/65 10525
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 2592 37 0 0 25 0 11 0 713842261 858443776 21599 4294967295 134512640 134569956 3221224384 3221214688 1131232410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 21599 13086 16 0 209565 0
vsize: 838324
[startup+39.9999 s]
Raw data (loadavg): 1.21 1.06 1.02 2/65 10525
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 3538 37 0 0 25 0 11 0 713842261 858443776 21783 4294967295 134512640 134569956 3221224384 3221214432 1131204263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 21783 13086 16 0 209565 0
vsize: 838324
[startup+50.0006 s]
Raw data (loadavg): 1.18 1.06 1.02 2/65 10526
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 4483 37 0 0 25 0 11 0 713842261 858443776 21916 4294967295 134512640 134569956 3221224384 3221214404 1130885144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 21916 13086 16 0 209565 0
vsize: 838324
[startup+60.0002 s]
Raw data (loadavg): 1.15 1.05 1.02 2/65 10526
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 5416 38 0 0 25 0 11 0 713842261 858443776 22293 4294967295 134512640 134569956 3221224384 3221214540 1131426315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 22293 13086 16 0 209565 0
vsize: 838324
[startup+69.9999 s]
Raw data (loadavg): 1.13 1.05 1.02 2/65 10527
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 6368 38 0 0 25 0 11 0 713842261 858443776 22393 4294967295 134512640 134569956 3221224384 3221214560 1131167974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 22393 13086 16 0 209565 0
vsize: 838324
[startup+80.0007 s]
Raw data (loadavg): 1.11 1.05 1.01 2/65 10529
Raw data (stat): 10511 (java) S 10510 32363 32362 0 -1 0 18119 3 1 0 7315 38 0 0 25 0 11 0 713842261 858443776 22627 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 22627 13086 16 0 209565 0
vsize: 838324
[startup+90.0007 s]
Raw data (loadavg): 1.09 1.05 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 8268 39 0 0 25 0 11 0 713842261 858443776 22811 4294967295 134512640 134569956 3221224384 3221214664 1131228229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 22811 13086 16 0 209565 0
vsize: 838324
[startup+100.001 s]
Raw data (loadavg): 1.08 1.05 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 9217 39 0 0 25 0 11 0 713842261 858443776 22988 4294967295 134512640 134569956 3221224384 3221214560 1131167432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 22988 13086 16 0 209565 0
vsize: 838324
[startup+110.002 s]
Raw data (loadavg): 1.06 1.04 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 10168 39 0 0 25 0 11 0 713842261 858443776 23145 4294967295 134512640 134569956 3221224384 3221214360 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 23145 13086 16 0 209565 0
vsize: 838324
[startup+120.001 s]
Raw data (loadavg): 1.05 1.04 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 11119 39 0 0 25 0 11 0 713842261 858443776 23308 4294967295 134512640 134569956 3221224384 3221214544 1131426260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 23308 13086 16 0 209565 0
vsize: 838324
[startup+130.001 s]
Raw data (loadavg): 1.04 1.04 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 12069 40 0 0 25 0 11 0 713842261 858443776 23445 4294967295 134512640 134569956 3221224384 3221214824 1131157657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 23445 13086 16 0 209565 0
vsize: 838324
[startup+140.002 s]
Raw data (loadavg): 1.04 1.04 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 13030 40 0 0 25 0 11 0 713842261 858443776 23543 4294967295 134512640 134569956 3221224384 3221214168 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 23543 13086 16 0 209565 0
vsize: 838324
[startup+150.003 s]
Raw data (loadavg): 1.03 1.04 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 13988 40 0 0 25 0 11 0 713842261 858443776 23750 4294967295 134512640 134569956 3221224384 3221214456 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 23750 13086 16 0 209565 0
vsize: 838324
[startup+160.003 s]
Raw data (loadavg): 1.03 1.03 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 14948 40 0 0 25 0 11 0 713842261 858443776 23891 4294967295 134512640 134569956 3221224384 3221214592 1131453174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 23891 13086 16 0 209565 0
vsize: 838324
[startup+170.003 s]
Raw data (loadavg): 1.02 1.03 1.01 2/65 10530
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 15901 40 0 0 25 0 11 0 713842261 858443776 23959 4294967295 134512640 134569956 3221224384 3221214304 1131451401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 23959 13086 16 0 209565 0
vsize: 838324
[startup+180.002 s]
Raw data (loadavg): 1.09 1.05 1.01 2/65 10531
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 16852 40 0 0 25 0 11 0 713842261 858443776 24093 4294967295 134512640 134569956 3221224384 3221214660 1131166828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 24093 13086 16 0 209565 0
vsize: 838324
[startup+190.002 s]
Raw data (loadavg): 1.08 1.05 1.01 2/65 10532
Raw data (stat): 10511 (java) S 10510 32363 32362 0 -1 0 18119 3 1 0 17808 41 0 0 25 0 11 0 713842261 858443776 24214 4294967295 134512640 134569956 3221224384 3221213184 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 24214 13086 16 0 209565 0
vsize: 838324
[startup+200.003 s]
Raw data (loadavg): 1.06 1.04 1.01 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 18766 41 0 0 25 0 11 0 713842261 858443776 24369 4294967295 134512640 134569956 3221224384 3221214160 1131426296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 24369 13086 16 0 209565 0
vsize: 838324
[startup+210.003 s]
Raw data (loadavg): 1.05 1.04 1.01 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 19721 41 0 0 25 0 11 0 713842261 858443776 24529 4294967295 134512640 134569956 3221224384 3221214724 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 24529 13086 16 0 209565 0
vsize: 838324
[startup+220.002 s]
Raw data (loadavg): 1.05 1.04 1.01 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 20686 41 0 0 25 0 11 0 713842261 858443776 24702 4294967295 134512640 134569956 3221224384 3221214448 1131191789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 24702 13086 16 0 209565 0
vsize: 838324
[startup+230.009 s]
Raw data (loadavg): 1.04 1.04 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 21647 42 0 0 25 0 11 0 713842261 858443776 24808 4294967295 134512640 134569956 3221224384 3221214664 1131227983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 24808 13086 16 0 209565 0
vsize: 838324
[startup+240.008 s]
Raw data (loadavg): 1.03 1.04 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 22600 42 0 0 25 0 11 0 713842261 858443776 24925 4294967295 134512640 134569956 3221224384 3221214256 1131426395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 24925 13086 16 0 209565 0
vsize: 838324
[startup+250.009 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 23562 42 0 0 25 0 11 0 713842261 858443776 25043 4294967295 134512640 134569956 3221224384 3221214664 1131228197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 25043 13086 16 0 209565 0
vsize: 838324
[startup+260.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 24527 42 0 0 25 0 11 0 713842261 858443776 25195 4294967295 134512640 134569956 3221224384 3221214560 1131167363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25195 13086 16 0 209565 0
vsize: 838324
[startup+270.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 25495 42 0 0 25 0 11 0 713842261 858443776 25310 4294967295 134512640 134569956 3221224384 3221214560 1131167385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25310 13086 16 0 209565 0
vsize: 838324
[startup+280.01 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 26465 42 0 0 25 0 11 0 713842261 858443776 25437 4294967295 134512640 134569956 3221224384 3221214512 1131190466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25437 13086 16 0 209565 0
vsize: 838324
[startup+290.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 27437 42 0 0 25 0 11 0 713842261 858443776 25547 4294967295 134512640 134569956 3221224384 3221214256 1131426334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25547 13086 16 0 209565 0
vsize: 838324
[startup+300.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 28419 43 0 0 25 0 11 0 713842261 858443776 25611 4294967295 134512640 134569956 3221224384 3221214560 1131166853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 25611 13086 16 0 209565 0
vsize: 838324
[startup+310.011 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 29402 43 0 0 25 0 11 0 713842261 858443776 25669 4294967295 134512640 134569956 3221224384 3221214256 1131426260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25669 13086 16 0 209565 0
vsize: 838324
[startup+320.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 30385 43 0 0 25 0 11 0 713842261 858443776 25730 4294967295 134512640 134569956 3221224384 3221214384 1131360203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25730 13086 16 0 209565 0
vsize: 838324
[startup+330.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 31368 43 0 0 25 0 11 0 713842261 858443776 25789 4294967295 134512640 134569956 3221224384 3221214416 1131416151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 25789 13086 16 0 209565 0
vsize: 838324
[startup+340.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 32357 43 0 0 25 0 11 0 713842261 858443776 25821 4294967295 134512640 134569956 3221224384 3221214440 1131202880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25821 13086 16 0 209565 0
vsize: 838324
[startup+350.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 33345 43 0 0 25 0 11 0 713842261 858443776 25837 4294967295 134512640 134569956 3221224384 3221214336 1131510852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25837 13086 16 0 209565 0
vsize: 838324
[startup+360.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 34322 43 0 0 25 0 11 0 713842261 858443776 25920 4294967295 134512640 134569956 3221224384 3221214560 1131167416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 25920 13086 16 0 209565 0
vsize: 838324
[startup+370.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 35287 43 0 0 25 0 11 0 713842261 858443776 26030 4294967295 134512640 134569956 3221224384 3221214560 1131166882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26030 13086 16 0 209565 0
vsize: 838324
[startup+380.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 36252 44 0 0 24 0 11 0 713842261 858443776 26175 4294967295 134512640 134569956 3221224384 3221214368 1131500663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26175 13086 16 0 209565 0
vsize: 838324
[startup+390.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 37224 44 0 0 25 0 11 0 713842261 858443776 26339 4294967295 134512640 134569956 3221224384 3221214664 1131228201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26339 13086 16 0 209565 0
vsize: 838324
[startup+400.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 38193 45 0 0 25 0 11 0 713842261 858443776 26550 4294967295 134512640 134569956 3221224384 3221214384 1131530513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26550 13086 16 0 209565 0
vsize: 838324
[startup+410.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 39167 45 0 0 25 0 11 0 713842261 858443776 26677 4294967295 134512640 134569956 3221224384 3221214560 1131167247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26677 13086 16 0 209565 0
vsize: 838324
[startup+420.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 40141 45 0 0 25 0 11 0 713842261 858443776 26795 4294967295 134512640 134569956 3221224384 3221214440 1131191745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26795 13086 16 0 209565 0
vsize: 838324
[startup+430.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 41120 46 0 0 25 0 11 0 713842261 858443776 26847 4294967295 134512640 134569956 3221224384 3221214336 1131511439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26847 13086 16 0 209565 0
vsize: 838324
[startup+440.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 42093 46 0 0 25 0 11 0 713842261 858443776 26908 4294967295 134512640 134569956 3221224384 3221214164 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26908 13086 16 0 209565 0
vsize: 838324
[startup+450.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 43059 46 0 0 25 0 11 0 713842261 858443776 26995 4294967295 134512640 134569956 3221224384 3221214440 1131191430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 26995 13086 16 0 209565 0
vsize: 838324
[startup+460.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 44027 46 0 0 25 0 11 0 713842261 858443776 27099 4294967295 134512640 134569956 3221224384 3221214664 1131228197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27099 13086 16 0 209565 0
vsize: 838324
[startup+470.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 44994 47 0 0 25 0 11 0 713842261 858443776 27190 4294967295 134512640 134569956 3221224384 3221214336 1131511467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 27190 13086 16 0 209565 0
vsize: 838324
[startup+480.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 45961 47 0 0 24 0 11 0 713842261 858443776 27356 4294967295 134512640 134569956 3221224384 3221214448 1131191824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27356 13086 16 0 209565 0
vsize: 838324
[startup+490.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 46939 47 0 0 25 0 11 0 713842261 858443776 27463 4294967295 134512640 134569956 3221224384 3221214448 1131191835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27463 13086 16 0 209565 0
vsize: 838324
[startup+500.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 47915 48 0 0 25 0 11 0 713842261 858443776 27589 4294967295 134512640 134569956 3221224384 3221214448 1131191895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27589 13086 16 0 209565 0
vsize: 838324
[startup+510.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 48891 48 0 0 25 0 11 0 713842261 858443776 27639 4294967295 134512640 134569956 3221224384 3221214440 1131191761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27639 13086 16 0 209565 0
vsize: 838324
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 49862 48 0 0 25 0 11 0 713842261 858443776 27722 4294967295 134512640 134569956 3221224384 3221214560 1131167504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27722 13086 16 0 209565 0
vsize: 838324
[startup+530.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 50834 48 0 0 25 0 11 0 713842261 858443776 27821 4294967295 134512640 134569956 3221224384 3221214664 1131228197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27821 13086 16 0 209565 0
vsize: 838324
[startup+540.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 51811 48 0 0 25 0 11 0 713842261 858443776 27915 4294967295 134512640 134569956 3221224384 3221214664 1131232276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 27915 13086 16 0 209565 0
vsize: 838324
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 52787 48 0 0 25 0 11 0 713842261 858443776 28005 4294967295 134512640 134569956 3221224384 3221214448 1131191861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28005 13086 16 0 209565 0
vsize: 838324
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 53763 48 0 0 25 0 11 0 713842261 858443776 28092 4294967295 134512640 134569956 3221224384 3221214560 1131167440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28092 13086 16 0 209565 0
vsize: 838324
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 54740 49 0 0 25 0 11 0 713842261 858443776 28186 4294967295 134512640 134569956 3221224384 3221214560 1131166853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28186 13086 16 0 209565 0
vsize: 838324
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 55711 49 0 0 25 0 11 0 713842261 858443776 28239 4294967295 134512640 134569956 3221224384 3221214560 1131167436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28239 13086 16 0 209565 0
vsize: 838324
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 56682 49 0 0 25 0 11 0 713842261 858443776 28322 4294967295 134512640 134569956 3221224384 3221214212 1131427684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28322 13086 16 0 209565 0
vsize: 838324
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 57664 50 0 0 25 0 11 0 713842261 858443776 28430 4294967295 134512640 134569956 3221224384 3221214664 1131228262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28430 13086 16 0 209565 0
vsize: 838324
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 58646 50 0 0 25 0 11 0 713842261 858443776 28499 4294967295 134512640 134569956 3221224384 3221214560 1131167722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28499 13086 16 0 209565 0
vsize: 838324
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 59623 50 0 0 25 0 11 0 713842261 858443776 28599 4294967295 134512640 134569956 3221224384 3221214560 1131166882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28599 13086 16 0 209565 0
vsize: 838324
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 60599 50 0 0 25 0 11 0 713842261 858443776 28670 4294967295 134512640 134569956 3221224384 3221213984 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28670 13086 16 0 209565 0
vsize: 838324
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 61570 50 0 0 25 0 11 0 713842261 858443776 28748 4294967295 134512640 134569956 3221224384 3221214260 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28748 13086 16 0 209565 0
vsize: 838324
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 62541 50 0 0 25 0 11 0 713842261 858443776 28830 4294967295 134512640 134569956 3221224384 3221214548 1131189280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28830 13086 16 0 209565 0
vsize: 838324
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 63522 51 0 0 25 0 11 0 713842261 858443776 28880 4294967295 134512640 134569956 3221224384 3221214448 1131191845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28880 13086 16 0 209565 0
vsize: 838324
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 64494 51 0 0 25 0 11 0 713842261 858443776 28985 4294967295 134512640 134569956 3221224384 3221214296 1131453108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 28985 13086 16 0 209565 0
vsize: 838324
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 65475 51 0 0 25 0 11 0 713842261 858443776 29024 4294967295 134512640 134569956 3221224384 3221214416 1131359921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29024 13086 16 0 209565 0
vsize: 838324
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 66451 51 0 0 25 0 11 0 713842261 858443776 29110 4294967295 134512640 134569956 3221224384 3221214560 1131167367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29110 13086 16 0 209565 0
vsize: 838324
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 67431 51 0 0 25 0 11 0 713842261 858443776 29135 4294967295 134512640 134569956 3221224384 3221214208 1131451656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29135 13086 16 0 209565 0
vsize: 838324
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 68412 51 0 0 25 0 11 0 713842261 858443776 29183 4294967295 134512640 134569956 3221224384 3221214664 1131228197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29183 13086 16 0 209565 0
vsize: 838324
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 69385 51 0 0 24 0 11 0 713842261 858443776 29212 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29212 13086 16 0 209565 0
vsize: 838324
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 70364 51 0 0 25 0 11 0 713842261 858443776 29281 4294967295 134512640 134569956 3221224384 3221214392 1131457024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29281 13086 16 0 209565 0
vsize: 838324
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 71332 52 0 0 25 0 11 0 713842261 858443776 29362 4294967295 134512640 134569956 3221224384 3221214664 1131228197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29362 13086 16 0 209565 0
vsize: 838324
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 72316 52 0 0 25 0 11 0 713842261 858443776 29409 4294967295 134512640 134569956 3221224384 3221214488 1131455320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29409 13086 16 0 209565 0
vsize: 838324
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 73292 52 0 0 25 0 11 0 713842261 858443776 29516 4294967295 134512640 134569956 3221224384 3221214664 1131228197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29516 13086 16 0 209565 0
vsize: 838324
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 74259 53 0 0 25 0 11 0 713842261 858443776 29642 4294967295 134512640 134569956 3221224384 3221214484 1130885222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29642 13086 16 0 209565 0
vsize: 838324
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 75250 53 0 0 25 0 11 0 713842261 858443776 29685 4294967295 134512640 134569956 3221224384 3221214208 1131325363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29685 13086 16 0 209565 0
vsize: 838324
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 76216 53 0 0 25 0 11 0 713842261 858443776 29788 4294967295 134512640 134569956 3221224384 3221214448 1131191891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29788 13086 16 0 209565 0
vsize: 838324
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 77195 53 0 0 25 0 11 0 713842261 858443776 29864 4294967295 134512640 134569956 3221224384 3221214456 1131507456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29864 13086 16 0 209565 0
vsize: 838324
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 78177 54 0 0 25 0 11 0 713842261 858443776 29943 4294967295 134512640 134569956 3221224384 3221214408 1131376376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 29943 13086 16 0 209565 0
vsize: 838324
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 79152 54 0 0 25 0 11 0 713842261 858443776 30008 4294967295 134512640 134569956 3221224384 3221214560 1131167444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30008 13086 16 0 209565 0
vsize: 838324
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 80132 54 0 0 25 0 11 0 713842261 858443776 30033 4294967295 134512640 134569956 3221224384 3221213832 1131427668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 30033 13086 16 0 209565 0
vsize: 838324
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 81110 55 0 0 25 0 11 0 713842261 858443776 30070 4294967295 134512640 134569956 3221224384 3221214560 1131167247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30070 13086 16 0 209565 0
vsize: 838324
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 82084 55 0 0 25 0 11 0 713842261 858443776 30123 4294967295 134512640 134569956 3221224384 3221214560 1131166882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30123 13086 16 0 209565 0
vsize: 838324
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 83067 55 0 0 25 0 11 0 713842261 858443776 30149 4294967295 134512640 134569956 3221224384 3221214592 1131456832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30149 13086 16 0 209565 0
vsize: 838324
[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 84038 55 0 0 25 0 11 0 713842261 858443776 30227 4294967295 134512640 134569956 3221224384 3221214160 1131426165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30227 13086 16 0 209565 0
vsize: 838324
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 85004 55 0 0 25 0 11 0 713842261 858443776 30358 4294967295 134512640 134569956 3221224384 3221214560 1131167432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30358 13086 16 0 209565 0
vsize: 838324
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 85971 55 0 0 25 0 11 0 713842261 858443776 30482 4294967295 134512640 134569956 3221224384 3221214560 1131167480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30482 13086 16 0 209565 0
vsize: 838324
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 86943 56 0 0 25 0 11 0 713842261 858443776 30547 4294967295 134512640 134569956 3221224384 3221214664 1131228190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 30547 13086 16 0 209565 0
vsize: 838324
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 87913 56 0 0 25 0 11 0 713842261 858443776 30604 4294967295 134512640 134569956 3221224384 3221214560 1131167454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30604 13086 16 0 209565 0
vsize: 838324
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 88889 56 0 0 25 0 11 0 713842261 858443776 30711 4294967295 134512640 134569956 3221224384 3221214560 1131167511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30711 13086 16 0 209565 0
vsize: 838324
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 89856 56 0 0 25 0 11 0 713842261 858443776 30774 4294967295 134512640 134569956 3221224384 3221214560 1131167373 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30774 13086 16 0 209565 0
vsize: 838324
[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 90831 57 0 0 25 0 11 0 713842261 858443776 30837 4294967295 134512640 134569956 3221224384 3221214156 1131426320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30837 13086 16 0 209565 0
vsize: 838324
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 91806 57 0 0 25 0 11 0 713842261 858443776 30887 4294967295 134512640 134569956 3221224384 3221214560 1131167504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30887 13086 16 0 209565 0
vsize: 838324
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 92773 57 0 0 25 0 11 0 713842261 858443776 30959 4294967295 134512640 134569956 3221224384 3221214560 1131167140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 30959 13086 16 0 209565 0
vsize: 838324
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) S 10510 32363 32362 0 -1 0 18119 3 1 0 93735 57 0 0 25 0 11 0 713842261 858443776 31074 4294967295 134512640 134569956 3221224384 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31074 13086 16 0 209565 0
vsize: 838324
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 94707 57 0 0 25 0 11 0 713842261 858443776 31133 4294967295 134512640 134569956 3221224384 3221214560 1131167452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31133 13086 16 0 209565 0
vsize: 838324
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 95675 57 0 0 25 0 11 0 713842261 858443776 31278 4294967295 134512640 134569956 3221224384 3221214840 1131433759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31278 13086 16 0 209565 0
vsize: 838324
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 96655 58 0 0 25 0 11 0 713842261 858443776 31338 4294967295 134512640 134569956 3221224384 3221214116 1131427684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31338 13086 16 0 209565 0
vsize: 838324
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 97630 58 0 0 25 0 11 0 713842261 858443776 31409 4294967295 134512640 134569956 3221224384 3221214560 1131167942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31409 13086 16 0 209565 0
vsize: 838324
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 98605 58 0 0 25 0 11 0 713842261 858443776 31470 4294967295 134512640 134569956 3221224384 3221214664 1131228262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31470 13086 16 0 209565 0
vsize: 838324
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 99580 58 0 0 25 0 11 0 713842261 858443776 31511 4294967295 134512640 134569956 3221224384 3221213880 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31511 13086 16 0 209565 0
vsize: 838324
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 100559 58 0 0 25 0 11 0 713842261 858443776 31558 4294967295 134512640 134569956 3221224384 3221214664 1131228197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31558 13086 16 0 209565 0
vsize: 838324
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 101533 58 0 0 25 0 11 0 713842261 858443776 31587 4294967295 134512640 134569956 3221224384 3221214208 1131456999 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209581 31587 13086 16 0 209565 0
vsize: 838324
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 102501 58 0 0 25 0 11 0 713842261 858443776 31708 4294967295 134512640 134569956 3221224384 3221214448 1131191824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 31708 13086 16 0 209565 0
vsize: 838324
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 103476 58 0 0 25 0 11 0 713842261 858443776 31799 4294967295 134512640 134569956 3221224384 3221214560 1131167363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 31799 13086 16 0 209565 0
vsize: 838324
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 104451 58 0 0 25 0 11 0 713842261 858443776 31860 4294967295 134512640 134569956 3221224384 3221214664 1131228194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 31860 13086 16 0 209565 0
vsize: 838324
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) S 10510 32363 32362 0 -1 0 18119 3 1 0 105425 58 0 0 25 0 11 0 713842261 858443776 31929 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 31929 13086 16 0 209565 0
vsize: 838324
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 106408 59 0 0 25 0 11 0 713842261 858443776 31994 4294967295 134512640 134569956 3221224384 3221214560 1131167494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 31994 13086 16 0 209565 0
vsize: 838324
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10532
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 107387 59 0 0 25 0 11 0 713842261 858443776 32029 4294967295 134512640 134569956 3221224384 3221214416 1131416151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 32029 13086 16 0 209565 0
vsize: 838324
[startup+1115.54 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10533
Raw data (stat): 10511 (java) R 10510 32363 32362 0 -1 0 18119 3 1 0 107387 59 0 0 25 0 11 0 713842261 858443776 32029 4294967295 134512640 134569956 3221224384 3221214416 1131416151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209581 32029 13086 16 0 209565 0
vsize: 0

Child status: 30
Real time (s): 1115.54
CPU time (s): 1123.73
CPU user time (s): 1122.65
CPU system time (s): 1.08683
CPU usage (%): 100.735
Max. virtual memory (Kb): 839936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1567
#### END VERIFIER DATA ####