Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb |
MD5SUM | 3acb5fc9a1a51b5b0d62841ba7c01d77 |
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 | 3930 |
Biggest coefficient in the objective function | 5373004087296 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 556141355997381 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
Number of bits of the biggest sum of numbers | 56 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.043992 |
Number of variables | 4890 |
Total number of constraints | 441 |
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 | 441 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 540 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-25 07:28:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20820 boxname=wulflinc31 idbench=808 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 3acb5fc9a1a51b5b0d62841ba7c01d77 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-agg.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-agg.opb IDLAUNCH: 20820 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 485464 kB Buffers: 18604 kB Cached: 499792 kB SwapCached: 1056 kB Active: 57408 kB Inactive: 463200 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 485212 kB SwapTotal: 2097892 kB SwapFree: 2095960 kB Dirty: 44 kB Writeback: 0 kB Mapped: 5192 kB Slab: 22796 kB Committed_AS: 63812 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 07:48:57 (client local time) WITH STATUS 143 IN 1217.63 SECONDS stats: 20820 7 1217.63 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-agg.opb c reading problem ... done. Time 12.117 ms. c #vars 4890 c #constraints 393 c starts : 2 c conflicts : 175 c decisions : 4667 c propagations : 23072 c inspects : 1423719 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 175 c root simplifications : 176 s UNKNOWN c Total CPU time (ms) : 1219.125 #### 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.92 0.98 0.99 2/55 12133 Raw data (stat): 12133 (runsolver) R 12132 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837061446 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0011 s] Raw data (loadavg): 1.17 1.03 1.01 4/64 12142 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18029 0 1 0 789 40 0 0 25 0 10 0 837061446 858550272 20644 4294967295 134512640 134569956 3221224368 3221214172 1130863124 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209607 20644 13086 16 0 209591 0 vsize: 838428 [startup+20.0024 s] Raw data (loadavg): 1.14 1.03 1.01 3/65 12145 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18068 0 1 0 1662 41 0 0 25 0 11 0 837061446 860524544 22461 4294967295 134512640 134569956 3221224368 3221214464 1131340939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210089 22461 13086 16 0 210073 0 vsize: 840356 [startup+30.0029 s] Raw data (loadavg): 1.12 1.03 1.01 2/65 12145 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18070 0 1 0 2546 41 0 0 25 0 11 0 837061446 858046464 21907 4294967295 134512640 134569956 3221224368 3221214716 1130885222 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 21907 13086 16 0 209468 0 vsize: 837936 [startup+40.0028 s] Raw data (loadavg): 1.10 1.03 1.01 2/65 12145 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18071 0 1 0 3467 42 0 0 25 0 11 0 837061446 858046464 21957 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 21957 13086 16 0 209468 0 vsize: 837936 [startup+50.0035 s] Raw data (loadavg): 1.08 1.03 1.01 2/65 12145 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18071 0 1 0 4381 42 0 0 25 0 11 0 837061446 858046464 22027 4294967295 134512640 134569956 3221224368 3221214676 1131340864 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22027 13086 16 0 209468 0 vsize: 837936 [startup+60.0037 s] Raw data (loadavg): 1.07 1.03 1.01 2/65 12145 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18071 0 1 0 5338 42 0 0 25 0 11 0 837061446 858046464 22805 4294967295 134512640 134569956 3221224368 3221214680 1131429630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22805 13086 16 0 209468 0 vsize: 837936 [startup+70.0046 s] Raw data (loadavg): 1.06 1.03 1.00 2/65 12145 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 6327 43 0 0 25 0 11 0 837061446 858046464 22848 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22848 13086 16 0 209468 0 vsize: 837936 [startup+80.0061 s] Raw data (loadavg): 1.05 1.02 1.00 2/65 12147 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 7319 44 0 0 25 0 11 0 837061446 858046464 22873 4294967295 134512640 134569956 3221224368 3221214520 1131454992 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22873 13086 16 0 209468 0 vsize: 837936 [startup+90.0066 s] Raw data (loadavg): 1.04 1.02 1.00 2/65 12147 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 8311 44 0 0 25 0 11 0 837061446 858046464 22903 4294967295 134512640 134569956 3221224368 3221214676 1131217575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22903 13086 16 0 209468 0 vsize: 837936 [startup+100.006 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 12147 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 9304 45 0 0 25 0 11 0 837061446 858046464 22926 4294967295 134512640 134569956 3221224368 3221214680 1131425542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22926 13086 16 0 209468 0 vsize: 837936 [startup+110.008 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 12147 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 10297 45 0 0 25 0 11 0 837061446 858046464 22939 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22939 13086 16 0 209468 0 vsize: 837936 [startup+120.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 12147 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 11291 45 0 0 25 0 11 0 837061446 858046464 22957 4294967295 134512640 134569956 3221224368 3221214680 1131425888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22957 13086 16 0 209468 0 vsize: 837936 [startup+130.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 12147 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 12277 46 0 0 25 0 11 0 837061446 858046464 22972 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22972 13086 16 0 209468 0 vsize: 837936 [startup+140.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 12149 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 13269 46 0 0 25 0 11 0 837061446 858046464 22985 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22985 13086 16 0 209468 0 vsize: 837936 [startup+150.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 12149 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 14262 47 0 0 25 0 11 0 837061446 858046464 22998 4294967295 134512640 134569956 3221224368 3221214592 1131341126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 22998 13086 16 0 209468 0 vsize: 837936 [startup+160.009 s] Raw data (loadavg): 1.08 1.03 1.00 2/65 12149 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 15254 47 0 0 25 0 11 0 837061446 858046464 23013 4294967295 134512640 134569956 3221224368 3221214592 1131341791 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23013 13086 16 0 209468 0 vsize: 837936 [startup+170.01 s] Raw data (loadavg): 1.07 1.03 1.00 2/65 12149 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 16248 48 0 0 25 0 11 0 837061446 858046464 23046 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23046 13086 16 0 209468 0 vsize: 837936 [startup+180.011 s] Raw data (loadavg): 1.06 1.03 1.00 2/65 12149 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 17241 48 0 0 25 0 11 0 837061446 858046464 23055 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23055 13086 16 0 209468 0 vsize: 837936 [startup+190.012 s] Raw data (loadavg): 1.05 1.03 1.00 2/65 12149 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 18236 48 0 0 25 0 11 0 837061446 858046464 23064 4294967295 134512640 134569956 3221224368 3221214680 1131429077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23064 13086 16 0 209468 0 vsize: 837936 [startup+200.012 s] Raw data (loadavg): 1.04 1.03 1.00 2/65 12151 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 19230 49 0 0 25 0 11 0 837061446 858046464 23071 4294967295 134512640 134569956 3221224368 3221214592 1131341284 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23071 13086 16 0 209468 0 vsize: 837936 [startup+210.013 s] Raw data (loadavg): 1.04 1.03 1.00 2/65 12151 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 20225 49 0 0 25 0 11 0 837061446 858046464 23087 4294967295 134512640 134569956 3221224368 3221214680 1131429190 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23087 13086 16 0 209468 0 vsize: 837936 [startup+220.014 s] Raw data (loadavg): 1.03 1.02 1.00 2/65 12151 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 21219 50 0 0 25 0 11 0 837061446 858046464 23096 4294967295 134512640 134569956 3221224368 3221214680 1131425900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23096 13086 16 0 209468 0 vsize: 837936 [startup+230.015 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 12151 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 22214 50 0 0 25 0 11 0 837061446 858046464 23103 4294967295 134512640 134569956 3221224368 3221214592 1131341233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23103 13086 16 0 209468 0 vsize: 837936 [startup+240.015 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 12151 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 23208 51 0 0 25 0 11 0 837061446 858046464 23112 4294967295 134512640 134569956 3221224368 3221214520 1131455821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23112 13086 16 0 209468 0 vsize: 837936 [startup+250.016 s] Raw data (loadavg): 1.02 1.02 1.00 2/65 12151 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 24203 51 0 0 25 0 11 0 837061446 858046464 23120 4294967295 134512640 134569956 3221224368 3221214592 1131341681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23120 13086 16 0 209468 0 vsize: 837936 [startup+260.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 12153 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 25197 52 0 0 25 0 11 0 837061446 858046464 23124 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23124 13086 16 0 209468 0 vsize: 837936 [startup+270.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 12153 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 26192 52 0 0 25 0 11 0 837061446 858046464 23133 4294967295 134512640 134569956 3221224368 3221214592 1131341221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23133 13086 16 0 209468 0 vsize: 837936 [startup+280.019 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 12153 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 27187 53 0 0 25 0 11 0 837061446 858046464 23140 4294967295 134512640 134569956 3221224368 3221214592 1131216501 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23140 13086 16 0 209468 0 vsize: 837936 [startup+290.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 12153 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 28182 53 0 0 25 0 11 0 837061446 858046464 23149 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23149 13086 16 0 209468 0 vsize: 837936 [startup+300.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/65 12153 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 29177 53 0 0 25 0 11 0 837061446 858046464 23153 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23153 13086 16 0 209468 0 vsize: 837936 [startup+310.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 12153 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 30172 53 0 0 25 0 11 0 837061446 858046464 23162 4294967295 134512640 134569956 3221224368 3221214592 1131341010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23162 13086 16 0 209468 0 vsize: 837936 [startup+320.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/65 12155 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 31168 53 0 0 25 0 11 0 837061446 858046464 23170 4294967295 134512640 134569956 3221224368 3221214680 1131430014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23170 13086 16 0 209468 0 vsize: 837936 [startup+330.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12155 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 32163 54 0 0 25 0 11 0 837061446 858046464 23174 4294967295 134512640 134569956 3221224368 3221214592 1131341783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23174 13086 16 0 209468 0 vsize: 837936 [startup+340.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12155 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 33158 54 0 0 25 0 11 0 837061446 858046464 23182 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23182 13086 16 0 209468 0 vsize: 837936 [startup+350.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12155 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 34154 54 0 0 25 0 11 0 837061446 858046464 23186 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23186 13086 16 0 209468 0 vsize: 837936 [startup+360.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12155 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 35149 54 0 0 25 0 11 0 837061446 858046464 23195 4294967295 134512640 134569956 3221224368 3221214592 1131341209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23195 13086 16 0 209468 0 vsize: 837936 [startup+370.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12155 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 36144 54 0 0 25 0 11 0 837061446 858046464 23199 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23199 13086 16 0 209468 0 vsize: 837936 [startup+380.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12157 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 37139 54 0 0 25 0 11 0 837061446 858046464 23207 4294967295 134512640 134569956 3221224368 3221214680 1131425882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23207 13086 16 0 209468 0 vsize: 837936 [startup+390.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12157 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 38135 54 0 0 25 0 11 0 837061446 858046464 23212 4294967295 134512640 134569956 3221224368 3221214680 1131429469 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23212 13086 16 0 209468 0 vsize: 837936 [startup+400.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12157 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 39130 54 0 0 25 0 11 0 837061446 858046464 23219 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23219 13086 16 0 209468 0 vsize: 837936 [startup+410.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12157 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 40124 54 0 0 25 0 11 0 837061446 858046464 23223 4294967295 134512640 134569956 3221224368 3221214680 1131426905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23223 13086 16 0 209468 0 vsize: 837936 [startup+420.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/65 12157 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 41116 55 0 0 25 0 11 0 837061446 858046464 23229 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23229 13086 16 0 209468 0 vsize: 837936 [startup+430.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12157 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 42107 55 0 0 25 0 11 0 837061446 858046464 23246 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23246 13086 16 0 209468 0 vsize: 837936 [startup+440.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12159 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 43099 55 0 0 25 0 11 0 837061446 858046464 23260 4294967295 134512640 134569956 3221224368 3221214592 1131341093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23260 13086 16 0 209468 0 vsize: 837936 [startup+450.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12159 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 44092 55 0 0 25 0 11 0 837061446 858046464 23280 4294967295 134512640 134569956 3221224368 3221214720 1131355357 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23280 13086 16 0 209468 0 vsize: 837936 [startup+460.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12159 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 45087 55 0 0 25 0 11 0 837061446 858046464 23308 4294967295 134512640 134569956 3221224368 3221214592 1131341221 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23308 13086 16 0 209468 0 vsize: 837936 [startup+470.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12159 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 46082 55 0 0 25 0 11 0 837061446 858046464 23312 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23312 13086 16 0 209468 0 vsize: 837936 [startup+480.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12159 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 47076 55 0 0 25 0 11 0 837061446 858046464 23317 4294967295 134512640 134569956 3221224368 3221214592 1131341284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23317 13086 16 0 209468 0 vsize: 837936 [startup+490.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12159 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 48070 55 0 0 25 0 11 0 837061446 858046464 23325 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23325 13086 16 0 209468 0 vsize: 837936 [startup+500.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12161 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 49065 55 0 0 25 0 11 0 837061446 858046464 23329 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23329 13086 16 0 209468 0 vsize: 837936 [startup+510.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12161 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 50060 55 0 0 25 0 11 0 837061446 858046464 23337 4294967295 134512640 134569956 3221224368 3221214680 1131425326 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23337 13086 16 0 209468 0 vsize: 837936 [startup+520.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12161 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 51054 55 0 0 25 0 11 0 837061446 858046464 23341 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23341 13086 16 0 209468 0 vsize: 837936 [startup+530.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12161 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 52049 56 0 0 25 0 11 0 837061446 858046464 23348 4294967295 134512640 134569956 3221224368 3221214680 1131423869 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23348 13086 16 0 209468 0 vsize: 837936 [startup+540.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12161 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 53044 56 0 0 25 0 11 0 837061446 858046464 23354 4294967295 134512640 134569956 3221224368 3221214676 1131216480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23354 13086 16 0 209468 0 vsize: 837936 [startup+550.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12161 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 54039 56 0 0 25 0 11 0 837061446 858046464 23357 4294967295 134512640 134569956 3221224368 3221214520 1131223997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23357 13086 16 0 209468 0 vsize: 837936 [startup+560.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12163 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 55034 56 0 0 25 0 11 0 837061446 858046464 23361 4294967295 134512640 134569956 3221224368 3221214592 1131342326 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23361 13086 16 0 209468 0 vsize: 837936 [startup+570.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12163 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 56029 56 0 0 25 0 11 0 837061446 858046464 23365 4294967295 134512640 134569956 3221224368 3221214680 1131430014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23365 13086 16 0 209468 0 vsize: 837936 [startup+580.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12163 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 57023 56 0 0 25 0 11 0 837061446 858046464 23370 4294967295 134512640 134569956 3221224368 3221214680 1131429770 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23370 13086 16 0 209468 0 vsize: 837936 [startup+590.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12163 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 58018 57 0 0 25 0 11 0 837061446 858046464 23378 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23378 13086 16 0 209468 0 vsize: 837936 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12163 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 59013 57 0 0 25 0 11 0 837061446 858046464 23382 4294967295 134512640 134569956 3221224368 3221213904 1078831329 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23382 13086 16 0 209468 0 vsize: 837936 [startup+610.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12163 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 60008 57 0 0 25 0 11 0 837061446 858046464 23387 4294967295 134512640 134569956 3221224368 3221214592 1131341261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23387 13086 16 0 209468 0 vsize: 837936 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12165 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 61003 57 0 0 25 0 11 0 837061446 858046464 23391 4294967295 134512640 134569956 3221224368 3221214592 1131341980 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23391 13086 16 0 209468 0 vsize: 837936 [startup+630.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12165 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 61998 57 0 0 25 0 11 0 837061446 858046464 23395 4294967295 134512640 134569956 3221224368 3221214592 1131340989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23395 13086 16 0 209468 0 vsize: 837936 [startup+640.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12165 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 62993 57 0 0 25 0 11 0 837061446 858046464 23398 4294967295 134512640 134569956 3221224368 3221214676 1131216480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23398 13086 16 0 209468 0 vsize: 837936 [startup+650.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12165 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 63987 57 0 0 25 0 11 0 837061446 858046464 23403 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23403 13086 16 0 209468 0 vsize: 837936 [startup+660.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12165 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 64982 57 0 0 25 0 11 0 837061446 858046464 23407 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23407 13086 16 0 209468 0 vsize: 837936 [startup+670.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12165 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 65977 57 0 0 25 0 11 0 837061446 858046464 23411 4294967295 134512640 134569956 3221224368 3221214592 1131341166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23411 13086 16 0 209468 0 vsize: 837936 [startup+680.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12167 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 66972 57 0 0 25 0 11 0 837061446 858046464 23415 4294967295 134512640 134569956 3221224368 3221214672 1131195068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23415 13086 16 0 209468 0 vsize: 837936 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12167 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 67967 57 0 0 25 0 11 0 837061446 858046464 23420 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23420 13086 16 0 209468 0 vsize: 837936 [startup+700.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12167 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 68962 57 0 0 25 0 11 0 837061446 858046464 23424 4294967295 134512640 134569956 3221224368 3221214592 1131340989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23424 13086 16 0 209468 0 vsize: 837936 [startup+710.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12167 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 69957 58 0 0 25 0 11 0 837061446 858046464 23428 4294967295 134512640 134569956 3221224368 3221214520 1131225253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23428 13086 16 0 209468 0 vsize: 837936 [startup+720.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12167 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 70952 58 0 0 25 0 11 0 837061446 858046464 23431 4294967295 134512640 134569956 3221224368 3221214592 1131341689 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23431 13086 16 0 209468 0 vsize: 837936 [startup+730.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12167 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 71947 58 0 0 25 0 11 0 837061446 858046464 23436 4294967295 134512640 134569956 3221224368 3221214592 1131340919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23436 13086 16 0 209468 0 vsize: 837936 [startup+740.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12169 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 72942 58 0 0 25 0 11 0 837061446 858046464 23440 4294967295 134512640 134569956 3221224368 3221214680 1131424010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23440 13086 16 0 209468 0 vsize: 837936 [startup+750.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12169 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 73937 58 0 0 25 0 11 0 837061446 858046464 23444 4294967295 134512640 134569956 3221224368 3221214592 1131341016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23444 13086 16 0 209468 0 vsize: 837936 [startup+760.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12169 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 74932 58 0 0 25 0 11 0 837061446 858046464 23448 4294967295 134512640 134569956 3221224368 3221214680 1131425348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23448 13086 16 0 209468 0 vsize: 837936 [startup+770.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12169 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 75926 58 0 0 25 0 11 0 837061446 858046464 23453 4294967295 134512640 134569956 3221224368 3221214680 1131429137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23453 13086 16 0 209468 0 vsize: 837936 [startup+780.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12169 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 76921 58 0 0 25 0 11 0 837061446 858046464 23457 4294967295 134512640 134569956 3221224368 3221214680 1131425900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23457 13086 16 0 209468 0 vsize: 837936 [startup+790.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12169 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 77916 58 0 0 25 0 11 0 837061446 858046464 23461 4294967295 134512640 134569956 3221224368 3221214576 1131332075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23461 13086 16 0 209468 0 vsize: 837936 [startup+800.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12171 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 78911 58 0 0 25 0 11 0 837061446 858046464 23464 4294967295 134512640 134569956 3221224368 3221214680 1131423843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23464 13086 16 0 209468 0 vsize: 837936 [startup+810.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12171 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 79906 58 0 0 25 0 11 0 837061446 858046464 23469 4294967295 134512640 134569956 3221224368 3221214680 1131425900 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23469 13086 16 0 209468 0 vsize: 837936 [startup+820.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12171 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 80901 59 0 0 25 0 11 0 837061446 858046464 23473 4294967295 134512640 134569956 3221224368 3221214680 1131423812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23473 13086 16 0 209468 0 vsize: 837936 [startup+830.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12171 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 81895 59 0 0 25 0 11 0 837061446 858046464 23477 4294967295 134512640 134569956 3221224368 3221214592 1131341290 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23477 13086 16 0 209468 0 vsize: 837936 [startup+840.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12171 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 82889 60 0 0 25 0 11 0 837061446 858046464 23481 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23481 13086 16 0 209468 0 vsize: 837936 [startup+850.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12171 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 83882 60 0 0 25 0 11 0 837061446 858046464 23486 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23486 13086 16 0 209468 0 vsize: 837936 [startup+860.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12173 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 84876 61 0 0 25 0 11 0 837061446 858046464 23490 4294967295 134512640 134569956 3221224368 3221214680 1131425885 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23490 13086 16 0 209468 0 vsize: 837936 [startup+870.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12173 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 85869 61 0 0 25 0 11 0 837061446 858046464 23494 4294967295 134512640 134569956 3221224368 3221214592 1131341140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23494 13086 16 0 209468 0 vsize: 837936 [startup+880.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12173 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 86864 61 0 0 25 0 11 0 837061446 858046464 23498 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23498 13086 16 0 209468 0 vsize: 837936 [startup+890.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12173 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 87857 61 0 0 25 0 11 0 837061446 858046464 23503 4294967295 134512640 134569956 3221224368 3221214576 1131332068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23503 13086 16 0 209468 0 vsize: 837936 [startup+900.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12173 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 88851 62 0 0 25 0 11 0 837061446 858046464 23503 4294967295 134512640 134569956 3221224368 3221214592 1131342276 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23503 13086 16 0 209468 0 vsize: 837936 [startup+910.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12173 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 89846 62 0 0 25 0 11 0 837061446 858046464 23507 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23507 13086 16 0 209468 0 vsize: 837936 [startup+920.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12175 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 90839 62 0 0 25 0 11 0 837061446 858046464 23511 4294967295 134512640 134569956 3221224368 3221214856 1131504671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23511 13086 16 0 209468 0 vsize: 837936 [startup+930.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12175 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 91834 63 0 0 25 0 11 0 837061446 858046464 23515 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23515 13086 16 0 209468 0 vsize: 837936 [startup+940.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12175 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 92828 63 0 0 25 0 11 0 837061446 858046464 23520 4294967295 134512640 134569956 3221224368 3221214680 1131426952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23520 13086 16 0 209468 0 vsize: 837936 [startup+950.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12175 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 93822 63 0 0 25 0 11 0 837061446 858046464 23524 4294967295 134512640 134569956 3221224368 3221214672 1131225083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23524 13086 16 0 209468 0 vsize: 837936 [startup+960.067 s] Raw data (loadavg): 1.07 1.02 1.00 2/65 12175 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 94816 63 0 0 25 0 11 0 837061446 858046464 23528 4294967295 134512640 134569956 3221224368 3221214592 1131342292 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23528 13086 16 0 209468 0 vsize: 837936 [startup+970.067 s] Raw data (loadavg): 1.06 1.02 1.00 2/65 12175 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 95810 64 0 0 25 0 11 0 837061446 858046464 23532 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23532 13086 16 0 209468 0 vsize: 837936 [startup+980.068 s] Raw data (loadavg): 1.05 1.01 1.00 2/65 12177 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 96804 64 0 0 25 0 11 0 837061446 858046464 23532 4294967295 134512640 134569956 3221224368 3221214592 1131341412 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23532 13086 16 0 209468 0 vsize: 837936 [startup+990.069 s] Raw data (loadavg): 1.04 1.01 1.00 2/65 12177 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 97798 65 0 0 25 0 11 0 837061446 858046464 23537 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23537 13086 16 0 209468 0 vsize: 837936 [startup+1000.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/65 12177 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 98792 65 0 0 25 0 11 0 837061446 858046464 23540 4294967295 134512640 134569956 3221224368 3221214592 1131216956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23540 13086 16 0 209468 0 vsize: 837936 [startup+1010.07 s] Raw data (loadavg): 1.03 1.01 1.00 2/65 12177 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 99786 65 0 0 25 0 11 0 837061446 858046464 23544 4294967295 134512640 134569956 3221224368 3221214680 1131430695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23544 13086 16 0 209468 0 vsize: 837936 [startup+1020.07 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 12177 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 100780 65 0 0 25 0 11 0 837061446 858046464 23548 4294967295 134512640 134569956 3221224368 3221214680 1131423843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23548 13086 16 0 209468 0 vsize: 837936 [startup+1030.07 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 12177 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 101775 66 0 0 25 0 11 0 837061446 858046464 23553 4294967295 134512640 134569956 3221224368 3221214680 1131423812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23553 13086 16 0 209468 0 vsize: 837936 [startup+1040.07 s] Raw data (loadavg): 1.02 1.01 1.00 2/65 12179 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 102768 66 0 0 25 0 11 0 837061446 858046464 23553 4294967295 134512640 134569956 3221224368 3221214680 1131425542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23553 13086 16 0 209468 0 vsize: 837936 [startup+1050.07 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 12179 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 103762 66 0 0 25 0 11 0 837061446 858046464 23557 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209484 23557 13086 16 0 209468 0 vsize: 837936 [startup+1060.07 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 12179 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 104756 67 0 0 25 0 11 0 837061446 858046464 23561 4294967295 134512640 134569956 3221224368 3221214592 1131341054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23561 13086 16 0 209468 0 vsize: 837936 [startup+1070.07 s] Raw data (loadavg): 1.01 1.01 1.00 2/65 12179 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 105750 67 0 0 25 0 11 0 837061446 858046464 23564 4294967295 134512640 134569956 3221224368 3221214592 1131340955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23564 13086 16 0 209468 0 vsize: 837936 [startup+1080.08 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 12179 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 106744 67 0 0 25 0 11 0 837061446 858046464 23569 4294967295 134512640 134569956 3221224368 3221214680 1131429612 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23569 13086 16 0 209468 0 vsize: 837936 [startup+1090.08 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 12179 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 107738 68 0 0 25 0 11 0 837061446 858046464 23569 4294967295 134512640 134569956 3221224368 3221214576 1131332161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23569 13086 16 0 209468 0 vsize: 837936 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12181 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 108732 68 0 0 25 0 11 0 837061446 858046464 23573 4294967295 134512640 134569956 3221224368 3221214592 1131341407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23573 13086 16 0 209468 0 vsize: 837936 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12181 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 109725 68 0 0 25 0 11 0 837061446 858046464 23577 4294967295 134512640 134569956 3221224368 3221214576 1131332023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23577 13086 16 0 209468 0 vsize: 837936 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12181 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 110720 69 0 0 25 0 11 0 837061446 858046464 23581 4294967295 134512640 134569956 3221224368 3221214592 1131341209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23581 13086 16 0 209468 0 vsize: 837936 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12181 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 111715 69 0 0 25 0 11 0 837061446 858046464 23586 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23586 13086 16 0 209468 0 vsize: 837936 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12181 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 112709 69 0 0 25 0 11 0 837061446 858046464 23586 4294967295 134512640 134569956 3221224368 3221214680 1131423865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23586 13086 16 0 209468 0 vsize: 837936 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12181 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 113704 70 0 0 25 0 11 0 837061446 858046464 23590 4294967295 134512640 134569956 3221224368 3221214680 1131429157 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23590 13086 16 0 209468 0 vsize: 837936 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12183 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 114697 71 0 0 25 0 11 0 837061446 858046464 23595 4294967295 134512640 134569956 3221224368 3221214680 1131423819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23595 13086 16 0 209468 0 vsize: 837936 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12183 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 115691 71 0 0 25 0 11 0 837061446 858046464 23598 4294967295 134512640 134569956 3221224368 3221214592 1131341033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23598 13086 16 0 209468 0 vsize: 837936 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12183 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 116686 71 0 0 25 0 11 0 837061446 858046464 23603 4294967295 134512640 134569956 3221224368 3221214680 1131429204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23603 13086 16 0 209468 0 vsize: 837936 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12183 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 117681 72 0 0 25 0 11 0 837061446 858046464 23603 4294967295 134512640 134569956 3221224368 3221214592 1131341605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23603 13086 16 0 209468 0 vsize: 837936 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12183 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 118676 72 0 0 25 0 11 0 837061446 858046464 23607 4294967295 134512640 134569956 3221224368 3221214592 1131340987 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23607 13086 16 0 209468 0 vsize: 837936 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12183 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 119670 72 0 0 25 0 11 0 837061446 858046464 23611 4294967295 134512640 134569956 3221224368 3221214680 1131424989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23611 13086 16 0 209468 0 vsize: 837936 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 12185 Raw data (stat): 12133 (java) R 12132 29618 29617 0 -1 0 18072 0 1 0 120665 73 0 0 25 0 11 0 837061446 858046464 23615 4294967295 134512640 134569956 3221224368 3221214680 1131429784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209484 23615 13086 16 0 209468 0 vsize: 837936 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.16 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 12187 Raw data (stat): 12133 (java) Z 12132 29618 29617 0 -1 1036 18072 4281 1 0 120666 73 1001 21 25 0 1 0 837061446 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1220.16 CPU time (s): 1217.63 CPU user time (s): 1216.68 CPU system time (s): 0.947855 CPU usage (%): 99.7926 Max. virtual memory (Kb): 840356 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####