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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-qiu.opb
MD5SUM	9029e59d305ed70ef352ded3c086e2a0
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7968
Biggest coefficient in the objective function	9098351345664
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	4803935111035752
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	9098351345664
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	4803935111035752
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.204968
Number of variables	23808
Total number of constraints	1240
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	1
Maximum length of a constraint	5940
Trace number 29604

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 09:29:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21009 boxname=wulflinc11 idbench=997 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9029e59d305ed70ef352ded3c086e2a0  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-qiu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-qiu.opb
IDLAUNCH: 21009
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        850104 kB
Buffers:         29532 kB
Cached:         133780 kB
SwapCached:        772 kB
Active:          60444 kB
Inactive:       104940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        849852 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            13584 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:49:39 (client local time) WITH STATUS 143 IN 1228.96 SECONDS
stats: 21009 7 1228.96 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/wulflinc11/normalized-mps-v2-20-10-qiu.opb
c reading problem ... done. Time 167.097 ms.
c #vars     23808
c #constraints  1324
c starts	: 4
c conflicts	: 583
c decisions	: 5024
c propagations	: 46621
c inspects	: 1503824
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 583
c root simplifications	: 351
s UNKNOWN
c Total CPU time (ms) : 1229.217
#### 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.86 0.97 0.99 2/54 6054
Raw data (stat): 6054 (runsolver) R 6053 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779579052 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0004 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18018 0 1 0 871 43 0 0 25 0 10 0 779579052 853700608 19324 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 19324 13086 16 0 208407 0
vsize: 833692
[startup+20.0012 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18019 0 1 0 1770 43 0 0 25 0 10 0 779579052 855326720 20189 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208820 20189 13086 16 0 208804 0
vsize: 835280
[startup+30.002 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18028 0 1 0 2656 43 0 0 25 0 10 0 779579052 853700608 20408 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208423 20408 13086 16 0 208407 0
vsize: 833692
[startup+40.0017 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 3569 43 0 0 25 0 10 0 779579052 856023040 21219 4294967295 134512640 134569956 3221224368 3221214108 1130891767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208990 21219 13086 16 0 208974 0
vsize: 835960
[startup+50.0031 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 4490 44 0 0 25 0 10 0 779579052 854491136 21072 4294967295 134512640 134569956 3221224368 3221214792 1131277409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208616 21072 13086 16 0 208600 0
vsize: 834464
[startup+60.0039 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 5397 44 0 0 25 0 10 0 779579052 854360064 21207 4294967295 134512640 134569956 3221224368 3221214160 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208584 21207 13086 16 0 208568 0
vsize: 834336
[startup+70.0051 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 6318 45 0 0 25 0 10 0 779579052 854360064 21422 4294967295 134512640 134569956 3221224368 3221214780 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 21422 13086 16 0 208568 0
vsize: 834336
[startup+80.0065 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 7245 45 0 0 25 0 10 0 779579052 854360064 21543 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 21543 13086 16 0 208568 0
vsize: 834336
[startup+90.0056 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) S 6053 25830 25829 0 -1 0 18030 0 1 0 8171 46 0 0 25 0 10 0 779579052 854360064 21646 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 21646 13086 16 0 208568 0
vsize: 834336
[startup+100.006 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 9108 46 0 0 25 0 10 0 779579052 854360064 21794 4294967295 134512640 134569956 3221224368 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 21794 13086 16 0 208568 0
vsize: 834336
[startup+110.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 10043 46 0 0 25 0 10 0 779579052 854360064 21890 4294967295 134512640 134569956 3221224368 3221214240 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 21890 13086 16 0 208568 0
vsize: 834336
[startup+120.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 10975 46 0 0 25 0 10 0 779579052 854360064 21988 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 21988 13086 16 0 208568 0
vsize: 834336
[startup+130.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 11910 47 0 0 25 0 10 0 779579052 854360064 22089 4294967295 134512640 134569956 3221224368 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 22089 13086 16 0 208568 0
vsize: 834336
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 12840 47 0 0 25 0 10 0 779579052 854360064 22188 4294967295 134512640 134569956 3221224368 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208584 22188 13086 16 0 208568 0
vsize: 834336
[startup+150.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18030 0 1 0 13772 47 0 0 25 0 10 0 779579052 854360064 22289 4294967295 134512640 134569956 3221224368 3221214684 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208584 22289 13086 16 0 208568 0
vsize: 834336
[startup+160.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 6063
Raw data (stat): 6054 (java) S 6053 25830 25829 0 -1 0 18030 0 1 0 14706 48 0 0 25 0 10 0 779579052 854360064 22377 4294967295 134512640 134569956 3221224368 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208584 22377 13086 16 0 208568 0
vsize: 834336
[startup+170.013 s]
Raw data (loadavg): 1.08 1.02 1.01 4/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18089 0 1 0 15631 49 0 0 25 0 11 0 779579052 858066944 23974 4294967295 134512640 134569956 3221224368 3221214752 1131214361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209489 23974 13086 16 0 209473 0
vsize: 837956
[startup+180.013 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18089 0 1 0 16514 49 0 0 24 0 11 0 779579052 857841664 24624 4294967295 134512640 134569956 3221224368 3221214656 1131389508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209434 24624 13086 16 0 209418 0
vsize: 837736
[startup+190.014 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18100 0 1 0 17385 50 0 0 25 0 11 0 779579052 858587136 24875 4294967295 134512640 134569956 3221224368 3221214656 1131390103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24875 13086 16 0 209600 0
vsize: 838464
[startup+200.014 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 18327 50 0 0 25 0 11 0 779579052 858587136 25700 4294967295 134512640 134569956 3221224368 3221214568 1131290917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 25700 13086 16 0 209600 0
vsize: 838464
[startup+210.014 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 19314 50 0 0 25 0 11 0 779579052 858587136 25700 4294967295 134512640 134569956 3221224368 3221214656 1131389715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25700 13086 16 0 209600 0
vsize: 838464
[startup+220.016 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 20294 50 0 0 24 0 11 0 779579052 858587136 25706 4294967295 134512640 134569956 3221224368 3221214656 1131388704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25706 13086 16 0 209600 0
vsize: 838464
[startup+230.016 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 21281 50 0 0 25 0 11 0 779579052 858587136 25762 4294967295 134512640 134569956 3221224368 3221214568 1131290982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25762 13086 16 0 209600 0
vsize: 838464
[startup+240.016 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 22268 50 0 0 25 0 11 0 779579052 858587136 25827 4294967295 134512640 134569956 3221224368 3221214568 1131291817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25827 13086 16 0 209600 0
vsize: 838464
[startup+250.021 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 23262 51 0 0 25 0 11 0 779579052 858587136 25867 4294967295 134512640 134569956 3221224368 3221214656 1131388377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25867 13086 16 0 209600 0
vsize: 838464
[startup+260.029 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 24256 51 0 0 25 0 11 0 779579052 858587136 25877 4294967295 134512640 134569956 3221224368 3221214568 1131291661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25877 13086 16 0 209600 0
vsize: 838464
[startup+270.03 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 25250 51 0 0 25 0 11 0 779579052 858587136 25894 4294967295 134512640 134569956 3221224368 3221214656 1131389232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25894 13086 16 0 209600 0
vsize: 838464
[startup+280.034 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 26244 51 0 0 25 0 11 0 779579052 858587136 25907 4294967295 134512640 134569956 3221224368 3221214568 1131290729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25907 13086 16 0 209600 0
vsize: 838464
[startup+290.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 27236 51 0 0 25 0 11 0 779579052 858587136 25917 4294967295 134512640 134569956 3221224368 3221214568 1131241076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25917 13086 16 0 209600 0
vsize: 838464
[startup+300.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 28226 51 0 0 25 0 11 0 779579052 858587136 25931 4294967295 134512640 134569956 3221224368 3221214568 1131290836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25931 13086 16 0 209600 0
vsize: 838464
[startup+310.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 29213 51 0 0 25 0 11 0 779579052 858587136 25954 4294967295 134512640 134569956 3221224368 3221214568 1131290729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25954 13086 16 0 209600 0
vsize: 838464
[startup+320.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 30202 51 0 0 25 0 11 0 779579052 858587136 25988 4294967295 134512640 134569956 3221224368 3221214656 1131387179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25988 13086 16 0 209600 0
vsize: 838464
[startup+330.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 31192 51 0 0 25 0 11 0 779579052 858587136 26011 4294967295 134512640 134569956 3221224368 3221214656 1131389656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26011 13086 16 0 209600 0
vsize: 838464
[startup+340.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 32184 52 0 0 25 0 11 0 779579052 858587136 26054 4294967295 134512640 134569956 3221224368 3221214656 1131387349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26054 13086 16 0 209600 0
vsize: 838464
[startup+350.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 33176 52 0 0 25 0 11 0 779579052 858587136 26066 4294967295 134512640 134569956 3221224368 3221214568 1131290685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26066 13086 16 0 209600 0
vsize: 838464
[startup+360.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 34166 52 0 0 25 0 11 0 779579052 858587136 26079 4294967295 134512640 134569956 3221224368 3221214568 1131240621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26079 13086 16 0 209600 0
vsize: 838464
[startup+370.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 35154 52 0 0 25 0 11 0 779579052 858587136 26090 4294967295 134512640 134569956 3221224368 3221214568 1131290917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26090 13086 16 0 209600 0
vsize: 838464
[startup+380.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 36142 52 0 0 25 0 11 0 779579052 858587136 26121 4294967295 134512640 134569956 3221224368 3221214568 1131290659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26121 13086 16 0 209600 0
vsize: 838464
[startup+390.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 37129 53 0 0 24 0 11 0 779579052 858587136 26154 4294967295 134512640 134569956 3221224368 3221214568 1131290935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26154 13086 16 0 209600 0
vsize: 838464
[startup+400.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 38120 53 0 0 25 0 11 0 779579052 858587136 26174 4294967295 134512640 134569956 3221224368 3221214656 1131390940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26174 13086 16 0 209600 0
vsize: 838464
[startup+410.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 39110 53 0 0 25 0 11 0 779579052 858587136 26202 4294967295 134512640 134569956 3221224368 3221214184 1130920548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26202 13086 16 0 209600 0
vsize: 838464
[startup+420.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 40102 53 0 0 18 0 11 0 779579052 858587136 26228 4294967295 134512640 134569956 3221224368 3221214544 1131342964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26228 13086 16 0 209600 0
vsize: 838464
[startup+430.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 41095 53 0 0 25 0 11 0 779579052 858587136 26234 4294967295 134512640 134569956 3221224368 3221214656 1131388724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26234 13086 16 0 209600 0
vsize: 838464
[startup+440.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 42088 53 0 0 25 0 11 0 779579052 858587136 26248 4294967295 134512640 134569956 3221224368 3221214568 1131290729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26248 13086 16 0 209600 0
vsize: 838464
[startup+450.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 43081 54 0 0 25 0 11 0 779579052 858587136 26262 4294967295 134512640 134569956 3221224368 3221214568 1131240665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26262 13086 16 0 209600 0
vsize: 838464
[startup+460.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 44073 54 0 0 25 0 11 0 779579052 858587136 26269 4294967295 134512640 134569956 3221224368 3221214520 1131266750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26269 13086 16 0 209600 0
vsize: 838464
[startup+470.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 45066 54 0 0 25 0 11 0 779579052 858587136 26279 4294967295 134512640 134569956 3221224368 3221214544 1131342964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26279 13086 16 0 209600 0
vsize: 838464
[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 46058 54 0 0 25 0 11 0 779579052 858587136 26292 4294967295 134512640 134569956 3221224368 3221214568 1131290905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26292 13086 16 0 209600 0
vsize: 838464
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 47050 54 0 0 25 0 11 0 779579052 858587136 26310 4294967295 134512640 134569956 3221224368 3221214656 1131393076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26310 13086 16 0 209600 0
vsize: 838464
[startup+500.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 48043 55 0 0 25 0 11 0 779579052 858587136 26316 4294967295 134512640 134569956 3221224368 3221214656 1131387457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26316 13086 16 0 209600 0
vsize: 838464
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 49035 55 0 0 25 0 11 0 779579052 858587136 26326 4294967295 134512640 134569956 3221224368 3221214656 1131390804 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26326 13086 16 0 209600 0
vsize: 838464
[startup+520.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 50026 56 0 0 25 0 11 0 779579052 858587136 26340 4294967295 134512640 134569956 3221224368 3221214656 1131393651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26340 13086 16 0 209600 0
vsize: 838464
[startup+530.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18102 0 1 0 51019 56 0 0 25 0 11 0 779579052 858587136 26347 4294967295 134512640 134569956 3221224368 3221214568 1131290917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26347 13086 16 0 209600 0
vsize: 838464
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 52010 56 0 0 25 0 11 0 779579052 858587136 26356 4294967295 134512640 134569956 3221224368 3221214568 1131240679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26356 13086 16 0 209600 0
vsize: 838464
[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 53000 57 0 0 25 0 11 0 779579052 858587136 26368 4294967295 134512640 134569956 3221224368 3221214656 1131387388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26368 13086 16 0 209600 0
vsize: 838464
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 53989 57 0 0 25 0 11 0 779579052 858587136 26377 4294967295 134512640 134569956 3221224368 3221214656 1131393047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26377 13086 16 0 209600 0
vsize: 838464
[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 54977 57 0 0 25 0 11 0 779579052 858587136 26399 4294967295 134512640 134569956 3221224368 3221214544 1131343035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26399 13086 16 0 209600 0
vsize: 838464
[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 55965 57 0 0 25 0 11 0 779579052 858587136 26418 4294967295 134512640 134569956 3221224368 3221214520 1131469350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26418 13086 16 0 209600 0
vsize: 838464
[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 56953 58 0 0 25 0 11 0 779579052 858587136 26449 4294967295 134512640 134569956 3221224368 3221214520 1131266750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26449 13086 16 0 209600 0
vsize: 838464
[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 57937 58 0 0 24 0 11 0 779579052 858587136 26473 4294967295 134512640 134569956 3221224368 3221214568 1131290909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26473 13086 16 0 209600 0
vsize: 838464
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 58924 58 0 0 25 0 11 0 779579052 858587136 26481 4294967295 134512640 134569956 3221224368 3221214544 1131342903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26481 13086 16 0 209600 0
vsize: 838464
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 59910 59 0 0 25 0 11 0 779579052 858587136 26521 4294967295 134512640 134569956 3221224368 3221214656 1131390043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26521 13086 16 0 209600 0
vsize: 838464
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 60900 59 0 0 25 0 11 0 779579052 858587136 26567 4294967295 134512640 134569956 3221224368 3221214568 1131291479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26567 13086 16 0 209600 0
vsize: 838464
[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 61893 60 0 0 25 0 11 0 779579052 858587136 26582 4294967295 134512640 134569956 3221224368 3221214568 1131290685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26582 13086 16 0 209600 0
vsize: 838464
[startup+650.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 62888 60 0 0 25 0 11 0 779579052 858587136 26589 4294967295 134512640 134569956 3221224368 3221214568 1131291538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26589 13086 16 0 209600 0
vsize: 838464
[startup+660.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 63880 60 0 0 25 0 11 0 779579052 858587136 26598 4294967295 134512640 134569956 3221224368 3221214580 1130885240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26598 13086 16 0 209600 0
vsize: 838464
[startup+670.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 64875 60 0 0 25 0 11 0 779579052 858587136 26604 4294967295 134512640 134569956 3221224368 3221214604 1131485091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26604 13086 16 0 209600 0
vsize: 838464
[startup+680.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 65869 61 0 0 25 0 11 0 779579052 858587136 26609 4294967295 134512640 134569956 3221224368 3221214656 1131389561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26609 13086 16 0 209600 0
vsize: 838464
[startup+690.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 66862 61 0 0 25 0 11 0 779579052 858587136 26615 4294967295 134512640 134569956 3221224368 3221214568 1131290685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26615 13086 16 0 209600 0
vsize: 838464
[startup+700.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 67854 62 0 0 25 0 11 0 779579052 858587136 26620 4294967295 134512640 134569956 3221224368 3221214656 1131390919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26620 13086 16 0 209600 0
vsize: 838464
[startup+710.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 68844 62 0 0 25 0 11 0 779579052 858587136 26626 4294967295 134512640 134569956 3221224368 3221214652 1131343660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26626 13086 16 0 209600 0
vsize: 838464
[startup+720.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 69834 63 0 0 25 0 11 0 779579052 858587136 26631 4294967295 134512640 134569956 3221224368 3221214568 1131290729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26631 13086 16 0 209600 0
vsize: 838464
[startup+730.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 70826 64 0 0 25 0 11 0 779579052 858587136 26662 4294967295 134512640 134569956 3221224368 3221214656 1131393764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26662 13086 16 0 209600 0
vsize: 838464
[startup+740.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 71818 64 0 0 25 0 11 0 779579052 858587136 26669 4294967295 134512640 134569956 3221224368 3221214568 1131290729 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 26669 13086 16 0 209600 0
vsize: 838464
[startup+750.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 72811 64 0 0 25 0 11 0 779579052 858587136 26677 4294967295 134512640 134569956 3221224368 3221214568 1131292025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26677 13086 16 0 209600 0
vsize: 838464
[startup+760.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 73804 64 0 0 25 0 11 0 779579052 858587136 26683 4294967295 134512640 134569956 3221224368 3221214648 1131254386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26683 13086 16 0 209600 0
vsize: 838464
[startup+770.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 74796 64 0 0 25 0 11 0 779579052 858587136 26689 4294967295 134512640 134569956 3221224368 3221214656 1131393464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26689 13086 16 0 209600 0
vsize: 838464
[startup+780.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 75789 64 0 0 25 0 11 0 779579052 858587136 26697 4294967295 134512640 134569956 3221224368 3221214568 1131290905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26697 13086 16 0 209600 0
vsize: 838464
[startup+790.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 76782 65 0 0 25 0 11 0 779579052 858587136 26704 4294967295 134512640 134569956 3221224368 3221214568 1131291990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26704 13086 16 0 209600 0
vsize: 838464
[startup+800.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 77774 65 0 0 25 0 11 0 779579052 858587136 26710 4294967295 134512640 134569956 3221224368 3221214656 1131387392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26710 13086 16 0 209600 0
vsize: 838464
[startup+810.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 78767 65 0 0 25 0 11 0 779579052 858587136 26717 4294967295 134512640 134569956 3221224368 3221214656 1131388836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26717 13086 16 0 209600 0
vsize: 838464
[startup+820.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 79759 65 0 0 25 0 11 0 779579052 858587136 26722 4294967295 134512640 134569956 3221224368 3221214568 1131290873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26722 13086 16 0 209600 0
vsize: 838464
[startup+830.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 80751 65 0 0 25 0 11 0 779579052 858587136 26731 4294967295 134512640 134569956 3221224368 3221214568 1131290729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26731 13086 16 0 209600 0
vsize: 838464
[startup+840.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 81744 65 0 0 25 0 11 0 779579052 858587136 26737 4294967295 134512640 134569956 3221224368 3221214568 1131292012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26737 13086 16 0 209600 0
vsize: 838464
[startup+850.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 82736 65 0 0 25 0 11 0 779579052 858587136 26744 4294967295 134512640 134569956 3221224368 3221214568 1131291613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26744 13086 16 0 209600 0
vsize: 838464
[startup+860.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 83729 65 0 0 25 0 11 0 779579052 858587136 26750 4294967295 134512640 134569956 3221224368 3221214656 1131392988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26750 13086 16 0 209600 0
vsize: 838464
[startup+870.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 84722 65 0 0 25 0 11 0 779579052 858587136 26756 4294967295 134512640 134569956 3221224368 3221214656 1131387388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26756 13086 16 0 209600 0
vsize: 838464
[startup+880.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 85714 65 0 0 25 0 11 0 779579052 858587136 26762 4294967295 134512640 134569956 3221224368 3221214568 1131240632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26762 13086 16 0 209600 0
vsize: 838464
[startup+890.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 86706 65 0 0 25 0 11 0 779579052 858587136 26768 4294967295 134512640 134569956 3221224368 3221214568 1131291402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26768 13086 16 0 209600 0
vsize: 838464
[startup+900.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 87697 66 0 0 25 0 11 0 779579052 858587136 26776 4294967295 134512640 134569956 3221224368 3221214656 1131393078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26776 13086 16 0 209600 0
vsize: 838464
[startup+910.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 88688 66 0 0 25 0 11 0 779579052 858587136 26780 4294967295 134512640 134569956 3221224368 3221214568 1131290683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26780 13086 16 0 209600 0
vsize: 838464
[startup+920.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 89679 66 0 0 25 0 11 0 779579052 858587136 26799 4294967295 134512640 134569956 3221224368 3221214528 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26799 13086 16 0 209600 0
vsize: 838464
[startup+930.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 90671 67 0 0 25 0 11 0 779579052 858587136 26806 4294967295 134512640 134569956 3221224368 3221214656 1131387388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26806 13086 16 0 209600 0
vsize: 838464
[startup+940.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 91663 67 0 0 25 0 11 0 779579052 858587136 26814 4294967295 134512640 134569956 3221224368 3221214656 1131392860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26814 13086 16 0 209600 0
vsize: 838464
[startup+950.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 92655 67 0 0 25 0 11 0 779579052 858587136 26821 4294967295 134512640 134569956 3221224368 3221214652 1131254316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26821 13086 16 0 209600 0
vsize: 838464
[startup+960.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 93647 67 0 0 25 0 11 0 779579052 858587136 26826 4294967295 134512640 134569956 3221224368 3221214568 1131291362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26826 13086 16 0 209600 0
vsize: 838464
[startup+970.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 94639 68 0 0 25 0 11 0 779579052 858587136 26833 4294967295 134512640 134569956 3221224368 3221214656 1131392645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26833 13086 16 0 209600 0
vsize: 838464
[startup+980.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 95631 68 0 0 25 0 11 0 779579052 858587136 26838 4294967295 134512640 134569956 3221224368 3221214656 1131389563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26838 13086 16 0 209600 0
vsize: 838464
[startup+990.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 96623 68 0 0 25 0 11 0 779579052 858587136 26844 4294967295 134512640 134569956 3221224368 3221214544 1131342934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26844 13086 16 0 209600 0
vsize: 838464
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 97615 68 0 0 25 0 11 0 779579052 858587136 26849 4294967295 134512640 134569956 3221224368 3221214544 1131343011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26849 13086 16 0 209600 0
vsize: 838464
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 98607 68 0 0 25 0 11 0 779579052 858587136 26855 4294967295 134512640 134569956 3221224368 3221214656 1131392830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26855 13086 16 0 209600 0
vsize: 838464
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 99598 69 0 0 25 0 11 0 779579052 858587136 26862 4294967295 134512640 134569956 3221224368 3221214568 1131290885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26862 13086 16 0 209600 0
vsize: 838464
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 100590 69 0 0 25 0 11 0 779579052 858587136 26868 4294967295 134512640 134569956 3221224368 3221214568 1131290873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26868 13086 16 0 209600 0
vsize: 838464
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 101582 69 0 0 25 0 11 0 779579052 858587136 26876 4294967295 134512640 134569956 3221224368 3221214568 1131290769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26876 13086 16 0 209600 0
vsize: 838464
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 102574 69 0 0 25 0 11 0 779579052 858587136 26883 4294967295 134512640 134569956 3221224368 3221214568 1131291613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26883 13086 16 0 209600 0
vsize: 838464
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 103565 69 0 0 25 0 11 0 779579052 858587136 26887 4294967295 134512640 134569956 3221224368 3221214656 1131392860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26887 13086 16 0 209600 0
vsize: 838464
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 104557 69 0 0 25 0 11 0 779579052 858587136 26894 4294967295 134512640 134569956 3221224368 3221214544 1131342931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26894 13086 16 0 209600 0
vsize: 838464
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 105549 70 0 0 25 0 11 0 779579052 858587136 26900 4294967295 134512640 134569956 3221224368 3221214568 1131290685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26900 13086 16 0 209600 0
vsize: 838464
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 106541 70 0 0 25 0 11 0 779579052 858587136 26907 4294967295 134512640 134569956 3221224368 3221214568 1131290905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26907 13086 16 0 209600 0
vsize: 838464
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 107532 70 0 0 25 0 11 0 779579052 858587136 26911 4294967295 134512640 134569956 3221224368 3221214656 1131387183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26911 13086 16 0 209600 0
vsize: 838464
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 108524 70 0 0 25 0 11 0 779579052 858587136 26917 4294967295 134512640 134569956 3221224368 3221214656 1131390706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26917 13086 16 0 209600 0
vsize: 838464
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 109516 70 0 0 25 0 11 0 779579052 858587136 26923 4294967295 134512640 134569956 3221224368 3221214568 1131292040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26923 13086 16 0 209600 0
vsize: 838464
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 110507 71 0 0 25 0 11 0 779579052 858587136 26929 4294967295 134512640 134569956 3221224368 3221214656 1131389488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26929 13086 16 0 209600 0
vsize: 838464
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 111499 71 0 0 25 0 11 0 779579052 858587136 26933 4294967295 134512640 134569956 3221224368 3221214656 1131390849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26933 13086 16 0 209600 0
vsize: 838464
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 112491 71 0 0 25 0 11 0 779579052 858587136 26939 4294967295 134512640 134569956 3221224368 3221214568 1131290905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26939 13086 16 0 209600 0
vsize: 838464
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 113482 72 0 0 25 0 11 0 779579052 858587136 26945 4294967295 134512640 134569956 3221224368 3221214656 1131388854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26945 13086 16 0 209600 0
vsize: 838464
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 114474 72 0 0 25 0 11 0 779579052 858587136 26949 4294967295 134512640 134569956 3221224368 3221214656 1131393464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26949 13086 16 0 209600 0
vsize: 838464
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 115466 72 0 0 25 0 11 0 779579052 858587136 26955 4294967295 134512640 134569956 3221224368 3221214568 1131291538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26955 13086 16 0 209600 0
vsize: 838464
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 116458 72 0 0 25 0 11 0 779579052 858587136 26961 4294967295 134512640 134569956 3221224368 3221214568 1131290729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26961 13086 16 0 209600 0
vsize: 838464
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 117450 72 0 0 25 0 11 0 779579052 858587136 26965 4294967295 134512640 134569956 3221224368 3221214656 1131387476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26965 13086 16 0 209600 0
vsize: 838464
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 118441 72 0 0 25 0 11 0 779579052 858587136 26971 4294967295 134512640 134569956 3221224368 3221214656 1131393446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26971 13086 16 0 209600 0
vsize: 838464
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 119433 72 0 0 25 0 11 0 779579052 858587136 26976 4294967295 134512640 134569956 3221224368 3221214656 1131387388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26976 13086 16 0 209600 0
vsize: 838464
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6064
Raw data (stat): 6054 (java) R 6053 25830 25829 0 -1 0 18103 0 1 0 120425 72 0 0 25 0 11 0 779579052 858587136 26981 4294967295 134512640 134569956 3221224368 3221214544 1131342905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 26981 13086 16 0 209600 0
vsize: 838464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6066
Raw data (stat): 6054 (java) Z 6053 25830 25829 0 -1 1036 18103 7524 1 0 120430 72 2363 29 25 0 1 0 779579052 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): 1230.24
CPU time (s): 1228.96
CPU user time (s): 1227.94
CPU system time (s): 1.01784
CPU usage (%): 99.8957
Max. virtual memory (Kb): 838464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####