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/logic-synthesis/normalized-clip.b.opb
MD5SUM	cddae768b283c2db142f16fe9d163db1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15
Optimality of the best value was proved	NO
Number of terms in the objective function	350
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	350
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	350
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	349
Total number of constraints	715
Number of constraints which are clauses	707
Number of constraints which are cardinality constraints (but not clauses)	8
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	111
Trace number 29122

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 04:50:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20474 boxname=wulflinc19 idbench=64 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  cddae768b283c2db142f16fe9d163db1  /oldhome/oroussel/tmp/wulflinc19/normalized-clip.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-clip.b.opb
IDLAUNCH: 20474
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        654800 kB
Buffers:         27936 kB
Cached:         325248 kB
SwapCached:        416 kB
Active:          32816 kB
Inactive:       322628 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        654436 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18752 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:11:32 (client local time) WITH STATUS 143 IN 1247.08 SECONDS
stats: 20474 0 1247.08 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/wulflinc19/normalized-clip.b.opb
c reading problem ... done. Time 2.746 ms.
c #vars     350
c #constraints  707
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  21 		Current CPU time: 3.69 ms
c CURRENT OPTIMUM=                  20 		Current CPU time: 4.14 ms
c CURRENT OPTIMUM=                  19 		Current CPU time: 4.59 ms
c CURRENT OPTIMUM=                  17 		Current CPU time: 58.45 ms
c CURRENT OPTIMUM=                  16 		Current CPU time: 120.32 ms
c starts	: 15
c conflicts	: 1984
c decisions	: 26373
c propagations	: 68474
c inspects	: 1361004
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1984
c root simplifications	: 15
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 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 
c objectif function=16
c Total CPU time (ms) : 1249.199
#### 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.94 2/54 20668
Raw data (stat): 20668 (runsolver) R 20667 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836126165 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 20681
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18128 4 4 0 682 40 0 0 25 0 11 0 836126165 859815936 21128 4294967295 134512640 134569956 3221224384 3221214752 1131361426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209916 21128 13086 16 0 209900 0
vsize: 839664
[startup+20.0021 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 20681
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18129 4 4 0 1597 40 0 0 25 0 11 0 836126165 859422720 22163 4294967295 134512640 134569956 3221224384 3221214692 1131197671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 22163 13086 16 0 209804 0
vsize: 839280
[startup+30.0027 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 20681
Raw data (stat): 20668 (java) S 20667 10795 10794 0 -1 0 18130 4 4 0 2546 40 0 0 25 0 11 0 836126165 859422720 22164 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 22164 13086 16 0 209804 0
vsize: 839280
[startup+40.0038 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 20681
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 3473 41 0 0 25 0 11 0 836126165 859422720 22166 4294967295 134512640 134569956 3221224384 3221214544 1131253118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 22166 13086 16 0 209804 0
vsize: 839280
[startup+50.0047 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 20681
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 4409 41 0 0 25 0 11 0 836126165 859422720 22308 4294967295 134512640 134569956 3221224384 3221214640 1131392391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 22308 13086 16 0 209804 0
vsize: 839280
[startup+60.0049 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 20682
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 5349 41 0 0 25 0 11 0 836126165 859422720 22495 4294967295 134512640 134569956 3221224384 3221214696 1131313439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 22495 13086 16 0 209804 0
vsize: 839280
[startup+70.0063 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 20682
Raw data (stat): 20668 (java) S 20667 10795 10794 0 -1 0 18130 4 4 0 6277 41 0 0 25 0 11 0 836126165 859422720 22884 4294967295 134512640 134569956 3221224384 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 22884 13086 16 0 209804 0
vsize: 839280
[startup+80.0068 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20682
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 7215 41 0 0 25 0 11 0 836126165 859422720 23327 4294967295 134512640 134569956 3221224384 3221214232 1131555388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 23327 13086 16 0 209804 0
vsize: 839280
[startup+90.0075 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20682
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 8149 41 0 0 25 0 11 0 836126165 859422720 23712 4294967295 134512640 134569956 3221224384 3221214424 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 23712 13086 16 0 209804 0
vsize: 839280
[startup+100.008 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20682
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 9086 42 0 0 25 0 11 0 836126165 859422720 23869 4294967295 134512640 134569956 3221224384 3221214560 1131253210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 23869 13086 16 0 209804 0
vsize: 839280
[startup+110.008 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 20682
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 10024 42 0 0 25 0 11 0 836126165 859422720 23971 4294967295 134512640 134569956 3221224384 3221214552 1131159958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 23971 13086 16 0 209804 0
vsize: 839280
[startup+120.009 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 20682
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 10959 42 0 0 25 0 11 0 836126165 859422720 24113 4294967295 134512640 134569956 3221224384 3221214696 1131312887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 24113 13086 16 0 209804 0
vsize: 839280
[startup+130.009 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 11892 42 0 0 25 0 11 0 836126165 859422720 24351 4294967295 134512640 134569956 3221224384 3221214608 1131392417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 24351 13086 16 0 209804 0
vsize: 839280
[startup+140.01 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 12844 42 0 0 25 0 11 0 836126165 859422720 24659 4294967295 134512640 134569956 3221224384 3221214512 1131253118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 24659 13086 16 0 209804 0
vsize: 839280
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 13809 43 0 0 25 0 11 0 836126165 859422720 24811 4294967295 134512640 134569956 3221224384 3221214616 1131385116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 24811 13086 16 0 209804 0
vsize: 839280
[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 14783 43 0 0 25 0 11 0 836126165 859422720 24900 4294967295 134512640 134569956 3221224384 3221214616 1131370215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 24900 13086 16 0 209804 0
vsize: 839280
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 15760 43 0 0 25 0 11 0 836126165 859422720 25022 4294967295 134512640 134569956 3221224384 3221214624 1131159284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25022 13086 16 0 209804 0
vsize: 839280
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 16736 43 0 0 25 0 11 0 836126165 859422720 25052 4294967295 134512640 134569956 3221224384 3221214592 1131226679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25052 13086 16 0 209804 0
vsize: 839280
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 17717 44 0 0 24 0 11 0 836126165 859422720 25131 4294967295 134512640 134569956 3221224384 3221214616 1131384750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25131 13086 16 0 209804 0
vsize: 839280
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 18698 44 0 0 24 0 11 0 836126165 859422720 25151 4294967295 134512640 134569956 3221224384 3221214732 1131159264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25151 13086 16 0 209804 0
vsize: 839280
[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 19680 45 0 0 25 0 11 0 836126165 859422720 25169 4294967295 134512640 134569956 3221224384 3221214604 1131343497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25169 13086 16 0 209804 0
vsize: 839280
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 20667 45 0 0 25 0 11 0 836126165 859422720 25247 4294967295 134512640 134569956 3221224384 3221214608 1131392443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25247 13086 16 0 209804 0
vsize: 839280
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 21654 45 0 0 25 0 11 0 836126165 859422720 25311 4294967295 134512640 134569956 3221224384 3221214520 1131253361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25311 13086 16 0 209804 0
vsize: 839280
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 22647 46 0 0 25 0 11 0 836126165 859422720 25327 4294967295 134512640 134569956 3221224384 3221214648 1131313676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 25327 13086 16 0 209804 0
vsize: 839280
[startup+250.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 23639 46 0 0 25 0 11 0 836126165 859422720 25331 4294967295 134512640 134569956 3221224384 3221214608 1131392178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25331 13086 16 0 209804 0
vsize: 839280
[startup+260.126 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 24638 46 0 0 25 0 11 0 836126165 859422720 25335 4294967295 134512640 134569956 3221224384 3221214616 1131384750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25335 13086 16 0 209804 0
vsize: 839280
[startup+270.127 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 25626 47 0 0 25 0 11 0 836126165 859422720 25341 4294967295 134512640 134569956 3221224384 3221214592 1131226693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25341 13086 16 0 209804 0
vsize: 839280
[startup+280.128 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 26613 47 0 0 25 0 11 0 836126165 859422720 25346 4294967295 134512640 134569956 3221224384 3221214616 1131385281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25346 13086 16 0 209804 0
vsize: 839280
[startup+290.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 27598 47 0 0 25 0 11 0 836126165 859422720 25371 4294967295 134512640 134569956 3221224384 3221214612 1131298348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25371 13086 16 0 209804 0
vsize: 839280
[startup+300.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 28585 47 0 0 25 0 11 0 836126165 859422720 25407 4294967295 134512640 134569956 3221224384 3221214288 1131555402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25407 13086 16 0 209804 0
vsize: 839280
[startup+310.129 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 29564 48 0 0 25 0 11 0 836126165 859422720 25441 4294967295 134512640 134569956 3221224384 3221214736 1131141510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25441 13086 16 0 209804 0
vsize: 839280
[startup+320.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 30543 48 0 0 25 0 11 0 836126165 859422720 25465 4294967295 134512640 134569956 3221224384 3221214608 1131392101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25465 13086 16 0 209804 0
vsize: 839280
[startup+330.131 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 31514 48 0 0 25 0 11 0 836126165 859422720 25481 4294967295 134512640 134569956 3221224384 3221214616 1131385287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25481 13086 16 0 209804 0
vsize: 839280
[startup+340.132 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 32480 48 0 0 24 0 11 0 836126165 859422720 25515 4294967295 134512640 134569956 3221224384 3221214736 1131141507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25515 13086 16 0 209804 0
vsize: 839280
[startup+350.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 33448 49 0 0 25 0 11 0 836126165 859422720 25623 4294967295 134512640 134569956 3221224384 3221214616 1131384812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25623 13086 16 0 209804 0
vsize: 839280
[startup+360.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 34424 49 0 0 25 0 11 0 836126165 859422720 25708 4294967295 134512640 134569956 3221224384 3221214512 1131253114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25708 13086 16 0 209804 0
vsize: 839280
[startup+370.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 35403 50 0 0 25 0 11 0 836126165 859422720 25810 4294967295 134512640 134569956 3221224384 3221214616 1131370253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25810 13086 16 0 209804 0
vsize: 839280
[startup+380.133 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 36386 50 0 0 25 0 11 0 836126165 859422720 25838 4294967295 134512640 134569956 3221224384 3221214616 1131370317 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25838 13086 16 0 209804 0
vsize: 839280
[startup+390.134 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 37370 50 0 0 25 0 11 0 836126165 859422720 25900 4294967295 134512640 134569956 3221224384 3221214616 1131385123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25900 13086 16 0 209804 0
vsize: 839280
[startup+400.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 38354 50 0 0 25 0 11 0 836126165 859422720 25915 4294967295 134512640 134569956 3221224384 3221214520 1131253161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25915 13086 16 0 209804 0
vsize: 839280
[startup+410.134 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 39332 51 0 0 25 0 11 0 836126165 859422720 25960 4294967295 134512640 134569956 3221224384 3221214592 1131226686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25960 13086 16 0 209804 0
vsize: 839280
[startup+420.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 40309 51 0 0 25 0 11 0 836126165 859422720 25976 4294967295 134512640 134569956 3221224384 3221214624 1131159284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25976 13086 16 0 209804 0
vsize: 839280
[startup+430.135 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 41298 51 0 0 25 0 11 0 836126165 859422720 25995 4294967295 134512640 134569956 3221224384 3221214144 1131554058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25995 13086 16 0 209804 0
vsize: 839280
[startup+440.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 42284 52 0 0 25 0 11 0 836126165 859422720 25995 4294967295 134512640 134569956 3221224384 3221214824 1131567443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 25995 13086 16 0 209804 0
vsize: 839280
[startup+450.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 43256 52 0 0 25 0 11 0 836126165 859422720 26018 4294967295 134512640 134569956 3221224384 3221214800 1131302565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26018 13086 16 0 209804 0
vsize: 839280
[startup+460.136 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 44205 52 0 0 25 0 11 0 836126165 859422720 26031 4294967295 134512640 134569956 3221224384 3221214544 1131253118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26031 13086 16 0 209804 0
vsize: 839280
[startup+470.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 45146 52 0 0 25 0 11 0 836126165 859422720 26099 4294967295 134512640 134569956 3221224384 3221214672 1131159289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26099 13086 16 0 209804 0
vsize: 839280
[startup+480.137 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 46085 52 0 0 25 0 11 0 836126165 859422720 26202 4294967295 134512640 134569956 3221224384 3221214632 1131392147 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26202 13086 16 0 209804 0
vsize: 839280
[startup+490.138 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 47032 52 0 0 25 0 11 0 836126165 859422720 26361 4294967295 134512640 134569956 3221224384 3221214648 1131197729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26361 13086 16 0 209804 0
vsize: 839280
[startup+500.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 47966 53 0 0 25 0 11 0 836126165 859422720 26604 4294967295 134512640 134569956 3221224384 3221214784 1131141507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26604 13086 16 0 209804 0
vsize: 839280
[startup+510.138 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 48912 53 0 0 25 0 11 0 836126165 859422720 26763 4294967295 134512640 134569956 3221224384 3221214784 1131141507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26763 13086 16 0 209804 0
vsize: 839280
[startup+520.139 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 49858 53 0 0 24 0 11 0 836126165 859422720 26932 4294967295 134512640 134569956 3221224384 3221214600 1131390793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26932 13086 16 0 209804 0
vsize: 839280
[startup+530.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 50827 54 0 0 25 0 11 0 836126165 859422720 26997 4294967295 134512640 134569956 3221224384 3221213944 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 26997 13086 16 0 209804 0
vsize: 839280
[startup+540.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 51804 54 0 0 24 0 11 0 836126165 859422720 27054 4294967295 134512640 134569956 3221224384 3221214696 1131312927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 27054 13086 16 0 209804 0
vsize: 839280
[startup+550.141 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 52748 55 0 0 25 0 11 0 836126165 859422720 27244 4294967295 134512640 134569956 3221224384 3221214696 1131312890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 27244 13086 16 0 209804 0
vsize: 839280
[startup+560.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20683
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 53685 55 0 0 25 0 11 0 836126165 859422720 27386 4294967295 134512640 134569956 3221224384 3221214696 1131313672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 27386 13086 16 0 209804 0
vsize: 839280
[startup+570.142 s]
Raw data (loadavg): 1.08 1.02 0.95 3/68 20730
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 54606 58 0 0 25 0 11 0 836126165 859422720 27590 4294967295 134512640 134569956 3221224384 3221214536 1131253118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 27590 13086 16 0 209804 0
vsize: 839280
[startup+580.142 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 20736
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 55550 59 0 0 25 0 11 0 836126165 859422720 27800 4294967295 134512640 134569956 3221224384 3221214588 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 27800 13086 16 0 209804 0
vsize: 839280
[startup+590.142 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 20736
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 56493 59 0 0 25 0 11 0 836126165 859422720 27946 4294967295 134512640 134569956 3221224384 3221214696 1131312899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 27946 13086 16 0 209804 0
vsize: 839280
[startup+600.142 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 20736
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 57440 60 0 0 25 0 11 0 836126165 859422720 28126 4294967295 134512640 134569956 3221224384 3221214232 1131551653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 28126 13086 16 0 209804 0
vsize: 839280
[startup+610.142 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 20736
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 58389 60 0 0 25 0 11 0 836126165 859422720 28264 4294967295 134512640 134569956 3221224384 3221214392 1078033063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 28264 13086 16 0 209804 0
vsize: 839280
[startup+620.143 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 20736
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 59338 60 0 0 25 0 11 0 836126165 859422720 28380 4294967295 134512640 134569956 3221224384 3221214280 1131558659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 28380 13086 16 0 209804 0
vsize: 839280
[startup+630.143 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 20736
Raw data (stat): 20668 (java) S 20667 10795 10794 0 -1 0 18130 4 4 0 60289 61 0 0 25 0 11 0 836126165 859422720 28486 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 28486 13086 16 0 209804 0
vsize: 839280
[startup+640.144 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20736
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 61232 61 0 0 25 0 11 0 836126165 859422720 28629 4294967295 134512640 134569956 3221224384 3221214784 1131141504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 28629 13086 16 0 209804 0
vsize: 839280
[startup+650.144 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 62182 62 0 0 25 0 11 0 836126165 859422720 28768 4294967295 134512640 134569956 3221224384 3221214796 1131313693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 28768 13086 16 0 209804 0
vsize: 839280
[startup+660.144 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 63140 62 0 0 25 0 11 0 836126165 859422720 28884 4294967295 134512640 134569956 3221224384 3221214784 1131141507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 28884 13086 16 0 209804 0
vsize: 839280
[startup+670.144 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 64110 62 0 0 25 0 11 0 836126165 859422720 28960 4294967295 134512640 134569956 3221224384 3221214696 1131312927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 28960 13086 16 0 209804 0
vsize: 839280
[startup+680.144 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 65080 62 0 0 25 0 11 0 836126165 859422720 29065 4294967295 134512640 134569956 3221224384 3221214696 1131312927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29065 13086 16 0 209804 0
vsize: 839280
[startup+690.145 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 66052 63 0 0 25 0 11 0 836126165 859422720 29168 4294967295 134512640 134569956 3221224384 3221213972 1131554000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29168 13086 16 0 209804 0
vsize: 839280
[startup+700.145 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 67024 63 0 0 25 0 11 0 836126165 859422720 29260 4294967295 134512640 134569956 3221224384 3221214696 1131312803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29260 13086 16 0 209804 0
vsize: 839280
[startup+710.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 67983 63 0 0 24 0 11 0 836126165 859422720 29339 4294967295 134512640 134569956 3221224384 3221214636 1131253852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29339 13086 16 0 209804 0
vsize: 839280
[startup+720.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 68951 64 0 0 25 0 11 0 836126165 859422720 29398 4294967295 134512640 134569956 3221224384 3221214288 1131555400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 29398 13086 16 0 209804 0
vsize: 839280
[startup+730.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 69914 64 0 0 25 0 11 0 836126165 859422720 29497 4294967295 134512640 134569956 3221224384 3221214544 1131253118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29497 13086 16 0 209804 0
vsize: 839280
[startup+740.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 70883 64 0 0 25 0 11 0 836126165 859422720 29600 4294967295 134512640 134569956 3221224384 3221214184 1131555433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29600 13086 16 0 209804 0
vsize: 839280
[startup+750.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 71851 64 0 0 25 0 11 0 836126165 859422720 29702 4294967295 134512640 134569956 3221224384 3221214696 1131312899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29702 13086 16 0 209804 0
vsize: 839280
[startup+760.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 72825 65 0 0 25 0 11 0 836126165 859422720 29793 4294967295 134512640 134569956 3221224384 3221214632 1131392685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29793 13086 16 0 209804 0
vsize: 839280
[startup+770.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 73795 65 0 0 25 0 11 0 836126165 859422720 29862 4294967295 134512640 134569956 3221224384 3221214800 1131302725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29862 13086 16 0 209804 0
vsize: 839280
[startup+780.145 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 74765 65 0 0 25 0 11 0 836126165 859422720 29918 4294967295 134512640 134569956 3221224384 3221214640 1131385299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 29918 13086 16 0 209804 0
vsize: 839280
[startup+790.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 75739 65 0 0 25 0 11 0 836126165 859422720 29987 4294967295 134512640 134569956 3221224384 3221214536 1131253118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 29987 13086 16 0 209804 0
vsize: 839280
[startup+800.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 76714 65 0 0 25 0 11 0 836126165 859422720 30032 4294967295 134512640 134569956 3221224384 3221214560 1131489304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30032 13086 16 0 209804 0
vsize: 839280
[startup+810.146 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 77694 66 0 0 25 0 11 0 836126165 859422720 30105 4294967295 134512640 134569956 3221224384 3221213972 1131554000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 30105 13086 16 0 209804 0
vsize: 839280
[startup+820.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 78679 66 0 0 25 0 11 0 836126165 859422720 30162 4294967295 134512640 134569956 3221224384 3221214672 1131159284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30162 13086 16 0 209804 0
vsize: 839280
[startup+830.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 79658 66 0 0 25 0 11 0 836126165 859422720 30212 4294967295 134512640 134569956 3221224384 3221214544 1131253118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30212 13086 16 0 209804 0
vsize: 839280
[startup+840.147 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 80637 66 0 0 25 0 11 0 836126165 859422720 30235 4294967295 134512640 134569956 3221224384 3221214536 1131253361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30235 13086 16 0 209804 0
vsize: 839280
[startup+850.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 81608 66 0 0 25 0 11 0 836126165 859422720 30259 4294967295 134512640 134569956 3221224384 3221214616 1131226664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30259 13086 16 0 209804 0
vsize: 839280
[startup+860.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 82582 67 0 0 25 0 11 0 836126165 859422720 30284 4294967295 134512640 134569956 3221224384 3221214544 1131253161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30284 13086 16 0 209804 0
vsize: 839280
[startup+870.148 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 83550 67 0 0 25 0 11 0 836126165 859422720 30321 4294967295 134512640 134569956 3221224384 3221214640 1131385088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30321 13086 16 0 209804 0
vsize: 839280
[startup+880.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 84516 68 0 0 25 0 11 0 836126165 859422720 30394 4294967295 134512640 134569956 3221224384 3221214640 1131384741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30394 13086 16 0 209804 0
vsize: 839280
[startup+890.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20738
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 85494 68 0 0 25 0 11 0 836126165 859422720 30491 4294967295 134512640 134569956 3221224384 3221214112 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30491 13086 16 0 209804 0
vsize: 839280
[startup+900.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 86467 69 0 0 25 0 11 0 836126165 859422720 30589 4294967295 134512640 134569956 3221224384 3221214544 1131253807 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30589 13086 16 0 209804 0
vsize: 839280
[startup+910.149 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 87448 69 0 0 25 0 11 0 836126165 859422720 30646 4294967295 134512640 134569956 3221224384 3221214528 1131159411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30646 13086 16 0 209804 0
vsize: 839280
[startup+920.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) S 20667 10795 10794 0 -1 0 18130 4 4 0 88428 70 0 0 25 0 11 0 836126165 859422720 30682 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30682 13086 16 0 209804 0
vsize: 839280
[startup+930.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 89405 70 0 0 25 0 11 0 836126165 859422720 30707 4294967295 134512640 134569956 3221224384 3221214616 1131226679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30707 13086 16 0 209804 0
vsize: 839280
[startup+940.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 90382 70 0 0 25 0 11 0 836126165 859422720 30740 4294967295 134512640 134569956 3221224384 3221214632 1131392333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30740 13086 16 0 209804 0
vsize: 839280
[startup+950.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 91360 70 0 0 25 0 11 0 836126165 859422720 30833 4294967295 134512640 134569956 3221224384 3221214800 1131302568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30833 13086 16 0 209804 0
vsize: 839280
[startup+960.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 92340 71 0 0 25 0 11 0 836126165 859422720 30875 4294967295 134512640 134569956 3221224384 3221214536 1131253244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30875 13086 16 0 209804 0
vsize: 839280
[startup+970.151 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 93324 71 0 0 25 0 11 0 836126165 859422720 30916 4294967295 134512640 134569956 3221224384 3221214696 1131312554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30916 13086 16 0 209804 0
vsize: 839280
[startup+980.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 94318 72 0 0 25 0 11 0 836126165 859422720 30916 4294967295 134512640 134569956 3221224384 3221214360 1131553940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 30916 13086 16 0 209804 0
vsize: 839280
[startup+990.152 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 95298 72 0 0 25 0 11 0 836126165 859422720 30958 4294967295 134512640 134569956 3221224384 3221214544 1131252944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30958 13086 16 0 209804 0
vsize: 839280
[startup+1000.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 96270 72 0 0 25 0 11 0 836126165 859422720 30981 4294967295 134512640 134569956 3221224384 3221214536 1131253244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30981 13086 16 0 209804 0
vsize: 839280
[startup+1010.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 97248 72 0 0 24 0 11 0 836126165 859422720 30981 4294967295 134512640 134569956 3221224384 3221214680 1131503356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 30981 13086 16 0 209804 0
vsize: 839280
[startup+1020.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 98222 73 0 0 24 0 11 0 836126165 859422720 31035 4294967295 134512640 134569956 3221224384 3221214672 1131159315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31035 13086 16 0 209804 0
vsize: 839280
[startup+1030.15 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 99195 73 0 0 25 0 11 0 836126165 859422720 31092 4294967295 134512640 134569956 3221224384 3221214800 1131303520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31092 13086 16 0 209804 0
vsize: 839280
[startup+1040.15 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 100163 73 0 0 25 0 11 0 836126165 859422720 31175 4294967295 134512640 134569956 3221224384 3221214640 1131370359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31175 13086 16 0 209804 0
vsize: 839280
[startup+1050.15 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 101149 73 0 0 25 0 11 0 836126165 859422720 31192 4294967295 134512640 134569956 3221224384 3221214356 1131554000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 31192 13086 16 0 209804 0
vsize: 839280
[startup+1060.15 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 102133 74 0 0 24 0 11 0 836126165 859422720 31231 4294967295 134512640 134569956 3221224384 3221214640 1131384750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31231 13086 16 0 209804 0
vsize: 839280
[startup+1070.15 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 103110 74 0 0 25 0 11 0 836126165 859422720 31239 4294967295 134512640 134569956 3221224384 3221214800 1131302806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31239 13086 16 0 209804 0
vsize: 839280
[startup+1080.15 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 104074 74 0 0 25 0 11 0 836126165 859422720 31285 4294967295 134512640 134569956 3221224384 3221214112 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31285 13086 16 0 209804 0
vsize: 839280
[startup+1090.15 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 105034 74 0 0 25 0 11 0 836126165 859422720 31338 4294967295 134512640 134569956 3221224384 3221214784 1131141500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31338 13086 16 0 209804 0
vsize: 839280
[startup+1100.15 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 105991 74 0 0 25 0 11 0 836126165 859422720 31490 4294967295 134512640 134569956 3221224384 3221214536 1131253361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31490 13086 16 0 209804 0
vsize: 839280
[startup+1110.15 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 106956 75 0 0 25 0 11 0 836126165 859422720 31553 4294967295 134512640 134569956 3221224384 3221214672 1131159390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31553 13086 16 0 209804 0
vsize: 839280
[startup+1120.15 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 107920 75 0 0 25 0 11 0 836126165 859422720 31670 4294967295 134512640 134569956 3221224384 3221214536 1131253000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31670 13086 16 0 209804 0
vsize: 839280
[startup+1130.16 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 108900 75 0 0 25 0 11 0 836126165 859422720 31742 4294967295 134512640 134569956 3221224384 3221214528 1131553845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31742 13086 16 0 209804 0
vsize: 839280
[startup+1140.16 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 109878 76 0 0 25 0 11 0 836126165 859422720 31818 4294967295 134512640 134569956 3221224384 3221214240 1131555161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 31818 13086 16 0 209804 0
vsize: 839280
[startup+1150.16 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 110856 76 0 0 25 0 11 0 836126165 859422720 31840 4294967295 134512640 134569956 3221224384 3221214408 1131555241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31840 13086 16 0 209804 0
vsize: 839280
[startup+1160.16 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 111832 76 0 0 25 0 11 0 836126165 859422720 31877 4294967295 134512640 134569956 3221224384 3221214632 1131392581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31877 13086 16 0 209804 0
vsize: 839280
[startup+1170.16 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 112794 77 0 0 25 0 11 0 836126165 859422720 31940 4294967295 134512640 134569956 3221224384 3221214696 1131312597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31940 13086 16 0 209804 0
vsize: 839280
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 113759 77 0 0 25 0 11 0 836126165 859422720 31970 4294967295 134512640 134569956 3221224384 3221214696 1131312899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31970 13086 16 0 209804 0
vsize: 839280
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 114714 77 0 0 25 0 11 0 836126165 859422720 31997 4294967295 134512640 134569956 3221224384 3221214640 1131370289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 31997 13086 16 0 209804 0
vsize: 839280
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 115674 78 0 0 25 0 11 0 836126165 859422720 32174 4294967295 134512640 134569956 3221224384 3221214244 1131554000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209820 32174 13086 16 0 209804 0
vsize: 839280
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 116643 78 0 0 25 0 11 0 836126165 859422720 32241 4294967295 134512640 134569956 3221224384 3221214616 1131558863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 32241 13086 16 0 209804 0
vsize: 839280
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 117614 78 0 0 25 0 11 0 836126165 859422720 32361 4294967295 134512640 134569956 3221224384 3221214648 1131197690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 32361 13086 16 0 209804 0
vsize: 839280
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 118579 78 0 0 25 0 11 0 836126165 859422720 32436 4294967295 134512640 134569956 3221224384 3221214536 1131253118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 32436 13086 16 0 209804 0
vsize: 839280
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 119548 78 0 0 25 0 11 0 836126165 859422720 32550 4294967295 134512640 134569956 3221224384 3221214872 1131599283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 32550 13086 16 0 209804 0
vsize: 839280
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 20740
Raw data (stat): 20668 (java) R 20667 10795 10794 0 -1 0 18130 4 4 0 120512 78 0 0 25 0 11 0 836126165 859422720 32595 4294967295 134512640 134569956 3221224384 3221214696 1131312927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209820 32595 13086 16 0 209804 0
vsize: 839280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.27 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 20742
Raw data (stat): 20668 (java) Z 20667 10795 10794 0 -1 1036 18130 12844 4 0 120516 78 4077 35 25 0 1 0 836126165 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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.27
CPU time (s): 1247.08
CPU user time (s): 1245.95
CPU system time (s): 1.13883
CPU usage (%): 99.7452
Max. virtual memory (Kb): 839664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	16
#### END VERIFIER DATA ####