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/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM	46f4eb904b1c96b45521a6459aa5d49d
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	109757
Total number of constraints	313451
Number of constraints which are clauses	295929
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	17522
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 29300

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        826448 kB
Buffers:         28172 kB
Cached:         151100 kB
SwapCached:        588 kB
Active:          51108 kB
Inactive:       133520 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826196 kB
SwapTotal:     2097892 kB
SwapFree:      2096632 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5668 kB
Slab:            17952 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 06:34:40 (client local time) WITH STATUS 143 IN 1373.78 SECONDS
stats: 20689 7 1373.78 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/wulflinc18/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
c reading problem ... c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
s UNKNOWN
c Total CPU time (ms) : 1369.403
#### 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.90 0.96 0.98 2/54 31213
Raw data (stat): 31213 (runsolver) R 31212 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836606201 1052672 99 4294967295 134512640 135381576 3221224384 3221219604 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.0041 s]
Raw data (loadavg): 0.91 0.96 0.98 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 774 38 0 0 22 0 10 0 836606201 855769088 21070 4294967295 134512640 134569956 3221224352 3221213540 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208928 21070 13086 16 0 208912 0
vsize: 835712
[startup+20.0045 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 1618 39 0 0 19 0 10 0 836606201 855732224 21969 4294967295 134512640 134569956 3221224352 3221214360 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 21969 13086 16 0 208903 0
vsize: 835676
[startup+30.0054 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 2480 39 0 0 19 0 10 0 836606201 855732224 22569 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 22569 13086 16 0 208903 0
vsize: 835676
[startup+40.0059 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 3340 39 0 0 18 0 10 0 836606201 855732224 23088 4294967295 134512640 134569956 3221224352 3221214412 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 23088 13086 16 0 208903 0
vsize: 835676
[startup+50.0073 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 4189 39 0 0 17 0 10 0 836606201 855732224 23652 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 23652 13086 16 0 208903 0
vsize: 835676
[startup+60.0082 s]
Raw data (loadavg): 1.04 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 5041 40 0 0 17 0 10 0 836606201 855732224 24186 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 24186 13086 16 0 208903 0
vsize: 835676
[startup+70.0087 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 5896 40 0 0 17 0 10 0 836606201 855732224 24583 4294967295 134512640 134569956 3221224352 3221214640 1131348808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 24583 13086 16 0 208903 0
vsize: 835676
[startup+80.0099 s]
Raw data (loadavg): 1.03 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 6757 40 0 0 19 0 10 0 836606201 855732224 25006 4294967295 134512640 134569956 3221224352 3221214344 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 25006 13086 16 0 208903 0
vsize: 835676
[startup+90.0179 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 7614 40 0 0 16 0 10 0 836606201 855732224 25300 4294967295 134512640 134569956 3221224352 3221214344 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 25300 13086 16 0 208903 0
vsize: 835676
[startup+100.017 s]
Raw data (loadavg): 1.02 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 8458 41 0 0 16 0 10 0 836606201 855732224 25633 4294967295 134512640 134569956 3221224352 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 25633 13086 16 0 208903 0
vsize: 835676
[startup+110.02 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 9310 41 0 0 16 0 10 0 836606201 855732224 25966 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 25966 13086 16 0 208903 0
vsize: 835676
[startup+120.022 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 10157 42 0 0 16 0 10 0 836606201 855732224 26290 4294967295 134512640 134569956 3221224352 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 26290 13086 16 0 208903 0
vsize: 835676
[startup+130.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 11007 42 0 0 16 0 10 0 836606201 855732224 26625 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 26625 13086 16 0 208903 0
vsize: 835676
[startup+140.024 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 11861 42 0 0 16 0 10 0 836606201 855732224 26996 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 26996 13086 16 0 208903 0
vsize: 835676
[startup+150.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 12707 42 0 0 16 0 10 0 836606201 855732224 27314 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 27314 13086 16 0 208903 0
vsize: 835676
[startup+160.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 13565 43 0 0 16 0 10 0 836606201 855732224 27643 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 27643 13086 16 0 208903 0
vsize: 835676
[startup+170.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 14416 43 0 0 16 0 10 0 836606201 855732224 27946 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 27946 13086 16 0 208903 0
vsize: 835676
[startup+180.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 15272 43 0 0 16 0 10 0 836606201 855732224 28233 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 28233 13086 16 0 208903 0
vsize: 835676
[startup+190.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 16131 44 0 0 15 0 10 0 836606201 855732224 28506 4294967295 134512640 134569956 3221224352 3221214104 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 28506 13086 16 0 208903 0
vsize: 835676
[startup+200.038 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 17001 44 0 0 16 0 10 0 836606201 855732224 28756 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 28756 13086 16 0 208903 0
vsize: 835676
[startup+210.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 17858 44 0 0 16 0 10 0 836606201 855732224 29070 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 29070 13086 16 0 208903 0
vsize: 835676
[startup+220.039 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 18715 45 0 0 16 0 10 0 836606201 855732224 29305 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 29305 13086 16 0 208903 0
vsize: 835676
[startup+230.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 19579 45 0 0 16 0 10 0 836606201 855732224 29671 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 29671 13086 16 0 208903 0
vsize: 835676
[startup+240.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 20445 46 0 0 16 0 10 0 836606201 855732224 29909 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 29909 13086 16 0 208903 0
vsize: 835676
[startup+250.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 21315 46 0 0 16 0 10 0 836606201 855732224 30140 4294967295 134512640 134569956 3221224352 3221214512 1131243089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 30140 13086 16 0 208903 0
vsize: 835676
[startup+260.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 22185 46 0 0 16 0 10 0 836606201 855732224 30357 4294967295 134512640 134569956 3221224352 3221214344 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 30357 13086 16 0 208903 0
vsize: 835676
[startup+270.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 23055 47 0 0 16 0 10 0 836606201 855732224 30583 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 30583 13086 16 0 208903 0
vsize: 835676
[startup+280.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 23926 47 0 0 16 0 10 0 836606201 855732224 30791 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 30791 13086 16 0 208903 0
vsize: 835676
[startup+290.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 24800 47 0 0 16 0 10 0 836606201 855732224 31009 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 31009 13086 16 0 208903 0
vsize: 835676
[startup+300.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 25678 48 0 0 16 0 10 0 836606201 855732224 31214 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 31214 13086 16 0 208903 0
vsize: 835676
[startup+310.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 26556 48 0 0 16 0 10 0 836606201 855732224 31409 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 31409 13086 16 0 208903 0
vsize: 835676
[startup+320.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 27434 49 0 0 16 0 10 0 836606201 855732224 31593 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 31593 13086 16 0 208903 0
vsize: 835676
[startup+330.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 28313 49 0 0 16 0 10 0 836606201 855732224 31793 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 31793 13086 16 0 208903 0
vsize: 835676
[startup+340.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 29195 49 0 0 16 0 10 0 836606201 855732224 31970 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 31970 13086 16 0 208903 0
vsize: 835676
[startup+350.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 30071 50 0 0 16 0 10 0 836606201 855732224 32159 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 32159 13086 16 0 208903 0
vsize: 835676
[startup+360.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 30951 50 0 0 16 0 10 0 836606201 855732224 32337 4294967295 134512640 134569956 3221224352 3221214436 1076462544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 32337 13086 16 0 208903 0
vsize: 835676
[startup+370.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 31830 50 0 0 16 0 10 0 836606201 855732224 32519 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 32519 13086 16 0 208903 0
vsize: 835676
[startup+380.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 32710 50 0 0 16 0 10 0 836606201 855732224 32707 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 32707 13086 16 0 208903 0
vsize: 835676
[startup+390.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 33591 50 0 0 16 0 10 0 836606201 855732224 32895 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 32895 13086 16 0 208903 0
vsize: 835676
[startup+400.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 34474 50 0 0 16 0 10 0 836606201 855732224 33068 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 33068 13086 16 0 208903 0
vsize: 835676
[startup+410.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 35355 51 0 0 16 0 10 0 836606201 855732224 33243 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 33243 13086 16 0 208903 0
vsize: 835676
[startup+420.067 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 36234 51 0 0 16 0 10 0 836606201 855732224 33409 4294967295 134512640 134569956 3221224352 3221214192 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 33409 13086 16 0 208903 0
vsize: 835676
[startup+430.068 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 37112 52 0 0 16 0 10 0 836606201 855732224 33586 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 33586 13086 16 0 208903 0
vsize: 835676
[startup+440.074 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 37988 52 0 0 16 0 10 0 836606201 855732224 33768 4294967295 134512640 134569956 3221224352 3221213700 1077094240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 33768 13086 16 0 208903 0
vsize: 835676
[startup+450.075 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 38860 53 0 0 16 0 10 0 836606201 855732224 33982 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 33982 13086 16 0 208903 0
vsize: 835676
[startup+460.077 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 39732 53 0 0 16 0 10 0 836606201 855732224 34150 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 34150 13086 16 0 208903 0
vsize: 835676
[startup+470.081 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 40615 53 0 0 16 0 10 0 836606201 855732224 34438 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 34438 13086 16 0 208903 0
vsize: 835676
[startup+480.082 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 41497 53 0 0 16 0 10 0 836606201 855732224 34600 4294967295 134512640 134569956 3221224352 3221214104 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 34600 13086 16 0 208903 0
vsize: 835676
[startup+490.083 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 42378 53 0 0 16 0 10 0 836606201 855732224 34761 4294967295 134512640 134569956 3221224352 3221214392 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 34761 13086 16 0 208903 0
vsize: 835676
[startup+500.087 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 43262 54 0 0 16 0 10 0 836606201 855732224 34922 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 34922 13086 16 0 208903 0
vsize: 835676
[startup+510.088 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 44148 54 0 0 16 0 10 0 836606201 855732224 35074 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 35074 13086 16 0 208903 0
vsize: 835676
[startup+520.089 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 45025 54 0 0 15 0 10 0 836606201 855732224 35220 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 35220 13086 16 0 208903 0
vsize: 835676
[startup+530.093 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 45907 55 0 0 16 0 10 0 836606201 855732224 35367 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 35367 13086 16 0 208903 0
vsize: 835676
[startup+540.097 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 46790 55 0 0 16 0 10 0 836606201 855732224 35523 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 35523 13086 16 0 208903 0
vsize: 835676
[startup+550.101 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 47671 55 0 0 16 0 10 0 836606201 855732224 35673 4294967295 134512640 134569956 3221224352 3221214104 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 35673 13086 16 0 208903 0
vsize: 835676
[startup+560.107 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 48552 56 0 0 16 0 10 0 836606201 855732224 35822 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 35822 13086 16 0 208903 0
vsize: 835676
[startup+570.108 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 49436 57 0 0 16 0 10 0 836606201 855732224 35974 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 35974 13086 16 0 208903 0
vsize: 835676
[startup+580.114 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 50321 57 0 0 16 0 10 0 836606201 855732224 36124 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 36124 13086 16 0 208903 0
vsize: 835676
[startup+590.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 51206 58 0 0 16 0 10 0 836606201 855732224 36263 4294967295 134512640 134569956 3221224352 3221214392 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 36263 13086 16 0 208903 0
vsize: 835676
[startup+600.117 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 52086 58 0 0 16 0 10 0 836606201 855732224 36409 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 36409 13086 16 0 208903 0
vsize: 835676
[startup+610.123 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 52967 58 0 0 16 0 10 0 836606201 855732224 36549 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 36549 13086 16 0 208903 0
vsize: 835676
[startup+620.124 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 53852 59 0 0 16 0 10 0 836606201 855732224 36687 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 36687 13086 16 0 208903 0
vsize: 835676
[startup+630.125 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 54736 59 0 0 16 0 10 0 836606201 855732224 36816 4294967295 134512640 134569956 3221224352 3221214388 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 36816 13086 16 0 208903 0
vsize: 835676
[startup+640.133 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 55619 60 0 0 16 0 10 0 836606201 855732224 36951 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 36951 13086 16 0 208903 0
vsize: 835676
[startup+650.138 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 56501 60 0 0 16 0 10 0 836606201 855732224 37089 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 37089 13086 16 0 208903 0
vsize: 835676
[startup+660.14 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 57378 61 0 0 16 0 10 0 836606201 855732224 37230 4294967295 134512640 134569956 3221224352 3221213700 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 37230 13086 16 0 208903 0
vsize: 835676
[startup+670.14 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 58260 62 0 0 16 0 10 0 836606201 855732224 37364 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 37364 13086 16 0 208903 0
vsize: 835676
[startup+680.142 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 59141 62 0 0 16 0 10 0 836606201 855732224 37494 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 37494 13086 16 0 208903 0
vsize: 835676
[startup+690.143 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 60023 62 0 0 16 0 10 0 836606201 855732224 37628 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 37628 13086 16 0 208903 0
vsize: 835676
[startup+700.144 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 60907 63 0 0 16 0 10 0 836606201 855732224 37762 4294967295 134512640 134569956 3221224352 3221214136 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 37762 13086 16 0 208903 0
vsize: 835676
[startup+710.145 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 61792 63 0 0 16 0 10 0 836606201 855732224 37885 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 37885 13086 16 0 208903 0
vsize: 835676
[startup+720.145 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 62676 64 0 0 16 0 10 0 836606201 855732224 38014 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 38014 13086 16 0 208903 0
vsize: 835676
[startup+730.147 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 63559 64 0 0 16 0 10 0 836606201 855732224 38140 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 38140 13086 16 0 208903 0
vsize: 835676
[startup+740.148 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 64444 65 0 0 16 0 10 0 836606201 855732224 38266 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 38266 13086 16 0 208903 0
vsize: 835676
[startup+750.149 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 65349 65 0 0 16 0 10 0 836606201 855732224 39031 4294967295 134512640 134569956 3221224352 3221214392 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 39031 13086 16 0 208903 0
vsize: 835676
[startup+760.153 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 66237 65 0 0 15 0 10 0 836606201 855732224 39031 4294967295 134512640 134569956 3221224352 3221214636 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 39031 13086 16 0 208903 0
vsize: 835676
[startup+770.158 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 67113 66 0 0 16 0 10 0 836606201 855732224 39143 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 39143 13086 16 0 208903 0
vsize: 835676
[startup+780.164 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 67990 66 0 0 16 0 10 0 836606201 855732224 39263 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 39263 13086 16 0 208903 0
vsize: 835676
[startup+790.169 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 68864 66 0 0 16 0 10 0 836606201 855732224 39384 4294967295 134512640 134569956 3221224352 3221214636 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 39384 13086 16 0 208903 0
vsize: 835676
[startup+800.17 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 69737 66 0 0 16 0 10 0 836606201 855732224 39512 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 39512 13086 16 0 208903 0
vsize: 835676
[startup+810.172 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 70611 67 0 0 16 0 10 0 836606201 855732224 39640 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 39640 13086 16 0 208903 0
vsize: 835676
[startup+820.173 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 71486 67 0 0 16 0 10 0 836606201 855732224 39756 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 39756 13086 16 0 208903 0
vsize: 835676
[startup+830.179 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 72360 67 0 0 15 0 10 0 836606201 855732224 39881 4294967295 134512640 134569956 3221224352 3221214392 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 39881 13086 16 0 208903 0
vsize: 835676
[startup+840.182 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 73235 68 0 0 16 0 10 0 836606201 855732224 40014 4294967295 134512640 134569956 3221224352 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 40014 13086 16 0 208903 0
vsize: 835676
[startup+850.183 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 74110 68 0 0 16 0 10 0 836606201 855732224 40123 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 40123 13086 16 0 208903 0
vsize: 835676
[startup+860.184 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 74983 68 0 0 16 0 10 0 836606201 855732224 40260 4294967295 134512640 134569956 3221224352 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 40260 13086 16 0 208903 0
vsize: 835676
[startup+870.185 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 75861 68 0 0 16 0 10 0 836606201 855732224 40382 4294967295 134512640 134569956 3221224352 3221213700 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 40382 13086 16 0 208903 0
vsize: 835676
[startup+880.187 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 76739 68 0 0 16 0 10 0 836606201 855732224 40480 4294967295 134512640 134569956 3221224352 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 40480 13086 16 0 208903 0
vsize: 835676
[startup+890.188 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 77615 68 0 0 16 0 10 0 836606201 855732224 40630 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 40630 13086 16 0 208903 0
vsize: 835676
[startup+900.189 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 78493 69 0 0 15 0 10 0 836606201 855732224 40726 4294967295 134512640 134569956 3221224352 3221214636 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 40726 13086 16 0 208903 0
vsize: 835676
[startup+910.193 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 79368 69 0 0 16 0 10 0 836606201 855732224 40838 4294967295 134512640 134569956 3221224352 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 40838 13086 16 0 208903 0
vsize: 835676
[startup+920.194 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 80243 70 0 0 16 0 10 0 836606201 855732224 40995 4294967295 134512640 134569956 3221224352 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 40995 13086 16 0 208903 0
vsize: 835676
[startup+930.197 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 81119 71 0 0 15 0 10 0 836606201 855732224 41081 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 41081 13086 16 0 208903 0
vsize: 835676
[startup+940.201 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 81997 71 0 0 16 0 10 0 836606201 855732224 41193 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 41193 13086 16 0 208903 0
vsize: 835676
[startup+950.202 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 82875 71 0 0 16 0 10 0 836606201 855732224 41293 4294967295 134512640 134569956 3221224352 3221214388 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 41293 13086 16 0 208903 0
vsize: 835676
[startup+960.206 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 83749 71 0 0 16 0 10 0 836606201 855732224 41441 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 41441 13086 16 0 208903 0
vsize: 835676
[startup+970.207 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 84627 72 0 0 16 0 10 0 836606201 855732224 41562 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 41562 13086 16 0 208903 0
vsize: 835676
[startup+980.209 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 85505 72 0 0 16 0 10 0 836606201 855732224 41658 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 41658 13086 16 0 208903 0
vsize: 835676
[startup+990.214 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 86388 72 0 0 16 0 10 0 836606201 855732224 41793 4294967295 134512640 134569956 3221224352 3221214344 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 41793 13086 16 0 208903 0
vsize: 835676
[startup+1000.21 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 87268 72 0 0 16 0 10 0 836606201 855732224 41851 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 41851 13086 16 0 208903 0
vsize: 835676
[startup+1010.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 88146 73 0 0 16 0 10 0 836606201 855732224 41961 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 41961 13086 16 0 208903 0
vsize: 835676
[startup+1020.22 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 89027 73 0 0 16 0 10 0 836606201 855732224 42108 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 42108 13086 16 0 208903 0
vsize: 835676
[startup+1030.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 89908 73 0 0 16 0 10 0 836606201 855732224 42180 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 42180 13086 16 0 208903 0
vsize: 835676
[startup+1040.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 90789 73 0 0 16 0 10 0 836606201 855732224 42287 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 42287 13086 16 0 208903 0
vsize: 835676
[startup+1050.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 91668 74 0 0 16 0 10 0 836606201 855732224 42384 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 42384 13086 16 0 208903 0
vsize: 835676
[startup+1060.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 92543 74 0 0 16 0 10 0 836606201 855732224 42493 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 42493 13086 16 0 208903 0
vsize: 835676
[startup+1070.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 93425 74 0 0 16 0 10 0 836606201 855732224 42626 4294967295 134512640 134569956 3221224352 3221214104 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 42626 13086 16 0 208903 0
vsize: 835676
[startup+1080.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 94310 74 0 0 16 0 10 0 836606201 855732224 42744 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 42744 13086 16 0 208903 0
vsize: 835676
[startup+1090.25 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 95194 75 0 0 16 0 10 0 836606201 855732224 42878 4294967295 134512640 134569956 3221224352 3221214460 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 42878 13086 16 0 208903 0
vsize: 835676
[startup+1100.25 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 96077 75 0 0 16 0 10 0 836606201 855732224 42928 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 42928 13086 16 0 208903 0
vsize: 835676
[startup+1110.25 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 96953 75 0 0 16 0 10 0 836606201 855732224 43041 4294967295 134512640 134569956 3221224352 3221213528 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 43041 13086 16 0 208903 0
vsize: 835676
[startup+1120.25 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 97832 75 0 0 16 0 10 0 836606201 855732224 43152 4294967295 134512640 134569956 3221224352 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 43152 13086 16 0 208903 0
vsize: 835676
[startup+1130.26 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 98717 75 0 0 16 0 10 0 836606201 855732224 43306 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 43306 13086 16 0 208903 0
vsize: 835676
[startup+1140.26 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 99604 76 0 0 16 0 10 0 836606201 855732224 43426 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 43426 13086 16 0 208903 0
vsize: 835676
[startup+1150.26 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 100492 76 0 0 16 0 10 0 836606201 855732224 43532 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 43532 13086 16 0 208903 0
vsize: 835676
[startup+1160.27 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 101380 77 0 0 16 0 10 0 836606201 855732224 43567 4294967295 134512640 134569956 3221224352 3221214104 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 43567 13086 16 0 208903 0
vsize: 835676
[startup+1170.27 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 102270 77 0 0 16 0 10 0 836606201 855732224 43718 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 43718 13086 16 0 208903 0
vsize: 835676
[startup+1180.27 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 103154 77 0 0 16 0 10 0 836606201 855732224 43777 4294967295 134512640 134569956 3221224352 3221213632 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 43777 13086 16 0 208903 0
vsize: 835676
[startup+1190.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 104041 78 0 0 16 0 10 0 836606201 855732224 43913 4294967295 134512640 134569956 3221224352 3221214388 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 43913 13086 16 0 208903 0
vsize: 835676
[startup+1200.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 104931 78 0 0 16 0 10 0 836606201 855732224 44022 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44022 13086 16 0 208903 0
vsize: 835676
[startup+1210.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 105823 78 0 0 16 0 10 0 836606201 855732224 44076 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44076 13086 16 0 208903 0
vsize: 835676
[startup+1220.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 106714 79 0 0 16 0 10 0 836606201 855732224 44192 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44192 13086 16 0 208903 0
vsize: 835676
[startup+1230.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 107596 80 0 0 16 0 10 0 836606201 855732224 44280 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44280 13086 16 0 208903 0
vsize: 835676
[startup+1240.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 108480 80 0 0 16 0 10 0 836606201 855732224 44387 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44387 13086 16 0 208903 0
vsize: 835676
[startup+1250.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 109363 80 0 0 16 0 10 0 836606201 855732224 44522 4294967295 134512640 134569956 3221224352 3221214392 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44522 13086 16 0 208903 0
vsize: 835676
[startup+1260.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 110259 80 0 0 16 0 10 0 836606201 855732224 44655 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44655 13086 16 0 208903 0
vsize: 835676
[startup+1270.28 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 111153 81 0 0 16 0 10 0 836606201 855732224 44723 4294967295 134512640 134569956 3221224352 3221214104 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44723 13086 16 0 208903 0
vsize: 835676
[startup+1280.29 s]
Raw data (loadavg): 1.00 0.99 0.99 3/63 31222
Raw data (stat): 31213 (java) S 31212 24172 24171 0 -1 0 18040 0 1 0 112046 81 0 0 16 0 10 0 836606201 855732224 44837 4294967295 134512640 134569956 3221224352 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208919 44837 13086 16 0 208903 0
vsize: 835676
[startup+1290.29 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 112936 82 0 0 16 0 10 0 836606201 855732224 44961 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 44961 13086 16 0 208903 0
vsize: 835676
[startup+1300.29 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 113826 82 0 0 16 0 10 0 836606201 855732224 45000 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45000 13086 16 0 208903 0
vsize: 835676
[startup+1310.29 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 114713 82 0 0 16 0 10 0 836606201 855732224 45098 4294967295 134512640 134569956 3221224352 3221214104 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45098 13086 16 0 208903 0
vsize: 835676
[startup+1320.29 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 115603 83 0 0 16 0 10 0 836606201 855732224 45232 4294967295 134512640 134569956 3221224352 3221214104 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45232 13086 16 0 208903 0
vsize: 835676
[startup+1330.29 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 116493 83 0 0 15 0 10 0 836606201 855732224 45337 4294967295 134512640 134569956 3221224352 3221214392 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45337 13086 16 0 208903 0
vsize: 835676
[startup+1340.3 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 117393 83 0 0 16 0 10 0 836606201 855732224 45411 4294967295 134512640 134569956 3221224352 3221214272 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45411 13086 16 0 208903 0
vsize: 835676
[startup+1350.3 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 118294 84 0 0 16 0 10 0 836606201 855732224 45521 4294967295 134512640 134569956 3221224352 3221214628 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45521 13086 16 0 208903 0
vsize: 835676
[startup+1360.3 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 119189 84 0 0 16 0 10 0 836606201 855732224 45648 4294967295 134512640 134569956 3221224352 3221214136 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45648 13086 16 0 208903 0
vsize: 835676
[startup+1370.3 s]
Raw data (loadavg): 1.00 0.99 0.99 2/63 31222
Raw data (stat): 31213 (java) R 31212 24172 24171 0 -1 0 18040 0 1 0 120092 84 0 0 16 0 10 0 836606201 855732224 45731 4294967295 134512640 134569956 3221224352 3221214636 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208919 45731 13086 16 0 208903 0
vsize: 835676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1370.45 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 31224
Raw data (stat): 31213 (java) Z 31212 24172 24171 0 -1 1036 18040 28459 1 0 120098 92 17101 84 17 0 1 0 836606201 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1370.45
CPU time (s): 1373.78
CPU user time (s): 1372
CPU system time (s): 1.77773
CPU usage (%): 100.243
Max. virtual memory (Kb): 835712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####