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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.opb
MD5SUMd9327b817828dc5afade576c2194d741
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 840
Biggest coefficient in the objective function 3784939929600
Number of bits for the biggest coefficient in the objective function 42
Sum of the numbers in the objective function 93738734889723
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 13851269529600000
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 368128606591816686
Number of bits of the biggest sum of numbers59
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.13622
Number of variables86785
Total number of constraints2515
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 constraints2515
Minimum length of a constraint10
Maximum length of a constraint7620

Trace number 22916 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-22 03:50:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11098 boxname=wulflinc25 idbench=854 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d9327b817828dc5afade576c2194d741  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-pilot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-pilot.opb
IDLAUNCH: 11098
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        723180 kB
Buffers:         14728 kB
Cached:         275784 kB
SwapCached:        732 kB
Active:          67492 kB
Inactive:       224972 kB
HighTotal:      131008 kB
HighFree:        21476 kB
LowTotal:       903652 kB
LowFree:        701704 kB
SwapTotal:     2097892 kB
SwapFree:      2096216 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            13356 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 04:12:39 (client local time) WITH STATUS 143 IN 1330.45 SECONDS
stats: 11098 7 1330.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-pilot.opb
c reading problem 
c [nbvar=86785]
c [nbconstr=2515]
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)
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.73 0.89 0.88 2/54 20575
Raw data (stat): 20575 (runsolver) R 20574 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550624315 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+10.0001 s]
Raw data (loadavg): 0.84 0.90 0.89 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17973 0 1 0 856 39 0 0 25 0 10 0 550624315 858247168 20238 4294967295 134512640 134569956 3221224400 3221214052 1077635754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209533 20238 13073 16 0 209517 0
vsize: 838132
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.92 0.89 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17973 0 1 0 1752 39 0 0 25 0 10 0 550624315 857997312 20725 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 20725 13073 16 0 209456 0
vsize: 837888
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.93 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17973 0 1 0 2641 40 0 0 25 0 10 0 550624315 857997312 21338 4294967295 134512640 134569956 3221224400 3221214624 1130887956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 21338 13073 16 0 209456 0
vsize: 837888
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.93 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 3557 40 0 0 25 0 10 0 550624315 857997312 21626 4294967295 134512640 134569956 3221224400 3221214744 1131225665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 21626 13073 16 0 209456 0
vsize: 837888
[startup+50.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 4489 40 0 0 25 0 10 0 550624315 857997312 21794 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 21794 13073 16 0 209456 0
vsize: 837888
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.93 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 5408 40 0 0 25 0 10 0 550624315 857997312 21942 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 21942 13073 16 0 209456 0
vsize: 837888
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.93 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 6329 40 0 0 25 0 10 0 550624315 857997312 22070 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22070 13073 16 0 209456 0
vsize: 837888
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.94 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 7262 40 0 0 24 0 10 0 550624315 857997312 22260 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22260 13073 16 0 209456 0
vsize: 837888
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.94 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 8200 40 0 0 25 0 10 0 550624315 857997312 22356 4294967295 134512640 134569956 3221224400 3221214872 1131266819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22356 13073 16 0 209456 0
vsize: 837888
[startup+100.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 9131 41 0 0 25 0 10 0 550624315 857997312 22449 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22449 13073 16 0 209456 0
vsize: 837888
[startup+110.008 s]
Raw data (loadavg): 0.98 0.94 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 10059 41 0 0 25 0 10 0 550624315 857997312 22533 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22533 13073 16 0 209456 0
vsize: 837888
[startup+120.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 10969 41 0 0 25 0 10 0 550624315 857997312 22673 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22673 13073 16 0 209456 0
vsize: 837888
[startup+130.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 11890 41 0 0 25 0 10 0 550624315 857997312 22811 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22811 13073 16 0 209456 0
vsize: 837888
[startup+140.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 12820 41 0 0 25 0 10 0 550624315 857997312 22947 4294967295 134512640 134569956 3221224400 3221214776 1131315238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 22947 13073 16 0 209456 0
vsize: 837888
[startup+150.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 13746 41 0 0 25 0 10 0 550624315 857997312 23038 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 23038 13073 16 0 209456 0
vsize: 837888
[startup+160.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17974 0 1 0 14673 42 0 0 25 0 10 0 550624315 857997312 23117 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 23117 13073 16 0 209456 0
vsize: 837888
[startup+170.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 15595 42 0 0 25 0 10 0 550624315 857997312 23231 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 23231 13073 16 0 209456 0
vsize: 837888
[startup+180.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 16520 42 0 0 25 0 10 0 550624315 857997312 23362 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 23362 13073 16 0 209456 0
vsize: 837888
[startup+190.042 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17974 0 1 0 17438 42 0 0 25 0 10 0 550624315 857997312 23425 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 23425 13073 16 0 209456 0
vsize: 837888
[startup+200.043 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 18355 42 0 0 25 0 10 0 550624315 857997312 23494 4294967295 134512640 134569956 3221224400 3221214784 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 23494 13073 16 0 209456 0
vsize: 837888
[startup+210.043 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 19283 43 0 0 25 0 10 0 550624315 858591232 23811 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 23811 13073 16 0 209601 0
vsize: 838468
[startup+220.043 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 20212 43 0 0 25 0 10 0 550624315 858591232 23862 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 23862 13073 16 0 209601 0
vsize: 838468
[startup+230.044 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 21141 43 0 0 24 0 10 0 550624315 858591232 23926 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 23926 13073 16 0 209601 0
vsize: 838468
[startup+240.044 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 22073 43 0 0 25 0 10 0 550624315 858591232 23976 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 23976 13073 16 0 209601 0
vsize: 838468
[startup+250.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 22999 43 0 0 25 0 10 0 550624315 858591232 24042 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24042 13073 16 0 209601 0
vsize: 838468
[startup+260.047 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17974 0 1 0 23924 43 0 0 25 0 10 0 550624315 858591232 24096 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24096 13073 16 0 209601 0
vsize: 838468
[startup+270.05 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17974 0 1 0 24846 44 0 0 25 0 10 0 550624315 858591232 24157 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24157 13073 16 0 209601 0
vsize: 838468
[startup+280.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17974 0 1 0 25753 44 0 0 25 0 10 0 550624315 858591232 24221 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24221 13073 16 0 209601 0
vsize: 838468
[startup+290.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 26648 45 0 0 25 0 10 0 550624315 858591232 24291 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24291 13073 16 0 209601 0
vsize: 838468
[startup+300.053 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 27562 45 0 0 25 0 10 0 550624315 858591232 24492 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24492 13073 16 0 209601 0
vsize: 838468
[startup+310.054 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 28480 45 0 0 25 0 10 0 550624315 858591232 24566 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24566 13073 16 0 209601 0
vsize: 838468
[startup+320.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 29402 45 0 0 25 0 10 0 550624315 858591232 24631 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24631 13073 16 0 209601 0
vsize: 838468
[startup+330.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 30319 45 0 0 25 0 10 0 550624315 858591232 24708 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24708 13073 16 0 209601 0
vsize: 838468
[startup+340.062 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 31242 45 0 0 25 0 10 0 550624315 858591232 24777 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24777 13073 16 0 209601 0
vsize: 838468
[startup+350.063 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 32161 46 0 0 25 0 10 0 550624315 858591232 24834 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24834 13073 16 0 209601 0
vsize: 838468
[startup+360.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 33080 46 0 0 25 0 10 0 550624315 858591232 24893 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24893 13073 16 0 209601 0
vsize: 838468
[startup+370.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 34004 46 0 0 25 0 10 0 550624315 858591232 24936 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24936 13073 16 0 209601 0
vsize: 838468
[startup+380.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 34921 46 0 0 25 0 10 0 550624315 858591232 24995 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 24995 13073 16 0 209601 0
vsize: 838468
[startup+390.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 35843 46 0 0 25 0 10 0 550624315 858591232 25046 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 25046 13073 16 0 209601 0
vsize: 838468
[startup+400.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 36761 46 0 0 25 0 10 0 550624315 858591232 25090 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 25090 13073 16 0 209601 0
vsize: 838468
[startup+410.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 37683 46 0 0 25 0 10 0 550624315 858591232 25134 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 25134 13073 16 0 209601 0
vsize: 838468
[startup+420.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 38595 47 0 0 25 0 10 0 550624315 858591232 25191 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209617 25191 13073 16 0 209601 0
vsize: 838468
[startup+430.078 s]
Raw data (loadavg): 0.99 0.97 0.91 3/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 39504 47 0 0 25 0 10 0 550624315 857997312 25153 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 25153 13073 16 0 209456 0
vsize: 837888
[startup+440.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17976 0 1 0 40412 47 0 0 25 0 10 0 550624315 857997312 25230 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25230 13073 16 0 209456 0
vsize: 837888
[startup+450.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 41323 47 0 0 25 0 10 0 550624315 857997312 25297 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25297 13073 16 0 209456 0
vsize: 837888
[startup+460.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17976 0 1 0 42241 47 0 0 25 0 10 0 550624315 857997312 25360 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25360 13073 16 0 209456 0
vsize: 837888
[startup+470.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 43155 48 0 0 25 0 10 0 550624315 857997312 25413 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25413 13073 16 0 209456 0
vsize: 837888
[startup+480.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 44072 48 0 0 25 0 10 0 550624315 857997312 25455 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25455 13073 16 0 209456 0
vsize: 837888
[startup+490.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 44981 48 0 0 25 0 10 0 550624315 857997312 25505 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25505 13073 16 0 209456 0
vsize: 837888
[startup+500.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 45904 48 0 0 25 0 10 0 550624315 857997312 25573 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25573 13073 16 0 209456 0
vsize: 837888
[startup+510.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 46807 48 0 0 24 0 10 0 550624315 857997312 25631 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25631 13073 16 0 209456 0
vsize: 837888
[startup+520.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 47716 48 0 0 25 0 10 0 550624315 857997312 25706 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25706 13073 16 0 209456 0
vsize: 837888
[startup+530.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 48630 49 0 0 25 0 10 0 550624315 857997312 25745 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25745 13073 16 0 209456 0
vsize: 837888
[startup+540.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 49537 49 0 0 25 0 10 0 550624315 857997312 25801 4294967295 134512640 134569956 3221224400 3221214192 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25801 13073 16 0 209456 0
vsize: 837888
[startup+550.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 50448 49 0 0 25 0 10 0 550624315 857997312 25848 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25848 13073 16 0 209456 0
vsize: 837888
[startup+560.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 51353 49 0 0 25 0 10 0 550624315 857997312 25895 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25895 13073 16 0 209456 0
vsize: 837888
[startup+570.215 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 20584
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17976 0 1 0 52263 49 0 0 25 0 10 0 550624315 857997312 25983 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 25983 13073 16 0 209456 0
vsize: 837888
[startup+580.216 s]
Raw data (loadavg): 1.07 0.99 0.91 4/67 20618
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 53167 54 0 0 24 0 10 0 550624315 857997312 26025 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 26025 13073 16 0 209456 0
vsize: 837888
[startup+590.215 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 20637
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 54068 58 0 0 25 0 10 0 550624315 857997312 26056 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 26056 13073 16 0 209456 0
vsize: 837888
[startup+600.217 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 20637
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 54975 59 0 0 25 0 10 0 550624315 857997312 26104 4294967295 134512640 134569956 3221224400 3221214784 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26104 13073 16 0 209456 0
vsize: 837888
[startup+610.217 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 20637
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 55876 59 0 0 25 0 10 0 550624315 857997312 26162 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26162 13073 16 0 209456 0
vsize: 837888
[startup+620.218 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 20637
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 56773 59 0 0 25 0 10 0 550624315 857997312 26233 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26233 13073 16 0 209456 0
vsize: 837888
[startup+630.219 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 20637
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 57676 59 0 0 25 0 10 0 550624315 857997312 26307 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26307 13073 16 0 209456 0
vsize: 837888
[startup+640.219 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 20637
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 58583 60 0 0 25 0 10 0 550624315 857997312 26375 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26375 13073 16 0 209456 0
vsize: 837888
[startup+650.22 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 59490 60 0 0 25 0 10 0 550624315 857997312 26411 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26411 13073 16 0 209456 0
vsize: 837888
[startup+660.22 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 60389 60 0 0 24 0 10 0 550624315 857997312 26457 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26457 13073 16 0 209456 0
vsize: 837888
[startup+670.22 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 61295 60 0 0 25 0 10 0 550624315 857997312 26505 4294967295 134512640 134569956 3221224400 3221214272 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26505 13073 16 0 209456 0
vsize: 837888
[startup+680.224 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 62196 60 0 0 25 0 10 0 550624315 857997312 26560 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26560 13073 16 0 209456 0
vsize: 837888
[startup+690.226 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 63097 60 0 0 19 0 10 0 550624315 857997312 26581 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26581 13073 16 0 209456 0
vsize: 837888
[startup+700.229 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 63996 60 0 0 19 0 10 0 550624315 857997312 26686 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 26686 13073 16 0 209456 0
vsize: 837888
[startup+710.228 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 64883 61 0 0 25 0 10 0 550624315 857997312 27639 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 27639 13073 16 0 209456 0
vsize: 837888
[startup+720.231 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17976 0 1 0 65784 61 0 0 25 0 10 0 550624315 857997312 27639 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 27639 13073 16 0 209456 0
vsize: 837888
[startup+730.231 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 66682 61 0 0 25 0 10 0 550624315 857997312 27644 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 27644 13073 16 0 209456 0
vsize: 837888
[startup+740.258 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 67561 62 0 0 25 0 10 0 550624315 857997312 27716 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 27716 13073 16 0 209456 0
vsize: 837888
[startup+750.26 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 68442 62 0 0 24 0 10 0 550624315 857997312 27808 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 27808 13073 16 0 209456 0
vsize: 837888
[startup+760.278 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 69335 62 0 0 22 0 10 0 550624315 857997312 27906 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 27906 13073 16 0 209456 0
vsize: 837888
[startup+770.289 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 70218 62 0 0 19 0 10 0 550624315 857997312 27969 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 27969 13073 16 0 209456 0
vsize: 837888
[startup+780.29 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 71103 62 0 0 19 0 10 0 550624315 857997312 28032 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 28032 13073 16 0 209456 0
vsize: 837888
[startup+790.289 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 71998 62 0 0 20 0 10 0 550624315 857997312 28096 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 28096 13073 16 0 209456 0
vsize: 837888
[startup+800.29 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 72893 63 0 0 19 0 10 0 550624315 857997312 28126 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 28126 13073 16 0 209456 0
vsize: 837888
[startup+810.291 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 73782 63 0 0 18 0 10 0 550624315 857997312 28170 4294967295 134512640 134569956 3221224400 3221214288 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 28170 13073 16 0 209456 0
vsize: 837888
[startup+820.29 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 74678 63 0 0 22 0 10 0 550624315 857997312 28189 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209472 28189 13073 16 0 209456 0
vsize: 837888
[startup+830.29 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 75564 63 0 0 20 0 10 0 550624315 857997312 28250 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 28250 13073 16 0 209456 0
vsize: 837888
[startup+840.294 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 76446 63 0 0 18 0 10 0 550624315 857997312 28329 4294967295 134512640 134569956 3221224400 3221214272 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 28329 13073 16 0 209456 0
vsize: 837888
[startup+850.295 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 77330 64 0 0 19 0 10 0 550624315 857997312 28353 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 28353 13073 16 0 209456 0
vsize: 837888
[startup+860.311 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 78214 64 0 0 17 0 10 0 550624315 857997312 28463 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 28463 13073 16 0 209456 0
vsize: 837888
[startup+878.666 s]
Raw data (loadavg): 1.17 1.03 0.93 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 79863 65 0 0 25 0 10 0 550624315 857997312 28668 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 28668 13073 16 0 209456 0
vsize: 837888
[startup+888.668 s]
Raw data (loadavg): 1.14 1.03 0.93 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 80751 66 0 0 25 0 10 0 550624315 857997312 28908 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 28908 13073 16 0 209456 0
vsize: 837888
[startup+898.669 s]
Raw data (loadavg): 1.12 1.03 0.93 2/63 20639
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 81651 66 0 0 25 0 10 0 550624315 857997312 29074 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29074 13073 16 0 209456 0
vsize: 837888
[startup+908.669 s]
Raw data (loadavg): 1.10 1.03 0.93 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 82548 67 0 0 25 0 10 0 550624315 857997312 29074 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29074 13073 16 0 209456 0
vsize: 837888
[startup+920.943 s]
Raw data (loadavg): 1.31 1.08 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 83639 68 0 0 25 0 10 0 550624315 857997312 29207 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29207 13073 16 0 209456 0
vsize: 837888
[startup+930.944 s]
Raw data (loadavg): 1.26 1.07 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 84527 68 0 0 25 0 10 0 550624315 857997312 29504 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29504 13073 16 0 209456 0
vsize: 837888
[startup+940.943 s]
Raw data (loadavg): 1.22 1.07 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 85428 68 0 0 25 0 10 0 550624315 857997312 29504 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29504 13073 16 0 209456 0
vsize: 837888
[startup+950.948 s]
Raw data (loadavg): 1.19 1.07 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 86320 68 0 0 25 0 10 0 550624315 857997312 29524 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29524 13073 16 0 209456 0
vsize: 837888
[startup+960.948 s]
Raw data (loadavg): 1.16 1.06 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 87209 69 0 0 25 0 10 0 550624315 857997312 29548 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29548 13073 16 0 209456 0
vsize: 837888
[startup+970.948 s]
Raw data (loadavg): 1.13 1.06 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 88099 69 0 0 25 0 10 0 550624315 857997312 29597 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29597 13073 16 0 209456 0
vsize: 837888
[startup+981.059 s]
Raw data (loadavg): 1.11 1.06 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 88999 70 0 0 25 0 10 0 550624315 857997312 29635 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29635 13073 16 0 209456 0
vsize: 837888
[startup+991.058 s]
Raw data (loadavg): 1.10 1.06 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 89891 70 0 0 25 0 10 0 550624315 857997312 29670 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29670 13073 16 0 209456 0
vsize: 837888
[startup+1001.06 s]
Raw data (loadavg): 1.08 1.05 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 90777 71 0 0 17 0 10 0 550624315 857997312 29808 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29808 13073 16 0 209456 0
vsize: 837888
[startup+1011.06 s]
Raw data (loadavg): 1.07 1.05 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 91675 71 0 0 18 0 10 0 550624315 857997312 29830 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29830 13073 16 0 209456 0
vsize: 837888
[startup+1021.07 s]
Raw data (loadavg): 1.06 1.05 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 92571 72 0 0 18 0 10 0 550624315 857997312 29858 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29858 13073 16 0 209456 0
vsize: 837888
[startup+1031.07 s]
Raw data (loadavg): 1.05 1.05 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 93464 72 0 0 17 0 10 0 550624315 857997312 29870 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29870 13073 16 0 209456 0
vsize: 837888
[startup+1041.07 s]
Raw data (loadavg): 1.04 1.05 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 94355 72 0 0 19 0 10 0 550624315 857997312 29949 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29949 13073 16 0 209456 0
vsize: 837888
[startup+1051.08 s]
Raw data (loadavg): 1.03 1.04 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 95252 73 0 0 19 0 10 0 550624315 857997312 29971 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 29971 13073 16 0 209456 0
vsize: 837888
[startup+1061.08 s]
Raw data (loadavg): 1.03 1.04 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 96149 73 0 0 19 0 10 0 550624315 857997312 30152 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 30152 13073 16 0 209456 0
vsize: 837888
[startup+1071.07 s]
Raw data (loadavg): 1.02 1.04 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 97053 74 0 0 25 0 10 0 550624315 857997312 30434 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 30434 13073 16 0 209456 0
vsize: 837888
[startup+1081.07 s]
Raw data (loadavg): 1.02 1.04 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 97944 74 0 0 25 0 10 0 550624315 857997312 30623 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 30623 13073 16 0 209456 0
vsize: 837888
[startup+1091.08 s]
Raw data (loadavg): 1.02 1.04 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 98837 75 0 0 25 0 10 0 550624315 857997312 30904 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 30904 13073 16 0 209456 0
vsize: 837888
[startup+1101.08 s]
Raw data (loadavg): 1.01 1.04 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 99730 75 0 0 24 0 10 0 550624315 857997312 31243 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 31243 13073 16 0 209456 0
vsize: 837888
[startup+1111.08 s]
Raw data (loadavg): 1.01 1.03 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 100629 76 0 0 24 0 10 0 550624315 857997312 31305 4294967295 134512640 134569956 3221224400 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 31305 13073 16 0 209456 0
vsize: 837888
[startup+1121.08 s]
Raw data (loadavg): 1.01 1.03 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 101532 76 0 0 25 0 10 0 550624315 857997312 31520 4294967295 134512640 134569956 3221224400 3221214288 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 31520 13073 16 0 209456 0
vsize: 837888
[startup+1131.08 s]
Raw data (loadavg): 1.01 1.03 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 102430 77 0 0 25 0 10 0 550624315 857997312 31694 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 31694 13073 16 0 209456 0
vsize: 837888
[startup+1141.08 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 103327 77 0 0 24 0 10 0 550624315 857997312 32129 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 32129 13073 16 0 209456 0
vsize: 837888
[startup+1151.08 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 104225 78 0 0 24 0 10 0 550624315 857997312 32135 4294967295 134512640 134569956 3221224400 3221214288 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 32135 13073 16 0 209456 0
vsize: 837888
[startup+1161.08 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 105124 78 0 0 24 0 10 0 550624315 857997312 32456 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 32456 13073 16 0 209456 0
vsize: 837888
[startup+1171.08 s]
Raw data (loadavg): 1.00 1.03 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 106031 79 0 0 25 0 10 0 550624315 857997312 32748 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 32748 13073 16 0 209456 0
vsize: 837888
[startup+1181.08 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 106938 79 0 0 25 0 10 0 550624315 857997312 33047 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33047 13073 16 0 209456 0
vsize: 837888
[startup+1191.08 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 107836 79 0 0 25 0 10 0 550624315 857997312 33073 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33073 13073 16 0 209456 0
vsize: 837888
[startup+1201.08 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 108738 79 0 0 25 0 10 0 550624315 857997312 33383 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33383 13073 16 0 209456 0
vsize: 837888
[startup+1211.08 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 109634 80 0 0 25 0 10 0 550624315 857997312 33399 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33399 13073 16 0 209456 0
vsize: 837888
[startup+1221.08 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 110538 80 0 0 25 0 10 0 550624315 857997312 33684 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33684 13073 16 0 209456 0
vsize: 837888
[startup+1231.08 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 111450 80 0 0 25 0 10 0 550624315 857997312 33836 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33836 13073 16 0 209456 0
vsize: 837888
[startup+1241.08 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 112362 81 0 0 25 0 10 0 550624315 857997312 33836 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33836 13073 16 0 209456 0
vsize: 837888
[startup+1251.09 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 113277 81 0 0 25 0 10 0 550624315 857997312 33996 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 33996 13073 16 0 209456 0
vsize: 837888
[startup+1261.09 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 114190 82 0 0 25 0 10 0 550624315 857997312 34160 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 34160 13073 16 0 209456 0
vsize: 837888
[startup+1271.09 s]
Raw data (loadavg): 1.00 1.02 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 115097 82 0 0 25 0 10 0 550624315 857997312 34330 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 34330 13073 16 0 209456 0
vsize: 837888
[startup+1281.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 116005 83 0 0 25 0 10 0 550624315 857997312 34508 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 34508 13073 16 0 209456 0
vsize: 837888
[startup+1291.09 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 116923 83 0 0 25 0 10 0 550624315 857997312 34508 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 34508 13073 16 0 209456 0
vsize: 837888
[startup+1301.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 20641
Raw data (stat): 20575 (java) S 20574 28099 28098 0 -1 0 17976 0 1 0 117831 84 0 0 25 0 10 0 550624315 857997312 34684 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 34684 13073 16 0 209456 0
vsize: 837888
[startup+1311.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 118740 84 0 0 25 0 10 0 550624315 857997312 34863 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 34863 13073 16 0 209456 0
vsize: 837888
[startup+1321.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 119645 84 0 0 25 0 10 0 550624315 857997312 35177 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 35177 13073 16 0 209456 0
vsize: 837888
[startup+1331.1 s]
Raw data (loadavg): 1.00 1.01 0.95 2/63 20641
Raw data (stat): 20575 (java) R 20574 28099 28098 0 -1 0 17976 0 1 0 120556 85 0 0 25 0 10 0 550624315 857997312 35459 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209472 35459 13073 16 0 209456 0
vsize: 837888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1331.27 s]
Raw data (loadavg): 1.00 1.01 0.95 1/54 20642
Raw data (stat): 20575 (java) Z 20574 28099 28098 0 -1 1036 17976 16192 1 0 120559 85 12338 61 25 0 1 0 550624315 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): 1331.27
CPU time (s): 1330.45
CPU user time (s): 1328.98
CPU system time (s): 1.47178
CPU usage (%): 99.9381
Max. virtual memory (Kb): 838468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####