Name | normalized-opb/submitted/een/normalized-p0282.opb |
MD5SUM | dd62132555621025f45a5a6099c90742 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 258411 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 282 |
Biggest coefficient in the objective function | 160646 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 1302615 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 160646 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1302615 |
Number of bits of the biggest sum of numbers | 21 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Number of variables | 282 |
Total number of constraints | 221 |
Number of constraints which are clauses | 177 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 44 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 57 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 07:20:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20799 boxname=wulflinc25 idbench=389 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: dd62132555621025f45a5a6099c90742 /oldhome/oroussel/tmp/wulflinc25/normalized-p0282.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-p0282.opb IDLAUNCH: 20799 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 453456 kB Buffers: 26560 kB Cached: 531200 kB SwapCached: 588 kB Active: 75252 kB Inactive: 484712 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 453204 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5604 kB Slab: 15684 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 07:40:38 (client local time) WITH STATUS 143 IN 1239.61 SECONDS stats: 20799 0 1239.61 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/wulflinc25/normalized-p0282.opb c reading problem ... done. Time 0.823 ms. c #vars 282 c #constraints 221 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 457129 Current CPU time: 1.00 ms c CURRENT OPTIMUM= 453986 Current CPU time: 1.31 ms c CURRENT OPTIMUM= 415236 Current CPU time: 3.22 ms c CURRENT OPTIMUM= 389423 Current CPU time: 3.55 ms c CURRENT OPTIMUM= 387686 Current CPU time: 9.54 ms c CURRENT OPTIMUM= 386195 Current CPU time: 12.04 ms c CURRENT OPTIMUM= 382094 Current CPU time: 13.38 ms c CURRENT OPTIMUM= 373412 Current CPU time: 14.04 ms c CURRENT OPTIMUM= 372898 Current CPU time: 43.21 ms c CURRENT OPTIMUM= 372897 Current CPU time: 44.51 ms c CURRENT OPTIMUM= 372700 Current CPU time: 46.07 ms c CURRENT OPTIMUM= 372665 Current CPU time: 47.54 ms c CURRENT OPTIMUM= 372655 Current CPU time: 134.88 ms c CURRENT OPTIMUM= 372596 Current CPU time: 270.63 ms c CURRENT OPTIMUM= 372286 Current CPU time: 426.87 ms c CURRENT OPTIMUM= 371861 Current CPU time: 437.27 ms c CURRENT OPTIMUM= 353173 Current CPU time: 450.51 ms c CURRENT OPTIMUM= 350992 Current CPU time: 455.73 ms c CURRENT OPTIMUM= 350855 Current CPU time: 460.32 ms c CURRENT OPTIMUM= 349468 Current CPU time: 464.99 ms c CURRENT OPTIMUM= 349331 Current CPU time: 469.57 ms c CURRENT OPTIMUM= 349029 Current CPU time: 474.27 ms c CURRENT OPTIMUM= 348892 Current CPU time: 478.89 ms c CURRENT OPTIMUM= 347505 Current CPU time: 483.60 ms c CURRENT OPTIMUM= 347368 Current CPU time: 488.18 ms c CURRENT OPTIMUM= 339836 Current CPU time: 493.10 ms c CURRENT OPTIMUM= 339699 Current CPU time: 497.88 ms c CURRENT OPTIMUM= 337446 Current CPU time: 502.76 ms c CURRENT OPTIMUM= 337309 Current CPU time: 507.66 ms c CURRENT OPTIMUM= 335922 Current CPU time: 512.66 ms c CURRENT OPTIMUM= 335785 Current CPU time: 517.55 ms c CURRENT OPTIMUM= 335483 Current CPU time: 522.60 ms c CURRENT OPTIMUM= 335346 Current CPU time: 527.53 ms c CURRENT OPTIMUM= 333959 Current CPU time: 532.54 ms c CURRENT OPTIMUM= 333822 Current CPU time: 537.43 ms c CURRENT OPTIMUM= 333410 Current CPU time: 542.39 ms c CURRENT OPTIMUM= 333273 Current CPU time: 547.24 ms c CURRENT OPTIMUM= 332177 Current CPU time: 552.60 ms c starts : 45 c conflicts : 860 c decisions : 16490 c propagations : 34268 c inspects : 1150312 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 859 c root simplifications : 45 s SATISFIABLE v -x0 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 x248 -x249 -x250 x251 -x252 x253 x254 -x255 x256 -x257 -x258 -x259 x260 x261 x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 x271 x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 c objectif function=332177 c Total CPU time (ms) : 1229.147 #### 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.85 0.97 0.99 2/54 11602 Raw data (stat): 11602 (runsolver) R 11601 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837044653 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 1.10 1.02 1.01 2/64 11616 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18130 3 1 0 707 38 0 0 25 0 11 0 837044653 859779072 20349 4294967295 134512640 134569956 3221224384 3221214592 1131188248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209907 20349 13086 16 0 209891 0 vsize: 839628 [startup+20.001 s] Raw data (loadavg): 1.09 1.02 1.00 2/64 11620 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18131 3 1 0 1669 38 0 0 25 0 11 0 837044653 859152384 20302 4294967295 134512640 134569956 3221224384 3221214536 1131214815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 20302 13086 16 0 209738 0 vsize: 839016 [startup+30.0016 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 11620 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18131 3 1 0 2625 39 0 0 25 0 11 0 837044653 859152384 20596 4294967295 134512640 134569956 3221224384 3221214592 1131188248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 20596 13086 16 0 209738 0 vsize: 839016 [startup+40.0017 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 11620 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 3560 39 0 0 25 0 11 0 837044653 859152384 20883 4294967295 134512640 134569956 3221224384 3221214592 1131188205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 20883 13086 16 0 209738 0 vsize: 839016 [startup+50.0017 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 4507 39 0 0 25 0 11 0 837044653 859152384 21227 4294967295 134512640 134569956 3221224384 3221214592 1131188725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 21227 13086 16 0 209738 0 vsize: 839016 [startup+60.0023 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 5462 39 0 0 25 0 11 0 837044653 859152384 21394 4294967295 134512640 134569956 3221224384 3221214696 1131299211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 21394 13086 16 0 209738 0 vsize: 839016 [startup+70.003 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 6430 39 0 0 25 0 11 0 837044653 859152384 21549 4294967295 134512640 134569956 3221224384 3221214628 1131199555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 21549 13086 16 0 209738 0 vsize: 839016 [startup+80.0036 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 7404 40 0 0 25 0 11 0 837044653 859152384 21658 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 21658 13086 16 0 209738 0 vsize: 839016 [startup+90.0042 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 8378 40 0 0 25 0 11 0 837044653 859152384 21736 4294967295 134512640 134569956 3221224384 3221214696 1131300355 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 21736 13086 16 0 209738 0 vsize: 839016 [startup+100.003 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 9353 40 0 0 25 0 11 0 837044653 859152384 21795 4294967295 134512640 134569956 3221224384 3221214592 1131189115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 21795 13086 16 0 209738 0 vsize: 839016 [startup+110.004 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 10328 40 0 0 25 0 11 0 837044653 859152384 21856 4294967295 134512640 134569956 3221224384 3221214592 1131189065 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 21856 13086 16 0 209738 0 vsize: 839016 [startup+120.005 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 11302 40 0 0 25 0 11 0 837044653 859152384 21940 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 21940 13086 16 0 209738 0 vsize: 839016 [startup+130.006 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 11624 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 12278 41 0 0 25 0 11 0 837044653 859152384 21978 4294967295 134512640 134569956 3221224384 3221214592 1131188448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 21978 13086 16 0 209738 0 vsize: 839016 [startup+140.006 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 13257 41 0 0 25 0 11 0 837044653 859152384 22044 4294967295 134512640 134569956 3221224384 3221214592 1131188376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22044 13086 16 0 209738 0 vsize: 839016 [startup+150.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 14230 41 0 0 25 0 11 0 837044653 859152384 22117 4294967295 134512640 134569956 3221224384 3221214544 1131201625 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22117 13086 16 0 209738 0 vsize: 839016 [startup+160.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 15206 41 0 0 25 0 11 0 837044653 859152384 22169 4294967295 134512640 134569956 3221224384 3221214592 1131189109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22169 13086 16 0 209738 0 vsize: 839016 [startup+170.007 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 16185 41 0 0 25 0 11 0 837044653 859152384 22238 4294967295 134512640 134569956 3221224384 3221214528 1131201885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22238 13086 16 0 209738 0 vsize: 839016 [startup+180.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 17164 42 0 0 25 0 11 0 837044653 859152384 22312 4294967295 134512640 134569956 3221224384 3221214592 1131188298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22312 13086 16 0 209738 0 vsize: 839016 [startup+190.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 18146 42 0 0 25 0 11 0 837044653 859152384 22350 4294967295 134512640 134569956 3221224384 3221214592 1131187943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22350 13086 16 0 209738 0 vsize: 839016 [startup+200.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 19128 43 0 0 25 0 11 0 837044653 859152384 22382 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22382 13086 16 0 209738 0 vsize: 839016 [startup+210.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) S 11601 1586 1585 0 -1 0 18132 3 1 0 20107 43 0 0 25 0 11 0 837044653 859152384 22436 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22436 13086 16 0 209738 0 vsize: 839016 [startup+220.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 21089 43 0 0 19 0 11 0 837044653 859152384 22479 4294967295 134512640 134569956 3221224384 3221214696 1131303530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22479 13086 16 0 209738 0 vsize: 839016 [startup+230.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 22071 44 0 0 25 0 11 0 837044653 859152384 22534 4294967295 134512640 134569956 3221224384 3221214592 1131188219 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22534 13086 16 0 209738 0 vsize: 839016 [startup+240.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 23053 44 0 0 24 0 11 0 837044653 859152384 22571 4294967295 134512640 134569956 3221224384 3221214592 1131188154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 22571 13086 16 0 209738 0 vsize: 839016 [startup+250.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 24038 44 0 0 25 0 11 0 837044653 859152384 22601 4294967295 134512640 134569956 3221224384 3221214592 1131188352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 22601 13086 16 0 209738 0 vsize: 839016 [startup+260.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 25021 45 0 0 25 0 11 0 837044653 859152384 22641 4294967295 134512640 134569956 3221224384 3221214592 1131189121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22641 13086 16 0 209738 0 vsize: 839016 [startup+270.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11625 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 26005 45 0 0 25 0 11 0 837044653 859152384 22672 4294967295 134512640 134569956 3221224384 3221214592 1131188409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22672 13086 16 0 209738 0 vsize: 839016 [startup+280.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) S 11601 1586 1585 0 -1 0 18132 3 1 0 26988 45 0 0 25 0 11 0 837044653 859152384 22702 4294967295 134512640 134569956 3221224384 3221213232 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22702 13086 16 0 209738 0 vsize: 839016 [startup+290.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 27973 45 0 0 25 0 11 0 837044653 859152384 22742 4294967295 134512640 134569956 3221224384 3221214280 1131495536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22742 13086 16 0 209738 0 vsize: 839016 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 28954 45 0 0 25 0 11 0 837044653 859152384 22769 4294967295 134512640 134569956 3221224384 3221214592 1131187894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22769 13086 16 0 209738 0 vsize: 839016 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 29938 46 0 0 24 0 11 0 837044653 859152384 22803 4294967295 134512640 134569956 3221224384 3221214592 1131188200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22803 13086 16 0 209738 0 vsize: 839016 [startup+320.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 30924 46 0 0 25 0 11 0 837044653 859152384 22848 4294967295 134512640 134569956 3221224384 3221214592 1131188456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22848 13086 16 0 209738 0 vsize: 839016 [startup+330.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 31904 46 0 0 25 0 11 0 837044653 859152384 22873 4294967295 134512640 134569956 3221224384 3221214696 1131300249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22873 13086 16 0 209738 0 vsize: 839016 [startup+340.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 32886 47 0 0 25 0 11 0 837044653 859152384 22899 4294967295 134512640 134569956 3221224384 3221214592 1131189145 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 22899 13086 16 0 209738 0 vsize: 839016 [startup+350.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 33865 47 0 0 25 0 11 0 837044653 859152384 22950 4294967295 134512640 134569956 3221224384 3221214692 1131189205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22950 13086 16 0 209738 0 vsize: 839016 [startup+360.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 34844 47 0 0 25 0 11 0 837044653 859152384 22995 4294967295 134512640 134569956 3221224384 3221214592 1131187897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 22995 13086 16 0 209738 0 vsize: 839016 [startup+370.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 35822 48 0 0 25 0 11 0 837044653 859152384 23044 4294967295 134512640 134569956 3221224384 3221214696 1131299243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23044 13086 16 0 209738 0 vsize: 839016 [startup+380.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 36800 48 0 0 25 0 11 0 837044653 859152384 23073 4294967295 134512640 134569956 3221224384 3221214592 1131188273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23073 13086 16 0 209738 0 vsize: 839016 [startup+390.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 37779 49 0 0 25 0 11 0 837044653 859152384 23137 4294967295 134512640 134569956 3221224384 3221214592 1131188522 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23137 13086 16 0 209738 0 vsize: 839016 [startup+400.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 38761 49 0 0 25 0 11 0 837044653 859152384 23195 4294967295 134512640 134569956 3221224384 3221214696 1131304338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23195 13086 16 0 209738 0 vsize: 839016 [startup+410.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 39746 50 0 0 25 0 11 0 837044653 859152384 23233 4294967295 134512640 134569956 3221224384 3221214552 1131213867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23233 13086 16 0 209738 0 vsize: 839016 [startup+420.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11626 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 40732 50 0 0 25 0 11 0 837044653 859152384 23253 4294967295 134512640 134569956 3221224384 3221214696 1131299019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23253 13086 16 0 209738 0 vsize: 839016 [startup+430.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11627 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 41716 51 0 0 25 0 11 0 837044653 859152384 23284 4294967295 134512640 134569956 3221224384 3221214592 1131188510 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23284 13086 16 0 209738 0 vsize: 839016 [startup+440.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11628 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 42699 52 0 0 25 0 11 0 837044653 859152384 23305 4294967295 134512640 134569956 3221224384 3221214592 1131188248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23305 13086 16 0 209738 0 vsize: 839016 [startup+450.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11628 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 43682 52 0 0 25 0 11 0 837044653 859152384 23357 4294967295 134512640 134569956 3221224384 3221214696 1131300408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23357 13086 16 0 209738 0 vsize: 839016 [startup+460.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11630 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 44669 53 0 0 25 0 11 0 837044653 859152384 23372 4294967295 134512640 134569956 3221224384 3221214696 1131303530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23372 13086 16 0 209738 0 vsize: 839016 [startup+470.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11632 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 45655 53 0 0 25 0 11 0 837044653 859152384 23410 4294967295 134512640 134569956 3221224384 3221214696 1131303530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23410 13086 16 0 209738 0 vsize: 839016 [startup+480.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11635 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 46641 54 0 0 25 0 11 0 837044653 859152384 23428 4294967295 134512640 134569956 3221224384 3221214592 1131188242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23428 13086 16 0 209738 0 vsize: 839016 [startup+490.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11637 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 47628 54 1 0 25 0 11 0 837044653 859152384 23469 4294967295 134512640 134569956 3221224384 3221214592 1131187888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23469 13086 16 0 209738 0 vsize: 839016 [startup+500.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11639 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 48618 54 1 0 25 0 11 0 837044653 859152384 23495 4294967295 134512640 134569956 3221224384 3221214592 1131187936 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23495 13086 16 0 209738 0 vsize: 839016 [startup+510.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11641 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 49609 55 1 0 25 0 11 0 837044653 859152384 23505 4294967295 134512640 134569956 3221224384 3221214696 1131303584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23505 13086 16 0 209738 0 vsize: 839016 [startup+520.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11643 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 50599 55 1 0 25 0 11 0 837044653 859152384 23523 4294967295 134512640 134569956 3221224384 3221214744 1131299162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23523 13086 16 0 209738 0 vsize: 839016 [startup+530.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11645 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 51590 56 1 0 25 0 11 0 837044653 859152384 23534 4294967295 134512640 134569956 3221224384 3221214744 1131303558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23534 13086 16 0 209738 0 vsize: 839016 [startup+540.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11647 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 52581 57 1 1 25 0 11 0 837044653 859152384 23544 4294967295 134512640 134569956 3221224384 3221214744 1131299239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23544 13086 16 0 209738 0 vsize: 839016 [startup+550.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11649 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 53571 57 1 1 25 0 11 0 837044653 859152384 23554 4294967295 134512640 134569956 3221224384 3221214640 1131187882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23554 13086 16 0 209738 0 vsize: 839016 [startup+560.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 54560 57 1 1 25 0 11 0 837044653 859152384 23574 4294967295 134512640 134569956 3221224384 3221214672 1131198099 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23574 13086 16 0 209738 0 vsize: 839016 [startup+570.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 55545 58 1 1 24 0 11 0 837044653 859152384 23584 4294967295 134512640 134569956 3221224384 3221214640 1131189075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23584 13086 16 0 209738 0 vsize: 839016 [startup+580.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 56524 58 1 1 25 0 11 0 837044653 859152384 23595 4294967295 134512640 134569956 3221224384 3221214568 1131201765 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23595 13086 16 0 209738 0 vsize: 839016 [startup+590.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 57500 59 1 1 25 0 11 0 837044653 859152384 23615 4294967295 134512640 134569956 3221224384 3221214640 1131188399 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23615 13086 16 0 209738 0 vsize: 839016 [startup+600.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 58473 59 1 1 24 0 11 0 837044653 859152384 23673 4294967295 134512640 134569956 3221224384 3221214640 1131188270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23673 13086 16 0 209738 0 vsize: 839016 [startup+610.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 59451 59 1 1 25 0 11 0 837044653 859152384 23751 4294967295 134512640 134569956 3221224384 3221214680 1131189109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23751 13086 16 0 209738 0 vsize: 839016 [startup+620.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 60428 60 1 1 25 0 11 0 837044653 859152384 23805 4294967295 134512640 134569956 3221224384 3221214540 1085679260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23805 13086 16 0 209738 0 vsize: 839016 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 61407 60 1 1 25 0 11 0 837044653 859152384 23844 4294967295 134512640 134569956 3221224384 3221214640 1131188579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23844 13086 16 0 209738 0 vsize: 839016 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 62384 60 1 1 25 0 11 0 837044653 859152384 23892 4294967295 134512640 134569956 3221224384 3221214568 1131201547 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23892 13086 16 0 209738 0 vsize: 839016 [startup+650.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 63363 61 1 1 25 0 11 0 837044653 859152384 23936 4294967295 134512640 134569956 3221224384 3221214640 1131188376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23936 13086 16 0 209738 0 vsize: 839016 [startup+660.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 64345 61 1 1 25 0 11 0 837044653 859152384 23980 4294967295 134512640 134569956 3221224384 3221214536 1131390338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 23980 13086 16 0 209738 0 vsize: 839016 [startup+670.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 65323 61 1 1 25 0 11 0 837044653 859152384 24028 4294967295 134512640 134569956 3221224384 3221214640 1131188539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24028 13086 16 0 209738 0 vsize: 839016 [startup+680.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 66298 62 1 1 24 0 11 0 837044653 859152384 24076 4294967295 134512640 134569956 3221224384 3221214744 1131299211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24076 13086 16 0 209738 0 vsize: 839016 [startup+690.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 67275 62 1 1 25 0 11 0 837044653 859152384 24132 4294967295 134512640 134569956 3221224384 3221214744 1131300186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24132 13086 16 0 209738 0 vsize: 839016 [startup+700.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 68255 62 1 1 25 0 11 0 837044653 859152384 24186 4294967295 134512640 134569956 3221224384 3221214552 1131203539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24186 13086 16 0 209738 0 vsize: 839016 [startup+710.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 69235 63 1 1 25 0 11 0 837044653 859152384 24233 4294967295 134512640 134569956 3221224384 3221214744 1131299211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24233 13086 16 0 209738 0 vsize: 839016 [startup+720.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 70219 63 1 1 25 0 11 0 837044653 859152384 24276 4294967295 134512640 134569956 3221224384 3221214640 1131187925 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24276 13086 16 0 209738 0 vsize: 839016 [startup+730.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 71199 63 1 1 25 0 11 0 837044653 859152384 24297 4294967295 134512640 134569956 3221224384 3221214744 1131303473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24297 13086 16 0 209738 0 vsize: 839016 [startup+740.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 72178 64 1 1 25 0 11 0 837044653 859152384 24328 4294967295 134512640 134569956 3221224384 3221214640 1131188248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24328 13086 16 0 209738 0 vsize: 839016 [startup+750.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 73155 64 1 1 25 0 11 0 837044653 859152384 24358 4294967295 134512640 134569956 3221224384 3221214744 1131299239 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24358 13086 16 0 209738 0 vsize: 839016 [startup+760.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) S 11601 1586 1585 0 -1 0 18132 3 1 0 74130 64 1 1 25 0 11 0 837044653 859152384 24431 4294967295 134512640 134569956 3221224384 3221213344 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24431 13086 16 0 209738 0 vsize: 839016 [startup+770.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 75108 65 1 1 25 0 11 0 837044653 859152384 24483 4294967295 134512640 134569956 3221224384 3221214432 1131519083 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24483 13086 16 0 209738 0 vsize: 839016 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 76087 66 1 1 25 0 11 0 837044653 859152384 24540 4294967295 134512640 134569956 3221224384 3221214640 1131188362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24540 13086 16 0 209738 0 vsize: 839016 [startup+790.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 77068 66 1 1 25 0 11 0 837044653 859152384 24595 4294967295 134512640 134569956 3221224384 3221214640 1131188718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24595 13086 16 0 209738 0 vsize: 839016 [startup+800.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 78050 66 1 1 25 0 11 0 837044653 859152384 24624 4294967295 134512640 134569956 3221224384 3221214640 1131187877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24624 13086 16 0 209738 0 vsize: 839016 [startup+810.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 79034 67 1 1 25 0 11 0 837044653 859152384 24659 4294967295 134512640 134569956 3221224384 3221214640 1131188494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24659 13086 16 0 209738 0 vsize: 839016 [startup+820.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 80016 67 1 1 25 0 11 0 837044653 859152384 24685 4294967295 134512640 134569956 3221224384 3221214744 1131304327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24685 13086 16 0 209738 0 vsize: 839016 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 80998 67 1 1 25 0 11 0 837044653 859152384 24709 4294967295 134512640 134569956 3221224384 3221214640 1131188248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24709 13086 16 0 209738 0 vsize: 839016 [startup+840.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 81975 67 1 1 24 0 11 0 837044653 859152384 24749 4294967295 134512640 134569956 3221224384 3221214576 1131214628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24749 13086 16 0 209738 0 vsize: 839016 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 82950 67 1 1 25 0 11 0 837044653 859152384 24792 4294967295 134512640 134569956 3221224384 3221214640 1131188409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24792 13086 16 0 209738 0 vsize: 839016 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 83925 68 1 1 25 0 11 0 837044653 859152384 24852 4294967295 134512640 134569956 3221224384 3221214640 1131188248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24852 13086 16 0 209738 0 vsize: 839016 [startup+870.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 84904 68 1 1 25 0 11 0 837044653 859152384 24912 4294967295 134512640 134569956 3221224384 3221214744 1131300408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24912 13086 16 0 209738 0 vsize: 839016 [startup+880.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 85885 68 1 1 25 0 11 0 837044653 859152384 24959 4294967295 134512640 134569956 3221224384 3221214568 1131201769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 24959 13086 16 0 209738 0 vsize: 839016 [startup+890.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 86864 68 1 1 25 0 11 0 837044653 859152384 24996 4294967295 134512640 134569956 3221224384 3221214624 1131285108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 24996 13086 16 0 209738 0 vsize: 839016 [startup+900.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 87847 69 1 1 25 0 11 0 837044653 859152384 25024 4294967295 134512640 134569956 3221224384 3221214640 1131187894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25024 13086 16 0 209738 0 vsize: 839016 [startup+910.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 88827 69 1 1 25 0 11 0 837044653 859152384 25059 4294967295 134512640 134569956 3221224384 3221214552 1131201832 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25059 13086 16 0 209738 0 vsize: 839016 [startup+920.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 89804 69 1 1 25 0 11 0 837044653 859152384 25134 4294967295 134512640 134569956 3221224384 3221214552 1131201722 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25134 13086 16 0 209738 0 vsize: 839016 [startup+930.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 90787 70 1 1 25 0 11 0 837044653 859152384 25175 4294967295 134512640 134569956 3221224384 3221214552 1131201824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25175 13086 16 0 209738 0 vsize: 839016 [startup+940.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 91763 70 1 1 25 0 11 0 837044653 859152384 25226 4294967295 134512640 134569956 3221224384 3221214460 1074489717 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25226 13086 16 0 209738 0 vsize: 839016 [startup+950.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 92741 70 1 1 25 0 11 0 837044653 859152384 25295 4294967295 134512640 134569956 3221224384 3221214740 1131187852 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25295 13086 16 0 209738 0 vsize: 839016 [startup+960.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 93715 71 1 1 25 0 11 0 837044653 859152384 25364 4294967295 134512640 134569956 3221224384 3221214476 1131492432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25364 13086 16 0 209738 0 vsize: 839016 [startup+970.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 94691 71 1 1 25 0 11 0 837044653 859152384 25452 4294967295 134512640 134569956 3221224384 3221214620 1131208743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25452 13086 16 0 209738 0 vsize: 839016 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 95671 71 1 1 25 0 11 0 837044653 859152384 25522 4294967295 134512640 134569956 3221224384 3221214640 1131188395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25522 13086 16 0 209738 0 vsize: 839016 [startup+990.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 96657 72 1 1 25 0 11 0 837044653 859152384 25586 4294967295 134512640 134569956 3221224384 3221214568 1131201769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 25586 13086 16 0 209738 0 vsize: 839016 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 97649 72 1 1 25 0 11 0 837044653 859152384 25611 4294967295 134512640 134569956 3221224384 3221214424 1131463877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25611 13086 16 0 209738 0 vsize: 839016 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 98636 73 1 1 25 0 11 0 837044653 859152384 25659 4294967295 134512640 134569956 3221224384 3221214552 1131201853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25659 13086 16 0 209738 0 vsize: 839016 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 99622 73 1 1 25 0 11 0 837044653 859152384 25682 4294967295 134512640 134569956 3221224384 3221214496 1131434997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25682 13086 16 0 209738 0 vsize: 839016 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 100606 73 1 1 25 0 11 0 837044653 859152384 25707 4294967295 134512640 134569956 3221224384 3221214496 1131435422 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25707 13086 16 0 209738 0 vsize: 839016 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 101585 74 1 1 25 0 11 0 837044653 859152384 25732 4294967295 134512640 134569956 3221224384 3221214656 1131232398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25732 13086 16 0 209738 0 vsize: 839016 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 102567 74 1 1 25 0 11 0 837044653 859152384 25775 4294967295 134512640 134569956 3221224384 3221214456 1131463548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25775 13086 16 0 209738 0 vsize: 839016 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 103546 75 1 1 25 0 11 0 837044653 859152384 25810 4294967295 134512640 134569956 3221224384 3221214552 1131201657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25810 13086 16 0 209738 0 vsize: 839016 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 104519 75 1 1 25 0 11 0 837044653 859152384 25930 4294967295 134512640 134569956 3221224384 3221214640 1131188448 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 25930 13086 16 0 209738 0 vsize: 839016 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 105501 75 1 1 25 0 11 0 837044653 859152384 26024 4294967295 134512640 134569956 3221224384 3221214640 1131188351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26024 13086 16 0 209738 0 vsize: 839016 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 106473 75 1 1 25 0 11 0 837044653 859152384 26149 4294967295 134512640 134569956 3221224384 3221214680 1131284829 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26149 13086 16 0 209738 0 vsize: 839016 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 107451 76 1 1 25 0 11 0 837044653 859152384 26327 4294967295 134512640 134569956 3221224384 3221214640 1131189301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26327 13086 16 0 209738 0 vsize: 839016 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 108432 76 1 1 25 0 11 0 837044653 859152384 26377 4294967295 134512640 134569956 3221224384 3221214384 1131492433 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26377 13086 16 0 209738 0 vsize: 839016 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 109419 77 1 1 25 0 11 0 837044653 859152384 26428 4294967295 134512640 134569956 3221224384 3221214640 1131188273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26428 13086 16 0 209738 0 vsize: 839016 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 110405 77 1 1 25 0 11 0 837044653 859152384 26445 4294967295 134512640 134569956 3221224384 3221214640 1131187873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26445 13086 16 0 209738 0 vsize: 839016 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 111384 77 1 1 25 0 11 0 837044653 859152384 26494 4294967295 134512640 134569956 3221224384 3221214640 1131188490 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26494 13086 16 0 209738 0 vsize: 839016 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 112368 77 1 1 25 0 11 0 837044653 859152384 26541 4294967295 134512640 134569956 3221224384 3221214552 1131201763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26541 13086 16 0 209738 0 vsize: 839016 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 113358 78 1 1 25 0 11 0 837044653 859152384 26564 4294967295 134512640 134569956 3221224384 3221214568 1131201763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26564 13086 16 0 209738 0 vsize: 839016 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 114344 78 1 1 25 0 11 0 837044653 859152384 26605 4294967295 134512640 134569956 3221224384 3221214592 1131387360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26605 13086 16 0 209738 0 vsize: 839016 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 115337 78 1 1 25 0 11 0 837044653 859152384 26637 4294967295 134512640 134569956 3221224384 3221214104 1080019524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26637 13086 16 0 209738 0 vsize: 839016 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 116320 78 1 1 25 0 11 0 837044653 859152384 26715 4294967295 134512640 134569956 3221224384 3221214640 1131187877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26715 13086 16 0 209738 0 vsize: 839016 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 117301 79 1 1 25 0 11 0 837044653 859152384 26805 4294967295 134512640 134569956 3221224384 3221214552 1131201902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26805 13086 16 0 209738 0 vsize: 839016 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 118288 79 1 1 25 0 11 0 837044653 859152384 26805 4294967295 134512640 134569956 3221224384 3221214744 1131300186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26805 13086 16 0 209738 0 vsize: 839016 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 119267 79 1 1 25 0 11 0 837044653 859152384 26893 4294967295 134512640 134569956 3221224384 3221214552 1131201763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209754 26893 13086 16 0 209738 0 vsize: 839016 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 11650 Raw data (stat): 11602 (java) R 11601 1586 1585 0 -1 0 18132 3 1 0 120260 79 1 1 25 0 11 0 837044653 859152384 26931 4294967295 134512640 134569956 3221224384 3221214552 1131201869 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209754 26931 13086 16 0 209738 0 vsize: 839016 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.17 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 11652 Raw data (stat): 11602 (java) Z 11601 1586 1585 0 -1 1036 18132 12649 1 0 120265 79 3574 42 25 0 1 0 837044653 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): 1230.17 CPU time (s): 1239.61 CPU user time (s): 1238.39 CPU system time (s): 1.22381 CPU usage (%): 100.768 Max. virtual memory (Kb): 839628 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 332177 #### END VERIFIER DATA ####