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-sao2.b.opb
MD5SUM	3e273bcee52631aeea0b7b1138e7d68d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25
Optimality of the best value was proved	NO
Number of terms in the objective function	373
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	373
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	373
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.03784
Number of variables	372
Total number of constraints	779
Number of constraints which are clauses	772
Number of constraints which are cardinality constraints (but not clauses)	7
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 29132

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 05:00:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20483 boxname=wulflinc15 idbench=73 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  3e273bcee52631aeea0b7b1138e7d68d  /oldhome/oroussel/tmp/wulflinc15/normalized-sao2.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc15/normalized-sao2.b.opb
IDLAUNCH: 20483
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        851840 kB
Buffers:         16688 kB
Cached:         144684 kB
SwapCached:        672 kB
Active:          41172 kB
Inactive:       122244 kB
HighTotal:      131008 kB
HighFree:         6916 kB
LowTotal:       903652 kB
LowFree:        844924 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13772 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:21:59 (client local time) WITH STATUS 143 IN 1256.08 SECONDS
stats: 20483 0 1256.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/wulflinc15/normalized-sao2.b.opb
c reading problem ... done. Time 3.049 ms.
c #vars     373
c #constraints  772
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  34 		Current CPU time: 4.29 ms
c CURRENT OPTIMUM=                  33 		Current CPU time: 602.66 ms
c CURRENT OPTIMUM=                  32 		Current CPU time: 630.38 ms
c CURRENT OPTIMUM=                  31 		Current CPU time: 727.08 ms
c CURRENT OPTIMUM=                  30 		Current CPU time: 835.63 ms
c CURRENT OPTIMUM=                  29 		Current CPU time: 855.77 ms
c CURRENT OPTIMUM=                  28 		Current CPU time: 1094.78 ms
c starts	: 19
c conflicts	: 2584
c decisions	: 28348
c propagations	: 70730
c inspects	: 1623199
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2584
c root simplifications	: 19
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 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 x369 x370 -x371 -x372 -x373 
c objectif function=28
c Total CPU time (ms) : 1259.144
#### 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.96 1.00 0.94 2/54 5175
Raw data (stat): 5175 (runsolver) R 5174 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777967698 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.0005 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 5186
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18141 3 4 0 599 38 0 0 25 0 11 0 777967698 866672640 22227 4294967295 134512640 134569956 3221224384 3221214768 1131404142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211590 22227 13086 16 0 211574 0
vsize: 846360
[startup+20.0012 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 5186
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18142 3 4 0 1529 38 0 0 25 0 11 0 777967698 865198080 23086 4294967295 134512640 134569956 3221224384 3221214640 1131367808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 23086 13086 16 0 211214 0
vsize: 844920
[startup+30.0025 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18142 3 4 0 2479 39 0 0 25 0 11 0 777967698 865198080 23738 4294967295 134512640 134569956 3221224384 3221214612 1130885243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 23738 13086 16 0 211214 0
vsize: 844920
[startup+40.0029 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 3413 39 0 0 25 0 11 0 777967698 865198080 23962 4294967295 134512640 134569956 3221224384 3221214640 1131220144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 23962 13086 16 0 211214 0
vsize: 844920
[startup+50.0026 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 4343 39 0 0 25 0 11 0 777967698 865198080 24204 4294967295 134512640 134569956 3221224384 3221214664 1131521684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 24204 13086 16 0 211214 0
vsize: 844920
[startup+60.0029 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 5276 39 0 0 25 0 11 0 777967698 865198080 24279 4294967295 134512640 134569956 3221224384 3221214664 1131521761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 24279 13086 16 0 211214 0
vsize: 844920
[startup+70.0035 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 6210 39 0 0 25 0 11 0 777967698 865198080 24363 4294967295 134512640 134569956 3221224384 3221214672 1131516826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 24363 13086 16 0 211214 0
vsize: 844920
[startup+80.0041 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 7142 40 0 0 25 0 11 0 777967698 865198080 24553 4294967295 134512640 134569956 3221224384 3221214424 1131406644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 24553 13086 16 0 211214 0
vsize: 844920
[startup+90.0045 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 8095 40 0 0 24 0 11 0 777967698 865198080 25083 4294967295 134512640 134569956 3221224384 3221214620 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25083 13086 16 0 211214 0
vsize: 844920
[startup+100.004 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 9065 40 0 0 25 0 11 0 777967698 865198080 25154 4294967295 134512640 134569956 3221224384 3221214664 1131521681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25154 13086 16 0 211214 0
vsize: 844920
[startup+110.005 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 10032 40 0 0 25 0 11 0 777967698 865198080 25221 4294967295 134512640 134569956 3221224384 3221214672 1131516320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25221 13086 16 0 211214 0
vsize: 844920
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 10998 40 0 0 25 0 11 0 777967698 865198080 25294 4294967295 134512640 134569956 3221224384 3221214620 1130885144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25294 13086 16 0 211214 0
vsize: 844920
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 11959 40 0 0 24 0 11 0 777967698 865198080 25398 4294967295 134512640 134569956 3221224384 3221214664 1131424847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 25398 13086 16 0 211214 0
vsize: 844920
[startup+140.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) S 5174 23514 23513 0 -1 0 18143 3 4 0 12925 41 0 0 25 0 11 0 777967698 865198080 25481 4294967295 134512640 134569956 3221224384 3221213168 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 25481 13086 16 0 211214 0
vsize: 844920
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 13887 41 0 0 25 0 11 0 777967698 865198080 25561 4294967295 134512640 134569956 3221224384 3221214568 1131278761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 25561 13086 16 0 211214 0
vsize: 844920
[startup+160.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 14847 41 0 0 25 0 11 0 777967698 865198080 25643 4294967295 134512640 134569956 3221224384 3221214664 1131521761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 25643 13086 16 0 211214 0
vsize: 844920
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 15806 42 0 0 25 0 11 0 777967698 865198080 25726 4294967295 134512640 134569956 3221224384 3221214664 1131521570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 25726 13086 16 0 211214 0
vsize: 844920
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 16771 42 0 0 25 0 11 0 777967698 865198080 25889 4294967295 134512640 134569956 3221224384 3221214568 1131278718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 25889 13086 16 0 211214 0
vsize: 844920
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 17741 42 0 0 25 0 11 0 777967698 865198080 25983 4294967295 134512640 134569956 3221224384 3221214672 1131149107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 25983 13086 16 0 211214 0
vsize: 844920
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18143 3 4 0 18705 42 0 0 25 0 11 0 777967698 865198080 26039 4294967295 134512640 134569956 3221224384 3221214540 1130885163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26039 13086 16 0 211214 0
vsize: 844920
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 19652 42 0 0 25 0 11 0 777967698 865198080 26184 4294967295 134512640 134569956 3221224384 3221214608 1131187356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26184 13086 16 0 211214 0
vsize: 844920
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 20604 42 0 0 25 0 11 0 777967698 865198080 26249 4294967295 134512640 134569956 3221224384 3221214480 1131149048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26249 13086 16 0 211214 0
vsize: 844920
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 21552 43 0 0 25 0 11 0 777967698 865198080 26327 4294967295 134512640 134569956 3221224384 3221214488 1131278518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26327 13086 16 0 211214 0
vsize: 844920
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 22498 43 0 0 25 0 11 0 777967698 865198080 26525 4294967295 134512640 134569956 3221224384 3221214488 1131279398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26525 13086 16 0 211214 0
vsize: 844920
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 23447 43 0 0 25 0 11 0 777967698 865198080 26596 4294967295 134512640 134569956 3221224384 3221214488 1131278600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26596 13086 16 0 211214 0
vsize: 844920
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) S 5174 23514 23513 0 -1 0 18144 3 4 0 24392 43 0 0 25 0 11 0 777967698 865198080 26803 4294967295 134512640 134569956 3221224384 3221213336 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 26803 13086 16 0 211214 0
vsize: 844920
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 25336 43 0 0 25 0 11 0 777967698 865198080 27161 4294967295 134512640 134569956 3221224384 3221214584 1131424672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 27161 13086 16 0 211214 0
vsize: 844920
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 26275 44 0 0 25 0 11 0 777967698 865198080 27238 4294967295 134512640 134569956 3221224384 3221214672 1131149003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 27238 13086 16 0 211214 0
vsize: 844920
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 27222 44 0 0 25 0 11 0 777967698 865198080 27343 4294967295 134512640 134569956 3221224384 3221214456 1131325596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27343 13086 16 0 211214 0
vsize: 844920
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5188
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 28179 44 0 0 25 0 11 0 777967698 865198080 27395 4294967295 134512640 134569956 3221224384 3221214176 1131325649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 27395 13086 16 0 211214 0
vsize: 844920
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 29123 44 0 0 25 0 11 0 777967698 865198080 27643 4294967295 134512640 134569956 3221224384 3221214672 1131516788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 27643 13086 16 0 211214 0
vsize: 844920
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 30090 44 0 0 25 0 11 0 777967698 865198080 27843 4294967295 134512640 134569956 3221224384 3221214088 1085679759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 27843 13086 16 0 211214 0
vsize: 844920
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 31028 44 0 0 25 0 11 0 777967698 865198080 27991 4294967295 134512640 134569956 3221224384 3221214672 1131516415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 27991 13086 16 0 211214 0
vsize: 844920
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 31967 45 0 0 25 0 11 0 777967698 865198080 28083 4294967295 134512640 134569956 3221224384 3221214796 1131371491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 28083 13086 16 0 211214 0
vsize: 844920
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 32914 45 0 0 25 0 11 0 777967698 865198080 28223 4294967295 134512640 134569956 3221224384 3221214088 1131589355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 28223 13086 16 0 211214 0
vsize: 844920
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 33852 45 0 0 25 0 11 0 777967698 865198080 28385 4294967295 134512640 134569956 3221224384 3221214672 1131516651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 28385 13086 16 0 211214 0
vsize: 844920
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 34806 45 0 0 25 0 11 0 777967698 865198080 28628 4294967295 134512640 134569956 3221224384 3221214672 1131516700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 28628 13086 16 0 211214 0
vsize: 844920
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 35764 46 0 0 25 0 11 0 777967698 865198080 28834 4294967295 134512640 134569956 3221224384 3221214800 1131495749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 28834 13086 16 0 211214 0
vsize: 844920
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 36726 46 0 0 25 0 11 0 777967698 865198080 28923 4294967295 134512640 134569956 3221224384 3221214668 1131148960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 28923 13086 16 0 211214 0
vsize: 844920
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 37694 46 0 0 25 0 11 0 777967698 865198080 29034 4294967295 134512640 134569956 3221224384 3221214648 1131220165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29034 13086 16 0 211214 0
vsize: 844920
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 38657 47 0 0 25 0 11 0 777967698 865198080 29165 4294967295 134512640 134569956 3221224384 3221214696 1131367745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29165 13086 16 0 211214 0
vsize: 844920
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 39622 48 0 0 25 0 11 0 777967698 865198080 29233 4294967295 134512640 134569956 3221224384 3221214808 1131338435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29233 13086 16 0 211214 0
vsize: 844920
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 40587 48 0 0 25 0 11 0 777967698 865198080 29316 4294967295 134512640 134569956 3221224384 3221214620 1130885132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29316 13086 16 0 211214 0
vsize: 844920
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 41557 48 0 0 25 0 11 0 777967698 865198080 29401 4294967295 134512640 134569956 3221224384 3221214668 1131405737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29401 13086 16 0 211214 0
vsize: 844920
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 42510 48 0 0 25 0 11 0 777967698 865198080 29506 4294967295 134512640 134569956 3221224384 3221214568 1131278600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29506 13086 16 0 211214 0
vsize: 844920
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 43474 49 0 0 25 0 11 0 777967698 865198080 29609 4294967295 134512640 134569956 3221224384 3221214624 1131228628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29609 13086 16 0 211214 0
vsize: 844920
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 44437 49 0 0 25 0 11 0 777967698 865198080 29676 4294967295 134512640 134569956 3221224384 3221214664 1131424837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29676 13086 16 0 211214 0
vsize: 844920
[startup+480.025 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 45396 50 0 0 25 0 11 0 777967698 865198080 29757 4294967295 134512640 134569956 3221224384 3221214696 1131367601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29757 13086 16 0 211214 0
vsize: 844920
[startup+490.027 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 46351 50 0 0 25 0 11 0 777967698 865198080 29897 4294967295 134512640 134569956 3221224384 3221214664 1131424714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 29897 13086 16 0 211214 0
vsize: 844920
[startup+500.027 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 47322 50 0 0 25 0 11 0 777967698 865198080 30014 4294967295 134512640 134569956 3221224384 3221214800 1131495575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30014 13086 16 0 211214 0
vsize: 844920
[startup+510.027 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 48280 51 0 0 25 0 11 0 777967698 865198080 30084 4294967295 134512640 134569956 3221224384 3221214688 1131189897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30084 13086 16 0 211214 0
vsize: 844920
[startup+520.028 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 49244 51 0 0 25 0 11 0 777967698 865198080 30192 4294967295 134512640 134569956 3221224384 3221214568 1131278881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30192 13086 16 0 211214 0
vsize: 844920
[startup+530.028 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 50214 52 0 0 25 0 11 0 777967698 865198080 30281 4294967295 134512640 134569956 3221224384 3221214440 1131592584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30281 13086 16 0 211214 0
vsize: 844920
[startup+540.028 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 51178 53 0 0 25 0 11 0 777967698 865198080 30342 4294967295 134512640 134569956 3221224384 3221214608 1131187356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30342 13086 16 0 211214 0
vsize: 844920
[startup+550.029 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 52147 53 0 0 25 0 11 0 777967698 865198080 30407 4294967295 134512640 134569956 3221224384 3221214568 1131278718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30407 13086 16 0 211214 0
vsize: 844920
[startup+560.029 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 53111 53 0 0 25 0 11 0 777967698 865198080 30525 4294967295 134512640 134569956 3221224384 3221214672 1131149683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30525 13086 16 0 211214 0
vsize: 844920
[startup+570.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 54082 53 0 0 25 0 11 0 777967698 865198080 30573 4294967295 134512640 134569956 3221224384 3221214672 1131516255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30573 13086 16 0 211214 0
vsize: 844920
[startup+580.031 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 55050 53 0 0 25 0 11 0 777967698 865198080 30663 4294967295 134512640 134569956 3221224384 3221214660 1131403651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30663 13086 16 0 211214 0
vsize: 844920
[startup+590.032 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 56029 54 0 0 25 0 11 0 777967698 865198080 30719 4294967295 134512640 134569956 3221224384 3221214144 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30719 13086 16 0 211214 0
vsize: 844920
[startup+600.031 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 5190
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 57000 54 0 0 25 0 11 0 777967698 865198080 30771 4294967295 134512640 134569956 3221224384 3221214704 1131367536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30771 13086 16 0 211214 0
vsize: 844920
[startup+610.034 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 5191
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 57975 54 0 0 25 0 11 0 777967698 865198080 30803 4294967295 134512640 134569956 3221224384 3221214696 1131368290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30803 13086 16 0 211214 0
vsize: 844920
[startup+620.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5191
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 58930 54 0 0 25 0 11 0 777967698 865198080 30882 4294967295 134512640 134569956 3221224384 3221214392 1131161216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30882 13086 16 0 211214 0
vsize: 844920
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5191
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 59878 54 0 0 25 0 11 0 777967698 865198080 30952 4294967295 134512640 134569956 3221224384 3221214784 1131143299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 30952 13086 16 0 211214 0
vsize: 844920
[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 60844 55 0 0 25 0 11 0 777967698 865198080 31032 4294967295 134512640 134569956 3221224384 3221214784 1131143336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 31032 13086 16 0 211214 0
vsize: 844920
[startup+650.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 61798 56 0 0 25 0 11 0 777967698 865198080 31200 4294967295 134512640 134569956 3221224384 3221214280 1131592572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 31200 13086 16 0 211214 0
vsize: 844920
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 62763 56 0 0 25 0 11 0 777967698 865198080 31363 4294967295 134512640 134569956 3221224384 3221214672 1131148980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31363 13086 16 0 211214 0
vsize: 844920
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 63729 56 0 0 25 0 11 0 777967698 865198080 31475 4294967295 134512640 134569956 3221224384 3221214344 1131325709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 31475 13086 16 0 211214 0
vsize: 844920
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 64683 56 0 0 25 0 11 0 777967698 865198080 31619 4294967295 134512640 134569956 3221224384 3221214800 1131495749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 31619 13086 16 0 211214 0
vsize: 844920
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 65648 57 0 0 25 0 11 0 777967698 865198080 31768 4294967295 134512640 134569956 3221224384 3221214696 1131367625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 31768 13086 16 0 211214 0
vsize: 844920
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 66590 57 0 0 25 0 11 0 777967698 865198080 32080 4294967295 134512640 134569956 3221224384 3221214776 1131404114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32080 13086 16 0 211214 0
vsize: 844920
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 67556 57 0 0 25 0 11 0 777967698 865198080 32162 4294967295 134512640 134569956 3221224384 3221214008 1131325497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32162 13086 16 0 211214 0
vsize: 844920
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5192
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 68522 57 0 0 25 0 11 0 777967698 865198080 32304 4294967295 134512640 134569956 3221224384 3221214696 1131367473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32304 13086 16 0 211214 0
vsize: 844920
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 69478 57 0 0 25 0 11 0 777967698 865198080 32468 4294967295 134512640 134569956 3221224384 3221214696 1131367265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32468 13086 16 0 211214 0
vsize: 844920
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 70425 58 0 0 25 0 11 0 777967698 865198080 32513 4294967295 134512640 134569956 3221224384 3221213996 1085679264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32513 13086 16 0 211214 0
vsize: 844920
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 71380 58 0 0 25 0 11 0 777967698 865198080 32725 4294967295 134512640 134569956 3221224384 3221214696 1131367745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32725 13086 16 0 211214 0
vsize: 844920
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 72337 59 0 0 25 0 11 0 777967698 865198080 32725 4294967295 134512640 134569956 3221224384 3221214048 1131602942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32725 13086 16 0 211214 0
vsize: 844920
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 73304 59 0 0 25 0 11 0 777967698 865198080 32827 4294967295 134512640 134569956 3221224384 3221214800 1131496041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 32827 13086 16 0 211214 0
vsize: 844920
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 74272 59 0 0 25 0 11 0 777967698 865198080 32887 4294967295 134512640 134569956 3221224384 3221213868 1131325648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 32887 13086 16 0 211214 0
vsize: 844920
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 75227 59 0 0 25 0 11 0 777967698 865198080 33047 4294967295 134512640 134569956 3221224384 3221214752 1131596993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 33047 13086 16 0 211214 0
vsize: 844920
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 76195 60 0 0 25 0 11 0 777967698 865198080 33169 4294967295 134512640 134569956 3221224384 3221214696 1131368214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 33169 13086 16 0 211214 0
vsize: 844920
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 77164 60 0 0 25 0 11 0 777967698 865198080 33250 4294967295 134512640 134569956 3221224384 3221213872 1131325600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 33250 13086 16 0 211214 0
vsize: 844920
[startup+820.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 78129 60 0 0 25 0 11 0 777967698 865198080 33415 4294967295 134512640 134569956 3221224384 3221214224 1131592551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 33415 13086 16 0 211214 0
vsize: 844920
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5193
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 79092 60 0 0 25 0 11 0 777967698 865198080 33611 4294967295 134512640 134569956 3221224384 3221214608 1131187356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 33611 13086 16 0 211214 0
vsize: 844920
[startup+840.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5194
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 80070 60 0 0 25 0 11 0 777967698 865198080 33675 4294967295 134512640 134569956 3221224384 3221214000 1131592371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 33675 13086 16 0 211214 0
vsize: 844920
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5194
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 81026 60 0 0 25 0 11 0 777967698 865198080 33679 4294967295 134512640 134569956 3221224384 3221214176 1131325687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 33679 13086 16 0 211214 0
vsize: 844920
[startup+860.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 81990 60 0 0 25 0 11 0 777967698 865198080 33814 4294967295 134512640 134569956 3221224384 3221214696 1131367769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 33814 13086 16 0 211214 0
vsize: 844920
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 82946 60 0 0 25 0 11 0 777967698 865198080 33897 4294967295 134512640 134569956 3221224384 3221214336 1131592530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 33897 13086 16 0 211214 0
vsize: 844920
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 83899 61 0 0 25 0 11 0 777967698 865198080 34050 4294967295 134512640 134569956 3221224384 3221214440 1131324949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 34050 13086 16 0 211214 0
vsize: 844920
[startup+890.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 84853 61 0 0 25 0 11 0 777967698 865198080 34250 4294967295 134512640 134569956 3221224384 3221214288 1131325553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 34250 13086 16 0 211214 0
vsize: 844920
[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 85806 61 0 0 25 0 11 0 777967698 865198080 34415 4294967295 134512640 134569956 3221224384 3221214672 1131148980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 34415 13086 16 0 211214 0
vsize: 844920
[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 86741 61 0 0 25 0 11 0 777967698 865198080 34533 4294967295 134512640 134569956 3221224384 3221214120 1131325559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 34533 13086 16 0 211214 0
vsize: 844920
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 87699 61 0 0 25 0 11 0 777967698 865198080 34570 4294967295 134512640 134569956 3221224384 3221214696 1131367717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 34570 13086 16 0 211214 0
vsize: 844920
[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 88647 61 0 0 25 0 11 0 777967698 865198080 34732 4294967295 134512640 134569956 3221224384 3221214800 1131495749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 34732 13086 16 0 211214 0
vsize: 844920
[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 89619 62 0 0 25 0 11 0 777967698 865198080 34766 4294967295 134512640 134569956 3221224384 3221214344 1131325624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 34766 13086 16 0 211214 0
vsize: 844920
[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 90590 62 0 0 25 0 11 0 777967698 865198080 34906 4294967295 134512640 134569956 3221224384 3221214004 1131325648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 34906 13086 16 0 211214 0
vsize: 844920
[startup+960.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 91542 63 0 0 25 0 11 0 777967698 865198080 35125 4294967295 134512640 134569956 3221224384 3221214696 1131367294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 35125 13086 16 0 211214 0
vsize: 844920
[startup+970.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 92510 63 0 0 24 0 11 0 777967698 865198080 35293 4294967295 134512640 134569956 3221224384 3221214800 1131495749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35293 13086 16 0 211214 0
vsize: 844920
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 93483 63 0 0 25 0 11 0 777967698 865198080 35312 4294967295 134512640 134569956 3221224384 3221214784 1131143299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 35312 13086 16 0 211214 0
vsize: 844920
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 94457 63 0 0 25 0 11 0 777967698 865198080 35380 4294967295 134512640 134569956 3221224384 3221214256 1080217252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35380 13086 16 0 211214 0
vsize: 844920
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 95415 63 0 0 25 0 11 0 777967698 865198080 35472 4294967295 134512640 134569956 3221224384 3221214096 1131325649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35472 13086 16 0 211214 0
vsize: 844920
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 96382 64 0 0 25 0 11 0 777967698 865198080 35552 4294967295 134512640 134569956 3221224384 3221214800 1131495589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35552 13086 16 0 211214 0
vsize: 844920
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 97362 64 0 0 25 0 11 0 777967698 865198080 35588 4294967295 134512640 134569956 3221224384 3221214608 1131186285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35588 13086 16 0 211214 0
vsize: 844920
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 98328 64 0 0 25 0 11 0 777967698 865198080 35660 4294967295 134512640 134569956 3221224384 3221214312 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35660 13086 16 0 211214 0
vsize: 844920
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 99293 64 0 0 25 0 11 0 777967698 865198080 35732 4294967295 134512640 134569956 3221224384 3221214088 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35732 13086 16 0 211214 0
vsize: 844920
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 100269 64 0 0 25 0 11 0 777967698 865198080 35797 4294967295 134512640 134569956 3221224384 3221214344 1131325649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35797 13086 16 0 211214 0
vsize: 844920
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 101253 65 0 0 25 0 11 0 777967698 865198080 35813 4294967295 134512640 134569956 3221224384 3221214800 1131496348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35813 13086 16 0 211214 0
vsize: 844920
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 102213 65 0 0 25 0 11 0 777967698 865198080 35914 4294967295 134512640 134569956 3221224384 3221214256 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35914 13086 16 0 211214 0
vsize: 844920
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 103189 65 0 0 25 0 11 0 777967698 865198080 35943 4294967295 134512640 134569956 3221224384 3221214696 1131367888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35943 13086 16 0 211214 0
vsize: 844920
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5195
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 104152 66 0 0 25 0 11 0 777967698 865198080 35983 4294967295 134512640 134569956 3221224384 3221213872 1131325687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 35983 13086 16 0 211214 0
vsize: 844920
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 105122 66 0 0 25 0 11 0 777967698 865198080 36035 4294967295 134512640 134569956 3221224384 3221214392 1131592572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 36035 13086 16 0 211214 0
vsize: 844920
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 106084 66 0 0 25 0 11 0 777967698 865198080 36104 4294967295 134512640 134569956 3221224384 3221214096 1131586024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36104 13086 16 0 211214 0
vsize: 844920
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 107037 67 0 0 24 0 11 0 777967698 865198080 36211 4294967295 134512640 134569956 3221224384 3221214800 1131496053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36211 13086 16 0 211214 0
vsize: 844920
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 108006 67 0 0 25 0 11 0 777967698 865198080 36277 4294967295 134512640 134569956 3221224384 3221213636 1131324928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 36277 13086 16 0 211214 0
vsize: 844920
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 108984 67 0 0 25 0 11 0 777967698 865198080 36355 4294967295 134512640 134569956 3221224384 3221214664 1131521921 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36355 13086 16 0 211214 0
vsize: 844920
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) S 5174 23514 23513 0 -1 0 18144 3 4 0 109950 67 0 0 25 0 11 0 777967698 865198080 36388 4294967295 134512640 134569956 3221224384 3221213312 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36388 13086 16 0 211214 0
vsize: 844920
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 110922 67 0 0 25 0 11 0 777967698 865198080 36427 4294967295 134512640 134569956 3221224384 3221214800 1131495559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36427 13086 16 0 211214 0
vsize: 844920
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 111873 67 0 0 25 0 11 0 777967698 865198080 36572 4294967295 134512640 134569956 3221224384 3221214712 1131278718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36572 13086 16 0 211214 0
vsize: 844920
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 112845 68 0 0 25 0 11 0 777967698 865198080 36734 4294967295 134512640 134569956 3221224384 3221214752 1131596380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 36734 13086 16 0 211214 0
vsize: 844920
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 113809 68 0 0 25 0 11 0 777967698 865198080 36782 4294967295 134512640 134569956 3221224384 3221214372 1131592332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36782 13086 16 0 211214 0
vsize: 844920
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 114791 68 0 0 25 0 11 0 777967698 865198080 36782 4294967295 134512640 134569956 3221224384 3221214696 1130916339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36782 13086 16 0 211214 0
vsize: 844920
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 115753 68 0 0 25 0 11 0 777967698 865198080 36863 4294967295 134512640 134569956 3221224384 3221214696 1131367351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 36863 13086 16 0 211214 0
vsize: 844920
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 116701 68 0 0 24 0 11 0 777967698 865198080 37075 4294967295 134512640 134569956 3221224384 3221214024 1131589584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 37075 13086 16 0 211214 0
vsize: 844920
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 117685 68 0 0 25 0 11 0 777967698 865198080 37102 4294967295 134512640 134569956 3221224384 3221213920 1131589506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 37102 13086 16 0 211214 0
vsize: 844920
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 118662 69 0 0 25 0 11 0 777967698 865198080 37226 4294967295 134512640 134569956 3221224384 3221214336 1131592362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 37226 13086 16 0 211214 0
vsize: 844920
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 119641 69 0 0 25 0 11 0 777967698 865198080 37271 4294967295 134512640 134569956 3221224384 3221214696 1131368236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211230 37271 13086 16 0 211214 0
vsize: 844920
[startup+1260.07 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 5196
Raw data (stat): 5175 (java) R 5174 23514 23513 0 -1 0 18144 3 4 0 120621 69 0 0 25 0 11 0 777967698 865198080 37297 4294967295 134512640 134569956 3221224384 3221214064 1131325624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211230 37297 13086 16 0 211214 0
vsize: 844920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.18 s]
Raw data (loadavg): 1.07 1.02 0.95 1/54 5198
Raw data (stat): 5175 (java) Z 5174 23514 23513 0 -1 1036 18144 15975 4 0 120625 69 4875 37 25 0 1 0 777967698 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): 1260.18
CPU time (s): 1256.08
CPU user time (s): 1255.01
CPU system time (s): 1.07084
CPU usage (%): 99.6749
Max. virtual memory (Kb): 846360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	28
#### END VERIFIER DATA ####