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-pilot87.opb
MD5SUM9658bbaea81a963c53a05a25fe9ca956
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 7860
Biggest coefficient in the objective function 1728189562880
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 73714762784766
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 524288000000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 1292497795394025
Number of bits of the biggest sum of numbers51
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.715891
Number of variables78247
Total number of constraints3645
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 constraints3645
Minimum length of a constraint7
Maximum length of a constraint5778

Trace number 16171 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 06:18:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16051 boxname=wulflinc11 idbench=1235 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9658bbaea81a963c53a05a25fe9ca956  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pilot87.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pilot87.opb
IDLAUNCH: 16051
/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:        747400 kB
Buffers:         27740 kB
Cached:         238004 kB
SwapCached:          0 kB
Active:         108188 kB
Inactive:       160364 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747148 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            13072 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 06:40:43 (client local time) WITH STATUS 143 IN 1345.67 SECONDS
stats: 16051 7 1345.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-pilot87.opb
c reading problem 
c [nbvar=78307]
c [nbconstr=3645]
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)
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)
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)
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)
#### 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.95 0.97 0.91 2/54 29773
Raw data (stat): 29773 (runsolver) R 29772 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484637282 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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+9.9995 s]
Raw data (loadavg): 0.96 0.97 0.91 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17975 0 1 0 881 37 0 0 25 0 10 0 484637282 853676032 19206 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208417 19206 13073 16 0 208401 0
vsize: 833668
[startup+20.0002 s]
Raw data (loadavg): 0.96 0.97 0.91 4/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17979 0 1 0 1770 37 0 0 25 0 10 0 484637282 859250688 20833 4294967295 134512640 134569956 3221224400 3221213828 1130893503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209778 20833 13073 16 0 209762 0
vsize: 839112
[startup+30.0007 s]
Raw data (loadavg): 1.35 1.05 0.94 3/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17987 0 1 0 2585 37 0 0 25 0 10 0 484637282 877453312 25720 4294967295 134512640 134569956 3221224400 3221214808 1131212220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214222 25720 13073 16 0 214206 0
vsize: 856888
[startup+40.0018 s]
Raw data (loadavg): 1.29 1.05 0.94 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17987 0 1 0 3477 38 0 0 25 0 10 0 484637282 866000896 23714 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211426 23714 13073 16 0 211410 0
vsize: 845704
[startup+50.0027 s]
Raw data (loadavg): 1.32 1.07 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 4393 38 0 0 25 0 10 0 484637282 859709440 22541 4294967295 134512640 134569956 3221224400 3221214808 1131214403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209890 22541 13073 16 0 209874 0
vsize: 839560
[startup+60.0059 s]
Raw data (loadavg): 1.27 1.06 0.95 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 5306 39 0 0 25 0 10 0 484637282 859709440 22682 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209890 22682 13073 16 0 209874 0
vsize: 839560
[startup+70.0091 s]
Raw data (loadavg): 1.31 1.08 0.95 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 6232 39 0 0 25 0 10 0 484637282 861806592 23293 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23293 13073 16 0 210386 0
vsize: 841608
[startup+80.0099 s]
Raw data (loadavg): 1.26 1.07 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 7161 40 0 0 25 0 10 0 484637282 861806592 23406 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23406 13073 16 0 210386 0
vsize: 841608
[startup+90.0114 s]
Raw data (loadavg): 1.22 1.07 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 8095 40 0 0 25 0 10 0 484637282 861806592 23505 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23505 13073 16 0 210386 0
vsize: 841608
[startup+100.012 s]
Raw data (loadavg): 1.19 1.07 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 9029 40 0 0 25 0 10 0 484637282 861806592 23597 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23597 13073 16 0 210386 0
vsize: 841608
[startup+110.017 s]
Raw data (loadavg): 1.16 1.07 0.95 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 9955 41 0 0 25 0 10 0 484637282 861806592 23685 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23685 13073 16 0 210386 0
vsize: 841608
[startup+120.019 s]
Raw data (loadavg): 1.13 1.06 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 10887 41 0 0 25 0 10 0 484637282 861806592 23785 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23785 13073 16 0 210386 0
vsize: 841608
[startup+130.019 s]
Raw data (loadavg): 1.11 1.06 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 11822 41 0 0 25 0 10 0 484637282 861806592 23863 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23863 13073 16 0 210386 0
vsize: 841608
[startup+140.02 s]
Raw data (loadavg): 1.09 1.06 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 12753 41 0 0 24 0 10 0 484637282 861806592 23939 4294967295 134512640 134569956 3221224400 3221214200 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 23939 13073 16 0 210386 0
vsize: 841608
[startup+150.033 s]
Raw data (loadavg): 1.08 1.06 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 13689 41 0 0 25 0 10 0 484637282 861806592 24008 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 24008 13073 16 0 210386 0
vsize: 841608
[startup+160.033 s]
Raw data (loadavg): 1.07 1.05 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 14623 41 0 0 25 0 10 0 484637282 861806592 24075 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 24075 13073 16 0 210386 0
vsize: 841608
[startup+170.035 s]
Raw data (loadavg): 1.06 1.05 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 15552 42 0 0 25 0 10 0 484637282 861806592 24144 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 24144 13073 16 0 210386 0
vsize: 841608
[startup+180.035 s]
Raw data (loadavg): 1.05 1.05 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 16472 42 0 0 25 0 10 0 484637282 861806592 24210 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 24210 13073 16 0 210386 0
vsize: 841608
[startup+190.036 s]
Raw data (loadavg): 1.04 1.05 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 17389 43 0 0 25 0 10 0 484637282 861806592 24264 4294967295 134512640 134569956 3221224400 3221214836 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210402 24264 13073 16 0 210386 0
vsize: 841608
[startup+200.043 s]
Raw data (loadavg): 1.03 1.05 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 18305 43 0 0 25 0 10 0 484637282 862855168 24756 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 24756 13073 16 0 210642 0
vsize: 842632
[startup+210.042 s]
Raw data (loadavg): 1.03 1.04 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 19236 44 0 0 25 0 10 0 484637282 862855168 24817 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 24817 13073 16 0 210642 0
vsize: 842632
[startup+220.043 s]
Raw data (loadavg): 1.02 1.04 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 20163 44 0 0 24 0 10 0 484637282 862855168 24870 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 24870 13073 16 0 210642 0
vsize: 842632
[startup+230.043 s]
Raw data (loadavg): 1.02 1.04 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 21092 44 0 0 25 0 10 0 484637282 862855168 24920 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 24920 13073 16 0 210642 0
vsize: 842632
[startup+240.044 s]
Raw data (loadavg): 1.02 1.04 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 22021 44 0 0 25 0 10 0 484637282 862855168 24977 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 24977 13073 16 0 210642 0
vsize: 842632
[startup+250.043 s]
Raw data (loadavg): 1.01 1.04 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 22943 44 0 0 24 0 10 0 484637282 862855168 25026 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25026 13073 16 0 210642 0
vsize: 842632
[startup+260.044 s]
Raw data (loadavg): 1.01 1.03 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 23867 44 0 0 25 0 10 0 484637282 862855168 25080 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25080 13073 16 0 210642 0
vsize: 842632
[startup+270.044 s]
Raw data (loadavg): 1.01 1.03 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 24785 45 0 0 25 0 10 0 484637282 862855168 25139 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25139 13073 16 0 210642 0
vsize: 842632
[startup+280.044 s]
Raw data (loadavg): 1.01 1.03 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 25694 45 0 0 24 0 10 0 484637282 862855168 25218 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25218 13073 16 0 210642 0
vsize: 842632
[startup+290.045 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 26599 46 0 0 25 0 10 0 484637282 862855168 25293 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25293 13073 16 0 210642 0
vsize: 842632
[startup+300.045 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 27500 47 0 0 25 0 10 0 484637282 862855168 25415 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25415 13073 16 0 210642 0
vsize: 842632
[startup+310.045 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 28412 47 0 0 25 0 10 0 484637282 862855168 25550 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25550 13073 16 0 210642 0
vsize: 842632
[startup+320.045 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 29328 47 0 0 25 0 10 0 484637282 862855168 25604 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25604 13073 16 0 210642 0
vsize: 842632
[startup+330.046 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 30245 48 0 0 25 0 10 0 484637282 862855168 25671 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25671 13073 16 0 210642 0
vsize: 842632
[startup+340.046 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 31162 48 0 0 25 0 10 0 484637282 862855168 25743 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25743 13073 16 0 210642 0
vsize: 842632
[startup+350.085 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 32078 49 0 0 24 0 10 0 484637282 862855168 25794 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25794 13073 16 0 210642 0
vsize: 842632
[startup+360.087 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 32993 50 0 0 25 0 10 0 484637282 862855168 25849 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25849 13073 16 0 210642 0
vsize: 842632
[startup+370.087 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 33909 50 0 0 25 0 10 0 484637282 862855168 25914 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25914 13073 16 0 210642 0
vsize: 842632
[startup+380.087 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 34828 50 0 0 25 0 10 0 484637282 862855168 25972 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 25972 13073 16 0 210642 0
vsize: 842632
[startup+390.087 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 35747 51 0 0 25 0 10 0 484637282 862855168 26016 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26016 13073 16 0 210642 0
vsize: 842632
[startup+400.088 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 36664 51 0 0 25 0 10 0 484637282 862855168 26046 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26046 13073 16 0 210642 0
vsize: 842632
[startup+410.098 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 37580 51 0 0 24 0 10 0 484637282 862855168 26173 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26173 13073 16 0 210642 0
vsize: 842632
[startup+420.098 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 38494 52 0 0 25 0 10 0 484637282 862855168 26202 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26202 13073 16 0 210642 0
vsize: 842632
[startup+430.098 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 39425 52 0 0 25 0 10 0 484637282 862855168 26340 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26340 13073 16 0 210642 0
vsize: 842632
[startup+440.111 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 40342 52 0 0 25 0 10 0 484637282 862855168 26368 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26368 13073 16 0 210642 0
vsize: 842632
[startup+450.111 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 41253 53 0 0 25 0 10 0 484637282 862855168 26396 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26396 13073 16 0 210642 0
vsize: 842632
[startup+460.111 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 42179 53 0 0 24 0 10 0 484637282 862855168 26552 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26552 13073 16 0 210642 0
vsize: 842632
[startup+470.159 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 43098 53 0 0 25 0 10 0 484637282 862855168 26579 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26579 13073 16 0 210642 0
vsize: 842632
[startup+480.161 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 44004 54 0 0 24 0 10 0 484637282 862855168 26606 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210658 26606 13073 16 0 210642 0
vsize: 842632
[startup+490.162 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 44930 54 0 0 25 0 10 0 484637282 862855168 26774 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 26774 13073 16 0 210642 0
vsize: 842632
[startup+500.163 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 45837 54 0 0 25 0 10 0 484637282 862855168 26801 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 26801 13073 16 0 210642 0
vsize: 842632
[startup+510.164 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 46742 54 0 0 25 0 10 0 484637282 862855168 26827 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 26827 13073 16 0 210642 0
vsize: 842632
[startup+520.164 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 47657 55 0 0 25 0 10 0 484637282 862855168 26998 4294967295 134512640 134569956 3221224400 3221214312 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 26998 13073 16 0 210642 0
vsize: 842632
[startup+530.166 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 48553 55 0 0 24 0 10 0 484637282 862855168 27024 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27024 13073 16 0 210642 0
vsize: 842632
[startup+540.168 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 49451 55 0 0 25 0 10 0 484637282 862855168 27111 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27111 13073 16 0 210642 0
vsize: 842632
[startup+550.168 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 50345 55 0 0 25 0 10 0 484637282 862855168 27201 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27201 13073 16 0 210642 0
vsize: 842632
[startup+560.168 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 51236 56 0 0 17 0 10 0 484637282 862855168 27264 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27264 13073 16 0 210642 0
vsize: 842632
[startup+570.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 52123 56 0 0 17 0 10 0 484637282 862855168 27349 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27349 13073 16 0 210642 0
vsize: 842632
[startup+580.171 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 53004 56 0 0 19 0 10 0 484637282 862855168 27545 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27545 13073 16 0 210642 0
vsize: 842632
[startup+590.173 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 53881 57 0 0 18 0 10 0 484637282 862855168 27661 4294967295 134512640 134569956 3221224400 3221214808 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27661 13073 16 0 210642 0
vsize: 842632
[startup+600.174 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 54776 57 0 0 22 0 10 0 484637282 862855168 27781 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27781 13073 16 0 210642 0
vsize: 842632
[startup+610.175 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 55663 57 0 0 18 0 10 0 484637282 862855168 27805 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27805 13073 16 0 210642 0
vsize: 842632
[startup+620.179 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 56559 58 0 0 22 0 10 0 484637282 862855168 27930 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 27930 13073 16 0 210642 0
vsize: 842632
[startup+630.183 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 57442 58 0 0 16 0 10 0 484637282 862855168 28134 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 28134 13073 16 0 210642 0
vsize: 842632
[startup+640.183 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 58326 58 0 0 19 0 10 0 484637282 862855168 28339 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 28339 13073 16 0 210642 0
vsize: 842632
[startup+650.185 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 59209 59 0 0 20 0 10 0 484637282 862855168 28478 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 28478 13073 16 0 210642 0
vsize: 842632
[startup+660.186 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 60090 59 0 0 18 0 10 0 484637282 862855168 28524 4294967295 134512640 134569956 3221224400 3221214896 1131210547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 28524 13073 16 0 210642 0
vsize: 842632
[startup+670.187 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 60976 59 0 0 19 0 10 0 484637282 862855168 28645 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 28645 13073 16 0 210642 0
vsize: 842632
[startup+680.187 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 61860 59 0 0 20 0 10 0 484637282 862855168 28776 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 28776 13073 16 0 210642 0
vsize: 842632
[startup+690.189 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 62759 59 0 0 25 0 10 0 484637282 862855168 29603 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 29603 13073 16 0 210642 0
vsize: 842632
[startup+700.19 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 63659 60 0 0 25 0 10 0 484637282 862855168 29603 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 29603 13073 16 0 210642 0
vsize: 842632
[startup+710.191 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 64556 60 0 0 25 0 10 0 484637282 862855168 29627 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 29627 13073 16 0 210642 0
vsize: 842632
[startup+720.192 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 65439 60 0 0 24 0 10 0 484637282 862855168 29811 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 29811 13073 16 0 210642 0
vsize: 842632
[startup+730.193 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 66337 60 0 0 25 0 10 0 484637282 862855168 29811 4294967295 134512640 134569956 3221224400 3221214844 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 29811 13073 16 0 210642 0
vsize: 842632
[startup+740.194 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 67227 60 0 0 25 0 10 0 484637282 862855168 29873 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 29873 13073 16 0 210642 0
vsize: 842632
[startup+750.194 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 68110 61 0 0 25 0 10 0 484637282 862855168 29908 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 29908 13073 16 0 210642 0
vsize: 842632
[startup+760.197 s]
Raw data (loadavg): 1.00 1.00 0.95 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 68989 61 0 0 25 0 10 0 484637282 862855168 30048 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 30048 13073 16 0 210642 0
vsize: 842632
[startup+770.216 s]
Raw data (loadavg): 1.08 1.02 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 69886 61 0 0 25 0 10 0 484637282 862855168 30448 4294967295 134512640 134569956 3221224400 3221214328 1131276516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 30448 13073 16 0 210642 0
vsize: 842632
[startup+780.216 s]
Raw data (loadavg): 1.07 1.02 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 70778 62 0 0 25 0 10 0 484637282 862855168 30834 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 30834 13073 16 0 210642 0
vsize: 842632
[startup+790.218 s]
Raw data (loadavg): 1.06 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 71666 63 0 0 25 0 10 0 484637282 862855168 31005 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31005 13073 16 0 210642 0
vsize: 842632
[startup+800.219 s]
Raw data (loadavg): 1.05 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 72545 63 0 0 16 0 10 0 484637282 862855168 31116 4294967295 134512640 134569956 3221224400 3221214844 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31116 13073 16 0 210642 0
vsize: 842632
[startup+810.219 s]
Raw data (loadavg): 1.04 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 73432 63 0 0 18 0 10 0 484637282 862855168 31176 4294967295 134512640 134569956 3221224400 3221214312 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31176 13073 16 0 210642 0
vsize: 842632
[startup+820.22 s]
Raw data (loadavg): 1.03 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 74317 64 0 0 18 0 10 0 484637282 862855168 31348 4294967295 134512640 134569956 3221224400 3221214312 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31348 13073 16 0 210642 0
vsize: 842632
[startup+830.22 s]
Raw data (loadavg): 1.03 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 75202 64 0 0 22 0 10 0 484637282 862855168 31505 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31505 13073 16 0 210642 0
vsize: 842632
[startup+840.239 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 76093 64 0 0 19 0 10 0 484637282 862855168 31509 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31509 13073 16 0 210642 0
vsize: 842632
[startup+850.24 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 76978 65 0 0 17 0 10 0 484637282 862855168 31556 4294967295 134512640 134569956 3221224400 3221214216 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31556 13073 16 0 210642 0
vsize: 842632
[startup+860.24 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 77868 65 0 0 21 0 10 0 484637282 862855168 31588 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31588 13073 16 0 210642 0
vsize: 842632
[startup+870.24 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 78750 65 0 0 18 0 10 0 484637282 862855168 31774 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31774 13073 16 0 210642 0
vsize: 842632
[startup+880.252 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 79636 65 0 0 19 0 10 0 484637282 862855168 31936 4294967295 134512640 134569956 3221224400 3221214312 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 31936 13073 16 0 210642 0
vsize: 842632
[startup+890.253 s]
Raw data (loadavg): 1.01 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 80528 66 0 0 25 0 10 0 484637282 862855168 32687 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 32687 13073 16 0 210642 0
vsize: 842632
[startup+900.254 s]
Raw data (loadavg): 1.01 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 81423 67 0 0 25 0 10 0 484637282 862855168 32996 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 32996 13073 16 0 210642 0
vsize: 842632
[startup+910.257 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 82315 67 0 0 25 0 10 0 484637282 862855168 33011 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 33011 13073 16 0 210642 0
vsize: 842632
[startup+920.257 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 83193 67 0 0 25 0 10 0 484637282 862855168 33110 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 33110 13073 16 0 210642 0
vsize: 842632
[startup+930.263 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 84084 67 0 0 25 0 10 0 484637282 862855168 33289 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 33289 13073 16 0 210642 0
vsize: 842632
[startup+940.263 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 84976 68 0 0 22 0 10 0 484637282 862855168 33549 4294967295 134512640 134569956 3221224400 3221214844 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 33549 13073 16 0 210642 0
vsize: 842632
[startup+950.264 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 85870 68 0 0 20 0 10 0 484637282 862855168 33695 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 33695 13073 16 0 210642 0
vsize: 842632
[startup+960.273 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 86766 68 0 0 21 0 10 0 484637282 862855168 33706 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 33706 13073 16 0 210642 0
vsize: 842632
[startup+970.274 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 87659 68 0 0 23 0 10 0 484637282 862855168 33855 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 33855 13073 16 0 210642 0
vsize: 842632
[startup+980.274 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 88564 69 0 0 25 0 10 0 484637282 862855168 34032 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34032 13073 16 0 210642 0
vsize: 842632
[startup+990.276 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 89459 69 0 0 24 0 10 0 484637282 862855168 34032 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34032 13073 16 0 210642 0
vsize: 842632
[startup+1000.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 90343 69 0 0 25 0 10 0 484637282 862855168 34049 4294967295 134512640 134569956 3221224400 3221214296 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34049 13073 16 0 210642 0
vsize: 842632
[startup+1010.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 91237 69 0 0 24 0 10 0 484637282 862855168 34413 4294967295 134512640 134569956 3221224400 3221214844 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34413 13073 16 0 210642 0
vsize: 842632
[startup+1020.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 92154 69 0 0 25 0 10 0 484637282 862855168 34413 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34413 13073 16 0 210642 0
vsize: 842632
[startup+1030.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 93052 70 0 0 25 0 10 0 484637282 862855168 34619 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34619 13073 16 0 210642 0
vsize: 842632
[startup+1040.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 93956 70 0 0 25 0 10 0 484637282 862855168 34830 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34830 13073 16 0 210642 0
vsize: 842632
[startup+1050.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 94869 70 0 0 25 0 10 0 484637282 862855168 34830 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 34830 13073 16 0 210642 0
vsize: 842632
[startup+1060.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 95775 70 0 0 24 0 10 0 484637282 862855168 35047 4294967295 134512640 134569956 3221224400 3221214844 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 35047 13073 16 0 210642 0
vsize: 842632
[startup+1070.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 96686 70 0 0 24 0 10 0 484637282 862855168 35047 4294967295 134512640 134569956 3221224400 3221214808 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 35047 13073 16 0 210642 0
vsize: 842632
[startup+1080.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 97583 72 0 0 25 0 10 0 484637282 862855168 36336 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 36336 13073 16 0 210642 0
vsize: 842632
[startup+1090.28 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 98477 72 0 0 25 0 10 0 484637282 862855168 36598 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 36598 13073 16 0 210642 0
vsize: 842632
[startup+1100.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 99368 72 0 0 24 0 10 0 484637282 862855168 36900 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 36900 13073 16 0 210642 0
vsize: 842632
[startup+1110.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 100257 73 0 0 21 0 10 0 484637282 862855168 38387 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 38387 13073 16 0 210642 0
vsize: 842632
[startup+1120.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) S 29772 32461 32460 0 -1 0 17988 0 1 0 101146 73 0 0 22 0 10 0 484637282 862855168 38556 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 38556 13073 16 0 210642 0
vsize: 842632
[startup+1130.29 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 102051 73 0 0 25 0 10 0 484637282 862855168 38845 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 38845 13073 16 0 210642 0
vsize: 842632
[startup+1140.29 s]
Raw data (loadavg): 1.08 1.02 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 102949 73 0 0 25 0 10 0 484637282 862855168 39124 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 39124 13073 16 0 210642 0
vsize: 842632
[startup+1150.29 s]
Raw data (loadavg): 1.07 1.02 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 103857 74 0 0 25 0 10 0 484637282 862855168 39278 4294967295 134512640 134569956 3221224400 3221214312 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 39278 13073 16 0 210642 0
vsize: 842632
[startup+1160.29 s]
Raw data (loadavg): 1.06 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 104758 74 0 0 19 0 10 0 484637282 862855168 39435 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 39435 13073 16 0 210642 0
vsize: 842632
[startup+1170.29 s]
Raw data (loadavg): 1.05 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 105667 74 0 0 25 0 10 0 484637282 862855168 39435 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 39435 13073 16 0 210642 0
vsize: 842632
[startup+1180.29 s]
Raw data (loadavg): 1.04 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 106575 74 0 0 24 0 10 0 484637282 862855168 39607 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 39607 13073 16 0 210642 0
vsize: 842632
[startup+1190.29 s]
Raw data (loadavg): 1.03 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 107488 74 0 0 25 0 10 0 484637282 862855168 39775 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 39775 13073 16 0 210642 0
vsize: 842632
[startup+1200.3 s]
Raw data (loadavg): 1.03 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 108390 74 0 0 23 0 10 0 484637282 862855168 40080 4294967295 134512640 134569956 3221224400 3221214312 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 40080 13073 16 0 210642 0
vsize: 842632
[startup+1210.3 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 109300 75 0 0 25 0 10 0 484637282 862855168 40219 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 40219 13073 16 0 210642 0
vsize: 842632
[startup+1220.3 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 110207 75 0 0 25 0 10 0 484637282 862855168 40370 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 40370 13073 16 0 210642 0
vsize: 842632
[startup+1230.3 s]
Raw data (loadavg): 1.02 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 111113 75 0 0 25 0 10 0 484637282 862855168 40525 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 40525 13073 16 0 210642 0
vsize: 842632
[startup+1240.3 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 112017 75 0 0 25 0 10 0 484637282 862855168 40687 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 40687 13073 16 0 210642 0
vsize: 842632
[startup+1250.3 s]
Raw data (loadavg): 1.01 1.01 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 112923 75 0 0 20 0 10 0 484637282 862855168 40849 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 40849 13073 16 0 210642 0
vsize: 842632
[startup+1260.3 s]
Raw data (loadavg): 1.01 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 113832 75 0 0 24 0 10 0 484637282 862855168 41020 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 41020 13073 16 0 210642 0
vsize: 842632
[startup+1270.3 s]
Raw data (loadavg): 1.01 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 114736 76 0 0 25 0 10 0 484637282 862855168 41020 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 41020 13073 16 0 210642 0
vsize: 842632
[startup+1280.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 115641 76 0 0 25 0 10 0 484637282 862855168 41338 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 41338 13073 16 0 210642 0
vsize: 842632
[startup+1290.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 116544 76 0 0 24 0 10 0 484637282 862855168 41669 4294967295 134512640 134569956 3221224400 3221214216 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 41669 13073 16 0 210642 0
vsize: 842632
[startup+1300.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 117453 76 0 0 25 0 10 0 484637282 862855168 41849 4294967295 134512640 134569956 3221224400 3221214312 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 41849 13073 16 0 210642 0
vsize: 842632
[startup+1310.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 118360 76 0 0 25 0 10 0 484637282 862855168 41849 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 41849 13073 16 0 210642 0
vsize: 842632
[startup+1320.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 119263 76 0 0 25 0 10 0 484637282 862855168 42034 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 42034 13073 16 0 210642 0
vsize: 842632
[startup+1330.3 s]
Raw data (loadavg): 1.00 1.00 0.96 2/63 29782
Raw data (stat): 29773 (java) R 29772 32461 32460 0 -1 0 17988 0 1 0 120169 76 0 0 25 0 10 0 484637282 862855168 42221 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210658 42221 13073 16 0 210642 0
vsize: 842632
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.42 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 29783
Raw data (stat): 29773 (java) Z 29772 32461 32460 0 -1 1036 17988 38132 1 0 120172 84 14191 118 25 0 1 0 484637282 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): 1330.42
CPU time (s): 1345.67
CPU user time (s): 1343.64
CPU system time (s): 2.02769
CPU usage (%): 101.147
Max. virtual memory (Kb): 856888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####