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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb
MD5SUMc82c0bebea8b0ce184f21387d9520ae2
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 55260
Biggest coefficient in the objective function 1475608576000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 200019082827300
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 1475608576000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 200019082827300
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.482925
Number of variables55260
Total number of constraints1042
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1042
Minimum length of a constraint20
Maximum length of a constraint980

Trace number 15928 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 06:03:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16467 boxname=wulflinc11 idbench=1267 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c82c0bebea8b0ce184f21387d9520ae2  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-ship12s.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-ship12s.opb
IDLAUNCH: 16467
/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:        789672 kB
Buffers:         27532 kB
Cached:         195984 kB
SwapCached:          0 kB
Active:          90860 kB
Inactive:       135492 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        789420 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            12816 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:18:02 (client local time) WITH STATUS 20 IN 867.858 SECONDS
stats: 16467 7 867.858 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-ship12s.opb
c reading problem 
c [nbvar=55260]
c [nbconstr=1042]
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
c time 850.853
c #vars     55260
c #clauses  1693
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c Total CPU time (ms) : 860.274
s UNSATISFIABLE
#### 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.89 0.89 2/54 29580
Raw data (stat): 29580 (runsolver) R 29579 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484548339 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.90 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 882 39 0 0 24 0 10 0 484548339 853762048 19181 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208438 19181 13073 16 0 208422 0
vsize: 833752
[startup+20.0007 s]
Raw data (loadavg): 0.90 0.90 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 1776 40 0 0 25 0 10 0 484548339 854106112 19731 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208522 19731 13073 16 0 208506 0
vsize: 834088
[startup+30.002 s]
Raw data (loadavg): 0.91 0.90 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 2673 40 0 0 25 0 10 0 484548339 854073344 20163 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208514 20163 13073 16 0 208498 0
vsize: 834056
[startup+40.0028 s]
Raw data (loadavg): 0.93 0.91 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 3603 40 0 0 25 0 10 0 484548339 853827584 20336 4294967295 134512640 134569956 3221224400 3221214824 1131220735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20336 13073 16 0 208438 0
vsize: 833816
[startup+50.0041 s]
Raw data (loadavg): 0.94 0.91 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 4532 40 0 0 25 0 10 0 484548339 853827584 20459 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20459 13073 16 0 208438 0
vsize: 833816
[startup+60.0039 s]
Raw data (loadavg): 0.95 0.91 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 5460 40 0 0 25 0 10 0 484548339 853827584 20563 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20563 13073 16 0 208438 0
vsize: 833816
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.91 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 6402 41 0 0 25 0 10 0 484548339 853827584 20782 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20782 13073 16 0 208438 0
vsize: 833816
[startup+80.0056 s]
Raw data (loadavg): 0.96 0.92 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 7347 41 0 0 24 0 10 0 484548339 853827584 20863 4294967295 134512640 134569956 3221224400 3221214812 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20863 13073 16 0 208438 0
vsize: 833816
[startup+90.0058 s]
Raw data (loadavg): 0.97 0.92 0.89 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 8296 41 0 0 25 0 10 0 484548339 853827584 20933 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 20933 13073 16 0 208438 0
vsize: 833816
[startup+100.006 s]
Raw data (loadavg): 0.97 0.92 0.90 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 9243 41 0 0 25 0 10 0 484548339 853827584 21002 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21002 13073 16 0 208438 0
vsize: 833816
[startup+110.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 10189 42 0 0 24 0 10 0 484548339 853827584 21068 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21068 13073 16 0 208438 0
vsize: 833816
[startup+120.007 s]
Raw data (loadavg): 0.98 0.92 0.90 2/63 29589
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 11138 42 0 0 25 0 10 0 484548339 853827584 21126 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21126 13073 16 0 208438 0
vsize: 833816
[startup+130.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 12085 43 0 0 25 0 10 0 484548339 853827584 21184 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21184 13073 16 0 208438 0
vsize: 833816
[startup+140.008 s]
Raw data (loadavg): 0.98 0.93 0.90 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 13034 43 0 0 25 0 10 0 484548339 853827584 21237 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21237 13073 16 0 208438 0
vsize: 833816
[startup+150.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 13980 43 0 0 22 0 10 0 484548339 853827584 21292 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21292 13073 16 0 208438 0
vsize: 833816
[startup+160.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 14927 43 0 0 24 0 10 0 484548339 853827584 21343 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21343 13073 16 0 208438 0
vsize: 833816
[startup+170.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 15862 44 0 0 18 0 10 0 484548339 853827584 21390 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21390 13073 16 0 208438 0
vsize: 833816
[startup+180.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 16789 44 0 0 25 0 10 0 484548339 853827584 21436 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21436 13073 16 0 208438 0
vsize: 833816
[startup+190.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 17725 45 0 0 24 0 10 0 484548339 853827584 21738 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21738 13073 16 0 208438 0
vsize: 833816
[startup+200.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 18670 45 0 0 25 0 10 0 484548339 853827584 21782 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21782 13073 16 0 208438 0
vsize: 833816
[startup+210.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 19613 45 0 0 25 0 10 0 484548339 853827584 21826 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21826 13073 16 0 208438 0
vsize: 833816
[startup+220.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 20558 46 0 0 25 0 10 0 484548339 853827584 21867 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21867 13073 16 0 208438 0
vsize: 833816
[startup+230.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 21500 46 0 0 25 0 10 0 484548339 853827584 21909 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21909 13073 16 0 208438 0
vsize: 833816
[startup+240.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 22444 46 0 0 25 0 10 0 484548339 853827584 21947 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21947 13073 16 0 208438 0
vsize: 833816
[startup+250.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 23385 46 0 0 25 0 10 0 484548339 853827584 21987 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 21987 13073 16 0 208438 0
vsize: 833816
[startup+260.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 24328 47 0 0 25 0 10 0 484548339 853827584 22024 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22024 13073 16 0 208438 0
vsize: 833816
[startup+270.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 25267 47 0 0 25 0 10 0 484548339 853827584 22062 4294967295 134512640 134569956 3221224400 3221214928 1131237898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22062 13073 16 0 208438 0
vsize: 833816
[startup+280.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 26209 47 0 0 25 0 10 0 484548339 853827584 22098 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22098 13073 16 0 208438 0
vsize: 833816
[startup+290.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 27148 48 0 0 25 0 10 0 484548339 853827584 22135 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22135 13073 16 0 208438 0
vsize: 833816
[startup+300.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 28089 48 0 0 25 0 10 0 484548339 853827584 22169 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22169 13073 16 0 208438 0
vsize: 833816
[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 29027 48 0 0 25 0 10 0 484548339 853827584 22204 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22204 13073 16 0 208438 0
vsize: 833816
[startup+320.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 29968 48 0 0 25 0 10 0 484548339 853827584 22237 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22237 13073 16 0 208438 0
vsize: 833816
[startup+330.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 30904 48 0 0 25 0 10 0 484548339 853827584 22271 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22271 13073 16 0 208438 0
vsize: 833816
[startup+340.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 31844 49 0 0 25 0 10 0 484548339 853827584 22304 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22304 13073 16 0 208438 0
vsize: 833816
[startup+350.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 32779 49 0 0 24 0 10 0 484548339 853827584 22338 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22338 13073 16 0 208438 0
vsize: 833816
[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 33717 50 0 0 25 0 10 0 484548339 853827584 22368 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22368 13073 16 0 208438 0
vsize: 833816
[startup+370.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 34656 50 0 0 25 0 10 0 484548339 853827584 22399 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22399 13073 16 0 208438 0
vsize: 833816
[startup+380.02 s]
Raw data (loadavg): 1.07 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 35589 51 0 0 25 0 10 0 484548339 853827584 22431 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22431 13073 16 0 208438 0
vsize: 833816
[startup+390.02 s]
Raw data (loadavg): 1.06 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 36526 51 0 0 25 0 10 0 484548339 853827584 22460 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22460 13073 16 0 208438 0
vsize: 833816
[startup+400.022 s]
Raw data (loadavg): 1.05 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 37463 51 0 0 25 0 10 0 484548339 853827584 22489 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22489 13073 16 0 208438 0
vsize: 833816
[startup+410.022 s]
Raw data (loadavg): 1.04 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 38395 52 0 0 25 0 10 0 484548339 853827584 22520 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22520 13073 16 0 208438 0
vsize: 833816
[startup+420.022 s]
Raw data (loadavg): 1.03 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 39331 52 0 0 25 0 10 0 484548339 853827584 22548 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22548 13073 16 0 208438 0
vsize: 833816
[startup+430.023 s]
Raw data (loadavg): 1.03 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) S 29579 32461 32460 0 -1 0 17991 0 1 0 40263 52 0 0 25 0 10 0 484548339 853827584 22577 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22577 13073 16 0 208438 0
vsize: 833816
[startup+440.022 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 41197 53 0 0 25 0 10 0 484548339 853827584 22607 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22607 13073 16 0 208438 0
vsize: 833816
[startup+450.024 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 42133 53 0 0 19 0 10 0 484548339 853827584 22634 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22634 13073 16 0 208438 0
vsize: 833816
[startup+460.024 s]
Raw data (loadavg): 1.02 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) S 29579 32461 32460 0 -1 0 17991 0 1 0 43066 54 0 0 25 0 10 0 484548339 853827584 22662 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22662 13073 16 0 208438 0
vsize: 833816
[startup+470.025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 43997 54 0 0 25 0 10 0 484548339 853827584 22690 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22690 13073 16 0 208438 0
vsize: 833816
[startup+480.026 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 44930 55 0 0 25 0 10 0 484548339 853827584 22716 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22716 13073 16 0 208438 0
vsize: 833816
[startup+490.025 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 45863 55 0 0 25 0 10 0 484548339 853827584 22743 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22743 13073 16 0 208438 0
vsize: 833816
[startup+500.026 s]
Raw data (loadavg): 1.01 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 46791 56 0 0 24 0 10 0 484548339 853827584 22770 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22770 13073 16 0 208438 0
vsize: 833816
[startup+510.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 47722 56 0 0 25 0 10 0 484548339 853827584 22796 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22796 13073 16 0 208438 0
vsize: 833816
[startup+520.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 48655 57 0 0 25 0 10 0 484548339 853827584 22822 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22822 13073 16 0 208438 0
vsize: 833816
[startup+530.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) S 29579 32461 32460 0 -1 0 17991 0 1 0 49586 57 0 0 25 0 10 0 484548339 853827584 22848 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22848 13073 16 0 208438 0
vsize: 833816
[startup+540.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 50512 57 0 0 24 0 10 0 484548339 853827584 22874 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22874 13073 16 0 208438 0
vsize: 833816
[startup+550.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 51443 58 0 0 25 0 10 0 484548339 853827584 22899 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22899 13073 16 0 208438 0
vsize: 833816
[startup+560.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 52373 58 0 0 25 0 10 0 484548339 853827584 22923 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22923 13073 16 0 208438 0
vsize: 833816
[startup+570.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 53303 59 0 0 25 0 10 0 484548339 853827584 22947 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22947 13073 16 0 208438 0
vsize: 833816
[startup+580.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 54233 59 0 0 25 0 10 0 484548339 853827584 22971 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22971 13073 16 0 208438 0
vsize: 833816
[startup+590.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 55158 59 0 0 24 0 10 0 484548339 853827584 22997 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 22997 13073 16 0 208438 0
vsize: 833816
[startup+600.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 56086 59 0 0 25 0 10 0 484548339 853827584 23020 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 23020 13073 16 0 208438 0
vsize: 833816
[startup+610.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 57015 60 0 0 25 0 10 0 484548339 853827584 23044 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208454 23044 13073 16 0 208438 0
vsize: 833816
[startup+620.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 57943 60 0 0 25 0 10 0 484548339 853827584 23067 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 23067 13073 16 0 208438 0
vsize: 833816
[startup+630.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 58870 60 0 0 25 0 10 0 484548339 853827584 23090 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 23090 13073 16 0 208438 0
vsize: 833816
[startup+640.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) S 29579 32461 32460 0 -1 0 17991 0 1 0 59796 60 0 0 25 0 10 0 484548339 853827584 23113 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 23113 13073 16 0 208438 0
vsize: 833816
[startup+650.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 60719 60 0 0 24 0 10 0 484548339 853827584 23137 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 23137 13073 16 0 208438 0
vsize: 833816
[startup+660.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 61636 60 0 0 24 0 10 0 484548339 853827584 24161 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24161 13073 16 0 208438 0
vsize: 833816
[startup+670.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 62565 60 0 0 25 0 10 0 484548339 853827584 24161 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24161 13073 16 0 208438 0
vsize: 833816
[startup+680.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 63484 60 0 0 25 0 10 0 484548339 853827584 24164 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24164 13073 16 0 208438 0
vsize: 833816
[startup+690.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 64400 60 0 0 25 0 10 0 484548339 853827584 24191 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24191 13073 16 0 208438 0
vsize: 833816
[startup+700.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 65315 60 0 0 25 0 10 0 484548339 853827584 24217 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24217 13073 16 0 208438 0
vsize: 833816
[startup+710.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 66229 60 0 0 25 0 10 0 484548339 853827584 24244 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24244 13073 16 0 208438 0
vsize: 833816
[startup+720.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 67143 61 0 0 25 0 10 0 484548339 853827584 24269 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24269 13073 16 0 208438 0
vsize: 833816
[startup+730.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 68058 61 0 0 25 0 10 0 484548339 853827584 24294 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24294 13073 16 0 208438 0
vsize: 833816
[startup+740.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 68973 61 0 0 25 0 10 0 484548339 853827584 24316 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24316 13073 16 0 208438 0
vsize: 833816
[startup+750.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 69886 61 0 0 24 0 10 0 484548339 853827584 24347 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24347 13073 16 0 208438 0
vsize: 833816
[startup+760.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 70799 61 0 0 24 0 10 0 484548339 853827584 24372 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24372 13073 16 0 208438 0
vsize: 833816
[startup+770.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 71717 61 0 0 25 0 10 0 484548339 853827584 24395 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24395 13073 16 0 208438 0
vsize: 833816
[startup+780.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 72631 61 0 0 25 0 10 0 484548339 853827584 24415 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24415 13073 16 0 208438 0
vsize: 833816
[startup+790.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 73544 61 0 0 25 0 10 0 484548339 853827584 24436 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24436 13073 16 0 208438 0
vsize: 833816
[startup+800.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 74455 61 0 0 25 0 10 0 484548339 853827584 24470 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24470 13073 16 0 208438 0
vsize: 833816
[startup+810.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 75367 61 0 0 25 0 10 0 484548339 853827584 24492 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24492 13073 16 0 208438 0
vsize: 833816
[startup+820.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 76279 61 0 0 25 0 10 0 484548339 853827584 24515 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24515 13073 16 0 208438 0
vsize: 833816
[startup+830.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17991 0 1 0 77191 61 0 0 25 0 10 0 484548339 853827584 24543 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208454 24543 13073 16 0 208438 0
vsize: 833816
[startup+840.047 s]
Raw data (loadavg): 1.16 1.01 0.93 4/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 17996 0 1 0 78076 61 0 0 25 0 10 0 484548339 858378240 25602 4294967295 134512640 134569956 3221224400 3221214324 1130883104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209565 25602 13073 16 0 209549 0
vsize: 838260
[startup+850.047 s]
Raw data (loadavg): 1.13 1.01 0.93 3/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 18001 0 1 0 78921 65 0 0 25 0 10 0 484548339 858071040 30434 4294967295 134512640 134569956 3221224400 3221214288 1131290642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209490 30434 13073 16 0 209474 0
vsize: 837960
[startup+860.048 s]
Raw data (loadavg): 1.11 1.01 0.93 2/63 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 18025 0 1 0 79856 67 0 0 25 0 10 0 484548339 858071040 33590 4294967295 134512640 134569956 3221224400 3221214736 1131356668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209490 33590 13073 16 0 209474 0
vsize: 837960
[startup+861.033 s]
Raw data (loadavg): 1.11 1.01 0.93 1/53 29591
Raw data (stat): 29580 (java) R 29579 32461 32460 0 -1 0 18025 0 1 0 79856 67 0 0 25 0 10 0 484548339 858071040 33590 4294967295 134512640 134569956 3221224400 3221214736 1131356668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209490 33590 13073 16 0 209474 0
vsize: 0

Child status: 20
Real time (s): 861.033
CPU time (s): 867.858
CPU user time (s): 866.55
CPU system time (s): 1.3078
CPU usage (%): 100.793
Max. virtual memory (Kb): 838260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####