Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilotnov.opb |
MD5SUM | 66be30d4f5bb7b279b4114fb6f1ff9f2 |
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 | 1890 |
Biggest coefficient in the objective function | 477815111680000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 19701657066014154 |
Number of bits of the sum of numbers in the objective function | 55 |
Biggest number in a constraint | 3141307404910592000000 |
Number of bits of the biggest number in a constraint | 72 |
Biggest sum of numbers in a constraint | 12713246235773393436672 |
Number of bits of the biggest sum of numbers | 74 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.9697 |
Number of variables | 54587 |
Total number of constraints | 1287 |
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 | 1287 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4520 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-22 03:51:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11072 boxname=wulflinc5 idbench=852 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 66be30d4f5bb7b279b4114fb6f1ff9f2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-pilotnov.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-pilotnov.opb IDLAUNCH: 11072 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 322864 kB Buffers: 34704 kB Cached: 654848 kB SwapCached: 444 kB Active: 153012 kB Inactive: 538664 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 322612 kB SwapTotal: 2097136 kB SwapFree: 2095948 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5200 kB Slab: 14388 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-22 04:14:49 (client local time) WITH STATUS 143 IN 1297.06 SECONDS stats: 11072 7 1297.06 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-pilotnov.opb c reading problem c [nbvar=54617] c [nbconstr=1287] 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 928.177 c #vars 54587 c #clauses 1933 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.43 0.73 0.83 2/54 10561 Raw data (stat): 10561 (runsolver) R 10560 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492402036 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99958 s] Raw data (loadavg): 0.67 0.77 0.84 3/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18020 0 1 0 848 40 0 0 25 0 10 0 492402036 858669056 20431 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 20431 13073 16 0 209620 0 vsize: 838544 [startup+20.0002 s] Raw data (loadavg): 0.79 0.80 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18020 0 1 0 1741 40 0 0 25 0 10 0 492402036 858669056 20988 4294967295 134512640 134569956 3221224400 3221214552 1077558368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 20988 13073 16 0 209620 0 vsize: 838544 [startup+30.003 s] Raw data (loadavg): 0.82 0.80 0.85 2/63 10570 Raw data (stat): 10561 (java) S 10560 24215 24214 0 -1 0 18021 0 1 0 2619 41 0 0 25 0 10 0 492402036 858669056 21548 4294967295 134512640 134569956 3221224400 3221213860 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 21548 13073 16 0 209620 0 vsize: 838544 [startup+40.0038 s] Raw data (loadavg): 0.85 0.81 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 3521 41 0 0 25 0 10 0 492402036 858669056 21825 4294967295 134512640 134569956 3221224400 3221214504 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 21825 13073 16 0 209620 0 vsize: 838544 [startup+50.0086 s] Raw data (loadavg): 0.87 0.81 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 4411 41 0 0 25 0 10 0 492402036 858669056 22006 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 22006 13073 16 0 209620 0 vsize: 838544 [startup+60.0089 s] Raw data (loadavg): 0.89 0.82 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 5304 41 0 0 25 0 10 0 492402036 858669056 22306 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 22306 13073 16 0 209620 0 vsize: 838544 [startup+70.01 s] Raw data (loadavg): 0.91 0.82 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 6215 41 0 0 25 0 10 0 492402036 858669056 22572 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 22572 13073 16 0 209620 0 vsize: 838544 [startup+80.0108 s] Raw data (loadavg): 0.92 0.83 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 7138 41 0 0 24 0 10 0 492402036 858669056 22771 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 22771 13073 16 0 209620 0 vsize: 838544 [startup+90.012 s] Raw data (loadavg): 0.93 0.83 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 8066 42 0 0 25 0 10 0 492402036 858669056 22881 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 22881 13073 16 0 209620 0 vsize: 838544 [startup+100.012 s] Raw data (loadavg): 0.94 0.84 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 8987 42 0 0 25 0 10 0 492402036 858669056 23006 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 23006 13073 16 0 209620 0 vsize: 838544 [startup+110.012 s] Raw data (loadavg): 0.95 0.84 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 9893 42 0 0 24 0 10 0 492402036 858669056 23129 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 23129 13073 16 0 209620 0 vsize: 838544 [startup+120.013 s] Raw data (loadavg): 0.96 0.85 0.85 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 10783 42 0 0 25 0 10 0 492402036 858669056 23292 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 23292 13073 16 0 209620 0 vsize: 838544 [startup+130.013 s] Raw data (loadavg): 0.96 0.85 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 11663 42 0 0 24 0 10 0 492402036 858669056 23567 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 23567 13073 16 0 209620 0 vsize: 838544 [startup+140.014 s] Raw data (loadavg): 0.97 0.86 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 12572 42 0 0 25 0 10 0 492402036 858669056 23774 4294967295 134512640 134569956 3221224400 3221214352 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 23774 13073 16 0 209620 0 vsize: 838544 [startup+150.019 s] Raw data (loadavg): 0.97 0.86 0.86 2/63 10570 Raw data (stat): 10561 (java) S 10560 24215 24214 0 -1 0 18021 0 1 0 13487 43 0 0 25 0 10 0 492402036 858669056 23914 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 23914 13073 16 0 209620 0 vsize: 838544 [startup+160.019 s] Raw data (loadavg): 0.98 0.87 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 14405 43 0 0 25 0 10 0 492402036 858669056 24019 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 24019 13073 16 0 209620 0 vsize: 838544 [startup+170.019 s] Raw data (loadavg): 0.98 0.87 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 15321 43 0 0 24 0 10 0 492402036 858669056 24132 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 24132 13073 16 0 209620 0 vsize: 838544 [startup+180.022 s] Raw data (loadavg): 0.98 0.87 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 16227 44 0 0 24 0 10 0 492402036 858669056 24220 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 24220 13073 16 0 209620 0 vsize: 838544 [startup+190.025 s] Raw data (loadavg): 0.98 0.88 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 17108 44 0 0 25 0 10 0 492402036 858669056 24559 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 24559 13073 16 0 209620 0 vsize: 838544 [startup+200.025 s] Raw data (loadavg): 0.99 0.88 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 17977 44 0 0 25 0 10 0 492402036 858669056 25004 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 25004 13073 16 0 209620 0 vsize: 838544 [startup+210.031 s] Raw data (loadavg): 0.99 0.88 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 18843 45 0 0 25 0 10 0 492402036 858669056 25225 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 25225 13073 16 0 209620 0 vsize: 838544 [startup+220.035 s] Raw data (loadavg): 0.99 0.89 0.86 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 19723 45 0 0 25 0 10 0 492402036 858669056 25600 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 25600 13073 16 0 209620 0 vsize: 838544 [startup+230.035 s] Raw data (loadavg): 0.99 0.89 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 20602 45 0 0 18 0 10 0 492402036 858669056 25727 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 25727 13073 16 0 209620 0 vsize: 838544 [startup+240.036 s] Raw data (loadavg): 0.99 0.89 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 21492 45 0 0 19 0 10 0 492402036 858669056 25918 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 25918 13073 16 0 209620 0 vsize: 838544 [startup+250.036 s] Raw data (loadavg): 0.99 0.90 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 22407 46 0 0 25 0 10 0 492402036 858669056 26124 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 26124 13073 16 0 209620 0 vsize: 838544 [startup+260.038 s] Raw data (loadavg): 0.99 0.90 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 23325 46 0 0 25 0 10 0 492402036 858669056 26192 4294967295 134512640 134569956 3221224400 3221214792 1131044787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 26192 13073 16 0 209620 0 vsize: 838544 [startup+270.038 s] Raw data (loadavg): 0.99 0.90 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 24231 47 0 0 25 0 10 0 492402036 858669056 26278 4294967295 134512640 134569956 3221224400 3221214800 1131154283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 26278 13073 16 0 209620 0 vsize: 838544 [startup+280.039 s] Raw data (loadavg): 0.99 0.91 0.87 2/63 10570 Raw data (stat): 10561 (java) S 10560 24215 24214 0 -1 0 18021 0 1 0 25090 47 0 0 25 0 10 0 492402036 858669056 26781 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 26782 13073 16 0 209620 0 vsize: 838544 [startup+290.039 s] Raw data (loadavg): 0.99 0.91 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 25955 47 0 0 24 0 10 0 492402036 858669056 27137 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 27137 13073 16 0 209620 0 vsize: 838544 [startup+300.039 s] Raw data (loadavg): 0.99 0.91 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 26825 48 0 0 25 0 10 0 492402036 858669056 27251 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 27251 13073 16 0 209620 0 vsize: 838544 [startup+310.039 s] Raw data (loadavg): 0.99 0.91 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 27731 48 0 0 25 0 10 0 492402036 858669056 27579 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 27579 13073 16 0 209620 0 vsize: 838544 [startup+320.047 s] Raw data (loadavg): 0.99 0.92 0.87 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 28642 48 0 0 24 0 10 0 492402036 858669056 27661 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 27661 13073 16 0 209620 0 vsize: 838544 [startup+330.055 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 29525 49 0 0 25 0 10 0 492402036 858669056 29364 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29364 13073 16 0 209620 0 vsize: 838544 [startup+340.056 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 30445 49 0 0 25 0 10 0 492402036 858669056 29364 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29364 13073 16 0 209620 0 vsize: 838544 [startup+350.056 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 31347 50 0 0 25 0 10 0 492402036 858669056 29387 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29387 13073 16 0 209620 0 vsize: 838544 [startup+360.063 s] Raw data (loadavg): 0.99 0.92 0.88 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 32233 50 0 0 25 0 10 0 492402036 858669056 29478 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29478 13073 16 0 209620 0 vsize: 838544 [startup+370.063 s] Raw data (loadavg): 1.07 0.94 0.88 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 33134 50 0 0 25 0 10 0 492402036 858669056 29659 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29659 13073 16 0 209620 0 vsize: 838544 [startup+380.063 s] Raw data (loadavg): 1.06 0.94 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 34043 50 0 0 23 0 10 0 492402036 858669056 29723 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29723 13073 16 0 209620 0 vsize: 838544 [startup+390.065 s] Raw data (loadavg): 1.05 0.94 0.89 2/63 10570 Raw data (stat): 10561 (java) S 10560 24215 24214 0 -1 0 18021 0 1 0 34945 51 0 0 24 0 10 0 492402036 858669056 29788 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29788 13073 16 0 209620 0 vsize: 838544 [startup+400.071 s] Raw data (loadavg): 1.04 0.94 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 35854 51 0 0 17 0 10 0 492402036 858669056 29897 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29897 13073 16 0 209620 0 vsize: 838544 [startup+410.07 s] Raw data (loadavg): 1.03 0.95 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 36770 52 0 0 25 0 10 0 492402036 858669056 29946 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29946 13073 16 0 209620 0 vsize: 838544 [startup+420.072 s] Raw data (loadavg): 1.03 0.95 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 37685 52 0 0 25 0 10 0 492402036 858669056 29976 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 29976 13073 16 0 209620 0 vsize: 838544 [startup+430.073 s] Raw data (loadavg): 1.02 0.95 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 38595 52 0 0 24 0 10 0 492402036 858669056 30028 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30028 13073 16 0 209620 0 vsize: 838544 [startup+440.074 s] Raw data (loadavg): 1.02 0.95 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 39510 52 0 0 25 0 10 0 492402036 858669056 30079 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30079 13073 16 0 209620 0 vsize: 838544 [startup+450.074 s] Raw data (loadavg): 1.02 0.95 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 40424 53 0 0 25 0 10 0 492402036 858669056 30130 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30130 13073 16 0 209620 0 vsize: 838544 [startup+460.078 s] Raw data (loadavg): 1.01 0.95 0.89 2/63 10570 Raw data (stat): 10561 (java) S 10560 24215 24214 0 -1 0 18021 0 1 0 41335 53 0 0 25 0 10 0 492402036 858669056 30179 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30179 13073 16 0 209620 0 vsize: 838544 [startup+470.079 s] Raw data (loadavg): 1.01 0.95 0.89 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 42244 54 0 0 24 0 10 0 492402036 858669056 30208 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30208 13073 16 0 209620 0 vsize: 838544 [startup+480.079 s] Raw data (loadavg): 1.01 0.95 0.90 2/63 10570 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 43157 55 0 0 25 0 10 0 492402036 858669056 30256 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30256 13073 16 0 209620 0 vsize: 838544 [startup+490.08 s] Raw data (loadavg): 1.09 0.97 0.90 2/63 10623 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 44058 59 0 0 25 0 10 0 492402036 858669056 30305 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30305 13073 16 0 209620 0 vsize: 838544 [startup+500.081 s] Raw data (loadavg): 1.07 0.97 0.90 2/63 10623 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 44968 60 0 0 25 0 10 0 492402036 858669056 30354 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30354 13073 16 0 209620 0 vsize: 838544 [startup+510.082 s] Raw data (loadavg): 1.06 0.97 0.90 2/63 10623 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 45878 60 0 0 25 0 10 0 492402036 858669056 30396 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30396 13073 16 0 209620 0 vsize: 838544 [startup+520.082 s] Raw data (loadavg): 1.05 0.97 0.90 2/63 10623 Raw data (stat): 10561 (java) S 10560 24215 24214 0 -1 0 18021 0 1 0 46789 60 0 0 25 0 10 0 492402036 858669056 30439 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30439 13073 16 0 209620 0 vsize: 838544 [startup+530.082 s] Raw data (loadavg): 1.04 0.97 0.91 2/63 10623 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 47685 62 0 0 25 0 10 0 492402036 858669056 30471 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 30471 13073 16 0 209620 0 vsize: 838544 [startup+540.084 s] Raw data (loadavg): 1.04 0.97 0.91 2/63 10623 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 48584 62 0 0 25 0 10 0 492402036 858669056 31128 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31128 13073 16 0 209620 0 vsize: 838544 [startup+550.084 s] Raw data (loadavg): 1.10 0.99 0.91 2/63 10623 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 49483 62 0 0 18 0 10 0 492402036 858669056 31128 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31128 13073 16 0 209620 0 vsize: 838544 [startup+560.084 s] Raw data (loadavg): 1.09 0.99 0.91 2/63 10623 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 50383 63 0 0 22 0 10 0 492402036 858669056 31218 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31218 13073 16 0 209620 0 vsize: 838544 [startup+570.085 s] Raw data (loadavg): 1.07 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 51279 63 0 0 21 0 10 0 492402036 858669056 31296 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31296 13073 16 0 209620 0 vsize: 838544 [startup+580.085 s] Raw data (loadavg): 1.06 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 52176 63 0 0 20 0 10 0 492402036 858669056 31366 4294967295 134512640 134569956 3221224400 3221214224 1077559810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31366 13073 16 0 209620 0 vsize: 838544 [startup+590.086 s] Raw data (loadavg): 1.05 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 53072 63 0 0 18 0 10 0 492402036 858669056 31441 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31441 13073 16 0 209620 0 vsize: 838544 [startup+600.088 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 53958 64 0 0 18 0 10 0 492402036 858669056 31572 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31572 13073 16 0 209620 0 vsize: 838544 [startup+610.1 s] Raw data (loadavg): 1.04 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 54838 65 0 0 20 0 10 0 492402036 858669056 31734 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31734 13073 16 0 209620 0 vsize: 838544 [startup+620.107 s] Raw data (loadavg): 1.03 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 55723 65 0 0 19 0 10 0 492402036 858669056 31821 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31821 13073 16 0 209620 0 vsize: 838544 [startup+630.122 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 56613 66 0 0 18 0 10 0 492402036 858669056 31903 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31903 13073 16 0 209620 0 vsize: 838544 [startup+640.149 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 57513 66 0 0 22 0 10 0 492402036 858669056 31968 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 31968 13073 16 0 209620 0 vsize: 838544 [startup+650.152 s] Raw data (loadavg): 1.02 0.99 0.91 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 58397 67 0 0 17 0 10 0 492402036 858669056 32097 4294967295 134512640 134569956 3221224400 3221214828 1080204160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 32097 13073 16 0 209620 0 vsize: 838544 [startup+661.212 s] Raw data (loadavg): 1.17 1.02 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 59370 67 0 0 18 0 10 0 492402036 858669056 32285 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 32285 13073 16 0 209620 0 vsize: 838544 [startup+671.212 s] Raw data (loadavg): 1.15 1.02 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 60268 68 0 0 22 0 10 0 492402036 858669056 32310 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 32310 13073 16 0 209620 0 vsize: 838544 [startup+681.219 s] Raw data (loadavg): 1.12 1.02 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 61158 68 0 0 20 0 10 0 492402036 858669056 32384 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 32384 13073 16 0 209620 0 vsize: 838544 [startup+691.247 s] Raw data (loadavg): 1.10 1.02 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 62048 68 0 0 18 0 10 0 492402036 858669056 32459 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 32459 13073 16 0 209620 0 vsize: 838544 [startup+701.247 s] Raw data (loadavg): 1.09 1.02 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 62940 69 0 0 22 0 10 0 492402036 858669056 32975 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 32975 13073 16 0 209620 0 vsize: 838544 [startup+711.248 s] Raw data (loadavg): 1.07 1.02 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 63839 69 0 0 20 0 10 0 492402036 858669056 32975 4294967295 134512640 134569956 3221224400 3221214272 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 32975 13073 16 0 209620 0 vsize: 838544 [startup+721.249 s] Raw data (loadavg): 1.06 1.01 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 64726 70 0 0 18 0 10 0 492402036 858669056 33012 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33012 13073 16 0 209620 0 vsize: 838544 [startup+731.249 s] Raw data (loadavg): 1.05 1.01 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 65621 70 0 0 22 0 10 0 492402036 858669056 33058 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33058 13073 16 0 209620 0 vsize: 838544 [startup+741.255 s] Raw data (loadavg): 1.04 1.01 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 66508 70 0 0 19 0 10 0 492402036 858669056 33108 4294967295 134512640 134569956 3221224400 3221214352 1131227728 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33108 13073 16 0 209620 0 vsize: 838544 [startup+751.277 s] Raw data (loadavg): 1.04 1.01 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 67390 70 0 0 21 0 10 0 492402036 858669056 33146 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33146 13073 16 0 209620 0 vsize: 838544 [startup+761.277 s] Raw data (loadavg): 1.03 1.01 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 68269 71 0 0 19 0 10 0 492402036 858669056 33281 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33281 13073 16 0 209620 0 vsize: 838544 [startup+771.278 s] Raw data (loadavg): 1.02 1.01 0.92 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 69161 71 0 0 21 0 10 0 492402036 858669056 33313 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33313 13073 16 0 209620 0 vsize: 838544 [startup+784.621 s] Raw data (loadavg): 1.18 1.04 0.93 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 69646 72 0 0 18 0 10 0 492402036 858669056 33343 4294967295 134512640 134569956 3221224400 3221214352 1131227713 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33343 13073 16 0 209620 0 vsize: 838544 [startup+794.621 s] Raw data (loadavg): 1.15 1.04 0.93 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 70528 73 0 0 21 0 10 0 492402036 858669056 33390 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33390 13073 16 0 209620 0 vsize: 838544 [startup+804.623 s] Raw data (loadavg): 1.13 1.04 0.93 2/63 10625 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 71405 73 0 0 17 0 10 0 492402036 858669056 33494 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33494 13073 16 0 209620 0 vsize: 838544 [startup+814.626 s] Raw data (loadavg): 1.11 1.04 0.93 2/63 10627 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 72292 73 0 0 20 0 10 0 492402036 858669056 33536 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33536 13073 16 0 209620 0 vsize: 838544 [startup+826.898 s] Raw data (loadavg): 1.32 1.08 0.95 2/63 10627 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 73373 74 0 0 18 0 10 0 492402036 858669056 33604 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209636 33604 13073 16 0 209620 0 vsize: 838544 [startup+836.898 s] Raw data (loadavg): 1.27 1.08 0.95 2/63 10627 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 74254 74 0 0 19 0 10 0 492402036 858669056 33704 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33704 13073 16 0 209620 0 vsize: 838544 [startup+846.898 s] Raw data (loadavg): 1.23 1.08 0.95 1/63 10627 Raw data (stat): 10561 (java) D 10560 24215 24214 0 -1 0 18021 0 1 0 74990 74 0 0 17 0 10 0 492402036 858669056 33805 4294967295 134512640 134569956 3221224400 3221205944 1073953089 0 2147483391 3 23756 3225161850 0 0 17 1 0 0 Raw data (statm): 209636 33805 13073 16 0 209620 0 vsize: 838544 [startup+856.898 s] Raw data (loadavg): 1.19 1.07 0.95 1/63 10627 Raw data (stat): 10561 (java) D 10560 24215 24214 0 -1 0 18021 0 1 0 74990 74 0 0 17 0 10 0 492402036 858669056 33805 4294967295 134512640 134569956 3221224400 3221205944 1073953089 0 2147483391 3 23756 3225161850 0 0 17 1 0 0 Raw data (statm): 209636 33805 13073 16 0 209620 0 vsize: 838544 [startup+866.898 s] Raw data (loadavg): 1.16 1.07 0.95 1/63 10627 Raw data (stat): 10561 (java) D 10560 24215 24214 0 -1 0 18021 0 1 0 74990 74 0 0 17 0 10 0 492402036 858669056 33805 4294967295 134512640 134569956 3221224400 3221205944 1073953089 0 2147483391 3 23756 3225161850 0 0 17 1 0 0 Raw data (statm): 209636 33805 13073 16 0 209620 0 vsize: 838544 [startup+877.002 s] Raw data (loadavg): 1.14 1.07 0.95 1/63 10627 Raw data (stat): 10561 (java) D 10560 24215 24214 0 -1 0 18021 0 1 0 74990 74 0 0 17 0 10 0 492402036 858669056 33805 4294967295 134512640 134569956 3221224400 3221205944 1073953089 0 2147483391 3 23756 3225161850 0 0 17 1 0 0 Raw data (statm): 209636 33805 13073 16 0 209620 0 vsize: 838544 [startup+887.008 s] Raw data (loadavg): 1.11 1.07 0.95 1/63 10627 Raw data (stat): 10561 (java) D 10560 24215 24214 0 -1 0 18021 0 1 0 74990 74 0 0 17 0 10 0 492402036 858669056 33805 4294967295 134512640 134569956 3221224400 3221205944 1073953089 0 2147483391 3 23756 3225161850 0 0 17 1 0 0 Raw data (statm): 209636 33805 13073 16 0 209620 0 vsize: 838544 [startup+897.008 s] Raw data (loadavg): 1.10 1.06 0.95 1/63 10627 Raw data (stat): 10561 (java) D 10560 24215 24214 0 -1 0 18021 0 1 0 74990 74 0 0 17 0 10 0 492402036 858669056 33805 4294967295 134512640 134569956 3221224400 3221205944 1073953089 0 2147483391 3 23756 3225161850 0 0 17 1 0 0 Raw data (statm): 209636 33805 13073 16 0 209620 0 vsize: 838544 [startup+907.008 s] Raw data (loadavg): 1.08 1.06 0.95 2/63 10627 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 75146 75 0 0 19 0 10 0 492402036 858669056 33873 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 33873 13073 16 0 209620 0 vsize: 838544 [startup+917.014 s] Raw data (loadavg): 1.07 1.06 0.95 2/63 10627 Raw data (stat): 10561 (java) S 10560 24215 24214 0 -1 0 18021 0 1 0 76028 76 0 0 22 0 10 0 492402036 858669056 34049 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 34049 13073 16 0 209620 0 vsize: 838544 [startup+927.013 s] Raw data (loadavg): 1.06 1.06 0.95 2/63 10627 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18021 0 1 0 76912 77 0 0 17 0 10 0 492402036 858669056 34113 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209636 34113 13073 16 0 209620 0 vsize: 838544 [startup+937.014 s] Raw data (loadavg): 1.20 1.09 0.96 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18102 0 1 0 77802 78 0 0 25 0 11 0 492402036 859197440 35612 4294967295 134512640 134569956 3221224400 3221214672 1131410092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 35612 13073 16 0 209749 0 vsize: 839060 [startup+947.015 s] Raw data (loadavg): 1.25 1.10 0.97 3/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 78729 78 0 0 25 0 11 0 492402036 859197440 35583 4294967295 134512640 134569956 3221224400 3221214448 1131535299 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35583 13073 16 0 209749 0 vsize: 839060 [startup+957.016 s] Raw data (loadavg): 1.21 1.10 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 79725 78 0 0 25 0 11 0 492402036 859197440 35591 4294967295 134512640 134569956 3221224400 3221214664 1131411562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35591 13073 16 0 209749 0 vsize: 839060 [startup+967.017 s] Raw data (loadavg): 1.26 1.11 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 80721 78 0 0 25 0 11 0 492402036 859197440 35591 4294967295 134512640 134569956 3221224400 3221214672 1131410096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35591 13073 16 0 209749 0 vsize: 839060 [startup+977.017 s] Raw data (loadavg): 1.22 1.10 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 81716 78 0 0 25 0 11 0 492402036 859197440 35591 4294967295 134512640 134569956 3221224400 3221214664 1131411495 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35591 13073 16 0 209749 0 vsize: 839060 [startup+987.017 s] Raw data (loadavg): 1.18 1.10 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 82708 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214608 1130917158 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+997.017 s] Raw data (loadavg): 1.16 1.10 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 83704 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1007.02 s] Raw data (loadavg): 1.13 1.09 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 84699 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1017.02 s] Raw data (loadavg): 1.11 1.09 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 85695 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1027.02 s] Raw data (loadavg): 1.09 1.09 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 86685 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1037.02 s] Raw data (loadavg): 1.08 1.08 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 87679 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1047.02 s] Raw data (loadavg): 1.07 1.08 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 88673 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214328 1080217232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1057.02 s] Raw data (loadavg): 1.06 1.08 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 89667 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1067.02 s] Raw data (loadavg): 1.05 1.07 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 90654 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1077.02 s] Raw data (loadavg): 1.04 1.07 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 91648 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1087.02 s] Raw data (loadavg): 1.03 1.07 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 92641 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1097.02 s] Raw data (loadavg): 1.03 1.06 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18104 0 1 0 93634 79 0 0 25 0 11 0 492402036 859197440 35592 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35592 13073 16 0 209749 0 vsize: 839060 [startup+1107.02 s] Raw data (loadavg): 1.02 1.06 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 94626 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1117.02 s] Raw data (loadavg): 1.02 1.06 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 95611 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1127.02 s] Raw data (loadavg): 1.02 1.06 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 96603 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1137.02 s] Raw data (loadavg): 1.01 1.05 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 97595 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1147.02 s] Raw data (loadavg): 1.01 1.05 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 98578 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1157.03 s] Raw data (loadavg): 1.01 1.05 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 99571 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1167.03 s] Raw data (loadavg): 1.01 1.05 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 100562 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578394 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1177.04 s] Raw data (loadavg): 1.00 1.05 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 101555 79 0 0 25 0 11 0 492402036 859197440 35593 4294967295 134512640 134569956 3221224400 3221214768 1131578523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 35593 13073 16 0 209749 0 vsize: 839060 [startup+1187.04 s] Raw data (loadavg): 1.00 1.04 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 102537 79 0 0 25 0 11 0 492402036 859197440 35618 4294967295 134512640 134569956 3221224400 3221214768 1131578505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35618 13073 16 0 209749 0 vsize: 839060 [startup+1197.06 s] Raw data (loadavg): 1.00 1.04 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 103529 79 0 0 25 0 11 0 492402036 859197440 35627 4294967295 134512640 134569956 3221224400 3221214712 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35627 13073 16 0 209749 0 vsize: 839060 [startup+1207.06 s] Raw data (loadavg): 1.00 1.04 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 104520 79 0 0 25 0 11 0 492402036 859197440 35699 4294967295 134512640 134569956 3221224400 3221214712 1131578523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35699 13073 16 0 209749 0 vsize: 839060 [startup+1217.06 s] Raw data (loadavg): 1.00 1.04 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 105511 79 0 0 25 0 11 0 492402036 859197440 35762 4294967295 134512640 134569956 3221224400 3221214616 1131418643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35762 13073 16 0 209749 0 vsize: 839060 [startup+1227.06 s] Raw data (loadavg): 1.00 1.04 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 106496 79 0 0 25 0 11 0 492402036 859197440 35795 4294967295 134512640 134569956 3221224400 3221214712 1131578391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35795 13073 16 0 209749 0 vsize: 839060 [startup+1237.06 s] Raw data (loadavg): 1.00 1.04 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 107488 79 0 0 25 0 11 0 492402036 859197440 35813 4294967295 134512640 134569956 3221224400 3221214712 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35813 13073 16 0 209749 0 vsize: 839060 [startup+1247.06 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 108480 80 0 0 25 0 11 0 492402036 859197440 35840 4294967295 134512640 134569956 3221224400 3221214712 1131578384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 35840 13073 16 0 209749 0 vsize: 839060 [startup+1257.06 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 109472 80 0 0 25 0 11 0 492402036 859197440 35870 4294967295 134512640 134569956 3221224400 3221214552 1131220015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35870 13073 16 0 209749 0 vsize: 839060 [startup+1267.06 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 110464 80 0 0 25 0 11 0 492402036 859197440 35902 4294967295 134512640 134569956 3221224400 3221214688 1131472158 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35902 13073 16 0 209749 0 vsize: 839060 [startup+1277.06 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 111449 80 0 0 25 0 11 0 492402036 859197440 35956 4294967295 134512640 134569956 3221224400 3221214552 1131219083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 35956 13073 16 0 209749 0 vsize: 839060 [startup+1287.06 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 112441 80 0 0 25 0 11 0 492402036 859197440 36011 4294967295 134512640 134569956 3221224400 3221214712 1131578505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 36011 13073 16 0 209749 0 vsize: 839060 [startup+1297.06 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 113434 80 0 0 25 0 11 0 492402036 859197440 36044 4294967295 134512640 134569956 3221224400 3221214712 1131578384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 36044 13073 16 0 209749 0 vsize: 839060 [startup+1307.06 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 114421 80 0 0 25 0 11 0 492402036 859197440 36095 4294967295 134512640 134569956 3221224400 3221214712 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 36095 13073 16 0 209749 0 vsize: 839060 [startup+1317.06 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 115408 80 0 0 25 0 11 0 492402036 859197440 36168 4294967295 134512640 134569956 3221224400 3221214712 1131578515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 36168 13073 16 0 209749 0 vsize: 839060 [startup+1327.06 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 116401 80 0 0 25 0 11 0 492402036 859197440 36191 4294967295 134512640 134569956 3221224400 3221214712 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 36191 13073 16 0 209749 0 vsize: 839060 [startup+1337.06 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 117395 80 0 0 25 0 11 0 492402036 859197440 36204 4294967295 134512640 134569956 3221224400 3221214712 1131578384 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 36204 13073 16 0 209749 0 vsize: 839060 [startup+1347.06 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 118382 80 0 0 25 0 11 0 492402036 859197440 36270 4294967295 134512640 134569956 3221224400 3221214712 1131578391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 36270 13073 16 0 209749 0 vsize: 839060 [startup+1357.06 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 119376 80 0 0 25 0 11 0 492402036 859197440 36288 4294967295 134512640 134569956 3221224400 3221214712 1131578523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209765 36288 13073 16 0 209749 0 vsize: 839060 [startup+1367.06 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 10628 Raw data (stat): 10561 (java) R 10560 24215 24214 0 -1 0 18105 0 1 0 120365 80 0 0 25 0 11 0 492402036 859197440 36331 4294967295 134512640 134569956 3221224400 3221214400 1131540616 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209765 36331 13073 16 0 209749 0 vsize: 839060 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1367.15 s] Raw data (loadavg): 1.00 1.02 0.97 1/54 10630 Raw data (stat): 10561 (java) Z 10560 24215 24214 0 -1 1036 18105 16624 1 0 120367 80 9201 57 25 0 1 0 492402036 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): 1367.15 CPU time (s): 1297.06 CPU user time (s): 1295.68 CPU system time (s): 1.37579 CPU usage (%): 94.873 Max. virtual memory (Kb): 839060 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####