Some explanations

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

General information on the benchmark

Namenormalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb
MD5SUM51b37b22b0e13f30b25801aa060ca6d7
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 120
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 4294967292
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint -3498116692108640256
Number of bits of the biggest number in a constraint 64
Biggest sum of numbers in a constraint 99417465468392882176
Number of bits of the biggest sum of numbers67
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.988849
Number of variables26494
Total number of constraints657
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints657
Minimum length of a constraint10
Maximum length of a constraint1427

Trace number 17450 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-21 10:10:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11046 boxname=wulflinc4 idbench=850 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  51b37b22b0e13f30b25801aa060ca6d7  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-pilot4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-pilot4.opb
IDLAUNCH: 11046
/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:        299544 kB
Buffers:         19180 kB
Cached:         692168 kB
SwapCached:          0 kB
Active:          37012 kB
Inactive:       677084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        299292 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            15336 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:31:16 (client local time) WITH STATUS 143 IN 1238.23 SECONDS
stats: 11046 7 1238.23 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-pilot4.opb
c reading problem 
c [nbvar=26494]
c [nbconstr=657]
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)
c time 212.915
c #vars     26494
c #clauses  916
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.88 0.93 0.92 2/54 5726
Raw data (stat): 5726 (runsolver) R 5725 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486027796 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.13 0.98 0.93 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18007 0 1 0 867 40 0 0 25 0 10 0 486027796 857399296 20133 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 20133 13073 16 0 209310 0
vsize: 837304
[startup+20.0022 s]
Raw data (loadavg): 1.18 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18007 0 1 0 1747 41 0 0 25 0 10 0 486027796 857399296 20809 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209326 20809 13073 16 0 209310 0
vsize: 837304
[startup+30.0024 s]
Raw data (loadavg): 1.15 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 2618 41 0 0 25 0 10 0 486027796 857399296 21398 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 21398 13073 16 0 209310 0
vsize: 837304
[startup+40.0027 s]
Raw data (loadavg): 1.13 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 3500 43 0 0 25 0 10 0 486027796 857399296 21810 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 21810 13073 16 0 209310 0
vsize: 837304
[startup+50.0031 s]
Raw data (loadavg): 1.19 1.02 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 4366 43 0 0 25 0 10 0 486027796 857399296 22026 4294967295 134512640 134569956 3221224400 3221214800 1131153988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 22026 13073 16 0 209310 0
vsize: 837304
[startup+60.0041 s]
Raw data (loadavg): 1.16 1.02 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 5211 44 0 0 25 0 10 0 486027796 857399296 22818 4294967295 134512640 134569956 3221224400 3221214840 1131341572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 22818 13073 16 0 209310 0
vsize: 837304
[startup+70.0055 s]
Raw data (loadavg): 1.13 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 6060 46 0 0 25 0 10 0 486027796 857399296 23516 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 23516 13073 16 0 209310 0
vsize: 837304
[startup+80.0225 s]
Raw data (loadavg): 1.11 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 6914 46 0 0 25 0 10 0 486027796 857399296 23634 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 23634 13073 16 0 209310 0
vsize: 837304
[startup+90.0228 s]
Raw data (loadavg): 1.10 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 7808 46 0 0 25 0 10 0 486027796 857399296 24241 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24241 13073 16 0 209310 0
vsize: 837304
[startup+100.036 s]
Raw data (loadavg): 1.08 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 8734 47 0 0 25 0 10 0 486027796 857399296 24347 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24347 13073 16 0 209310 0
vsize: 837304
[startup+110.051 s]
Raw data (loadavg): 1.07 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 9642 47 0 0 25 0 10 0 486027796 857399296 24455 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24455 13073 16 0 209310 0
vsize: 837304
[startup+120.052 s]
Raw data (loadavg): 1.06 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 10539 48 0 0 25 0 10 0 486027796 857399296 24555 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24555 13073 16 0 209310 0
vsize: 837304
[startup+130.053 s]
Raw data (loadavg): 1.05 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 11433 48 0 0 25 0 10 0 486027796 857399296 24830 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24830 13073 16 0 209310 0
vsize: 837304
[startup+140.054 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 12334 49 0 0 25 0 10 0 486027796 857399296 24988 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 24988 13073 16 0 209310 0
vsize: 837304
[startup+150.054 s]
Raw data (loadavg): 1.03 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 13232 49 0 0 25 0 10 0 486027796 857399296 25199 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25199 13073 16 0 209310 0
vsize: 837304
[startup+160.055 s]
Raw data (loadavg): 1.03 1.01 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 14140 50 0 0 25 0 10 0 486027796 857399296 25333 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25333 13073 16 0 209310 0
vsize: 837304
[startup+170.057 s]
Raw data (loadavg): 1.02 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 15040 50 0 0 25 0 10 0 486027796 857399296 25491 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25491 13073 16 0 209310 0
vsize: 837304
[startup+180.058 s]
Raw data (loadavg): 1.02 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 15943 51 0 0 25 0 10 0 486027796 857399296 25653 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25653 13073 16 0 209310 0
vsize: 837304
[startup+190.059 s]
Raw data (loadavg): 1.02 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 16839 51 0 0 25 0 10 0 486027796 857399296 25768 4294967295 134512640 134569956 3221224400 3221214304 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25768 13073 16 0 209310 0
vsize: 837304
[startup+200.06 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 17723 51 0 0 25 0 10 0 486027796 857399296 25923 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 25923 13073 16 0 209310 0
vsize: 837304
[startup+210.061 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 5735
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18008 0 1 0 18617 52 0 0 25 0 10 0 486027796 857399296 26238 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209326 26238 13073 16 0 209310 0
vsize: 837304
[startup+220.061 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18086 0 1 0 19517 52 0 0 24 0 11 0 486027796 857927680 26484 4294967295 134512640 134569956 3221224400 3221214648 1131310933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 26484 13073 16 0 209439 0
vsize: 837820
[startup+230.063 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18096 0 1 0 20382 53 0 0 25 0 11 0 486027796 860844032 27215 4294967295 134512640 134569956 3221224400 3221214536 1131416051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210167 27215 13073 16 0 210151 0
vsize: 840668
[startup+240.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 21355 53 0 0 25 0 11 0 486027796 857927680 26542 4294967295 134512640 134569956 3221224400 3221214536 1131416051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 26542 13073 16 0 209439 0
vsize: 837820
[startup+250.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 22343 53 0 0 25 0 11 0 486027796 857927680 26548 4294967295 134512640 134569956 3221224400 3221214672 1131436541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 26548 13073 16 0 209439 0
vsize: 837820
[startup+260.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 23325 53 0 0 25 0 11 0 486027796 857927680 26571 4294967295 134512640 134569956 3221224400 3221214632 1131625772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 26571 13073 16 0 209439 0
vsize: 837820
[startup+270.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 24306 53 0 0 25 0 11 0 486027796 857927680 26576 4294967295 134512640 134569956 3221224400 3221214648 1131310888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 26576 13073 16 0 209439 0
vsize: 837820
[startup+280.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 25278 53 0 0 25 0 11 0 486027796 857927680 26604 4294967295 134512640 134569956 3221224400 3221214632 1131625772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 26604 13073 16 0 209439 0
vsize: 837820
[startup+290.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 26268 54 0 0 25 0 11 0 486027796 857927680 26626 4294967295 134512640 134569956 3221224400 3221214712 1131625772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 26626 13073 16 0 209439 0
vsize: 837820
[startup+300.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 27248 54 0 0 25 0 11 0 486027796 857927680 26708 4294967295 134512640 134569956 3221224400 3221214048 1131214433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 26708 13073 16 0 209439 0
vsize: 837820
[startup+310.068 s]
Raw data (loadavg): 1.00 1.00 0.94 3/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 28229 54 0 0 25 0 11 0 486027796 862777344 28128 4294967295 134512640 134569956 3221224400 3221214152 1080217202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210639 28128 13073 16 0 210623 0
vsize: 842556
[startup+320.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 29219 54 0 0 25 0 11 0 486027796 860897280 27939 4294967295 134512640 134569956 3221224400 3221214760 1131625880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 27939 13073 16 0 210164 0
vsize: 840720
[startup+330.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 30213 55 0 0 25 0 11 0 486027796 860897280 27939 4294967295 134512640 134569956 3221224400 3221214808 1131485208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 27939 13073 16 0 210164 0
vsize: 840720
[startup+340.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 31200 55 0 0 25 0 11 0 486027796 860897280 27939 4294967295 134512640 134569956 3221224400 3221214688 1131311426 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210180 27939 13073 16 0 210164 0
vsize: 840720
[startup+350.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 32187 55 0 0 25 0 11 0 486027796 860897280 27939 4294967295 134512640 134569956 3221224400 3221214840 1131380070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 27939 13073 16 0 210164 0
vsize: 840720
[startup+360.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 33167 55 0 0 25 0 11 0 486027796 860897280 27945 4294967295 134512640 134569956 3221224400 3221214840 1131379823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 27945 13073 16 0 210164 0
vsize: 840720
[startup+370.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 34146 55 0 0 25 0 11 0 486027796 860897280 27959 4294967295 134512640 134569956 3221224400 3221214512 1131548514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 27959 13073 16 0 210164 0
vsize: 840720
[startup+380.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 35132 56 0 0 25 0 11 0 486027796 860897280 27996 4294967295 134512640 134569956 3221224400 3221214840 1131379820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 27996 13073 16 0 210164 0
vsize: 840720
[startup+390.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 36114 56 0 0 25 0 11 0 486027796 860897280 28099 4294967295 134512640 134569956 3221224400 3221214760 1131625880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 28099 13073 16 0 210164 0
vsize: 840720
[startup+400.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18097 0 1 0 37096 56 0 0 25 0 11 0 486027796 860897280 28145 4294967295 134512640 134569956 3221224400 3221214512 1131549744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210180 28145 13073 16 0 210164 0
vsize: 840720
[startup+410.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 38085 57 0 0 25 0 11 0 486027796 857927680 27481 4294967295 134512640 134569956 3221224400 3221214304 1080217199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27481 13073 16 0 209439 0
vsize: 837820
[startup+420.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 39070 57 0 0 25 0 11 0 486027796 857927680 27552 4294967295 134512640 134569956 3221224400 3221214512 1131549585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27552 13073 16 0 209439 0
vsize: 837820
[startup+430.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 40059 57 0 0 25 0 11 0 486027796 857927680 27659 4294967295 134512640 134569956 3221224400 3221214688 1131311117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27659 13073 16 0 209439 0
vsize: 837820
[startup+440.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 41051 57 0 0 25 0 11 0 486027796 857927680 27688 4294967295 134512640 134569956 3221224400 3221214480 1079721461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27688 13073 16 0 209439 0
vsize: 837820
[startup+450.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 42042 57 0 0 25 0 11 0 486027796 857927680 27780 4294967295 134512640 134569956 3221224400 3221214512 1131548537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27780 13073 16 0 209439 0
vsize: 837820
[startup+460.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 43034 57 0 0 25 0 11 0 486027796 857927680 27842 4294967295 134512640 134569956 3221224400 3221214760 1131625880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27842 13073 16 0 209439 0
vsize: 837820
[startup+470.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 44027 57 0 0 25 0 11 0 486027796 857927680 27894 4294967295 134512640 134569956 3221224400 3221214512 1131548296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27894 13073 16 0 209439 0
vsize: 837820
[startup+480.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 45021 57 0 0 25 0 11 0 486027796 857927680 27926 4294967295 134512640 134569956 3221224400 3221214392 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27926 13073 16 0 209439 0
vsize: 837820
[startup+490.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 46017 57 0 0 25 0 11 0 486027796 857927680 27950 4294967295 134512640 134569956 3221224400 3221214800 1131437132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27950 13073 16 0 209439 0
vsize: 837820
[startup+500.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 47011 58 0 0 25 0 11 0 486027796 857927680 27977 4294967295 134512640 134569956 3221224400 3221214760 1131625772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27977 13073 16 0 209439 0
vsize: 837820
[startup+510.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 48006 58 0 0 25 0 11 0 486027796 857927680 27986 4294967295 134512640 134569956 3221224400 3221214760 1131625869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27986 13073 16 0 209439 0
vsize: 837820
[startup+520.213 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 49012 58 0 0 25 0 11 0 486027796 857927680 27998 4294967295 134512640 134569956 3221224400 3221214760 1131625772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 27998 13073 16 0 209439 0
vsize: 837820
[startup+530.213 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 50006 58 0 0 25 0 11 0 486027796 857927680 28009 4294967295 134512640 134569956 3221224400 3221214744 1131454346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28009 13073 16 0 209439 0
vsize: 837820
[startup+540.214 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 51000 58 0 0 25 0 11 0 486027796 857927680 28028 4294967295 134512640 134569956 3221224400 3221214680 1131465616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28028 13073 16 0 209439 0
vsize: 837820
[startup+550.214 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 51991 58 0 0 25 0 11 0 486027796 857927680 28043 4294967295 134512640 134569956 3221224400 3221214688 1131247136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28043 13073 16 0 209439 0
vsize: 837820
[startup+560.215 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 52981 58 0 0 25 0 11 0 486027796 857927680 28063 4294967295 134512640 134569956 3221224400 3221214800 1131437132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28063 13073 16 0 209439 0
vsize: 837820
[startup+570.223 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 53971 58 0 0 25 0 11 0 486027796 857927680 28080 4294967295 134512640 134569956 3221224400 3221214760 1131625884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28080 13073 16 0 209439 0
vsize: 837820
[startup+580.223 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 54964 58 0 0 25 0 11 0 486027796 857927680 28099 4294967295 134512640 134569956 3221224400 3221214676 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28099 13073 16 0 209439 0
vsize: 837820
[startup+590.224 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 55954 58 0 0 25 0 11 0 486027796 857927680 28120 4294967295 134512640 134569956 3221224400 3221214760 1131625772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28120 13073 16 0 209439 0
vsize: 837820
[startup+600.225 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 56946 58 0 0 25 0 11 0 486027796 857927680 28126 4294967295 134512640 134569956 3221224400 3221214760 1131625869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28126 13073 16 0 209439 0
vsize: 837820
[startup+610.226 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 57934 58 0 0 25 0 11 0 486027796 857927680 28152 4294967295 134512640 134569956 3221224400 3221214688 1131311498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28152 13073 16 0 209439 0
vsize: 837820
[startup+620.227 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 58926 58 0 0 25 0 11 0 486027796 857927680 28171 4294967295 134512640 134569956 3221224400 3221214392 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28171 13073 16 0 209439 0
vsize: 837820
[startup+630.228 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 59915 58 0 0 25 0 11 0 486027796 857927680 28221 4294967295 134512640 134569956 3221224400 3221214688 1131311155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28221 13073 16 0 209439 0
vsize: 837820
[startup+640.228 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 60904 58 0 0 25 0 11 0 486027796 857927680 28271 4294967295 134512640 134569956 3221224400 3221214512 1131548494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28271 13073 16 0 209439 0
vsize: 837820
[startup+650.229 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 61893 58 0 0 25 0 11 0 486027796 857927680 28329 4294967295 134512640 134569956 3221224400 3221214512 1131548504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28329 13073 16 0 209439 0
vsize: 837820
[startup+660.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 62887 59 0 0 25 0 11 0 486027796 857927680 28346 4294967295 134512640 134569956 3221224400 3221214512 1131550167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28346 13073 16 0 209439 0
vsize: 837820
[startup+670.231 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 63878 59 0 0 25 0 11 0 486027796 857927680 28371 4294967295 134512640 134569956 3221224400 3221214272 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28371 13073 16 0 209439 0
vsize: 837820
[startup+680.231 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 64869 59 0 0 25 0 11 0 486027796 857927680 28396 4294967295 134512640 134569956 3221224400 3221214696 1131535002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28396 13073 16 0 209439 0
vsize: 837820
[startup+690.232 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 65864 59 0 0 25 0 11 0 486027796 857927680 28415 4294967295 134512640 134569956 3221224400 3221214688 1131311058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28415 13073 16 0 209439 0
vsize: 837820
[startup+700.232 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 66856 59 0 0 25 0 11 0 486027796 857927680 28455 4294967295 134512640 134569956 3221224400 3221214336 1080217044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28455 13073 16 0 209439 0
vsize: 837820
[startup+710.234 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 67848 59 0 0 25 0 11 0 486027796 857927680 28492 4294967295 134512640 134569956 3221224400 3221214444 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28492 13073 16 0 209439 0
vsize: 837820
[startup+720.234 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 68841 59 0 0 25 0 11 0 486027796 857927680 28557 4294967295 134512640 134569956 3221224400 3221214600 1131611179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28557 13073 16 0 209439 0
vsize: 837820
[startup+730.235 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 69835 59 0 0 25 0 11 0 486027796 857927680 28582 4294967295 134512640 134569956 3221224400 3221214512 1131548537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28582 13073 16 0 209439 0
vsize: 837820
[startup+740.236 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 70831 59 0 0 25 0 11 0 486027796 857927680 28591 4294967295 134512640 134569956 3221224400 3221214840 1131722579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28591 13073 16 0 209439 0
vsize: 837820
[startup+750.236 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 71826 59 0 0 25 0 11 0 486027796 857927680 28624 4294967295 134512640 134569956 3221224400 3221214840 1131379820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 28624 13073 16 0 209439 0
vsize: 837820
[startup+760.237 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 72819 60 0 0 25 0 11 0 486027796 857927680 28635 4294967295 134512640 134569956 3221224400 3221214800 1131436261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28635 13073 16 0 209439 0
vsize: 837820
[startup+770.238 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 73813 60 0 0 25 0 11 0 486027796 857927680 28656 4294967295 134512640 134569956 3221224400 3221214496 1131547489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28656 13073 16 0 209439 0
vsize: 837820
[startup+780.238 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 74810 60 0 0 25 0 11 0 486027796 857927680 28668 4294967295 134512640 134569956 3221224400 3221214888 1131680221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28668 13073 16 0 209439 0
vsize: 837820
[startup+790.239 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 75804 60 0 0 25 0 11 0 486027796 857927680 28679 4294967295 134512640 134569956 3221224400 3221214744 1131311113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28679 13073 16 0 209439 0
vsize: 837820
[startup+800.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 76800 60 0 0 25 0 11 0 486027796 857927680 28697 4294967295 134512640 134569956 3221224400 3221214512 1131548268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28697 13073 16 0 209439 0
vsize: 837820
[startup+810.241 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 77796 60 0 0 25 0 11 0 486027796 857927680 28713 4294967295 134512640 134569956 3221224400 3221214272 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28713 13073 16 0 209439 0
vsize: 837820
[startup+820.242 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 78790 60 0 0 25 0 11 0 486027796 857927680 28733 4294967295 134512640 134569956 3221224400 3221214712 1131520723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28733 13073 16 0 209439 0
vsize: 837820
[startup+830.242 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 79784 60 0 0 25 0 11 0 486027796 857927680 28743 4294967295 134512640 134569956 3221224400 3221214760 1131625772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28743 13073 16 0 209439 0
vsize: 837820
[startup+840.244 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 80780 60 0 0 25 0 11 0 486027796 857927680 28753 4294967295 134512640 134569956 3221224400 3221214600 1131611062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28753 13073 16 0 209439 0
vsize: 837820
[startup+850.243 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 81774 61 0 0 25 0 11 0 486027796 857927680 28776 4294967295 134512640 134569956 3221224400 3221214688 1131310627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28776 13073 16 0 209439 0
vsize: 837820
[startup+860.244 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 82767 61 0 0 25 0 11 0 486027796 857927680 28803 4294967295 134512640 134569956 3221224400 3221214512 1131548537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28803 13073 16 0 209439 0
vsize: 837820
[startup+870.245 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 83761 61 0 0 25 0 11 0 486027796 857927680 28830 4294967295 134512640 134569956 3221224400 3221214512 1131547319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28830 13073 16 0 209439 0
vsize: 837820
[startup+880.245 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 84757 61 0 0 25 0 11 0 486027796 857927680 28838 4294967295 134512640 134569956 3221224400 3221214512 1131547454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28838 13073 16 0 209439 0
vsize: 837820
[startup+890.246 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 85751 61 0 0 25 0 11 0 486027796 857927680 28853 4294967295 134512640 134569956 3221224400 3221214512 1131548019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 28853 13073 16 0 209439 0
vsize: 837820
[startup+900.247 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 86745 61 0 0 25 0 11 0 486027796 857927680 28863 4294967295 134512640 134569956 3221224400 3221214688 1131311167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28863 13073 16 0 209439 0
vsize: 837820
[startup+910.249 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 87741 61 0 0 25 0 11 0 486027796 857927680 28869 4294967295 134512640 134569956 3221224400 3221214512 1131547454 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28869 13073 16 0 209439 0
vsize: 837820
[startup+920.256 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 88735 61 0 0 25 0 11 0 486027796 857927680 28878 4294967295 134512640 134569956 3221224400 3221214840 1131379888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28878 13073 16 0 209439 0
vsize: 837820
[startup+930.268 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 89730 61 0 0 25 0 11 0 486027796 857927680 28909 4294967295 134512640 134569956 3221224400 3221214444 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28909 13073 16 0 209439 0
vsize: 837820
[startup+940.279 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 90725 61 0 0 25 0 11 0 486027796 857927680 28935 4294967295 134512640 134569956 3221224400 3221214512 1131544239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28935 13073 16 0 209439 0
vsize: 837820
[startup+950.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 91721 61 0 0 25 0 11 0 486027796 857927680 28957 4294967295 134512640 134569956 3221224400 3221214512 1131553062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28957 13073 16 0 209439 0
vsize: 837820
[startup+960.281 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 92715 61 0 0 25 0 11 0 486027796 857927680 28977 4294967295 134512640 134569956 3221224400 3221214760 1131625772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28977 13073 16 0 209439 0
vsize: 837820
[startup+970.283 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 93709 61 0 0 25 0 11 0 486027796 857927680 28996 4294967295 134512640 134569956 3221224400 3221214592 1131525164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 28996 13073 16 0 209439 0
vsize: 837820
[startup+980.288 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 94704 62 0 0 25 0 11 0 486027796 857927680 29011 4294967295 134512640 134569956 3221224400 3221214228 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29011 13073 16 0 209439 0
vsize: 837820
[startup+990.296 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 95701 62 0 0 25 0 11 0 486027796 857927680 29018 4294967295 134512640 134569956 3221224400 3221214680 1131465614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29018 13073 16 0 209439 0
vsize: 837820
[startup+1000.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 96696 62 0 0 25 0 11 0 486027796 857927680 29030 4294967295 134512640 134569956 3221224400 3221214596 1131469001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29030 13073 16 0 209439 0
vsize: 837820
[startup+1010.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 97691 62 0 0 25 0 11 0 486027796 857927680 29045 4294967295 134512640 134569956 3221224400 3221214512 1131542543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 29045 13073 16 0 209439 0
vsize: 837820
[startup+1020.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 98684 62 0 0 25 0 11 0 486027796 857927680 29060 4294967295 134512640 134569956 3221224400 3221214464 1131588878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29060 13073 16 0 209439 0
vsize: 837820
[startup+1030.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 99678 62 0 0 25 0 11 0 486027796 857927680 29073 4294967295 134512640 134569956 3221224400 3221214760 1131625884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29073 13073 16 0 209439 0
vsize: 837820
[startup+1040.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 100671 62 0 0 25 0 11 0 486027796 857927680 29092 4294967295 134512640 134569956 3221224400 3221214480 1131602101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29092 13073 16 0 209439 0
vsize: 837820
[startup+1050.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 101665 62 0 0 25 0 11 0 486027796 857927680 29107 4294967295 134512640 134569956 3221224400 3221214336 1080217023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29107 13073 16 0 209439 0
vsize: 837820
[startup+1060.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 102660 63 0 0 25 0 11 0 486027796 857927680 29126 4294967295 134512640 134569956 3221224400 3221214688 1131310581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29126 13073 16 0 209439 0
vsize: 837820
[startup+1070.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 103655 63 0 0 25 0 11 0 486027796 857927680 29131 4294967295 134512640 134569956 3221224400 3221214036 1131664656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29131 13073 16 0 209439 0
vsize: 837820
[startup+1080.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 104649 63 0 0 25 0 11 0 486027796 857927680 29144 4294967295 134512640 134569956 3221224400 3221214760 1131625760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29144 13073 16 0 209439 0
vsize: 837820
[startup+1090.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 105646 63 0 0 25 0 11 0 486027796 857927680 29149 4294967295 134512640 134569956 3221224400 3221214800 1131437132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29149 13073 16 0 209439 0
vsize: 837820
[startup+1100.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 106638 63 0 0 25 0 11 0 486027796 857927680 29155 4294967295 134512640 134569956 3221224400 3221214312 1131663520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29155 13073 16 0 209439 0
vsize: 837820
[startup+1110.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 107626 63 0 0 25 0 11 0 486027796 857927680 29168 4294967295 134512640 134569956 3221224400 3221214344 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 29168 13073 16 0 209439 0
vsize: 837820
[startup+1120.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 108617 63 0 0 25 0 11 0 486027796 857927680 29172 4294967295 134512640 134569956 3221224400 3221214760 1131625884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29172 13073 16 0 209439 0
vsize: 837820
[startup+1130.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 109604 63 0 0 25 0 11 0 486027796 857927680 29197 4294967295 134512640 134569956 3221224400 3221214688 1131311105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29197 13073 16 0 209439 0
vsize: 837820
[startup+1140.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 110594 63 0 0 25 0 11 0 486027796 857927680 29208 4294967295 134512640 134569956 3221224400 3221214840 1131379820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29208 13073 16 0 209439 0
vsize: 837820
[startup+1150.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 111580 63 0 0 24 0 11 0 486027796 857927680 29227 4294967295 134512640 134569956 3221224400 3221214744 1131454330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29227 13073 16 0 209439 0
vsize: 837820
[startup+1160.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 112570 63 0 0 25 0 11 0 486027796 857927680 29245 4294967295 134512640 134569956 3221224400 3221214840 1131380055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29245 13073 16 0 209439 0
vsize: 837820
[startup+1170.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 113556 63 0 0 25 0 11 0 486027796 857927680 29261 4294967295 134512640 134569956 3221224400 3221214856 1131382702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29261 13073 16 0 209439 0
vsize: 837820
[startup+1180.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 114542 63 0 0 25 0 11 0 486027796 857927680 29289 4294967295 134512640 134569956 3221224400 3221214760 1131625772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29289 13073 16 0 209439 0
vsize: 837820
[startup+1190.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 115532 63 0 0 25 0 11 0 486027796 857927680 29296 4294967295 134512640 134569956 3221224400 3221214512 1131547462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209455 29296 13073 16 0 209439 0
vsize: 837820
[startup+1200.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 116517 63 0 0 25 0 11 0 486027796 857927680 29445 4294967295 134512640 134569956 3221224400 3221214512 1131544637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29445 13073 16 0 209439 0
vsize: 837820
[startup+1210.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 117506 64 0 0 25 0 11 0 486027796 857927680 29519 4294967295 134512640 134569956 3221224400 3221214800 1131437196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29519 13073 16 0 209439 0
vsize: 837820
[startup+1220.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 118499 64 0 0 25 0 11 0 486027796 857927680 29591 4294967295 134512640 134569956 3221224400 3221214304 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29591 13073 16 0 209439 0
vsize: 837820
[startup+1230.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 119490 64 0 0 25 0 11 0 486027796 857927680 29621 4294967295 134512640 134569956 3221224400 3221214600 1131261972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29621 13073 16 0 209439 0
vsize: 837820
[startup+1240.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 5736
Raw data (stat): 5726 (java) R 5725 5897 5896 0 -1 0 18098 0 1 0 120482 64 0 0 25 0 11 0 486027796 857927680 29657 4294967295 134512640 134569956 3221224400 3221214624 1131261970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209455 29657 13073 16 0 209439 0
vsize: 837820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.41 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 5738
Raw data (stat): 5726 (java) Z 5725 5897 5896 0 -1 1036 18098 10232 1 0 120483 64 3242 32 25 0 1 0 486027796 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1240.41
CPU time (s): 1238.23
CPU user time (s): 1237.26
CPU system time (s): 0.965853
CPU usage (%): 99.8236
Max. virtual memory (Kb): 842556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####