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/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.562914
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 29052

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 04:40:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20454 boxname=wulflinc30 idbench=44 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c84a64f67029a09ef823a1b3017b5713  /oldhome/oroussel/tmp/wulflinc30/normalized-fpga25_24_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-fpga25_24_sat_pb.cnf.cr.opb
IDLAUNCH: 20454
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        726564 kB
Buffers:         31928 kB
Cached:         252956 kB
SwapCached:        716 kB
Active:          70672 kB
Inactive:       216292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        726312 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15464 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:01:04 (client local time) WITH STATUS 143 IN 1261.58 SECONDS
stats: 20454 7 1261.58 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/wulflinc30/normalized-fpga25_24_sat_pb.cnf.cr.opb
c reading problem ... done. Time 2.495 ms.
c #vars     900
c #constraints  673
c starts	: 7
c conflicts	: 2721
c decisions	: 17644
c propagations	: 78190
c inspects	: 1132966
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2720
c root simplifications	: 7
s UNKNOWN
c Total CPU time (ms) : 1259.174
#### 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.93 0.88 0.85 2/54 2194
Raw data (stat): 2194 (runsolver) R 2193 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836064745 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0015 s]
Raw data (loadavg): 1.09 0.92 0.86 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18069 0 2 0 733 35 0 0 25 0 11 0 836064745 857473024 20458 4294967295 134512640 134569956 3221224368 3221214792 1131302903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209344 20458 13086 16 0 209328 0
vsize: 837376
[startup+20.0019 s]
Raw data (loadavg): 1.08 0.92 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18071 0 2 0 1668 35 0 0 25 0 11 0 836064745 856817664 21460 4294967295 134512640 134569956 3221224368 3221214760 1131281574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 21460 13086 16 0 209168 0
vsize: 836736
[startup+30.0022 s]
Raw data (loadavg): 1.06 0.92 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 2597 35 0 0 25 0 11 0 836064745 856817664 22154 4294967295 134512640 134569956 3221224368 3221214512 1130887549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 22154 13086 16 0 209168 0
vsize: 836736
[startup+40.0031 s]
Raw data (loadavg): 1.05 0.92 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 3531 36 0 0 25 0 11 0 836064745 856817664 22607 4294967295 134512640 134569956 3221224368 3221213540 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 22607 13086 16 0 209168 0
vsize: 836736
[startup+50.0033 s]
Raw data (loadavg): 1.05 0.93 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 4485 36 0 0 25 0 11 0 836064745 856817664 22983 4294967295 134512640 134569956 3221224368 3221214680 1131282859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 22983 13086 16 0 209168 0
vsize: 836736
[startup+60.0045 s]
Raw data (loadavg): 1.04 0.93 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 5430 36 0 0 25 0 11 0 836064745 856817664 23282 4294967295 134512640 134569956 3221224368 3221214680 1131283755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 23282 13086 16 0 209168 0
vsize: 836736
[startup+70.0053 s]
Raw data (loadavg): 1.03 0.93 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 6377 36 0 0 25 0 11 0 836064745 856817664 23632 4294967295 134512640 134569956 3221224368 3221214696 1131259887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 23632 13086 16 0 209168 0
vsize: 836736
[startup+80.0056 s]
Raw data (loadavg): 1.03 0.93 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 7316 36 0 0 25 0 11 0 836064745 856817664 23800 4294967295 134512640 134569956 3221224368 3221214680 1131282879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 23800 13086 16 0 209168 0
vsize: 836736
[startup+90.0058 s]
Raw data (loadavg): 1.02 0.93 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 8243 36 0 0 25 0 11 0 836064745 856817664 24081 4294967295 134512640 134569956 3221224368 3221214680 1131283181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 24081 13086 16 0 209168 0
vsize: 836736
[startup+100.008 s]
Raw data (loadavg): 1.02 0.94 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 9173 36 0 0 25 0 11 0 836064745 856817664 24277 4294967295 134512640 134569956 3221224368 3221214584 1131211796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 24277 13086 16 0 209168 0
vsize: 836736
[startup+110.016 s]
Raw data (loadavg): 1.02 0.94 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 10110 36 0 0 25 0 11 0 836064745 856817664 24600 4294967295 134512640 134569956 3221224368 3221214600 1131458165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 24600 13086 16 0 209168 0
vsize: 836736
[startup+120.017 s]
Raw data (loadavg): 1.01 0.94 0.87 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 11059 36 0 0 25 0 11 0 836064745 856817664 24706 4294967295 134512640 134569956 3221224368 3221214416 1131474461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 24706 13086 16 0 209168 0
vsize: 836736
[startup+130.022 s]
Raw data (loadavg): 1.01 0.94 0.88 2/64 2204
Raw data (stat): 2194 (java) S 2193 22056 22055 0 -1 0 18072 0 2 0 12009 36 0 0 25 0 11 0 836064745 856817664 24827 4294967295 134512640 134569956 3221224368 3221213200 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 24827 13086 16 0 209168 0
vsize: 836736
[startup+140.022 s]
Raw data (loadavg): 1.01 0.94 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 12963 36 0 0 25 0 11 0 836064745 856817664 25014 4294967295 134512640 134569956 3221224368 3221214160 1131496404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 25014 13086 16 0 209168 0
vsize: 836736
[startup+150.024 s]
Raw data (loadavg): 1.01 0.94 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 13920 36 0 0 25 0 11 0 836064745 856817664 25211 4294967295 134512640 134569956 3221224368 3221214704 1131291397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 25211 13086 16 0 209168 0
vsize: 836736
[startup+160.024 s]
Raw data (loadavg): 1.00 0.94 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 14867 37 0 0 25 0 11 0 836064745 856817664 25459 4294967295 134512640 134569956 3221224368 3221214480 1131259537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 25459 13086 16 0 209168 0
vsize: 836736
[startup+170.025 s]
Raw data (loadavg): 1.00 0.95 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 15824 37 0 0 25 0 11 0 836064745 856817664 25631 4294967295 134512640 134569956 3221224368 3221214600 1131283181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 25631 13086 16 0 209168 0
vsize: 836736
[startup+180.025 s]
Raw data (loadavg): 1.00 0.95 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 16768 37 0 0 25 0 11 0 836064745 856817664 25874 4294967295 134512640 134569956 3221224368 3221214056 1131486154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 25874 13086 16 0 209168 0
vsize: 836736
[startup+190.026 s]
Raw data (loadavg): 1.00 0.95 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 17716 37 0 0 25 0 11 0 836064745 856817664 26066 4294967295 134512640 134569956 3221224368 3221214516 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 26066 13086 16 0 209168 0
vsize: 836736
[startup+200.025 s]
Raw data (loadavg): 1.00 0.95 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 18685 37 0 0 25 0 11 0 836064745 856817664 26140 4294967295 134512640 134569956 3221224368 3221214600 1131283139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 26140 13086 16 0 209168 0
vsize: 836736
[startup+210.026 s]
Raw data (loadavg): 1.00 0.95 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 19646 37 0 0 25 0 11 0 836064745 856817664 26209 4294967295 134512640 134569956 3221224368 3221214576 1131314720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 26209 13086 16 0 209168 0
vsize: 836736
[startup+220.027 s]
Raw data (loadavg): 1.00 0.95 0.88 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 20605 37 0 0 25 0 11 0 836064745 856817664 26245 4294967295 134512640 134569956 3221224368 3221214488 1131259689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 26245 13086 16 0 209168 0
vsize: 836736
[startup+230.027 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 21564 37 0 0 25 0 11 0 836064745 856817664 26336 4294967295 134512640 134569956 3221224368 3221214472 1131342978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 26336 13086 16 0 209168 0
vsize: 836736
[startup+240.027 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 2204
Raw data (stat): 2194 (java) S 2193 22056 22055 0 -1 0 18072 0 2 0 22528 37 0 0 25 0 11 0 836064745 856817664 26481 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 26481 13086 16 0 209168 0
vsize: 836736
[startup+250.028 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 23474 38 0 0 25 0 11 0 836064745 856817664 26656 4294967295 134512640 134569956 3221224368 3221214600 1131283402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 26656 13086 16 0 209168 0
vsize: 836736
[startup+260.029 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 24416 38 0 0 25 0 11 0 836064745 856817664 26927 4294967295 134512640 134569956 3221224368 3221214552 1131421131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 26927 13086 16 0 209168 0
vsize: 836736
[startup+270.029 s]
Raw data (loadavg): 1.00 0.96 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 25371 38 0 0 25 0 11 0 836064745 856817664 27046 4294967295 134512640 134569956 3221224368 3221214448 1131137793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27046 13086 16 0 209168 0
vsize: 836736
[startup+280.029 s]
Raw data (loadavg): 1.00 0.96 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 26315 38 0 0 25 0 11 0 836064745 856817664 27114 4294967295 134512640 134569956 3221224368 3221214512 1131183930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27114 13086 16 0 209168 0
vsize: 836736
[startup+290.029 s]
Raw data (loadavg): 1.00 0.96 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 27266 39 0 0 25 0 11 0 836064745 856817664 27224 4294967295 134512640 134569956 3221224368 3221213992 1131496202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27224 13086 16 0 209168 0
vsize: 836736
[startup+300.03 s]
Raw data (loadavg): 1.00 0.96 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 28227 39 0 0 25 0 11 0 836064745 856817664 27281 4294967295 134512640 134569956 3221224368 3221214580 1131281608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27281 13086 16 0 209168 0
vsize: 836736
[startup+310.03 s]
Raw data (loadavg): 1.00 0.96 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 29190 39 0 0 25 0 11 0 836064745 856817664 27446 4294967295 134512640 134569956 3221224368 3221214584 1131288015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27446 13086 16 0 209168 0
vsize: 836736
[startup+320.031 s]
Raw data (loadavg): 1.00 0.96 0.89 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 30146 40 0 0 25 0 11 0 836064745 856817664 27648 4294967295 134512640 134569956 3221224368 3221214480 1131259642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27648 13086 16 0 209168 0
vsize: 836736
[startup+330.031 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 31089 40 0 0 24 0 11 0 836064745 856817664 27822 4294967295 134512640 134569956 3221224368 3221214600 1131283628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27822 13086 16 0 209168 0
vsize: 836736
[startup+340.032 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 32035 40 0 0 25 0 11 0 836064745 856817664 27972 4294967295 134512640 134569956 3221224368 3221214488 1131259928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 27972 13086 16 0 209168 0
vsize: 836736
[startup+350.032 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 32986 40 0 0 25 0 11 0 836064745 856817664 28103 4294967295 134512640 134569956 3221224368 3221214584 1131288022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28103 13086 16 0 209168 0
vsize: 836736
[startup+360.034 s]
Raw data (loadavg): 1.00 0.96 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 33961 41 0 0 25 0 11 0 836064745 856817664 28135 4294967295 134512640 134569956 3221224368 3221214256 1131244038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28135 13086 16 0 209168 0
vsize: 836736
[startup+370.034 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 34933 41 0 0 25 0 11 0 836064745 856817664 28188 4294967295 134512640 134569956 3221224368 3221214664 1131150607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28188 13086 16 0 209168 0
vsize: 836736
[startup+380.034 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 2204
Raw data (stat): 2194 (java) S 2193 22056 22055 0 -1 0 18072 0 2 0 35898 41 0 0 25 0 11 0 836064745 856817664 28283 4294967295 134512640 134569956 3221224368 3221213344 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28283 13086 16 0 209168 0
vsize: 836736
[startup+390.035 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 36853 41 0 0 25 0 11 0 836064745 856817664 28423 4294967295 134512640 134569956 3221224368 3221214664 1131150485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 28423 13086 16 0 209168 0
vsize: 836736
[startup+400.036 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 37809 42 0 0 25 0 11 0 836064745 856817664 28543 4294967295 134512640 134569956 3221224368 3221214704 1131291998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28543 13086 16 0 209168 0
vsize: 836736
[startup+410.036 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 38766 42 0 0 25 0 11 0 836064745 856817664 28676 4294967295 134512640 134569956 3221224368 3221214472 1131343854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28676 13086 16 0 209168 0
vsize: 836736
[startup+420.036 s]
Raw data (loadavg): 1.00 0.97 0.90 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 39712 42 0 0 25 0 11 0 836064745 856817664 28832 4294967295 134512640 134569956 3221224368 3221214688 1131411301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28832 13086 16 0 209168 0
vsize: 836736
[startup+430.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 40660 43 0 0 25 0 11 0 836064745 856817664 28995 4294967295 134512640 134569956 3221224368 3221214664 1131150548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 28995 13086 16 0 209168 0
vsize: 836736
[startup+440.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 41598 43 0 0 25 0 11 0 836064745 856817664 29192 4294967295 134512640 134569956 3221224368 3221214600 1131282777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 29192 13086 16 0 209168 0
vsize: 836736
[startup+450.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 42525 43 0 0 25 0 11 0 836064745 856817664 29362 4294967295 134512640 134569956 3221224368 3221214600 1131283139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 29362 13086 16 0 209168 0
vsize: 836736
[startup+460.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 43475 43 0 0 25 0 11 0 836064745 856817664 29530 4294967295 134512640 134569956 3221224368 3221214704 1131291397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 29530 13086 16 0 209168 0
vsize: 836736
[startup+470.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 44425 43 0 0 25 0 11 0 836064745 856817664 29654 4294967295 134512640 134569956 3221224368 3221214600 1131283126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 29654 13086 16 0 209168 0
vsize: 836736
[startup+480.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 45385 44 0 0 25 0 11 0 836064745 856817664 30206 4294967295 134512640 134569956 3221224368 3221214544 1131186408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 30206 13086 16 0 209168 0
vsize: 836736
[startup+490.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 46359 44 0 0 25 0 11 0 836064745 856817664 30531 4294967295 134512640 134569956 3221224368 3221214192 1131486129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 30531 13086 16 0 209168 0
vsize: 836736
[startup+500.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 47294 44 0 0 25 0 11 0 836064745 856817664 31230 4294967295 134512640 134569956 3221224368 3221214528 1131286870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 31230 13086 16 0 209168 0
vsize: 836736
[startup+510.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 48244 45 0 0 25 0 11 0 836064745 856817664 31348 4294967295 134512640 134569956 3221224368 3221214600 1131283654 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 31348 13086 16 0 209168 0
vsize: 836736
[startup+520.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 49196 45 0 0 25 0 11 0 836064745 856817664 31709 4294967295 134512640 134569956 3221224368 3221214600 1131283648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 31709 13086 16 0 209168 0
vsize: 836736
[startup+530.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 50155 45 0 0 25 0 11 0 836064745 856817664 31709 4294967295 134512640 134569956 3221224368 3221214472 1131342787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 31709 13086 16 0 209168 0
vsize: 836736
[startup+540.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 51108 45 0 0 25 0 11 0 836064745 856817664 31709 4294967295 134512640 134569956 3221224368 3221214360 1131485997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 31709 13086 16 0 209168 0
vsize: 836736
[startup+550.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 52056 46 0 0 25 0 11 0 836064745 856817664 31913 4294967295 134512640 134569956 3221224368 3221214664 1131150464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 31913 13086 16 0 209168 0
vsize: 836736
[startup+560.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 53010 46 0 0 25 0 11 0 836064745 856817664 32258 4294967295 134512640 134569956 3221224368 3221213888 1131486053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 32258 13086 16 0 209168 0
vsize: 836736
[startup+570.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 53975 47 0 0 25 0 11 0 836064745 856817664 32462 4294967295 134512640 134569956 3221224368 3221214600 1131282796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 32462 13086 16 0 209168 0
vsize: 836736
[startup+580.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 54943 47 0 0 25 0 11 0 836064745 856817664 32484 4294967295 134512640 134569956 3221224368 3221214600 1131282888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 32484 13086 16 0 209168 0
vsize: 836736
[startup+590.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 55899 48 0 0 25 0 11 0 836064745 856817664 32616 4294967295 134512640 134569956 3221224368 3221213960 1131487516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 32616 13086 16 0 209168 0
vsize: 836736
[startup+600.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 56855 48 0 0 25 0 11 0 836064745 856817664 32799 4294967295 134512640 134569956 3221224368 3221214048 1131496304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 32799 13086 16 0 209168 0
vsize: 836736
[startup+610.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 57812 48 0 0 24 0 11 0 836064745 856817664 32904 4294967295 134512640 134569956 3221224368 3221214580 1131259340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 32904 13086 16 0 209168 0
vsize: 836736
[startup+620.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 58769 49 0 0 25 0 11 0 836064745 856817664 33108 4294967295 134512640 134569956 3221224368 3221214584 1131288003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 33108 13086 16 0 209168 0
vsize: 836736
[startup+630.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 59727 49 0 0 25 0 11 0 836064745 856817664 33217 4294967295 134512640 134569956 3221224368 3221214544 1131186360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 33217 13086 16 0 209168 0
vsize: 836736
[startup+640.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 60673 50 0 0 25 0 11 0 836064745 856817664 33330 4294967295 134512640 134569956 3221224368 3221214528 1131286885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 33330 13086 16 0 209168 0
vsize: 836736
[startup+650.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 61631 50 0 0 25 0 11 0 836064745 856817664 33403 4294967295 134512640 134569956 3221224368 3221214600 1131282732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 33403 13086 16 0 209168 0
vsize: 836736
[startup+660.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 62589 50 0 0 25 0 11 0 836064745 856817664 33518 4294967295 134512640 134569956 3221224368 3221214472 1131342688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 33518 13086 16 0 209168 0
vsize: 836736
[startup+670.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 63537 50 0 0 25 0 11 0 836064745 856817664 33674 4294967295 134512640 134569956 3221224368 3221214704 1131291397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 33674 13086 16 0 209168 0
vsize: 836736
[startup+680.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 64499 50 0 0 25 0 11 0 836064745 856817664 33784 4294967295 134512640 134569956 3221224368 3221214584 1131287989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 33784 13086 16 0 209168 0
vsize: 836736
[startup+690.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 65462 50 0 0 25 0 11 0 836064745 856817664 33920 4294967295 134512640 134569956 3221224368 3221214528 1131286828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 33920 13086 16 0 209168 0
vsize: 836736
[startup+700.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 66428 50 0 0 25 0 11 0 836064745 856817664 34010 4294967295 134512640 134569956 3221224368 3221214528 1131286885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34010 13086 16 0 209168 0
vsize: 836736
[startup+710.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 67389 50 0 0 25 0 11 0 836064745 856817664 34215 4294967295 134512640 134569956 3221224368 3221214464 1131487527 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34215 13086 16 0 209168 0
vsize: 836736
[startup+720.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 68367 50 0 0 25 0 11 0 836064745 856817664 34273 4294967295 134512640 134569956 3221224368 3221214556 1131286948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34273 13086 16 0 209168 0
vsize: 836736
[startup+730.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 69325 50 0 0 25 0 11 0 836064745 856817664 34405 4294967295 134512640 134569956 3221224368 3221214488 1131259689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34405 13086 16 0 209168 0
vsize: 836736
[startup+740.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 70289 50 0 0 25 0 11 0 836064745 856817664 34454 4294967295 134512640 134569956 3221224368 3221214600 1131283370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34454 13086 16 0 209168 0
vsize: 836736
[startup+750.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 71249 50 0 0 25 0 11 0 836064745 856817664 34531 4294967295 134512640 134569956 3221224368 3221214664 1131150464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34531 13086 16 0 209168 0
vsize: 836736
[startup+760.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 72209 50 0 0 25 0 11 0 836064745 856817664 34584 4294967295 134512640 134569956 3221224368 3221214472 1131342978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34584 13086 16 0 209168 0
vsize: 836736
[startup+770.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 73167 50 0 0 25 0 11 0 836064745 856817664 34647 4294967295 134512640 134569956 3221224368 3221214488 1131259689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34647 13086 16 0 209168 0
vsize: 836736
[startup+780.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 74125 50 0 0 25 0 11 0 836064745 856817664 34699 4294967295 134512640 134569956 3221224368 3221214664 1131150464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34699 13086 16 0 209168 0
vsize: 836736
[startup+790.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 75084 51 0 0 25 0 11 0 836064745 856817664 34819 4294967295 134512640 134569956 3221224368 3221214544 1131186430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34819 13086 16 0 209168 0
vsize: 836736
[startup+800.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 76045 51 0 0 25 0 11 0 836064745 856817664 34979 4294967295 134512640 134569956 3221224368 3221214584 1131288035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 34979 13086 16 0 209168 0
vsize: 836736
[startup+810.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 77010 51 0 0 25 0 11 0 836064745 856817664 35147 4294967295 134512640 134569956 3221224368 3221214544 1131186360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35147 13086 16 0 209168 0
vsize: 836736
[startup+820.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 77981 51 0 0 25 0 11 0 836064745 856817664 35246 4294967295 134512640 134569956 3221224368 3221214472 1131343203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35246 13086 16 0 209168 0
vsize: 836736
[startup+830.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 78950 51 0 0 25 0 11 0 836064745 856817664 35335 4294967295 134512640 134569956 3221224368 3221214576 1131281179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35335 13086 16 0 209168 0
vsize: 836736
[startup+840.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 79920 51 0 0 25 0 11 0 836064745 856817664 35451 4294967295 134512640 134569956 3221224368 3221214580 1131209513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35451 13086 16 0 209168 0
vsize: 836736
[startup+850.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 80890 51 0 0 24 0 11 0 836064745 856817664 35522 4294967295 134512640 134569956 3221224368 3221214480 1131259646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35522 13086 16 0 209168 0
vsize: 836736
[startup+860.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 81867 51 0 0 25 0 11 0 836064745 856817664 35571 4294967295 134512640 134569956 3221224368 3221214560 1131290058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35571 13086 16 0 209168 0
vsize: 836736
[startup+870.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 82838 51 0 0 25 0 11 0 836064745 856817664 35641 4294967295 134512640 134569956 3221224368 3221214488 1131259365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35641 13086 16 0 209168 0
vsize: 836736
[startup+880.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 83808 51 0 0 25 0 11 0 836064745 856817664 35703 4294967295 134512640 134569956 3221224368 3221214328 1078033055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35703 13086 16 0 209168 0
vsize: 836736
[startup+890.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 84779 51 0 0 25 0 11 0 836064745 856817664 35756 4294967295 134512640 134569956 3221224368 3221214480 1131259407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35756 13086 16 0 209168 0
vsize: 836736
[startup+900.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 85750 51 0 0 25 0 11 0 836064745 856817664 35826 4294967295 134512640 134569956 3221224368 3221214584 1131288066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35826 13086 16 0 209168 0
vsize: 836736
[startup+910.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 86722 51 0 0 25 0 11 0 836064745 856817664 35927 4294967295 134512640 134569956 3221224368 3221214560 1131281585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 35927 13086 16 0 209168 0
vsize: 836736
[startup+920.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 87696 51 0 0 25 0 11 0 836064745 856817664 36044 4294967295 134512640 134569956 3221224368 3221214664 1131150464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 36044 13086 16 0 209168 0
vsize: 836736
[startup+930.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 88672 51 0 0 25 0 11 0 836064745 856817664 36139 4294967295 134512640 134569956 3221224368 3221214536 1131312306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 36139 13086 16 0 209168 0
vsize: 836736
[startup+940.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 89653 51 0 0 25 0 11 0 836064745 856817664 36168 4294967295 134512640 134569956 3221224368 3221214480 1131259689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 36168 13086 16 0 209168 0
vsize: 836736
[startup+950.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 90628 51 0 0 24 0 11 0 836064745 856817664 36229 4294967295 134512640 134569956 3221224368 3221214472 1131345364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 36229 13086 16 0 209168 0
vsize: 836736
[startup+960.064 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 91608 51 0 0 25 0 11 0 836064745 856817664 36269 4294967295 134512640 134569956 3221224368 3221214472 1131343147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 36269 13086 16 0 209168 0
vsize: 836736
[startup+970.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 92581 51 0 0 25 0 11 0 836064745 856817664 36325 4294967295 134512640 134569956 3221224368 3221214516 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36325 13086 16 0 209168 0
vsize: 836736
[startup+980.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 93560 52 0 0 25 0 11 0 836064745 856817664 36366 4294967295 134512640 134569956 3221224368 3221214472 1131343012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36366 13086 16 0 209168 0
vsize: 836736
[startup+990.065 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 94531 52 0 0 25 0 11 0 836064745 856817664 36423 4294967295 134512640 134569956 3221224368 3221214528 1131286810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36423 13086 16 0 209168 0
vsize: 836736
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 95501 52 0 0 25 0 11 0 836064745 856817664 36495 4294967295 134512640 134569956 3221224368 3221214584 1131288003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36495 13086 16 0 209168 0
vsize: 836736
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 96479 52 0 0 25 0 11 0 836064745 856817664 36553 4294967295 134512640 134569956 3221224368 3221214496 1131475681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36553 13086 16 0 209168 0
vsize: 836736
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 97449 53 0 0 25 0 11 0 836064745 856817664 36616 4294967295 134512640 134569956 3221224368 3221214612 1131342483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36616 13086 16 0 209168 0
vsize: 836736
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 98420 53 0 0 25 0 11 0 836064745 856817664 36683 4294967295 134512640 134569956 3221224368 3221213940 1085632272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36683 13086 16 0 209168 0
vsize: 836736
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 99390 53 0 0 25 0 11 0 836064745 856817664 36750 4294967295 134512640 134569956 3221224368 3221214560 1131290048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36750 13086 16 0 209168 0
vsize: 836736
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 100359 53 0 0 25 0 11 0 836064745 856817664 36818 4294967295 134512640 134569956 3221224368 3221214488 1131259689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36818 13086 16 0 209168 0
vsize: 836736
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 101335 54 0 0 25 0 11 0 836064745 856817664 36880 4294967295 134512640 134569956 3221224368 3221214488 1131259572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36880 13086 16 0 209168 0
vsize: 836736
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 102302 54 0 0 25 0 11 0 836064745 856817664 36956 4294967295 134512640 134569956 3221224368 3221214480 1131259686 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 36956 13086 16 0 209168 0
vsize: 836736
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 103268 54 0 0 25 0 11 0 836064745 856817664 37028 4294967295 134512640 134569956 3221224368 3221214472 1131342731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37028 13086 16 0 209168 0
vsize: 836736
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 104241 54 0 0 25 0 11 0 836064745 856817664 37091 4294967295 134512640 134569956 3221224368 3221214560 1131281585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37091 13086 16 0 209168 0
vsize: 836736
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 105205 54 0 0 25 0 11 0 836064745 856817664 37165 4294967295 134512640 134569956 3221224368 3221214472 1131344533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37165 13086 16 0 209168 0
vsize: 836736
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) S 2193 22056 22055 0 -1 0 18072 0 2 0 106167 55 0 0 25 0 11 0 836064745 856817664 37231 4294967295 134512640 134569956 3221224368 3221213184 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37231 13086 16 0 209168 0
vsize: 836736
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 107137 55 0 0 25 0 11 0 836064745 856817664 37318 4294967295 134512640 134569956 3221224368 3221214576 1131314877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37318 13086 16 0 209168 0
vsize: 836736
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 108096 55 0 0 25 0 11 0 836064745 856817664 37403 4294967295 134512640 134569956 3221224368 3221214576 1131314825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37403 13086 16 0 209168 0
vsize: 836736
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 109057 56 0 0 25 0 11 0 836064745 856817664 37476 4294967295 134512640 134569956 3221224368 3221214472 1131343088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37476 13086 16 0 209168 0
vsize: 836736
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 110027 56 0 0 25 0 11 0 836064745 856817664 37584 4294967295 134512640 134569956 3221224368 3221214472 1131342721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37584 13086 16 0 209168 0
vsize: 836736
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 110991 56 0 0 25 0 11 0 836064745 856817664 37653 4294967295 134512640 134569956 3221224368 3221214480 1131259689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37653 13086 16 0 209168 0
vsize: 836736
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 111966 56 0 0 25 0 11 0 836064745 856817664 37780 4294967295 134512640 134569956 3221224368 3221214472 1131342975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37780 13086 16 0 209168 0
vsize: 836736
[startup+1180.08 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 112932 57 0 0 25 0 11 0 836064745 856817664 37901 4294967295 134512640 134569956 3221224368 3221214664 1131150464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37901 13086 16 0 209168 0
vsize: 836736
[startup+1190.08 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 113909 57 0 0 25 0 11 0 836064745 856817664 37954 4294967295 134512640 134569956 3221224368 3221214296 1131487548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 37954 13086 16 0 209168 0
vsize: 836736
[startup+1200.14 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 2204
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 114892 57 0 0 25 0 11 0 836064745 856817664 38056 4294967295 134512640 134569956 3221224368 3221214472 1131344592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 38056 13086 16 0 209168 0
vsize: 836736
[startup+1210.14 s]
Raw data (loadavg): 1.12 1.00 0.92 2/64 2257
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 115860 60 0 0 25 0 11 0 836064745 856817664 38148 4294967295 134512640 134569956 3221224368 3221214516 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 38148 13086 16 0 209168 0
vsize: 836736
[startup+1220.14 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 2257
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 116841 60 0 0 25 0 11 0 836064745 856817664 38232 4294967295 134512640 134569956 3221224368 3221214472 1131486161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209184 38232 13086 16 0 209168 0
vsize: 836736
[startup+1230.14 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 2257
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 117802 60 0 0 25 0 11 0 836064745 856817664 38310 4294967295 134512640 134569956 3221224368 3221214404 1131487524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 38310 13086 16 0 209168 0
vsize: 836736
[startup+1240.14 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 2257
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 118777 60 0 0 25 0 11 0 836064745 856817664 38352 4294967295 134512640 134569956 3221224368 3221214488 1131259598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 38352 13086 16 0 209168 0
vsize: 836736
[startup+1250.14 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 2257
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 119744 60 0 0 25 0 11 0 836064745 856817664 38429 4294967295 134512640 134569956 3221224368 3221214488 1131259646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 38429 13086 16 0 209168 0
vsize: 836736
[startup+1260.14 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 2257
Raw data (stat): 2194 (java) R 2193 22056 22055 0 -1 0 18072 0 2 0 120708 60 0 0 25 0 11 0 836064745 856817664 38483 4294967295 134512640 134569956 3221224368 3221214560 1131209550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209184 38483 13086 16 0 209168 0
vsize: 836736
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.26 s]
Raw data (loadavg): 1.05 1.00 0.92 1/54 2259
Raw data (stat): 2194 (java) Z 2193 22056 22055 0 -1 1036 18072 20468 2 0 120712 60 5336 48 25 0 1 0 836064745 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.26
CPU time (s): 1261.58
CPU user time (s): 1260.49
CPU system time (s): 1.09183
CPU usage (%): 100.105
Max. virtual memory (Kb): 837376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####