Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb |
MD5SUM | 33d46caaa6c22613488909eddb5a530f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 162 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 444 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 444 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 444 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 444 |
Total number of constraints | 1408 |
Number of constraints which are clauses | 1408 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-25 05:25:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20568 boxname=wulflinc24 idbench=158 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 33d46caaa6c22613488909eddb5a530f /oldhome/oroussel/tmp/wulflinc24/normalized-ii32e1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-ii32e1.opb IDLAUNCH: 20568 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 694428 kB Buffers: 14172 kB Cached: 304156 kB SwapCached: 524 kB Active: 135884 kB Inactive: 184784 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 694176 kB SwapTotal: 2097892 kB SwapFree: 2096776 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5656 kB Slab: 13784 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 05:46:00 (client local time) WITH STATUS 143 IN 1247.09 SECONDS stats: 20568 0 1247.09 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/wulflinc24/normalized-ii32e1.opb c reading problem ... done. Time 2.277 ms. c #vars 444 c #constraints 1408 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 181 Current CPU time: 3.02 ms c CURRENT OPTIMUM= 176 Current CPU time: 55.93 ms c CURRENT OPTIMUM= 175 Current CPU time: 58.98 ms c CURRENT OPTIMUM= 173 Current CPU time: 69.14 ms c CURRENT OPTIMUM= 167 Current CPU time: 170.10 ms c CURRENT OPTIMUM= 166 Current CPU time: 341.57 ms c CURRENT OPTIMUM= 165 Current CPU time: 957.32 ms c starts : 17 c conflicts : 1627 c decisions : 9105 c propagations : 59437 c inspects : 2750838 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 2 c learned clauses : 1627 c root simplifications : 17 s SATISFIABLE v -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 -x282 -x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 x343 -x344 -x345 x346 x347 -x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 x387 -x388 -x389 x390 -x391 x392 x393 -x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x410 x411 -x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 c objectif function=165 c Total CPU time (ms) : 1249.099 #### 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.91 2/54 18833 Raw data (stat): 18833 (runsolver) R 18832 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836338040 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.09 1.01 0.93 3/64 18844 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18176 3 1 0 720 40 0 0 25 0 11 0 836338040 876023808 23974 4294967295 134512640 134569956 3221224384 3221214528 1131264101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213873 23974 13086 16 0 213857 0 vsize: 855492 [startup+20.0003 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 18844 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 1630 41 0 0 25 0 11 0 836338040 873869312 24239 4294967295 134512640 134569956 3221224384 3221214788 1131167584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 24239 13086 16 0 213331 0 vsize: 853388 [startup+30.0014 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 18844 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 2575 41 0 0 25 0 11 0 836338040 873869312 24529 4294967295 134512640 134569956 3221224384 3221214624 1131310991 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 24529 13086 16 0 213331 0 vsize: 853388 [startup+40.0012 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 18844 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 3510 41 0 0 25 0 11 0 836338040 873869312 24752 4294967295 134512640 134569956 3221224384 3221214704 1131303345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 24752 13086 16 0 213331 0 vsize: 853388 [startup+50.0014 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 18844 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 4446 41 0 0 25 0 11 0 836338040 873869312 24891 4294967295 134512640 134569956 3221224384 3221214784 1131188951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 24891 13086 16 0 213331 0 vsize: 853388 [startup+60.0016 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 18846 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 5375 41 0 0 25 0 11 0 836338040 873869312 25507 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 25507 13086 16 0 213331 0 vsize: 853388 [startup+70.0013 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 18846 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 6325 41 0 0 25 0 11 0 836338040 873869312 25670 4294967295 134512640 134569956 3221224384 3221214704 1131303009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 25670 13086 16 0 213331 0 vsize: 853388 [startup+80.0015 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 7269 41 0 0 25 0 11 0 836338040 873869312 25834 4294967295 134512640 134569956 3221224384 3221214808 1131458164 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 25834 13086 16 0 213331 0 vsize: 853388 [startup+90.0018 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 8214 41 0 0 25 0 11 0 836338040 873869312 25951 4294967295 134512640 134569956 3221224384 3221214744 1131215769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 25951 13086 16 0 213331 0 vsize: 853388 [startup+100.002 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 9162 41 0 0 25 0 11 0 836338040 873869312 26151 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 26151 13086 16 0 213331 0 vsize: 853388 [startup+110.003 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 10090 41 0 0 21 0 11 0 836338040 873869312 26355 4294967295 134512640 134569956 3221224384 3221214704 1131303571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 26355 13086 16 0 213331 0 vsize: 853388 [startup+120.003 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 11030 41 0 0 25 0 11 0 836338040 873869312 26423 4294967295 134512640 134569956 3221224384 3221214704 1131303598 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 26423 13086 16 0 213331 0 vsize: 853388 [startup+130.003 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 11957 41 0 0 24 0 11 0 836338040 873869312 26588 4294967295 134512640 134569956 3221224384 3221214552 1131264058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 26588 13086 16 0 213331 0 vsize: 853388 [startup+140.003 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 12900 41 0 0 25 0 11 0 836338040 873869312 26881 4294967295 134512640 134569956 3221224384 3221214648 1131361033 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 26881 13086 16 0 213331 0 vsize: 853388 [startup+150.004 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 13854 41 0 0 25 0 11 0 836338040 873869312 27082 4294967295 134512640 134569956 3221224384 3221214712 1131264058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27082 13086 16 0 213331 0 vsize: 853388 [startup+160.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18177 3 1 0 14805 42 0 0 25 0 11 0 836338040 873869312 27258 4294967295 134512640 134569956 3221224384 3221214680 1131167681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27258 13086 16 0 213331 0 vsize: 853388 [startup+170.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18847 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 15754 42 0 0 25 0 11 0 836338040 873869312 27387 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27387 13086 16 0 213331 0 vsize: 853388 [startup+180.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 16705 42 0 0 25 0 11 0 836338040 873869312 27517 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27517 13086 16 0 213331 0 vsize: 853388 [startup+190.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 17657 42 0 0 25 0 11 0 836338040 873869312 27640 4294967295 134512640 134569956 3221224384 3221214804 1131302988 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27640 13086 16 0 213331 0 vsize: 853388 [startup+200.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 18615 42 0 0 25 0 11 0 836338040 873869312 27698 4294967295 134512640 134569956 3221224384 3221214552 1131264260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27698 13086 16 0 213331 0 vsize: 853388 [startup+210.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 19581 42 0 0 25 0 11 0 836338040 873869312 27874 4294967295 134512640 134569956 3221224384 3221214552 1131264196 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27874 13086 16 0 213331 0 vsize: 853388 [startup+220.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 20556 42 0 0 25 0 11 0 836338040 873869312 27970 4294967295 134512640 134569956 3221224384 3221214552 1131264223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 27970 13086 16 0 213331 0 vsize: 853388 [startup+230.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 21529 42 0 0 25 0 11 0 836338040 873869312 28038 4294967295 134512640 134569956 3221224384 3221214552 1131264305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28038 13086 16 0 213331 0 vsize: 853388 [startup+240.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 22505 42 0 0 25 0 11 0 836338040 873869312 28075 4294967295 134512640 134569956 3221224384 3221214560 1131264213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28075 13086 16 0 213331 0 vsize: 853388 [startup+250.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 23486 42 0 0 25 0 11 0 836338040 873869312 28134 4294967295 134512640 134569956 3221224384 3221214448 1131513625 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28134 13086 16 0 213331 0 vsize: 853388 [startup+260.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 24460 42 0 0 25 0 11 0 836338040 873869312 28435 4294967295 134512640 134569956 3221224384 3221214704 1131303648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28435 13086 16 0 213331 0 vsize: 853388 [startup+270.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 25443 42 0 0 25 0 11 0 836338040 873869312 28546 4294967295 134512640 134569956 3221224384 3221214528 1131486231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28546 13086 16 0 213331 0 vsize: 853388 [startup+280.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 26438 42 0 0 25 0 11 0 836338040 873869312 28576 4294967295 134512640 134569956 3221224384 3221214448 1131513684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 28576 13086 16 0 213331 0 vsize: 853388 [startup+290.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 27422 42 0 0 25 0 11 0 836338040 873869312 28650 4294967295 134512640 134569956 3221224384 3221214552 1131264221 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28650 13086 16 0 213331 0 vsize: 853388 [startup+300.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 28392 42 0 0 25 0 11 0 836338040 873869312 28679 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28679 13086 16 0 213331 0 vsize: 853388 [startup+310.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 29352 42 0 0 25 0 11 0 836338040 873869312 28864 4294967295 134512640 134569956 3221224384 3221214608 1131215422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 28864 13086 16 0 213331 0 vsize: 853388 [startup+320.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 30310 42 0 0 24 0 11 0 836338040 873869312 29048 4294967295 134512640 134569956 3221224384 3221214760 1131301797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29048 13086 16 0 213331 0 vsize: 853388 [startup+330.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 31284 42 0 0 25 0 11 0 836338040 873869312 29384 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29384 13086 16 0 213331 0 vsize: 853388 [startup+340.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18848 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 32248 42 0 0 25 0 11 0 836338040 873869312 29521 4294967295 134512640 134569956 3221224384 3221214808 1131459457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29521 13086 16 0 213331 0 vsize: 853388 [startup+350.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 33215 42 0 0 25 0 11 0 836338040 873869312 29669 4294967295 134512640 134569956 3221224384 3221214624 1131360954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29669 13086 16 0 213331 0 vsize: 853388 [startup+360.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 34174 43 0 0 25 0 11 0 836338040 873869312 29731 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29731 13086 16 0 213331 0 vsize: 853388 [startup+370.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 35126 43 0 0 25 0 11 0 836338040 873869312 29789 4294967295 134512640 134569956 3221224384 3221214704 1131303461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29789 13086 16 0 213331 0 vsize: 853388 [startup+380.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 36084 43 0 0 25 0 11 0 836338040 873869312 29849 4294967295 134512640 134569956 3221224384 3221214680 1131167627 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29849 13086 16 0 213331 0 vsize: 853388 [startup+390.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 37036 43 0 0 25 0 11 0 836338040 873869312 29970 4294967295 134512640 134569956 3221224384 3221214704 1131303013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 29970 13086 16 0 213331 0 vsize: 853388 [startup+400.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 38000 43 0 0 25 0 11 0 836338040 873869312 30159 4294967295 134512640 134569956 3221224384 3221214788 1131167584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30159 13086 16 0 213331 0 vsize: 853388 [startup+410.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 38970 43 0 0 25 0 11 0 836338040 873869312 30333 4294967295 134512640 134569956 3221224384 3221214624 1131215387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30333 13086 16 0 213331 0 vsize: 853388 [startup+420.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 39934 43 0 0 25 0 11 0 836338040 873869312 30388 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30388 13086 16 0 213331 0 vsize: 853388 [startup+430.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 40895 43 0 0 25 0 11 0 836338040 873869312 30410 4294967295 134512640 134569956 3221224384 3221214808 1131458305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30410 13086 16 0 213331 0 vsize: 853388 [startup+440.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) S 18832 4613 4612 0 -1 0 18178 3 1 0 41858 43 0 0 25 0 11 0 836338040 873869312 30454 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30454 13086 16 0 213331 0 vsize: 853388 [startup+450.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 42819 43 0 0 25 0 11 0 836338040 873869312 30469 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30469 13086 16 0 213331 0 vsize: 853388 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 43784 43 0 0 25 0 11 0 836338040 873869312 30740 4294967295 134512640 134569956 3221224384 3221214704 1131303921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30740 13086 16 0 213331 0 vsize: 853388 [startup+470.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 44758 44 0 0 25 0 11 0 836338040 873869312 30815 4294967295 134512640 134569956 3221224384 3221214704 1131303489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30815 13086 16 0 213331 0 vsize: 853388 [startup+480.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 45736 44 0 0 25 0 11 0 836338040 873869312 30887 4294967295 134512640 134569956 3221224384 3221214704 1131303215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30887 13086 16 0 213331 0 vsize: 853388 [startup+490.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 46716 44 0 0 25 0 11 0 836338040 873869312 30940 4294967295 134512640 134569956 3221224384 3221214792 1131147836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 30940 13086 16 0 213331 0 vsize: 853388 [startup+500.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 47696 44 0 0 25 0 11 0 836338040 873869312 30992 4294967295 134512640 134569956 3221224384 3221214544 1131263809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 30992 13086 16 0 213331 0 vsize: 853388 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 48678 44 0 0 25 0 11 0 836338040 873869312 31044 4294967295 134512640 134569956 3221224384 3221214808 1131458662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31044 13086 16 0 213331 0 vsize: 853388 [startup+520.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 49664 44 0 0 25 0 11 0 836338040 873869312 31066 4294967295 134512640 134569956 3221224384 3221214848 1131215769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31066 13086 16 0 213331 0 vsize: 853388 [startup+530.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 50650 44 0 0 25 0 11 0 836338040 873869312 31083 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31083 13086 16 0 213331 0 vsize: 853388 [startup+540.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 51622 44 0 0 25 0 11 0 836338040 873869312 31116 4294967295 134512640 134569956 3221224384 3221214704 1131303198 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31116 13086 16 0 213331 0 vsize: 853388 [startup+550.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 52600 44 0 0 25 0 11 0 836338040 873869312 31152 4294967295 134512640 134569956 3221224384 3221214808 1131458546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31152 13086 16 0 213331 0 vsize: 853388 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 53578 44 0 0 25 0 11 0 836338040 873869312 31185 4294967295 134512640 134569956 3221224384 3221214680 1131167672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31185 13086 16 0 213331 0 vsize: 853388 [startup+570.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 54558 44 0 0 25 0 11 0 836338040 873869312 31205 4294967295 134512640 134569956 3221224384 3221214792 1131147836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31205 13086 16 0 213331 0 vsize: 853388 [startup+580.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 55539 44 0 0 25 0 11 0 836338040 873869312 31320 4294967295 134512640 134569956 3221224384 3221214680 1131167635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31320 13086 16 0 213331 0 vsize: 853388 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 56515 44 0 0 25 0 11 0 836338040 873869312 31324 4294967295 134512640 134569956 3221224384 3221214636 1131167584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31324 13086 16 0 213331 0 vsize: 853388 [startup+600.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 57482 44 0 0 25 0 11 0 836338040 873869312 31334 4294967295 134512640 134569956 3221224384 3221214704 1131303184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31334 13086 16 0 213331 0 vsize: 853388 [startup+610.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 58439 44 0 0 25 0 11 0 836338040 873869312 31365 4294967295 134512640 134569956 3221224384 3221214640 1131361040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31365 13086 16 0 213331 0 vsize: 853388 [startup+620.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 59395 44 0 0 25 0 11 0 836338040 873869312 31397 4294967295 134512640 134569956 3221224384 3221214544 1131264101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31397 13086 16 0 213331 0 vsize: 853388 [startup+630.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 60353 44 0 0 24 0 11 0 836338040 873869312 31548 4294967295 134512640 134569956 3221224384 3221214704 1131303280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31548 13086 16 0 213331 0 vsize: 853388 [startup+640.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 61325 44 0 0 25 0 11 0 836338040 873869312 31727 4294967295 134512640 134569956 3221224384 3221214704 1131303527 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31727 13086 16 0 213331 0 vsize: 853388 [startup+650.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) S 18832 4613 4612 0 -1 0 18178 3 1 0 62300 44 0 0 25 0 11 0 836338040 873869312 31803 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31803 13086 16 0 213331 0 vsize: 853388 [startup+660.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 63277 44 0 0 25 0 11 0 836338040 873869312 31858 4294967295 134512640 134569956 3221224384 3221214704 1131303184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31858 13086 16 0 213331 0 vsize: 853388 [startup+670.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 64256 45 0 0 25 0 11 0 836338040 873869312 31901 4294967295 134512640 134569956 3221224384 3221214640 1131311042 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 31901 13086 16 0 213331 0 vsize: 853388 [startup+680.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 65236 45 0 0 25 0 11 0 836338040 873869312 31963 4294967295 134512640 134569956 3221224384 3221214680 1131167739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 31963 13086 16 0 213331 0 vsize: 853388 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 66217 45 0 0 25 0 11 0 836338040 873869312 32001 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32001 13086 16 0 213331 0 vsize: 853388 [startup+700.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 67195 45 0 0 25 0 11 0 836338040 873869312 32044 4294967295 134512640 134569956 3221224384 3221214704 1131303086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32044 13086 16 0 213331 0 vsize: 853388 [startup+710.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 68171 45 0 0 25 0 11 0 836338040 873869312 32066 4294967295 134512640 134569956 3221224384 3221214808 1131458294 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32066 13086 16 0 213331 0 vsize: 853388 [startup+720.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 69144 45 0 0 25 0 11 0 836338040 873869312 32130 4294967295 134512640 134569956 3221224384 3221214808 1131458406 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32130 13086 16 0 213331 0 vsize: 853388 [startup+730.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 70109 45 0 0 25 0 11 0 836338040 873869312 32160 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32160 13086 16 0 213331 0 vsize: 853388 [startup+740.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 71074 45 0 0 25 0 11 0 836338040 873869312 32221 4294967295 134512640 134569956 3221224384 3221214416 1078032754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32221 13086 16 0 213331 0 vsize: 853388 [startup+750.038 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 72040 45 0 0 25 0 11 0 836338040 873869312 32326 4294967295 134512640 134569956 3221224384 3221214808 1131458309 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32326 13086 16 0 213331 0 vsize: 853388 [startup+760.039 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 73016 45 0 0 25 0 11 0 836338040 873869312 32462 4294967295 134512640 134569956 3221224384 3221214704 1131303441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32462 13086 16 0 213331 0 vsize: 853388 [startup+770.039 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 73992 45 0 0 25 0 11 0 836338040 873869312 32533 4294967295 134512640 134569956 3221224384 3221214704 1131303489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32533 13086 16 0 213331 0 vsize: 853388 [startup+780.04 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 74973 45 0 0 25 0 11 0 836338040 873869312 32588 4294967295 134512640 134569956 3221224384 3221214704 1131303013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32588 13086 16 0 213331 0 vsize: 853388 [startup+790.04 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 75951 45 0 0 25 0 11 0 836338040 873869312 32619 4294967295 134512640 134569956 3221224384 3221214544 1131264058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32619 13086 16 0 213331 0 vsize: 853388 [startup+800.04 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 76928 45 0 0 25 0 11 0 836338040 873869312 32643 4294967295 134512640 134569956 3221224384 3221214640 1131310923 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32643 13086 16 0 213331 0 vsize: 853388 [startup+810.042 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 77895 45 0 0 25 0 11 0 836338040 873869312 32686 4294967295 134512640 134569956 3221224384 3221214704 1131303644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32686 13086 16 0 213331 0 vsize: 853388 [startup+820.041 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 78836 45 0 0 25 0 11 0 836338040 873869312 32943 4294967295 134512640 134569956 3221224384 3221214704 1131303215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 32943 13086 16 0 213331 0 vsize: 853388 [startup+830.041 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 79764 45 0 0 25 0 11 0 836338040 873869312 33329 4294967295 134512640 134569956 3221224384 3221214640 1131311152 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 33329 13086 16 0 213331 0 vsize: 853388 [startup+840.042 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 80700 45 0 0 24 0 11 0 836338040 873869312 33697 4294967295 134512640 134569956 3221224384 3221214744 1131392784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 33697 13086 16 0 213331 0 vsize: 853388 [startup+850.042 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 81649 45 0 0 25 0 11 0 836338040 873869312 33851 4294967295 134512640 134569956 3221224384 3221214648 1131332647 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 33851 13086 16 0 213331 0 vsize: 853388 [startup+860.043 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 82587 45 0 0 25 0 11 0 836338040 873869312 33986 4294967295 134512640 134569956 3221224384 3221214640 1131311399 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 33986 13086 16 0 213331 0 vsize: 853388 [startup+870.043 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 83522 45 0 0 24 0 11 0 836338040 873869312 34214 4294967295 134512640 134569956 3221224384 3221214732 1130885150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 34214 13086 16 0 213331 0 vsize: 853388 [startup+880.043 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 84469 45 0 0 25 0 11 0 836338040 873869312 34323 4294967295 134512640 134569956 3221224384 3221214552 1131264184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 34323 13086 16 0 213331 0 vsize: 853388 [startup+890.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 85405 45 0 0 25 0 11 0 836338040 873869312 34408 4294967295 134512640 134569956 3221224384 3221214808 1131458649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 34408 13086 16 0 213331 0 vsize: 853388 [startup+900.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 86345 45 0 0 25 0 11 0 836338040 873869312 34614 4294967295 134512640 134569956 3221224384 3221214804 1131297440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 34614 13086 16 0 213331 0 vsize: 853388 [startup+910.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) S 18832 4613 4612 0 -1 0 18178 3 1 0 87281 45 0 0 25 0 11 0 836338040 873869312 34807 4294967295 134512640 134569956 3221224384 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 34807 13086 16 0 213331 0 vsize: 853388 [startup+920.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 88228 45 0 0 25 0 11 0 836338040 873869312 35105 4294967295 134512640 134569956 3221224384 3221214808 1131458531 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 35105 13086 16 0 213331 0 vsize: 853388 [startup+930.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 89178 45 0 0 24 0 11 0 836338040 873869312 35263 4294967295 134512640 134569956 3221224384 3221214848 1131215769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 35263 13086 16 0 213331 0 vsize: 853388 [startup+940.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 90137 45 0 0 25 0 11 0 836338040 873869312 35282 4294967295 134512640 134569956 3221224384 3221214704 1131303644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 35282 13086 16 0 213331 0 vsize: 853388 [startup+950.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18849 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 91088 45 0 0 25 0 11 0 836338040 873869312 35353 4294967295 134512640 134569956 3221224384 3221214704 1131303461 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 35353 13086 16 0 213331 0 vsize: 853388 [startup+960.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 92032 45 0 0 25 0 11 0 836338040 873869312 35389 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 35389 13086 16 0 213331 0 vsize: 853388 [startup+970.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 92974 45 0 0 24 0 11 0 836338040 873869312 35667 4294967295 134512640 134569956 3221224384 3221214704 1131303078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 35667 13086 16 0 213331 0 vsize: 853388 [startup+980.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 93932 46 0 0 25 0 11 0 836338040 873869312 35911 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 35911 13086 16 0 213331 0 vsize: 853388 [startup+990.052 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 94910 46 0 0 25 0 11 0 836338040 873869312 35944 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 35944 13086 16 0 213331 0 vsize: 853388 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 95883 46 0 0 25 0 11 0 836338040 873869312 36122 4294967295 134512640 134569956 3221224384 3221214704 1131303648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36122 13086 16 0 213331 0 vsize: 853388 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 96863 46 0 0 25 0 11 0 836338040 873869312 36151 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36151 13086 16 0 213331 0 vsize: 853388 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 97847 46 0 0 25 0 11 0 836338040 873869312 36165 4294967295 134512640 134569956 3221224384 3221214704 1131303656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36165 13086 16 0 213331 0 vsize: 853388 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 98827 46 0 0 25 0 11 0 836338040 873869312 36183 4294967295 134512640 134569956 3221224384 3221214336 1131528220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36183 13086 16 0 213331 0 vsize: 853388 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 99810 46 0 0 25 0 11 0 836338040 873869312 36248 4294967295 134512640 134569956 3221224384 3221214232 1131530010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36248 13086 16 0 213331 0 vsize: 853388 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 100798 46 0 0 25 0 11 0 836338040 873869312 36255 4294967295 134512640 134569956 3221224384 3221214704 1131303489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36255 13086 16 0 213331 0 vsize: 853388 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 101779 46 0 0 25 0 11 0 836338040 873869312 36282 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36282 13086 16 0 213331 0 vsize: 853388 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 102754 46 0 0 25 0 11 0 836338040 873869312 36317 4294967295 134512640 134569956 3221224384 3221214704 1131303489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36317 13086 16 0 213331 0 vsize: 853388 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 103734 46 0 0 25 0 11 0 836338040 873869312 36322 4294967295 134512640 134569956 3221224384 3221214804 1131147820 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36322 13086 16 0 213331 0 vsize: 853388 [startup+1090.06 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 104709 46 0 0 25 0 11 0 836338040 873869312 36379 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36379 13086 16 0 213331 0 vsize: 853388 [startup+1100.06 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 105687 46 0 0 25 0 11 0 836338040 873869312 36463 4294967295 134512640 134569956 3221224384 3221214704 1131304018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36463 13086 16 0 213331 0 vsize: 853388 [startup+1110.06 s] Raw data (loadavg): 1.06 1.01 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 106668 46 0 0 25 0 11 0 836338040 873869312 36464 4294967295 134512640 134569956 3221224384 3221214704 1131303345 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36464 13086 16 0 213331 0 vsize: 853388 [startup+1120.06 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 107639 46 0 0 25 0 11 0 836338040 873869312 36515 4294967295 134512640 134569956 3221224384 3221214704 1131303648 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36515 13086 16 0 213331 0 vsize: 853388 [startup+1130.06 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 108620 46 0 0 25 0 11 0 836338040 873869312 36561 4294967295 134512640 134569956 3221224384 3221214704 1131303589 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36561 13086 16 0 213331 0 vsize: 853388 [startup+1140.06 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 109598 46 0 0 25 0 11 0 836338040 873869312 36581 4294967295 134512640 134569956 3221224384 3221214704 1131304018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36581 13086 16 0 213331 0 vsize: 853388 [startup+1150.06 s] Raw data (loadavg): 1.11 1.03 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 110578 46 0 0 25 0 11 0 836338040 873869312 36628 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36628 13086 16 0 213331 0 vsize: 853388 [startup+1160.06 s] Raw data (loadavg): 1.09 1.03 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 111556 47 0 0 25 0 11 0 836338040 873869312 36706 4294967295 134512640 134569956 3221224384 3221214704 1131303028 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36706 13086 16 0 213331 0 vsize: 853388 [startup+1170.06 s] Raw data (loadavg): 1.08 1.03 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 112537 47 0 0 25 0 11 0 836338040 873869312 36731 4294967295 134512640 134569956 3221224384 3221214788 1131167584 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36731 13086 16 0 213331 0 vsize: 853388 [startup+1180.06 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 113520 47 0 0 25 0 11 0 836338040 873869312 36743 4294967295 134512640 134569956 3221224384 3221214704 1131303038 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36743 13086 16 0 213331 0 vsize: 853388 [startup+1190.06 s] Raw data (loadavg): 1.05 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 114503 47 0 0 25 0 11 0 836338040 873869312 36795 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36795 13086 16 0 213331 0 vsize: 853388 [startup+1200.06 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 115486 47 0 0 25 0 11 0 836338040 873869312 36796 4294967295 134512640 134569956 3221224384 3221214808 1131458294 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36796 13086 16 0 213331 0 vsize: 853388 [startup+1210.06 s] Raw data (loadavg): 1.04 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 116468 47 0 0 25 0 11 0 836338040 873869312 36806 4294967295 134512640 134569956 3221224384 3221214552 1131264101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36806 13086 16 0 213331 0 vsize: 853388 [startup+1220.06 s] Raw data (loadavg): 1.03 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 117451 48 0 0 25 0 11 0 836338040 873869312 36838 4294967295 134512640 134569956 3221224384 3221214704 1131303511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36838 13086 16 0 213331 0 vsize: 853388 [startup+1230.06 s] Raw data (loadavg): 1.03 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 118431 48 0 0 25 0 11 0 836338040 873869312 36854 4294967295 134512640 134569956 3221224384 3221214792 1131147843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36854 13086 16 0 213331 0 vsize: 853388 [startup+1240.06 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 119413 48 0 0 25 0 11 0 836338040 873869312 36884 4294967295 134512640 134569956 3221224384 3221214704 1131303441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213347 36884 13086 16 0 213331 0 vsize: 853388 [startup+1250.06 s] Raw data (loadavg): 1.02 1.02 0.94 2/64 18850 Raw data (stat): 18833 (java) R 18832 4613 4612 0 -1 0 18178 3 1 0 120395 48 0 0 25 0 11 0 836338040 873869312 36905 4294967295 134512640 134569956 3221224384 3221214680 1131167604 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213347 36905 13086 16 0 213331 0 vsize: 853388 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.18 s] Raw data (loadavg): 1.02 1.02 0.94 1/54 18852 Raw data (stat): 18833 (java) Z 18832 4613 4612 0 -1 1036 18178 13746 1 0 120399 48 4223 36 25 0 1 0 836338040 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.18 CPU time (s): 1247.09 CPU user time (s): 1246.24 CPU system time (s): 0.85187 CPU usage (%): 99.7528 Max. virtual memory (Kb): 855492 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 165 #### END VERIFIER DATA ####