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-pilot87.opb
MD5SUM	867c3fb6ec2e95bf03283295db1251ec
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	11677
Biggest coefficient in the objective function	1769666112389120
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	75483970843122814
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	536870912000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	1323519003456940521
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	113921
Total number of constraints	3645
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	3645
Minimum length of a constraint	10
Maximum length of a constraint	8647
Trace number 22932

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        683512 kB
Buffers:         16240 kB
Cached:         313020 kB
SwapCached:        336 kB
Active:         120812 kB
Inactive:       210460 kB
HighTotal:      131008 kB
HighFree:         8092 kB
LowTotal:       903652 kB
LowFree:        675420 kB
SwapTotal:     2097136 kB
SwapFree:      2095968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            13972 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:16:59 (client local time) WITH STATUS 143 IN 1335.36 SECONDS
stats: 11059 7 1335.36 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-pilot87.opb
c reading problem 
c [nbvar=114011]
c [nbconstr=3645]
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
org.sat4j.specs.ContradictionException: non satisfiable constraint
	at org.sat4j.minisat.constraints.pb.MinWatchPb.computeWatches(MinWatchPb.java:177)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:259)
	at org.sat4j.minisat.constraints.pb.MinWatchPb.minWatchPbNew(MinWatchPb.java:221)
	at org.sat4j.minisat.constraints.PBMinDataStructure.constraintFactory(PBMinDataStructure.java:35)
	at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createPseudoBooleanConstraint(AbstractPBDataStructureFactory.java:76)
	at org.sat4j.minisat.core.Solver.addPseudoBoolean(Solver.java:284)
	at org.sat4j.reader.OPBReader2005.endConstraint(OPBReader2005.java:146)
	at org.sat4j.reader.OPBReader2005.readConstraint(OPBReader2005.java:563)
	at org.sat4j.reader.OPBReader2005.parse(OPBReader2005.java:593)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:616)
	at org.sat4j.reader.OPBReader2005.parseInstance(OPBReader2005.java:605)
	at org.sat4j.LanceurPseudo2005.readProblem(LanceurPseudo2005.java:61)
	at org.sat4j.LanceurPseudo2005.main(LanceurPseudo2005.java:73)
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)
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.60 0.77 0.89 2/54 4589
Raw data (stat): 4589 (runsolver) R 4588 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492423040 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0082 s]
Raw data (loadavg): 0.80 0.81 0.90 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 17986 0 1 0 886 39 0 0 25 0 10 0 492423040 853463040 19082 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208365 19082 13073 16 0 208349 0
vsize: 833460
[startup+20.0203 s]
Raw data (loadavg): 0.83 0.81 0.90 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 17986 0 1 0 1783 40 0 0 25 0 10 0 492423040 854016000 19675 4294967295 134512640 134569956 3221224400 3221214824 1131210698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 19675 13073 16 0 208484 0
vsize: 834000
[startup+30.0212 s]
Raw data (loadavg): 0.86 0.82 0.91 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 17986 0 1 0 2680 40 0 0 25 0 10 0 492423040 854016000 20125 4294967295 134512640 134569956 3221224400 3221214824 1131210117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 20125 13073 16 0 208484 0
vsize: 834000
[startup+40.0262 s]
Raw data (loadavg): 0.88 0.83 0.91 3/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 17998 0 1 0 3606 41 0 0 25 0 10 0 492423040 854016000 20416 4294967295 134512640 134569956 3221224400 3221214480 1130904097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208500 20416 13073 16 0 208484 0
vsize: 834000
[startup+50.0271 s]
Raw data (loadavg): 1.13 0.88 0.92 3/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18026 0 1 0 4344 41 0 0 25 0 10 0 492423040 875876352 25547 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213837 25547 13073 16 0 213821 0
vsize: 855348
[startup+60.0271 s]
Raw data (loadavg): 1.18 0.90 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 5226 42 0 0 25 0 10 0 492423040 869625856 24381 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212311 24381 13073 16 0 212295 0
vsize: 849244
[startup+70.0272 s]
Raw data (loadavg): 1.15 0.90 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 6137 42 0 0 25 0 10 0 492423040 869625856 24815 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212311 24815 13073 16 0 212295 0
vsize: 849244
[startup+80.0291 s]
Raw data (loadavg): 1.13 0.91 0.93 2/63 4598
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 7075 43 0 0 25 0 10 0 492423040 869625856 24916 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212311 24916 13073 16 0 212295 0
vsize: 849244
[startup+90.0295 s]
Raw data (loadavg): 1.11 0.91 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 8009 44 0 0 25 0 10 0 492423040 869625856 25015 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212311 25015 13073 16 0 212295 0
vsize: 849244
[startup+100.029 s]
Raw data (loadavg): 1.09 0.91 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 8943 44 0 0 25 0 10 0 492423040 869560320 25090 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25090 13073 16 0 212279 0
vsize: 849180
[startup+110.029 s]
Raw data (loadavg): 1.08 0.91 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 9879 44 0 0 25 0 10 0 492423040 869560320 25178 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25178 13073 16 0 212279 0
vsize: 849180
[startup+120.031 s]
Raw data (loadavg): 1.06 0.92 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 10815 44 0 0 25 0 10 0 492423040 869560320 25258 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25258 13073 16 0 212279 0
vsize: 849180
[startup+130.036 s]
Raw data (loadavg): 1.05 0.92 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 11751 45 0 0 25 0 10 0 492423040 869560320 25335 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25335 13073 16 0 212279 0
vsize: 849180
[startup+140.036 s]
Raw data (loadavg): 1.05 0.92 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 12685 45 0 0 25 0 10 0 492423040 869560320 25436 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 25436 13073 16 0 212279 0
vsize: 849180
[startup+150.044 s]
Raw data (loadavg): 1.04 0.92 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 13620 46 0 0 25 0 10 0 492423040 869560320 25508 4294967295 134512640 134569956 3221224400 3221214516 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25508 13073 16 0 212279 0
vsize: 849180
[startup+160.044 s]
Raw data (loadavg): 1.03 0.92 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 14553 47 0 0 25 0 10 0 492423040 869560320 25574 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25574 13073 16 0 212279 0
vsize: 849180
[startup+170.045 s]
Raw data (loadavg): 1.03 0.93 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 15487 48 0 0 25 0 10 0 492423040 869560320 25640 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25640 13073 16 0 212279 0
vsize: 849180
[startup+180.045 s]
Raw data (loadavg): 1.02 0.93 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 16411 49 0 0 25 0 10 0 492423040 869560320 25704 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25704 13073 16 0 212279 0
vsize: 849180
[startup+190.053 s]
Raw data (loadavg): 1.02 0.93 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 17330 49 0 0 25 0 10 0 492423040 869560320 25760 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25760 13073 16 0 212279 0
vsize: 849180
[startup+200.053 s]
Raw data (loadavg): 1.02 0.93 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 18246 49 0 0 25 0 10 0 492423040 869560320 25983 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 25983 13073 16 0 212279 0
vsize: 849180
[startup+210.054 s]
Raw data (loadavg): 1.01 0.93 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 19174 50 0 0 25 0 10 0 492423040 869560320 26059 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 26059 13073 16 0 212279 0
vsize: 849180
[startup+220.054 s]
Raw data (loadavg): 1.01 0.93 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 20105 50 0 0 25 0 10 0 492423040 869560320 26115 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 26115 13073 16 0 212279 0
vsize: 849180
[startup+230.057 s]
Raw data (loadavg): 1.01 0.94 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 21034 51 0 0 25 0 10 0 492423040 869560320 26169 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 26169 13073 16 0 212279 0
vsize: 849180
[startup+240.057 s]
Raw data (loadavg): 1.01 0.94 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 21964 51 0 0 24 0 10 0 492423040 869560320 26222 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 26222 13073 16 0 212279 0
vsize: 849180
[startup+250.057 s]
Raw data (loadavg): 1.00 0.94 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 22897 52 0 0 25 0 10 0 492423040 869560320 26271 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 26271 13073 16 0 212279 0
vsize: 849180
[startup+260.058 s]
Raw data (loadavg): 1.00 0.94 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 23824 52 0 0 25 0 10 0 492423040 869560320 26321 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26321 13073 16 0 212279 0
vsize: 849180
[startup+270.059 s]
Raw data (loadavg): 1.00 0.94 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 24751 52 0 0 25 0 10 0 492423040 869560320 26371 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26371 13073 16 0 212279 0
vsize: 849180
[startup+280.059 s]
Raw data (loadavg): 1.00 0.94 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 25677 53 0 0 25 0 10 0 492423040 869560320 26419 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26419 13073 16 0 212279 0
vsize: 849180
[startup+290.067 s]
Raw data (loadavg): 1.00 0.95 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 26603 53 0 0 25 0 10 0 492423040 869560320 26466 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26466 13073 16 0 212279 0
vsize: 849180
[startup+300.066 s]
Raw data (loadavg): 1.00 0.95 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 27528 53 0 0 25 0 10 0 492423040 869560320 26512 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26512 13073 16 0 212279 0
vsize: 849180
[startup+310.067 s]
Raw data (loadavg): 1.00 0.95 0.93 2/63 4598
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 28454 54 0 0 25 0 10 0 492423040 869560320 26561 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26561 13073 16 0 212279 0
vsize: 849180
[startup+320.068 s]
Raw data (loadavg): 1.08 0.96 0.93 2/63 4651
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 29362 66 0 0 24 0 10 0 492423040 869560320 26602 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26602 13073 16 0 212279 0
vsize: 849180
[startup+330.069 s]
Raw data (loadavg): 1.07 0.97 0.93 2/63 4651
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 30285 67 0 0 24 0 10 0 492423040 869560320 26648 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26648 13073 16 0 212279 0
vsize: 849180
[startup+340.069 s]
Raw data (loadavg): 1.06 0.97 0.93 2/63 4651
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 31209 68 0 0 25 0 10 0 492423040 869560320 26683 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26683 13073 16 0 212279 0
vsize: 849180
[startup+350.07 s]
Raw data (loadavg): 1.05 0.97 0.93 2/63 4651
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 32132 68 0 0 24 0 10 0 492423040 869560320 26729 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26729 13073 16 0 212279 0
vsize: 849180
[startup+360.07 s]
Raw data (loadavg): 1.04 0.97 0.93 2/63 4651
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 33054 69 0 0 24 0 10 0 492423040 869560320 26761 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 26761 13073 16 0 212279 0
vsize: 849180
[startup+370.07 s]
Raw data (loadavg): 1.03 0.97 0.93 2/63 4651
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 33982 69 0 0 25 0 10 0 492423040 869560320 26804 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 26804 13073 16 0 212279 0
vsize: 849180
[startup+380.07 s]
Raw data (loadavg): 1.03 0.97 0.93 2/63 4651
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 34903 69 0 0 23 0 10 0 492423040 869560320 26848 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26848 13073 16 0 212279 0
vsize: 849180
[startup+390.072 s]
Raw data (loadavg): 1.02 0.97 0.93 2/63 4651
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 35823 69 0 0 22 0 10 0 492423040 869560320 26878 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26878 13073 16 0 212279 0
vsize: 849180
[startup+400.072 s]
Raw data (loadavg): 1.02 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 36742 70 0 0 25 0 10 0 492423040 869560320 26922 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26922 13073 16 0 212279 0
vsize: 849180
[startup+410.072 s]
Raw data (loadavg): 1.02 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 37660 70 0 0 25 0 10 0 492423040 869560320 26964 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26964 13073 16 0 212279 0
vsize: 849180
[startup+420.079 s]
Raw data (loadavg): 1.01 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 38580 70 0 0 21 0 10 0 492423040 869560320 26994 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 26994 13073 16 0 212279 0
vsize: 849180
[startup+430.171 s]
Raw data (loadavg): 1.01 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 39505 71 0 0 25 0 10 0 492423040 869560320 27035 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27035 13073 16 0 212279 0
vsize: 849180
[startup+440.171 s]
Raw data (loadavg): 1.01 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 40422 71 0 0 25 0 10 0 492423040 869560320 27064 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27064 13073 16 0 212279 0
vsize: 849180
[startup+450.172 s]
Raw data (loadavg): 1.01 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 41339 72 0 0 24 0 10 0 492423040 869560320 27111 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27111 13073 16 0 212279 0
vsize: 849180
[startup+460.191 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 42261 72 0 0 25 0 10 0 492423040 869560320 27145 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27145 13073 16 0 212279 0
vsize: 849180
[startup+470.198 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 43175 72 0 0 25 0 10 0 492423040 869560320 27182 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27182 13073 16 0 212279 0
vsize: 849180
[startup+480.206 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 44087 73 0 0 25 0 10 0 492423040 869560320 27223 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 27223 13073 16 0 212279 0
vsize: 849180
[startup+490.666 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 45046 73 0 0 25 0 10 0 492423040 869560320 27265 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212295 27265 13073 16 0 212279 0
vsize: 849180
[startup+500.666 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 45958 73 0 0 25 0 10 0 492423040 869560320 27308 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27308 13073 16 0 212279 0
vsize: 849180
[startup+510.672 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 46871 73 0 0 24 0 10 0 492423040 869560320 27350 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27350 13073 16 0 212279 0
vsize: 849180
[startup+520.688 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 47777 74 0 0 21 0 10 0 492423040 869560320 27395 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27395 13073 16 0 212279 0
vsize: 849180
[startup+530.688 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 48683 74 0 0 24 0 10 0 492423040 869560320 27511 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27511 13073 16 0 212279 0
vsize: 849180
[startup+540.688 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 49582 74 0 0 20 0 10 0 492423040 869560320 27618 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27618 13073 16 0 212279 0
vsize: 849180
[startup+550.688 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 50479 74 0 0 20 0 10 0 492423040 869560320 27710 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27710 13073 16 0 212279 0
vsize: 849180
[startup+560.688 s]
Raw data (loadavg): 1.08 0.99 0.94 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 51375 74 0 0 22 0 10 0 492423040 869560320 27832 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27832 13073 16 0 212279 0
vsize: 849180
[startup+570.692 s]
Raw data (loadavg): 1.07 0.99 0.94 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 52269 75 0 0 21 0 10 0 492423040 869560320 27965 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 27965 13073 16 0 212279 0
vsize: 849180
[startup+580.692 s]
Raw data (loadavg): 1.06 0.99 0.94 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 53156 75 0 0 18 0 10 0 492423040 869560320 28057 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28057 13073 16 0 212279 0
vsize: 849180
[startup+590.71 s]
Raw data (loadavg): 1.05 0.99 0.94 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 54065 76 0 0 23 0 10 0 492423040 869560320 28165 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28165 13073 16 0 212279 0
vsize: 849180
[startup+600.71 s]
Raw data (loadavg): 1.04 0.99 0.94 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 54969 76 0 0 20 0 10 0 492423040 869560320 28207 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28207 13073 16 0 212279 0
vsize: 849180
[startup+614.077 s]
Raw data (loadavg): 1.19 1.02 0.95 2/63 4653
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 56180 76 0 0 24 0 10 0 492423040 869560320 28253 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28253 13073 16 0 212279 0
vsize: 849180
[startup+624.078 s]
Raw data (loadavg): 1.16 1.02 0.95 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 57086 77 0 0 21 0 10 0 492423040 869560320 28298 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28298 13073 16 0 212279 0
vsize: 849180
[startup+634.079 s]
Raw data (loadavg): 1.13 1.02 0.95 2/63 4653
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 57991 77 0 0 24 0 10 0 492423040 869560320 28341 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28341 13073 16 0 212279 0
vsize: 849180
[startup+644.079 s]
Raw data (loadavg): 1.11 1.02 0.95 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 58890 77 0 0 20 0 10 0 492423040 869560320 28394 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28394 13073 16 0 212279 0
vsize: 849180
[startup+656.352 s]
Raw data (loadavg): 1.32 1.07 0.97 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 60003 77 0 0 21 0 10 0 492423040 869560320 28455 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28455 13073 16 0 212279 0
vsize: 849180
[startup+666.352 s]
Raw data (loadavg): 1.27 1.06 0.97 2/63 4653
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 60906 78 0 0 24 0 10 0 492423040 869560320 28485 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28485 13073 16 0 212279 0
vsize: 849180
[startup+676.351 s]
Raw data (loadavg): 1.23 1.06 0.97 2/63 4653
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 61812 78 0 0 21 0 10 0 492423040 869560320 28527 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28527 13073 16 0 212279 0
vsize: 849180
[startup+686.359 s]
Raw data (loadavg): 1.19 1.06 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 62716 79 0 0 23 0 10 0 492423040 869560320 28559 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 28559 13073 16 0 212279 0
vsize: 849180
[startup+696.359 s]
Raw data (loadavg): 1.16 1.06 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 63611 79 0 0 20 0 10 0 492423040 869560320 29348 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29348 13073 16 0 212279 0
vsize: 849180
[startup+706.359 s]
Raw data (loadavg): 1.22 1.07 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 64523 79 0 0 22 0 10 0 492423040 869560320 29348 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29348 13073 16 0 212279 0
vsize: 849180
[startup+716.369 s]
Raw data (loadavg): 1.18 1.07 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 65417 80 0 0 18 0 10 0 492423040 869560320 29355 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29355 13073 16 0 212279 0
vsize: 849180
[startup+726.369 s]
Raw data (loadavg): 1.16 1.06 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 66312 80 0 0 20 0 10 0 492423040 869560320 29400 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29400 13073 16 0 212279 0
vsize: 849180
[startup+736.369 s]
Raw data (loadavg): 1.13 1.06 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 67210 81 0 0 22 0 10 0 492423040 869560320 29433 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29433 13073 16 0 212279 0
vsize: 849180
[startup+746.369 s]
Raw data (loadavg): 1.11 1.06 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 68100 81 0 0 18 0 10 0 492423040 869560320 29472 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29472 13073 16 0 212279 0
vsize: 849180
[startup+756.373 s]
Raw data (loadavg): 1.09 1.06 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 68997 82 0 0 19 0 10 0 492423040 869560320 29492 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29492 13073 16 0 212279 0
vsize: 849180
[startup+766.372 s]
Raw data (loadavg): 1.08 1.05 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 69904 82 0 0 25 0 10 0 492423040 869560320 29632 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29632 13073 16 0 212279 0
vsize: 849180
[startup+776.376 s]
Raw data (loadavg): 1.07 1.05 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 70807 82 0 0 25 0 10 0 492423040 869560320 29653 4294967295 134512640 134569956 3221224400 3221214280 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29653 13073 16 0 212279 0
vsize: 849180
[startup+786.378 s]
Raw data (loadavg): 1.06 1.05 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 71700 83 0 0 25 0 10 0 492423040 869560320 29673 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29673 13073 16 0 212279 0
vsize: 849180
[startup+796.378 s]
Raw data (loadavg): 1.05 1.05 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 72595 83 0 0 24 0 10 0 492423040 869560320 29831 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29831 13073 16 0 212279 0
vsize: 849180
[startup+806.378 s]
Raw data (loadavg): 1.04 1.05 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 73513 84 0 0 25 0 10 0 492423040 869560320 29851 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29851 13073 16 0 212279 0
vsize: 849180
[startup+816.379 s]
Raw data (loadavg): 1.03 1.04 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 74425 84 0 0 25 0 10 0 492423040 869560320 29871 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29871 13073 16 0 212279 0
vsize: 849180
[startup+826.379 s]
Raw data (loadavg): 1.03 1.04 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 75323 84 0 0 25 0 10 0 492423040 869560320 29920 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29920 13073 16 0 212279 0
vsize: 849180
[startup+836.379 s]
Raw data (loadavg): 1.02 1.04 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 76211 85 0 0 25 0 10 0 492423040 869560320 29943 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 29943 13073 16 0 212279 0
vsize: 849180
[startup+846.38 s]
Raw data (loadavg): 1.02 1.04 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 77106 85 0 0 25 0 10 0 492423040 869560320 30123 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30123 13073 16 0 212279 0
vsize: 849180
[startup+856.381 s]
Raw data (loadavg): 1.02 1.04 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 78022 86 0 0 25 0 10 0 492423040 869560320 30142 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30142 13073 16 0 212279 0
vsize: 849180
[startup+866.381 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 78933 86 0 0 25 0 10 0 492423040 869560320 30162 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30162 13073 16 0 212279 0
vsize: 849180
[startup+876.381 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 79843 86 0 0 24 0 10 0 492423040 869560320 30182 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30182 13073 16 0 212279 0
vsize: 849180
[startup+886.382 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 80752 87 0 0 25 0 10 0 492423040 869560320 30200 4294967295 134512640 134569956 3221224400 3221214816 1131212694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30200 13073 16 0 212279 0
vsize: 849180
[startup+896.382 s]
Raw data (loadavg): 1.01 1.03 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 81653 88 0 0 25 0 10 0 492423040 869560320 30460 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30460 13073 16 0 212279 0
vsize: 849180
[startup+906.383 s]
Raw data (loadavg): 1.00 1.03 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 82568 88 0 0 25 0 10 0 492423040 869560320 30463 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30463 13073 16 0 212279 0
vsize: 849180
[startup+916.384 s]
Raw data (loadavg): 1.00 1.03 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 83478 88 0 0 25 0 10 0 492423040 869560320 30482 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30482 13073 16 0 212279 0
vsize: 849180
[startup+926.383 s]
Raw data (loadavg): 1.00 1.03 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 84392 89 0 0 25 0 10 0 492423040 869560320 30500 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30500 13073 16 0 212279 0
vsize: 849180
[startup+936.384 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 85300 89 0 0 18 0 10 0 492423040 869560320 30520 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30520 13073 16 0 212279 0
vsize: 849180
[startup+946.384 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 86214 89 0 0 25 0 10 0 492423040 869560320 30537 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30537 13073 16 0 212279 0
vsize: 849180
[startup+956.385 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 87108 90 0 0 25 0 10 0 492423040 869560320 30606 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30606 13073 16 0 212279 0
vsize: 849180
[startup+966.385 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 88027 91 0 0 25 0 10 0 492423040 869560320 30817 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30817 13073 16 0 212279 0
vsize: 849180
[startup+976.385 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 88936 91 0 0 25 0 10 0 492423040 869560320 30823 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30823 13073 16 0 212279 0
vsize: 849180
[startup+986.385 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 89848 92 0 0 25 0 10 0 492423040 869560320 30841 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30841 13073 16 0 212279 0
vsize: 849180
[startup+996.386 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 90753 93 0 0 25 0 10 0 492423040 869560320 30859 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30859 13073 16 0 212279 0
vsize: 849180
[startup+1006.39 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 91664 93 0 0 25 0 10 0 492423040 869560320 30877 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 30877 13073 16 0 212279 0
vsize: 849180
[startup+1016.39 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 92565 94 0 0 25 0 10 0 492423040 869560320 31139 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31139 13073 16 0 212279 0
vsize: 849180
[startup+1026.4 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 93485 94 0 0 25 0 10 0 492423040 869560320 31139 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31139 13073 16 0 212279 0
vsize: 849180
[startup+1036.4 s]
Raw data (loadavg): 1.00 1.02 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 94395 95 0 0 25 0 10 0 492423040 869560320 31141 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31141 13073 16 0 212279 0
vsize: 849180
[startup+1046.4 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 95301 95 0 0 25 0 10 0 492423040 869560320 31159 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31159 13073 16 0 212279 0
vsize: 849180
[startup+1056.4 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 96210 95 0 0 25 0 10 0 492423040 869560320 31177 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31177 13073 16 0 212279 0
vsize: 849180
[startup+1066.4 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 97117 96 0 0 25 0 10 0 492423040 869560320 31194 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31194 13073 16 0 212279 0
vsize: 849180
[startup+1076.4 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 98017 96 0 0 25 0 10 0 492423040 869560320 31440 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31440 13073 16 0 212279 0
vsize: 849180
[startup+1086.4 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 98916 97 0 0 25 0 10 0 492423040 869560320 31735 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31735 13073 16 0 212279 0
vsize: 849180
[startup+1096.4 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 99810 97 0 0 25 0 10 0 492423040 869560320 31921 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 31921 13073 16 0 212279 0
vsize: 849180
[startup+1106.41 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 100708 98 0 0 25 0 10 0 492423040 869560320 32225 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 32225 13073 16 0 212279 0
vsize: 849180
[startup+1116.41 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 101603 98 0 0 24 0 10 0 492423040 869560320 32372 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 32372 13073 16 0 212279 0
vsize: 849180
[startup+1126.41 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 102492 99 0 0 24 0 10 0 492423040 869560320 32411 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 32411 13073 16 0 212279 0
vsize: 849180
[startup+1136.41 s]
Raw data (loadavg): 1.00 1.01 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 103398 99 0 0 25 0 10 0 492423040 869560320 32779 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 32779 13073 16 0 212279 0
vsize: 849180
[startup+1146.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 104313 100 0 0 25 0 10 0 492423040 869560320 32779 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 32779 13073 16 0 212279 0
vsize: 849180
[startup+1156.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 105223 101 0 0 25 0 10 0 492423040 869560320 33002 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33002 13073 16 0 212279 0
vsize: 849180
[startup+1166.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 106133 101 0 0 25 0 10 0 492423040 869560320 33339 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33339 13073 16 0 212279 0
vsize: 849180
[startup+1176.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 107048 102 0 0 25 0 10 0 492423040 869560320 33339 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33339 13073 16 0 212279 0
vsize: 849180
[startup+1186.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 107950 103 0 0 24 0 10 0 492423040 869560320 33631 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33631 13073 16 0 212279 0
vsize: 849180
[startup+1196.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 108865 103 0 0 25 0 10 0 492423040 869560320 33631 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33631 13073 16 0 212279 0
vsize: 849180
[startup+1206.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 109768 104 0 0 25 0 10 0 492423040 869560320 33991 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33991 13073 16 0 212279 0
vsize: 849180
[startup+1216.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 110677 104 0 0 25 0 10 0 492423040 869560320 33991 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33991 13073 16 0 212279 0
vsize: 849180
[startup+1226.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 111585 104 0 0 25 0 10 0 492423040 869560320 33996 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 33996 13073 16 0 212279 0
vsize: 849180
[startup+1236.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 112482 105 0 0 25 0 10 0 492423040 869560320 34311 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 34311 13073 16 0 212279 0
vsize: 849180
[startup+1246.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 113386 106 0 0 25 0 10 0 492423040 869560320 34716 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 34716 13073 16 0 212279 0
vsize: 849180
[startup+1256.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 114297 106 0 0 25 0 10 0 492423040 869560320 35130 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 35130 13073 16 0 212279 0
vsize: 849180
[startup+1266.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) S 4588 30701 30700 0 -1 0 18027 0 1 0 115201 106 0 0 25 0 10 0 492423040 869560320 35552 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 35552 13073 16 0 212279 0
vsize: 849180
[startup+1276.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 116115 107 0 0 25 0 10 0 492423040 869560320 35699 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 35699 13073 16 0 212279 0
vsize: 849180
[startup+1286.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 117024 107 0 0 25 0 10 0 492423040 869560320 36031 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 36031 13073 16 0 212279 0
vsize: 849180
[startup+1296.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 117930 108 0 0 24 0 10 0 492423040 869560320 36213 4294967295 134512640 134569956 3221224400 3221214268 1130885150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 36213 13073 16 0 212279 0
vsize: 849180
[startup+1306.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 118836 109 0 0 25 0 10 0 492423040 869560320 36632 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 36632 13073 16 0 212279 0
vsize: 849180
[startup+1316.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 119742 110 0 0 25 0 10 0 492423040 869560320 36867 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 36867 13073 16 0 212279 0
vsize: 849180
[startup+1326.41 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 4655
Raw data (stat): 4589 (java) R 4588 30701 30700 0 -1 0 18027 0 1 0 120646 110 0 0 19 0 10 0 492423040 869560320 37489 4294967295 134512640 134569956 3221224400 3221214264 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212295 37489 13073 16 0 212279 0
vsize: 849180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1326.49 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 4656
Raw data (stat): 4589 (java) Z 4588 30701 30700 0 -1 1036 18027 27150 1 0 120646 110 12689 89 20 0 1 0 492423040 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): 1326.49
CPU time (s): 1335.36
CPU user time (s): 1333.36
CPU system time (s): 1.9977
CPU usage (%): 100.669
Max. virtual memory (Kb): 855348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####