PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb
MD5SUM	21cca5e58499fc8c195476eedca15203
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2760
Biggest coefficient in the objective function	114621939712000000000
Number of bits for the biggest coefficient in the objective function	67
Sum of the numbers in the objective function	6133849937192095318016
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	114621939712000000000
Number of bits of the biggest number in a constraint	67
Biggest sum of numbers in a constraint	6133849937192095318016
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.707892
Number of variables	77678
Total number of constraints	1016
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1016
Minimum length of a constraint	10
Maximum length of a constraint	2430
Trace number 23088

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-22 04:10:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11111 boxname=wulflinc4 idbench=855 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  21cca5e58499fc8c195476eedca15203  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-pilot.we.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-pilot.we.opb
IDLAUNCH: 11111
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        590676 kB
Buffers:         22264 kB
Cached:         400808 kB
SwapCached:        364 kB
Active:         131128 kB
Inactive:       294104 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        590424 kB
SwapTotal:     2097136 kB
SwapFree:      2096008 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            13116 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:32:46 (client local time) WITH STATUS 143 IN 1329.95 SECONDS
stats: 11111 7 1329.95 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-pilot.we.opb
c reading problem 
c [nbvar=77678]
c [nbconstr=1016]
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)
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.74 0.92 0.92 1/54 24115
Raw data (stat): 24115 (runsolver) D 24114 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 492508644 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.93 3/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18017 0 1 0 867 40 0 0 24 0 10 0 492508644 854499328 19596 4294967295 134512640 134569956 3221224400 3221214464 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208618 19596 13073 16 0 208602 0
vsize: 834472
[startup+20.0064 s]
Raw data (loadavg): 0.94 0.96 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 1765 41 0 0 25 0 10 0 492508644 854466560 20089 4294967295 134512640 134569956 3221224400 3221214808 1131184513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 20089 13073 16 0 208594 0
vsize: 834440
[startup+30.0072 s]
Raw data (loadavg): 1.03 0.98 0.93 3/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 2647 41 0 0 25 0 10 0 492508644 854466560 20640 4294967295 134512640 134569956 3221224400 3221214596 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 20640 13073 16 0 208594 0
vsize: 834440
[startup+40.0156 s]
Raw data (loadavg): 1.02 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 3566 41 0 0 25 0 10 0 492508644 854466560 20915 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 20915 13073 16 0 208594 0
vsize: 834440
[startup+50.0178 s]
Raw data (loadavg): 1.02 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 4490 42 0 0 25 0 10 0 492508644 854466560 21082 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 21082 13073 16 0 208594 0
vsize: 834440
[startup+60.0176 s]
Raw data (loadavg): 1.02 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 5411 42 0 0 25 0 10 0 492508644 854466560 21221 4294967295 134512640 134569956 3221224400 3221214476 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 21221 13073 16 0 208594 0
vsize: 834440
[startup+70.0182 s]
Raw data (loadavg): 1.01 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 6325 42 0 0 25 0 10 0 492508644 854466560 21363 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 21363 13073 16 0 208594 0
vsize: 834440
[startup+80.0196 s]
Raw data (loadavg): 1.01 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 7249 42 0 0 25 0 10 0 492508644 854466560 21582 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 21582 13073 16 0 208594 0
vsize: 834440
[startup+90.0209 s]
Raw data (loadavg): 1.01 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 8175 43 0 0 25 0 10 0 492508644 854466560 21711 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 21711 13073 16 0 208594 0
vsize: 834440
[startup+100.022 s]
Raw data (loadavg): 1.01 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 9098 43 0 0 25 0 10 0 492508644 854466560 21828 4294967295 134512640 134569956 3221224400 3221214816 1130894839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 21828 13073 16 0 208594 0
vsize: 834440
[startup+110.022 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 10021 43 0 0 25 0 10 0 492508644 854466560 21942 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 21942 13073 16 0 208594 0
vsize: 834440
[startup+120.03 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 10946 43 0 0 25 0 10 0 492508644 854466560 22053 4294967295 134512640 134569956 3221224400 3221214776 1131153239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 22053 13073 16 0 208594 0
vsize: 834440
[startup+130.031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 11859 43 0 0 25 0 10 0 492508644 854466560 22170 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 22170 13073 16 0 208594 0
vsize: 834440
[startup+140.031 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 12774 44 0 0 25 0 10 0 492508644 854466560 22314 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 22314 13073 16 0 208594 0
vsize: 834440
[startup+150.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 13701 44 0 0 25 0 10 0 492508644 854466560 22427 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208610 22427 13073 16 0 208594 0
vsize: 834440
[startup+160.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 14625 44 0 0 25 0 10 0 492508644 854466560 22512 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208610 22512 13073 16 0 208594 0
vsize: 834440
[startup+170.032 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 15536 45 0 0 25 0 10 0 492508644 854466560 22610 4294967295 134512640 134569956 3221224400 3221214264 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208610 22610 13073 16 0 208594 0
vsize: 834440
[startup+180.033 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 16427 45 0 0 25 0 10 0 492508644 854466560 22910 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208610 22910 13073 16 0 208594 0
vsize: 834440
[startup+190.034 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 17299 45 0 0 25 0 10 0 492508644 854466560 23051 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208610 23051 13073 16 0 208594 0
vsize: 834440
[startup+200.035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 18176 46 0 0 25 0 10 0 492508644 854466560 23510 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 23510 13073 16 0 208594 0
vsize: 834440
[startup+210.035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 19089 47 0 0 25 0 10 0 492508644 854466560 23601 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208610 23601 13073 16 0 208594 0
vsize: 834440
[startup+220.035 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 20008 47 0 0 25 0 10 0 492508644 854466560 23699 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208610 23699 13073 16 0 208594 0
vsize: 834440
[startup+230.036 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 20937 48 0 0 25 0 10 0 492508644 854466560 23840 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 23840 13073 16 0 208594 0
vsize: 834440
[startup+240.037 s]
Raw data (loadavg): 1.00 0.98 0.93 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 21877 48 0 0 24 0 10 0 492508644 854466560 23882 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 23882 13073 16 0 208594 0
vsize: 834440
[startup+250.038 s]
Raw data (loadavg): 1.08 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 22797 48 0 0 25 0 10 0 492508644 854466560 23922 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 23922 13073 16 0 208594 0
vsize: 834440
[startup+260.039 s]
Raw data (loadavg): 1.07 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 23718 48 0 0 25 0 10 0 492508644 854466560 24087 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24087 13073 16 0 208594 0
vsize: 834440
[startup+270.04 s]
Raw data (loadavg): 1.06 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 24658 48 0 0 25 0 10 0 492508644 854466560 24127 4294967295 134512640 134569956 3221224400 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24127 13073 16 0 208594 0
vsize: 834440
[startup+280.041 s]
Raw data (loadavg): 1.05 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 25586 49 0 0 25 0 10 0 492508644 854466560 24164 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24164 13073 16 0 208594 0
vsize: 834440
[startup+290.04 s]
Raw data (loadavg): 1.04 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 26503 49 0 0 25 0 10 0 492508644 854466560 24200 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24200 13073 16 0 208594 0
vsize: 834440
[startup+300.042 s]
Raw data (loadavg): 1.03 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 27433 49 0 0 25 0 10 0 492508644 854466560 24368 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24368 13073 16 0 208594 0
vsize: 834440
[startup+310.042 s]
Raw data (loadavg): 1.03 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 28374 49 0 0 25 0 10 0 492508644 854466560 24402 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24402 13073 16 0 208594 0
vsize: 834440
[startup+320.043 s]
Raw data (loadavg): 1.02 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 29285 49 0 0 24 0 10 0 492508644 854466560 24438 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24438 13073 16 0 208594 0
vsize: 834440
[startup+330.045 s]
Raw data (loadavg): 1.02 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 30200 50 0 0 25 0 10 0 492508644 854466560 24607 4294967295 134512640 134569956 3221224400 3221214328 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24607 13073 16 0 208594 0
vsize: 834440
[startup+340.045 s]
Raw data (loadavg): 1.02 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 31141 50 0 0 25 0 10 0 492508644 854466560 24640 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24640 13073 16 0 208594 0
vsize: 834440
[startup+350.046 s]
Raw data (loadavg): 1.01 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 32073 50 0 0 25 0 10 0 492508644 854466560 24674 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24674 13073 16 0 208594 0
vsize: 834440
[startup+360.047 s]
Raw data (loadavg): 1.01 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 32986 50 0 0 25 0 10 0 492508644 854466560 24706 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24706 13073 16 0 208594 0
vsize: 834440
[startup+370.047 s]
Raw data (loadavg): 1.01 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 33902 50 0 0 25 0 10 0 492508644 854466560 24876 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24876 13073 16 0 208594 0
vsize: 834440
[startup+380.049 s]
Raw data (loadavg): 1.01 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 34837 50 0 0 24 0 10 0 492508644 854466560 24909 4294967295 134512640 134569956 3221224400 3221213808 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24909 13073 16 0 208594 0
vsize: 834440
[startup+390.05 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 35775 50 0 0 25 0 10 0 492508644 854466560 24939 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24939 13073 16 0 208594 0
vsize: 834440
[startup+400.051 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 36687 51 0 0 22 0 10 0 492508644 854466560 24969 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24969 13073 16 0 208594 0
vsize: 834440
[startup+410.052 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 37597 51 0 0 22 0 10 0 492508644 854466560 24998 4294967295 134512640 134569956 3221224400 3221214168 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 24998 13073 16 0 208594 0
vsize: 834440
[startup+420.053 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 38528 51 0 0 25 0 10 0 492508644 854466560 25173 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25173 13073 16 0 208594 0
vsize: 834440
[startup+430.053 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 39464 51 0 0 25 0 10 0 492508644 854466560 25202 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25202 13073 16 0 208594 0
vsize: 834440
[startup+440.053 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 40384 51 0 0 25 0 10 0 492508644 854466560 25230 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25230 13073 16 0 208594 0
vsize: 834440
[startup+450.056 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 41291 52 0 0 25 0 10 0 492508644 854466560 25258 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25258 13073 16 0 208594 0
vsize: 834440
[startup+460.056 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 42208 52 0 0 25 0 10 0 492508644 854466560 25435 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25435 13073 16 0 208594 0
vsize: 834440
[startup+470.056 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 43143 52 0 0 25 0 10 0 492508644 854466560 25462 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25462 13073 16 0 208594 0
vsize: 834440
[startup+480.065 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 44073 53 0 0 24 0 10 0 492508644 854466560 25491 4294967295 134512640 134569956 3221224400 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25491 13073 16 0 208594 0
vsize: 834440
[startup+490.065 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 44982 53 0 0 25 0 10 0 492508644 854466560 25516 4294967295 134512640 134569956 3221224400 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25516 13073 16 0 208594 0
vsize: 834440
[startup+500.066 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 45858 53 0 0 24 0 10 0 492508644 854466560 25645 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 25645 13073 16 0 208594 0
vsize: 834440
[startup+510.07 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 46745 53 0 0 25 0 10 0 492508644 854466560 26012 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26012 13073 16 0 208594 0
vsize: 834440
[startup+520.071 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 47623 54 0 0 25 0 10 0 492508644 854466560 26279 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26279 13073 16 0 208594 0
vsize: 834440
[startup+530.071 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 48534 54 0 0 25 0 10 0 492508644 854466560 26293 4294967295 134512640 134569956 3221224400 3221214920 1131246812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26293 13073 16 0 208594 0
vsize: 834440
[startup+540.072 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 49444 54 0 0 21 0 10 0 492508644 854466560 26344 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26344 13073 16 0 208594 0
vsize: 834440
[startup+550.074 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 50353 54 0 0 25 0 10 0 492508644 854466560 26391 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26391 13073 16 0 208594 0
vsize: 834440
[startup+560.074 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 51263 55 0 0 22 0 10 0 492508644 854466560 26427 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26427 13073 16 0 208594 0
vsize: 834440
[startup+570.075 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 52172 55 0 0 21 0 10 0 492508644 854466560 26474 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26474 13073 16 0 208594 0
vsize: 834440
[startup+580.076 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 53070 55 0 0 25 0 10 0 492508644 854466560 26510 4294967295 134512640 134569956 3221224400 3221214088 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26510 13073 16 0 208594 0
vsize: 834440
[startup+590.076 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 53963 55 0 0 18 0 10 0 492508644 854466560 26545 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26545 13073 16 0 208594 0
vsize: 834440
[startup+600.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 54872 55 0 0 24 0 10 0 492508644 854466560 26660 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26660 13073 16 0 208594 0
vsize: 834440
[startup+610.084 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 55780 55 0 0 24 0 10 0 492508644 854466560 26705 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26705 13073 16 0 208594 0
vsize: 834440
[startup+620.084 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 56687 55 0 0 25 0 10 0 492508644 854466560 26739 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26739 13073 16 0 208594 0
vsize: 834440
[startup+630.085 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 57593 55 0 0 23 0 10 0 492508644 854466560 26782 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26782 13073 16 0 208594 0
vsize: 834440
[startup+640.119 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 58485 56 0 0 18 0 10 0 492508644 854466560 26888 4294967295 134512640 134569956 3221224400 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 26888 13073 16 0 208594 0
vsize: 834440
[startup+650.12 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 59372 56 0 0 19 0 10 0 492508644 854466560 27167 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 27167 13073 16 0 208594 0
vsize: 834440
[startup+660.122 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 60253 56 0 0 17 0 10 0 492508644 854466560 27177 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 27177 13073 16 0 208594 0
vsize: 834440
[startup+670.133 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 61159 56 0 0 23 0 10 0 492508644 854466560 27351 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 27351 13073 16 0 208594 0
vsize: 834440
[startup+680.133 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 62065 57 0 0 23 0 10 0 492508644 854466560 27383 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 27383 13073 16 0 208594 0
vsize: 834440
[startup+690.134 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 62978 57 0 0 25 0 10 0 492508644 854466560 27984 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 27984 13073 16 0 208594 0
vsize: 834440
[startup+700.135 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 63891 57 0 0 25 0 10 0 492508644 854466560 27984 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 27984 13073 16 0 208594 0
vsize: 834440
[startup+710.135 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 64785 57 0 0 25 0 10 0 492508644 854466560 28000 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28000 13073 16 0 208594 0
vsize: 834440
[startup+720.135 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 65678 58 0 0 25 0 10 0 492508644 854466560 28040 4294967295 134512640 134569956 3221224400 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28040 13073 16 0 208594 0
vsize: 834440
[startup+730.139 s]
Raw data (loadavg): 1.00 0.99 0.94 3/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 66570 58 0 0 24 0 10 0 492508644 854466560 28079 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28079 13073 16 0 208594 0
vsize: 834440
[startup+740.139 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 67469 58 0 0 25 0 10 0 492508644 854466560 28099 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28099 13073 16 0 208594 0
vsize: 834440
[startup+750.14 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 68360 58 0 0 25 0 10 0 492508644 854466560 28137 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28137 13073 16 0 208594 0
vsize: 834440
[startup+760.14 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 69251 58 0 0 24 0 10 0 492508644 854466560 28176 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28176 13073 16 0 208594 0
vsize: 834440
[startup+770.141 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 70145 58 0 0 18 0 10 0 492508644 854466560 28223 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28223 13073 16 0 208594 0
vsize: 834440
[startup+780.145 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 71040 58 0 0 23 0 10 0 492508644 854466560 28390 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28390 13073 16 0 208594 0
vsize: 834440
[startup+790.144 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 71926 59 0 0 25 0 10 0 492508644 854466560 28608 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28608 13073 16 0 208594 0
vsize: 834440
[startup+800.144 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 72822 59 0 0 25 0 10 0 492508644 854466560 28608 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28608 13073 16 0 208594 0
vsize: 834440
[startup+810.145 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 73708 59 0 0 25 0 10 0 492508644 854466560 28648 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28648 13073 16 0 208594 0
vsize: 834440
[startup+820.145 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 74586 59 0 0 25 0 10 0 492508644 854466560 28715 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28715 13073 16 0 208594 0
vsize: 834440
[startup+830.146 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 75466 59 0 0 25 0 10 0 492508644 854466560 28834 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28834 13073 16 0 208594 0
vsize: 834440
[startup+840.146 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 76352 60 0 0 25 0 10 0 492508644 854466560 28857 4294967295 134512640 134569956 3221224400 3221214272 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28857 13073 16 0 208594 0
vsize: 834440
[startup+850.146 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 77231 60 0 0 25 0 10 0 492508644 854466560 28940 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28940 13073 16 0 208594 0
vsize: 834440
[startup+860.147 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 78119 60 0 0 25 0 10 0 492508644 854466560 28997 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 28997 13073 16 0 208594 0
vsize: 834440
[startup+870.152 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 79004 60 0 0 25 0 10 0 492508644 854466560 29048 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29048 13073 16 0 208594 0
vsize: 834440
[startup+880.152 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 79888 60 0 0 18 0 10 0 492508644 854466560 29099 4294967295 134512640 134569956 3221224400 3221214328 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29099 13073 16 0 208594 0
vsize: 834440
[startup+890.152 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 80777 61 0 0 22 0 10 0 492508644 854466560 29147 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29147 13073 16 0 208594 0
vsize: 834440
[startup+900.156 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 81673 61 0 0 23 0 10 0 492508644 854466560 29305 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29305 13073 16 0 208594 0
vsize: 834440
[startup+910.156 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 82583 61 0 0 25 0 10 0 492508644 854466560 29325 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29325 13073 16 0 208594 0
vsize: 834440
[startup+920.156 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 83492 61 0 0 25 0 10 0 492508644 854466560 29344 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29344 13073 16 0 208594 0
vsize: 834440
[startup+930.157 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 84400 61 0 0 22 0 10 0 492508644 854466560 29363 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29363 13073 16 0 208594 0
vsize: 834440
[startup+940.157 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 85310 61 0 0 25 0 10 0 492508644 854466560 29382 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29382 13073 16 0 208594 0
vsize: 834440
[startup+950.157 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 86215 62 0 0 25 0 10 0 492508644 854466560 29604 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29604 13073 16 0 208594 0
vsize: 834440
[startup+960.157 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 87130 62 0 0 24 0 10 0 492508644 854466560 29604 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29604 13073 16 0 208594 0
vsize: 834440
[startup+970.161 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 88042 62 0 0 25 0 10 0 492508644 854466560 29616 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29616 13073 16 0 208594 0
vsize: 834440
[startup+980.162 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 88952 62 0 0 25 0 10 0 492508644 854466560 29635 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29635 13073 16 0 208594 0
vsize: 834440
[startup+990.162 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 89858 62 0 0 25 0 10 0 492508644 854466560 29653 4294967295 134512640 134569956 3221224400 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29653 13073 16 0 208594 0
vsize: 834440
[startup+1000.16 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 90766 63 0 0 25 0 10 0 492508644 854466560 29672 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29672 13073 16 0 208594 0
vsize: 834440
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 91673 63 0 0 25 0 10 0 492508644 854466560 29690 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29690 13073 16 0 208594 0
vsize: 834440
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 92581 63 0 0 25 0 10 0 492508644 854466560 29915 4294967295 134512640 134569956 3221224400 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29915 13073 16 0 208594 0
vsize: 834440
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 93493 63 0 0 24 0 10 0 492508644 854466560 29915 4294967295 134512640 134569956 3221224400 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29915 13073 16 0 208594 0
vsize: 834440
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 94404 63 0 0 25 0 10 0 492508644 854466560 29927 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29927 13073 16 0 208594 0
vsize: 834440
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 95312 63 0 0 25 0 10 0 492508644 854466560 29946 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29946 13073 16 0 208594 0
vsize: 834440
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 96217 63 0 0 25 0 10 0 492508644 854466560 29964 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29964 13073 16 0 208594 0
vsize: 834440
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 97121 63 0 0 21 0 10 0 492508644 854466560 29982 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 29982 13073 16 0 208594 0
vsize: 834440
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 98025 63 0 0 19 0 10 0 492508644 854466560 30000 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30000 13073 16 0 208594 0
vsize: 834440
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 98929 63 0 0 24 0 10 0 492508644 854466560 30232 4294967295 134512640 134569956 3221224400 3221214804 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30232 13073 16 0 208594 0
vsize: 834440
[startup+1100.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 99840 64 0 0 25 0 10 0 492508644 854466560 30232 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30232 13073 16 0 208594 0
vsize: 834440
[startup+1110.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 100749 64 0 0 25 0 10 0 492508644 854466560 30239 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30239 13073 16 0 208594 0
vsize: 834440
[startup+1120.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 101653 64 0 0 25 0 10 0 492508644 854466560 30257 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30257 13073 16 0 208594 0
vsize: 834440
[startup+1130.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 102557 65 0 0 25 0 10 0 492508644 854466560 30274 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30274 13073 16 0 208594 0
vsize: 834440
[startup+1140.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 103460 65 0 0 24 0 10 0 492508644 854466560 30291 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30291 13073 16 0 208594 0
vsize: 834440
[startup+1150.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 104369 65 0 0 25 0 10 0 492508644 854466560 30308 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30308 13073 16 0 208594 0
vsize: 834440
[startup+1160.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 105272 65 0 0 25 0 10 0 492508644 854466560 30325 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30325 13073 16 0 208594 0
vsize: 834440
[startup+1170.19 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 106181 66 0 0 25 0 10 0 492508644 854466560 30552 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30552 13073 16 0 208594 0
vsize: 834440
[startup+1180.19 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 107086 66 0 0 25 0 10 0 492508644 854466560 30552 4294967295 134512640 134569956 3221224400 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30552 13073 16 0 208594 0
vsize: 834440
[startup+1190.2 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) S 24114 5897 5896 0 -1 0 18018 0 1 0 107990 66 0 0 25 0 10 0 492508644 854466560 30568 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30568 13073 16 0 208594 0
vsize: 834440
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 108895 66 0 0 22 0 10 0 492508644 854466560 30584 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30584 13073 16 0 208594 0
vsize: 834440
[startup+1210.2 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 109795 66 0 0 20 0 10 0 492508644 854466560 30601 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30601 13073 16 0 208594 0
vsize: 834440
[startup+1220.2 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 110696 66 0 0 19 0 10 0 492508644 854466560 30618 4294967295 134512640 134569956 3221224400 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30618 13073 16 0 208594 0
vsize: 834440
[startup+1230.2 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 111603 66 0 0 24 0 10 0 492508644 854466560 30633 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30633 13073 16 0 208594 0
vsize: 834440
[startup+1240.21 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 112501 66 0 0 22 0 10 0 492508644 854466560 30875 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30875 13073 16 0 208594 0
vsize: 834440
[startup+1250.23 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 113414 67 0 0 25 0 10 0 492508644 854466560 30875 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30875 13073 16 0 208594 0
vsize: 834440
[startup+1260.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 114317 67 0 0 25 0 10 0 492508644 854466560 30879 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30879 13073 16 0 208594 0
vsize: 834440
[startup+1270.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 115222 67 0 0 25 0 10 0 492508644 854466560 30894 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30894 13073 16 0 208594 0
vsize: 834440
[startup+1280.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 116121 67 0 0 25 0 10 0 492508644 854466560 30910 4294967295 134512640 134569956 3221224400 3221214248 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30910 13073 16 0 208594 0
vsize: 834440
[startup+1290.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 117020 67 0 0 25 0 10 0 492508644 854466560 30927 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30927 13073 16 0 208594 0
vsize: 834440
[startup+1300.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 117926 67 0 0 25 0 10 0 492508644 854466560 30942 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30942 13073 16 0 208594 0
vsize: 834440
[startup+1310.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 118825 67 0 0 25 0 10 0 492508644 854466560 30958 4294967295 134512640 134569956 3221224400 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 30958 13073 16 0 208594 0
vsize: 834440
[startup+1320.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 119721 67 0 0 25 0 10 0 492508644 854466560 31203 4294967295 134512640 134569956 3221224400 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 31203 13073 16 0 208594 0
vsize: 834440
[startup+1330.24 s]
Raw data (loadavg): 1.00 0.99 0.94 2/63 24124
Raw data (stat): 24115 (java) R 24114 5897 5896 0 -1 0 18018 0 1 0 120628 67 0 0 25 0 10 0 492508644 854466560 31203 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208610 31203 13073 16 0 208594 0
vsize: 834440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.33 s]
Raw data (loadavg): 1.00 0.99 0.94 1/54 24125
Raw data (stat): 24115 (java) Z 24114 5897 5896 0 -1 1036 18018 12673 1 0 120631 67 12239 56 25 0 1 0 492508644 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.33
CPU time (s): 1329.95
CPU user time (s): 1328.71
CPU system time (s): 1.24381
CPU usage (%): 99.9718
Max. virtual memory (Kb): 834472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####