Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot4.opb |
MD5SUM | 51b37b22b0e13f30b25801aa060ca6d7 |
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 | 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 numbers | 67 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.988849 |
Number of variables | 26494 |
Total number of constraints | 657 |
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 | 657 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 1427 |
#### 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 ####