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-c8.opb
MD5SUM	9b291040ec2b77d0bffb739c0db80d53
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1194
Optimality of the best value was proved	NO
Number of terms in the objective function	239
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	10012
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	10012
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.941856
Number of variables	239
Total number of constraints	524
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4
Minimum length of a constraint	1
Maximum length of a constraint	36
Trace number 29285

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 06:03:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20660 boxname=wulflinc29 idbench=250 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9b291040ec2b77d0bffb739c0db80d53  /oldhome/oroussel/tmp/wulflinc29/normalized-c8.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc29/normalized-c8.opb
IDLAUNCH: 20660
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        746128 kB
Buffers:         27632 kB
Cached:         235840 kB
SwapCached:        572 kB
Active:          35656 kB
Inactive:       233360 kB
HighTotal:      131008 kB
HighFree:        20020 kB
LowTotal:       903652 kB
LowFree:        726108 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            13924 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:24:10 (client local time) WITH STATUS 143 IN 1252.51 SECONDS
stats: 20660 0 1252.51 143
#### 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/wulflinc29/normalized-c8.opb
c reading problem ... done. Time 1.105 ms.
c #vars     239
c #constraints  524
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                1489 		Current CPU time: 1.50 ms
c CURRENT OPTIMUM=                1483 		Current CPU time: 218.59 ms
c starts	: 12
c conflicts	: 2684
c decisions	: 21605
c propagations	: 66991
c inspects	: 2991653
c learned literals	: 4
c learned binary clauses	: 1
c learned ternary clauses	: 0
c learned clauses	: 2680
c root simplifications	: 16
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 x31 x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 x77 x78 -x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 
c objectif function=1483
c Total CPU time (ms) : 1249.133
#### 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.78 0.95 0.97 2/54 30308
Raw data (stat): 30308 (runsolver) R 30307 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836564889 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+10.0011 s]
Raw data (loadavg): 0.89 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18109 3 1 0 787 42 0 0 25 0 11 0 836564889 856322048 19808 4294967295 134512640 134569956 3221224384 3221214800 1130864123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209063 19808 13086 16 0 209047 0
vsize: 836252
[startup+20.0021 s]
Raw data (loadavg): 0.91 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18110 3 1 0 1725 43 0 0 25 0 11 0 836564889 855334912 20489 4294967295 134512640 134569956 3221224384 3221214768 1131244169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 20489 13086 16 0 208806 0
vsize: 835288
[startup+30.0015 s]
Raw data (loadavg): 0.92 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18110 3 1 0 2673 43 0 0 25 0 11 0 836564889 855334912 20876 4294967295 134512640 134569956 3221224384 3221214620 1131188512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 20876 13086 16 0 208806 0
vsize: 835288
[startup+40.0045 s]
Raw data (loadavg): 0.93 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) S 30307 20001 20000 0 -1 0 18110 3 1 0 3620 43 0 0 25 0 11 0 836564889 855334912 20999 4294967295 134512640 134569956 3221224384 3221213224 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 20999 13086 16 0 208806 0
vsize: 835288
[startup+50.0057 s]
Raw data (loadavg): 0.94 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18110 3 1 0 4564 43 0 0 25 0 11 0 836564889 855334912 21186 4294967295 134512640 134569956 3221224384 3221214536 1131247894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 21186 13086 16 0 208806 0
vsize: 835288
[startup+60.0063 s]
Raw data (loadavg): 0.95 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18110 3 1 0 5507 43 0 0 25 0 11 0 836564889 855334912 21531 4294967295 134512640 134569956 3221224384 3221214704 1131220878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 21531 13086 16 0 208806 0
vsize: 835288
[startup+70.0065 s]
Raw data (loadavg): 0.96 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 6457 43 0 0 25 0 11 0 836564889 855334912 21663 4294967295 134512640 134569956 3221224384 3221214700 1131199840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 21663 13086 16 0 208806 0
vsize: 835288
[startup+80.0067 s]
Raw data (loadavg): 0.96 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 7397 43 0 0 25 0 11 0 836564889 855334912 21799 4294967295 134512640 134569956 3221224384 3221214536 1131247436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 21799 13086 16 0 208806 0
vsize: 835288
[startup+90.0076 s]
Raw data (loadavg): 0.97 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 8344 43 0 0 25 0 11 0 836564889 855334912 21972 4294967295 134512640 134569956 3221224384 3221214704 1131220755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 21972 13086 16 0 208806 0
vsize: 835288
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 9290 43 0 0 25 0 11 0 836564889 855334912 22134 4294967295 134512640 134569956 3221224384 3221214472 1131431911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 22134 13086 16 0 208806 0
vsize: 835288
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 10234 43 0 0 25 0 11 0 836564889 855334912 22447 4294967295 134512640 134569956 3221224384 3221214760 1131225938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 22447 13086 16 0 208806 0
vsize: 835288
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 11196 43 0 0 25 0 11 0 836564889 855334912 22573 4294967295 134512640 134569956 3221224384 3221214640 1131310201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 22573 13086 16 0 208806 0
vsize: 835288
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.97 2/64 30319
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 12160 43 0 0 25 0 11 0 836564889 855334912 22670 4294967295 134512640 134569956 3221224384 3221214640 1131310703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 22670 13086 16 0 208806 0
vsize: 835288
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.97 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 13105 43 0 0 24 0 11 0 836564889 855334912 22791 4294967295 134512640 134569956 3221224384 3221214792 1131146371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 22791 13086 16 0 208806 0
vsize: 835288
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 14067 43 0 0 25 0 11 0 836564889 855334912 22887 4294967295 134512640 134569956 3221224384 3221214096 1085679318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 22887 13086 16 0 208806 0
vsize: 835288
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 15018 43 0 0 25 0 11 0 836564889 855334912 22978 4294967295 134512640 134569956 3221224384 3221214276 1131485833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 22978 13086 16 0 208806 0
vsize: 835288
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 15956 43 0 0 25 0 11 0 836564889 855334912 23099 4294967295 134512640 134569956 3221224384 3221214792 1131146371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 23099 13086 16 0 208806 0
vsize: 835288
[startup+180.01 s]
Raw data (loadavg): 1.06 0.99 0.98 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 16896 43 0 0 25 0 11 0 836564889 855334912 23330 4294967295 134512640 134569956 3221224384 3221214616 1131199911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 23330 13086 16 0 208806 0
vsize: 835288
[startup+190.01 s]
Raw data (loadavg): 1.05 0.99 0.98 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 17844 43 0 0 25 0 11 0 836564889 855334912 23549 4294967295 134512640 134569956 3221224384 3221214680 1131189172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 23549 13086 16 0 208806 0
vsize: 835288
[startup+200.01 s]
Raw data (loadavg): 1.05 0.99 0.98 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 18792 43 0 0 25 0 11 0 836564889 855334912 23690 4294967295 134512640 134569956 3221224384 3221214704 1131220517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 23690 13086 16 0 208806 0
vsize: 835288
[startup+210.011 s]
Raw data (loadavg): 1.04 0.99 0.98 2/64 30321
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 19749 43 0 0 25 0 11 0 836564889 855334912 23842 4294967295 134512640 134569956 3221224384 3221214400 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 23842 13086 16 0 208806 0
vsize: 835288
[startup+220.011 s]
Raw data (loadavg): 1.03 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 20695 43 0 0 25 0 11 0 836564889 855334912 23981 4294967295 134512640 134569956 3221224384 3221214148 1085632316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 23981 13086 16 0 208806 0
vsize: 835288
[startup+230.011 s]
Raw data (loadavg): 1.03 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 21642 43 0 0 25 0 11 0 836564889 855334912 24106 4294967295 134512640 134569956 3221224384 3221214528 1131247776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 24106 13086 16 0 208806 0
vsize: 835288
[startup+240.016 s]
Raw data (loadavg): 1.02 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) S 30307 20001 20000 0 -1 0 18111 3 1 0 22595 43 0 0 25 0 11 0 836564889 855334912 24224 4294967295 134512640 134569956 3221224384 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 24224 13086 16 0 208806 0
vsize: 835288
[startup+250.016 s]
Raw data (loadavg): 1.02 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 23538 43 0 0 24 0 11 0 836564889 855334912 24345 4294967295 134512640 134569956 3221224384 3221214816 1131210230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 24345 13086 16 0 208806 0
vsize: 835288
[startup+260.018 s]
Raw data (loadavg): 1.02 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 24484 43 0 0 25 0 11 0 836564889 855334912 24522 4294967295 134512640 134569956 3221224384 3221214796 1131189152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 24522 13086 16 0 208806 0
vsize: 835288
[startup+270.019 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 25439 43 0 0 25 0 11 0 836564889 855334912 24735 4294967295 134512640 134569956 3221224384 3221214140 1131485072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 24735 13086 16 0 208806 0
vsize: 835288
[startup+280.018 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 26408 44 0 0 25 0 11 0 836564889 855334912 24787 4294967295 134512640 134569956 3221224384 3221214712 1131220660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 24787 13086 16 0 208806 0
vsize: 835288
[startup+290.019 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 27359 44 0 0 25 0 11 0 836564889 855334912 24923 4294967295 134512640 134569956 3221224384 3221214712 1131220283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 24923 13086 16 0 208806 0
vsize: 835288
[startup+300.019 s]
Raw data (loadavg): 1.01 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 28318 44 0 0 25 0 11 0 836564889 855334912 25084 4294967295 134512640 134569956 3221224384 3221214096 1131485073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208822 25084 13086 16 0 208806 0
vsize: 835288
[startup+310.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 29280 44 0 0 25 0 11 0 836564889 855334912 25219 4294967295 134512640 134569956 3221224384 3221214328 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 25219 13086 16 0 208806 0
vsize: 835288
[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 30232 44 0 0 25 0 11 0 836564889 855334912 25259 4294967295 134512640 134569956 3221224384 3221214500 1131438451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 25259 13086 16 0 208806 0
vsize: 835288
[startup+330.021 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 31183 44 0 0 25 0 11 0 836564889 855334912 25388 4294967295 134512640 134569956 3221224384 3221214520 1131247736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 25388 13086 16 0 208806 0
vsize: 835288
[startup+340.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 32136 44 0 0 25 0 11 0 836564889 855334912 25532 4294967295 134512640 134569956 3221224384 3221214712 1131220882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 25532 13086 16 0 208806 0
vsize: 835288
[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 33090 44 0 0 25 0 11 0 836564889 855334912 25710 4294967295 134512640 134569956 3221224384 3221214688 1131189172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 25710 13086 16 0 208806 0
vsize: 835288
[startup+360.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 34046 44 0 0 25 0 11 0 836564889 855334912 25862 4294967295 134512640 134569956 3221224384 3221214584 1131175071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 25862 13086 16 0 208806 0
vsize: 835288
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 34999 44 0 0 24 0 11 0 836564889 855334912 25941 4294967295 134512640 134569956 3221224384 3221214688 1131189172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 25941 13086 16 0 208806 0
vsize: 835288
[startup+380.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 35959 44 0 0 25 0 11 0 836564889 855334912 26016 4294967295 134512640 134569956 3221224384 3221214800 1131146364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26016 13086 16 0 208806 0
vsize: 835288
[startup+390.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 36911 45 0 0 25 0 11 0 836564889 855334912 26181 4294967295 134512640 134569956 3221224384 3221214520 1131189663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26181 13086 16 0 208806 0
vsize: 835288
[startup+400.025 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 37866 45 0 0 25 0 11 0 836564889 855334912 26298 4294967295 134512640 134569956 3221224384 3221214800 1131146371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26298 13086 16 0 208806 0
vsize: 835288
[startup+410.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 38829 45 0 0 25 0 11 0 836564889 855334912 26389 4294967295 134512640 134569956 3221224384 3221214408 1131487767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26389 13086 16 0 208806 0
vsize: 835288
[startup+420.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 39792 45 0 0 25 0 11 0 836564889 855334912 26565 4294967295 134512640 134569956 3221224384 3221214480 1131485082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26565 13086 16 0 208806 0
vsize: 835288
[startup+430.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 40769 45 0 0 25 0 11 0 836564889 855334912 26661 4294967295 134512640 134569956 3221224384 3221214712 1131220635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26661 13086 16 0 208806 0
vsize: 835288
[startup+440.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 41739 45 0 0 25 0 11 0 836564889 855334912 26719 4294967295 134512640 134569956 3221224384 3221214224 1085679538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26719 13086 16 0 208806 0
vsize: 835288
[startup+450.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 42715 45 0 0 25 0 11 0 836564889 855334912 26772 4294967295 134512640 134569956 3221224384 3221214032 1131485610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26772 13086 16 0 208806 0
vsize: 835288
[startup+460.029 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 43707 45 0 0 25 0 11 0 836564889 855334912 26778 4294967295 134512640 134569956 3221224384 3221214800 1131146371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26778 13086 16 0 208806 0
vsize: 835288
[startup+470.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 44677 46 0 0 25 0 11 0 836564889 855334912 26838 4294967295 134512640 134569956 3221224384 3221214632 1131280716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26838 13086 16 0 208806 0
vsize: 835288
[startup+480.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 45613 46 0 0 25 0 11 0 836564889 855334912 26973 4294967295 134512640 134569956 3221224384 3221214760 1131357350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 26973 13086 16 0 208806 0
vsize: 835288
[startup+490.031 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 46559 46 0 0 25 0 11 0 836564889 855334912 27120 4294967295 134512640 134569956 3221224384 3221214360 1131485727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 27120 13086 16 0 208806 0
vsize: 835288
[startup+500.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 47503 46 0 0 25 0 11 0 836564889 855334912 27326 4294967295 134512640 134569956 3221224384 3221214224 1085679538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 27326 13086 16 0 208806 0
vsize: 835288
[startup+510.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 48461 46 0 0 25 0 11 0 836564889 855334912 27462 4294967295 134512640 134569956 3221224384 3221214120 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 27462 13086 16 0 208806 0
vsize: 835288
[startup+520.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 49425 46 0 0 25 0 11 0 836564889 855334912 27739 4294967295 134512640 134569956 3221224384 3221214424 1131457873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 27739 13086 16 0 208806 0
vsize: 835288
[startup+530.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 50402 46 0 0 25 0 11 0 836564889 855334912 27800 4294967295 134512640 134569956 3221224384 3221214796 1131189152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 27800 13086 16 0 208806 0
vsize: 835288
[startup+540.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 51369 46 0 0 25 0 11 0 836564889 855334912 27889 4294967295 134512640 134569956 3221224384 3221214708 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 27889 13086 16 0 208806 0
vsize: 835288
[startup+550.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 52341 46 0 0 25 0 11 0 836564889 855334912 27953 4294967295 134512640 134569956 3221224384 3221214712 1131220635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 27953 13086 16 0 208806 0
vsize: 835288
[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 53307 46 0 0 25 0 11 0 836564889 855334912 28025 4294967295 134512640 134569956 3221224384 3221214816 1131210071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28025 13086 16 0 208806 0
vsize: 835288
[startup+570.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 54272 46 0 0 25 0 11 0 836564889 855334912 28117 4294967295 134512640 134569956 3221224384 3221214816 1131209964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28117 13086 16 0 208806 0
vsize: 835288
[startup+580.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) S 30307 20001 20000 0 -1 0 18111 3 1 0 55239 46 0 0 25 0 11 0 836564889 855334912 28234 4294967295 134512640 134569956 3221224384 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28234 13086 16 0 208806 0
vsize: 835288
[startup+590.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 56206 46 0 0 25 0 11 0 836564889 855334912 28368 4294967295 134512640 134569956 3221224384 3221214580 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28368 13086 16 0 208806 0
vsize: 835288
[startup+600.046 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 57184 46 0 0 25 0 11 0 836564889 855334912 28412 4294967295 134512640 134569956 3221224384 3221214712 1131220878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28412 13086 16 0 208806 0
vsize: 835288
[startup+610.046 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 58160 46 0 0 25 0 11 0 836564889 855334912 28482 4294967295 134512640 134569956 3221224384 3221214568 1131488560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28482 13086 16 0 208806 0
vsize: 835288
[startup+620.047 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 59134 47 0 0 25 0 11 0 836564889 855334912 28533 4294967295 134512640 134569956 3221224384 3221213864 1131485780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28533 13086 16 0 208806 0
vsize: 835288
[startup+630.046 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 60116 47 0 0 25 0 11 0 836564889 855334912 28587 4294967295 134512640 134569956 3221224384 3221214152 1131485073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28587 13086 16 0 208806 0
vsize: 835288
[startup+640.046 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 61075 47 0 0 25 0 11 0 836564889 855334912 28663 4294967295 134512640 134569956 3221224384 3221214688 1131189293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28663 13086 16 0 208806 0
vsize: 835288
[startup+650.046 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 62047 47 0 0 25 0 11 0 836564889 855334912 28700 4294967295 134512640 134569956 3221224384 3221214712 1131220712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28700 13086 16 0 208806 0
vsize: 835288
[startup+660.047 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 63009 47 0 0 24 0 11 0 836564889 855334912 28761 4294967295 134512640 134569956 3221224384 3221214712 1131220882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28761 13086 16 0 208806 0
vsize: 835288
[startup+670.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 63969 47 0 0 24 0 11 0 836564889 855334912 28814 4294967295 134512640 134569956 3221224384 3221214816 1131210338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28814 13086 16 0 208806 0
vsize: 835288
[startup+680.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 64929 47 0 0 25 0 11 0 836564889 855334912 28908 4294967295 134512640 134569956 3221224384 3221214688 1131189285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 28908 13086 16 0 208806 0
vsize: 835288
[startup+690.049 s]
Raw data (loadavg): 1.07 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 65888 47 0 0 25 0 11 0 836564889 855334912 29033 4294967295 134512640 134569956 3221224384 3221214712 1131221088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29033 13086 16 0 208806 0
vsize: 835288
[startup+700.049 s]
Raw data (loadavg): 1.06 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 66839 47 0 0 25 0 11 0 836564889 855334912 29223 4294967295 134512640 134569956 3221224384 3221214708 1131199840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29223 13086 16 0 208806 0
vsize: 835288
[startup+710.05 s]
Raw data (loadavg): 1.05 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 67804 47 0 0 25 0 11 0 836564889 855334912 29303 4294967295 134512640 134569956 3221224384 3221214708 1131199840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29303 13086 16 0 208806 0
vsize: 835288
[startup+720.051 s]
Raw data (loadavg): 1.04 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 68764 47 0 0 25 0 11 0 836564889 855334912 29416 4294967295 134512640 134569956 3221224384 3221214636 1131315500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29416 13086 16 0 208806 0
vsize: 835288
[startup+730.052 s]
Raw data (loadavg): 1.04 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 69723 47 0 0 25 0 11 0 836564889 855334912 29528 4294967295 134512640 134569956 3221224384 3221214624 1131310201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29528 13086 16 0 208806 0
vsize: 835288
[startup+740.052 s]
Raw data (loadavg): 1.03 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 70685 47 0 0 25 0 11 0 836564889 855334912 29653 4294967295 134512640 134569956 3221224384 3221214200 1131485052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29653 13086 16 0 208806 0
vsize: 835288
[startup+750.052 s]
Raw data (loadavg): 1.02 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 71648 47 0 0 25 0 11 0 836564889 855334912 29737 4294967295 134512640 134569956 3221224384 3221214256 1131485052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29737 13086 16 0 208806 0
vsize: 835288
[startup+760.053 s]
Raw data (loadavg): 1.02 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 72616 47 0 0 25 0 11 0 836564889 855334912 29829 4294967295 134512640 134569956 3221224384 3221214712 1131220816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29829 13086 16 0 208806 0
vsize: 835288
[startup+770.053 s]
Raw data (loadavg): 1.02 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 73578 47 0 0 25 0 11 0 836564889 855334912 29931 4294967295 134512640 134569956 3221224384 3221214800 1131146371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 29931 13086 16 0 208806 0
vsize: 835288
[startup+780.053 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 74540 47 0 0 25 0 11 0 836564889 855334912 30028 4294967295 134512640 134569956 3221224384 3221214800 1131146371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30028 13086 16 0 208806 0
vsize: 835288
[startup+790.053 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 75502 47 0 0 25 0 11 0 836564889 855334912 30116 4294967295 134512640 134569956 3221224384 3221214712 1131220716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30116 13086 16 0 208806 0
vsize: 835288
[startup+800.053 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 76463 47 0 0 25 0 11 0 836564889 855334912 30246 4294967295 134512640 134569956 3221224384 3221214712 1131220609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30246 13086 16 0 208806 0
vsize: 835288
[startup+810.054 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 77426 47 0 0 25 0 11 0 836564889 855334912 30351 4294967295 134512640 134569956 3221224384 3221214520 1131247810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30351 13086 16 0 208806 0
vsize: 835288
[startup+820.054 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 78396 48 0 0 25 0 11 0 836564889 855334912 30453 4294967295 134512640 134569956 3221224384 3221214712 1131220289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30453 13086 16 0 208806 0
vsize: 835288
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 79357 48 0 0 25 0 11 0 836564889 855334912 30573 4294967295 134512640 134569956 3221224384 3221214520 1131247938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30573 13086 16 0 208806 0
vsize: 835288
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 80322 48 0 0 25 0 11 0 836564889 855334912 30694 4294967295 134512640 134569956 3221224384 3221214792 1131206681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30694 13086 16 0 208806 0
vsize: 835288
[startup+850.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 81292 48 0 0 25 0 11 0 836564889 855334912 30844 4294967295 134512640 134569956 3221224384 3221213904 1131483425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 30844 13086 16 0 208806 0
vsize: 835288
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 82265 48 0 0 25 0 11 0 836564889 855334912 30955 4294967295 134512640 134569956 3221224384 3221214632 1131279941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208822 30955 13086 16 0 208806 0
vsize: 835288
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) S 30307 20001 20000 0 -1 0 18111 3 1 0 83241 48 0 0 25 0 11 0 836564889 855334912 31042 4294967295 134512640 134569956 3221224384 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31042 13086 16 0 208806 0
vsize: 835288
[startup+880.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 84213 48 0 0 25 0 11 0 836564889 855334912 31097 4294967295 134512640 134569956 3221224384 3221214608 1131188592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31097 13086 16 0 208806 0
vsize: 835288
[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 85186 48 0 0 25 0 11 0 836564889 855334912 31126 4294967295 134512640 134569956 3221224384 3221214584 1131175065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31126 13086 16 0 208806 0
vsize: 835288
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 86162 48 0 0 25 0 11 0 836564889 855334912 31180 4294967295 134512640 134569956 3221224384 3221214816 1131210516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31180 13086 16 0 208806 0
vsize: 835288
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 87138 48 0 0 25 0 11 0 836564889 855334912 31220 4294967295 134512640 134569956 3221224384 3221213872 1131485048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31220 13086 16 0 208806 0
vsize: 835288
[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 88121 48 0 0 25 0 11 0 836564889 855334912 31247 4294967295 134512640 134569956 3221224384 3221214712 1131221202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31247 13086 16 0 208806 0
vsize: 835288
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 89103 48 0 0 25 0 11 0 836564889 855334912 31295 4294967295 134512640 134569956 3221224384 3221214520 1131247971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31295 13086 16 0 208806 0
vsize: 835288
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 90071 48 0 0 25 0 11 0 836564889 855334912 31383 4294967295 134512640 134569956 3221224384 3221214112 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31383 13086 16 0 208806 0
vsize: 835288
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 91046 48 0 0 25 0 11 0 836564889 855334912 31451 4294967295 134512640 134569956 3221224384 3221214164 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31451 13086 16 0 208806 0
vsize: 835288
[startup+960.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 92012 48 0 0 25 0 11 0 836564889 855334912 31531 4294967295 134512640 134569956 3221224384 3221213928 1131485073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31531 13086 16 0 208806 0
vsize: 835288
[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 92997 48 0 0 25 0 11 0 836564889 855334912 31553 4294967295 134512640 134569956 3221224384 3221214080 1131485826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31553 13086 16 0 208806 0
vsize: 835288
[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 93974 48 0 0 25 0 11 0 836564889 855334912 31554 4294967295 134512640 134569956 3221224384 3221214448 1085679508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31554 13086 16 0 208806 0
vsize: 835288
[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 94949 49 0 0 25 0 11 0 836564889 855334912 31588 4294967295 134512640 134569956 3221224384 3221214584 1131485673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31588 13086 16 0 208806 0
vsize: 835288
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 95915 49 0 0 25 0 11 0 836564889 855334912 31657 4294967295 134512640 134569956 3221224384 3221214812 1131146427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31657 13086 16 0 208806 0
vsize: 835288
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 96883 49 0 0 25 0 11 0 836564889 855334912 31762 4294967295 134512640 134569956 3221224384 3221214580 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31762 13086 16 0 208806 0
vsize: 835288
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 97846 49 0 0 24 0 11 0 836564889 855334912 31872 4294967295 134512640 134569956 3221224384 3221214712 1131220635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31872 13086 16 0 208806 0
vsize: 835288
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 98817 49 0 0 25 0 11 0 836564889 855334912 31940 4294967295 134512640 134569956 3221224384 3221214520 1131248011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 31940 13086 16 0 208806 0
vsize: 835288
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 99796 49 0 0 25 0 11 0 836564889 855334912 32003 4294967295 134512640 134569956 3221224384 3221214304 1131485792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32003 13086 16 0 208806 0
vsize: 835288
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 100765 49 0 0 25 0 11 0 836564889 855334912 32099 4294967295 134512640 134569956 3221224384 3221214520 1131247909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32099 13086 16 0 208806 0
vsize: 835288
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 101738 49 0 0 25 0 11 0 836564889 855334912 32203 4294967295 134512640 134569956 3221224384 3221214688 1131189172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32203 13086 16 0 208806 0
vsize: 835288
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 102695 50 0 0 25 0 11 0 836564889 855334912 32324 4294967295 134512640 134569956 3221224384 3221214080 1131485832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32324 13086 16 0 208806 0
vsize: 835288
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 103655 50 0 0 24 0 11 0 836564889 855334912 32421 4294967295 134512640 134569956 3221224384 3221214712 1131220765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32421 13086 16 0 208806 0
vsize: 835288
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 104619 50 0 0 25 0 11 0 836564889 855334912 32535 4294967295 134512640 134569956 3221224384 3221214712 1131220635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32535 13086 16 0 208806 0
vsize: 835288
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 105591 50 0 0 25 0 11 0 836564889 855334912 32681 4294967295 134512640 134569956 3221224384 3221214528 1131247901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32681 13086 16 0 208806 0
vsize: 835288
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 106560 50 0 0 25 0 11 0 836564889 855334912 32759 4294967295 134512640 134569956 3221224384 3221214800 1131146371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32759 13086 16 0 208806 0
vsize: 835288
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 107534 50 0 0 25 0 11 0 836564889 855334912 32833 4294967295 134512640 134569956 3221224384 3221214264 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32833 13086 16 0 208806 0
vsize: 835288
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 108512 50 0 0 25 0 11 0 836564889 855334912 32865 4294967295 134512640 134569956 3221224384 3221214712 1131221192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32865 13086 16 0 208806 0
vsize: 835288
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 109480 50 0 0 25 0 11 0 836564889 855334912 32923 4294967295 134512640 134569956 3221224384 3221214712 1131220773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 32923 13086 16 0 208806 0
vsize: 835288
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 110456 50 0 0 25 0 11 0 836564889 855334912 33023 4294967295 134512640 134569956 3221224384 3221214456 1131432689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33023 13086 16 0 208806 0
vsize: 835288
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 111428 51 0 0 25 0 11 0 836564889 855334912 33102 4294967295 134512640 134569956 3221224384 3221214712 1131220214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33102 13086 16 0 208806 0
vsize: 835288
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 112394 51 0 0 25 0 11 0 836564889 855334912 33184 4294967295 134512640 134569956 3221224384 3221214712 1131220607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33184 13086 16 0 208806 0
vsize: 835288
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 113364 51 0 0 25 0 11 0 836564889 855334912 33265 4294967295 134512640 134569956 3221224384 3221214712 1131221216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33265 13086 16 0 208806 0
vsize: 835288
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 114335 51 0 0 25 0 11 0 836564889 855334912 33324 4294967295 134512640 134569956 3221224384 3221214776 1131232600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33324 13086 16 0 208806 0
vsize: 835288
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 115307 51 0 0 25 0 11 0 836564889 855334912 33434 4294967295 134512640 134569956 3221224384 3221214152 1131485073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33434 13086 16 0 208806 0
vsize: 835288
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 116279 51 0 0 25 0 11 0 836564889 855334912 33507 4294967295 134512640 134569956 3221224384 3221214688 1131189240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33507 13086 16 0 208806 0
vsize: 835288
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 117247 51 0 0 25 0 11 0 836564889 855334912 33567 4294967295 134512640 134569956 3221224384 3221214688 1131189172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33567 13086 16 0 208806 0
vsize: 835288
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 118218 51 0 0 25 0 11 0 836564889 855334912 33647 4294967295 134512640 134569956 3221224384 3221214688 1131189172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33647 13086 16 0 208806 0
vsize: 835288
[startup+1240.08 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 119184 52 0 0 25 0 11 0 836564889 855334912 33709 4294967295 134512640 134569956 3221224384 3221214712 1131220821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33709 13086 16 0 208806 0
vsize: 835288
[startup+1250.08 s]
Raw data (loadavg): 1.06 1.02 0.99 2/64 30322
Raw data (stat): 30308 (java) R 30307 20001 20000 0 -1 0 18111 3 1 0 120146 52 0 0 24 0 11 0 836564889 855334912 33796 4294967295 134512640 134569956 3221224384 3221214712 1131220635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208822 33796 13086 16 0 208806 0
vsize: 835288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.2 s]
Raw data (loadavg): 1.06 1.02 0.99 1/54 30324
Raw data (stat): 30308 (java) Z 30307 20001 20000 0 -1 1036 18111 15870 1 0 120151 52 5008 37 25 0 1 0 836564889 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.2
CPU time (s): 1252.51
CPU user time (s): 1251.6
CPU system time (s): 0.901862
CPU usage (%): 100.184
Max. virtual memory (Kb): 836252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1483
#### END VERIFIER DATA ####