Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb |
MD5SUM | a430664a9b4f203a5896b33ca2b0e0e5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 528 |
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 | 528 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 528 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02384 |
Number of variables | 528 |
Total number of constraints | 1816 |
Number of constraints which are clauses | 1816 |
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 | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-05-25 05:27:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20575 boxname=wulflinc10 idbench=165 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: a430664a9b4f203a5896b33ca2b0e0e5 /oldhome/oroussel/tmp/wulflinc10/normalized-ii8a3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-ii8a3.opb IDLAUNCH: 20575 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 870668 kB Buffers: 13748 kB Cached: 128688 kB SwapCached: 92 kB Active: 36100 kB Inactive: 108960 kB HighTotal: 131008 kB HighFree: 5516 kB LowTotal: 903652 kB LowFree: 865152 kB SwapTotal: 2097136 kB SwapFree: 2096752 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6392 kB Slab: 13356 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:48:14 (client local time) WITH STATUS 143 IN 1245.46 SECONDS stats: 20575 0 1245.46 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/wulflinc10/normalized-ii8a3.opb c reading problem ... done. Time 2.243 ms. c #vars 528 c #constraints 1816 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 250 Current CPU time: 3.76 ms c CURRENT OPTIMUM= 230 Current CPU time: 4.07 ms c CURRENT OPTIMUM= 219 Current CPU time: 4.69 ms c starts : 8 c conflicts : 1152 c decisions : 5223 c propagations : 39903 c inspects : 2356134 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 5 c learned clauses : 1152 c root simplifications : 8 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 -x445 x446 -x447 x448 -x449 x450 -x451 x452 -x453 x454 x455 -x456 -x457 x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 x479 -x480 -x481 x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 -x495 x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 x505 -x506 x507 -x508 x509 -x510 x511 -x512 -x513 x514 -x515 x516 x517 -x518 x519 -x520 x521 -x522 x523 -x524 -x525 x526 -x527 x528 c objectif function=219 c Total CPU time (ms) : 1239.058 #### 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): 1.06 1.04 1.01 2/54 27775 Raw data (stat): 27775 (runsolver) R 27774 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778146623 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+9.99991 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18112 3 1 0 775 37 0 0 25 0 11 0 778146623 855220224 19882 4294967295 134512640 134569956 3221224384 3221214436 1130887160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 19882 13086 16 0 208778 0 vsize: 835176 [startup+20.001 s] Raw data (loadavg): 1.20 1.07 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18113 3 1 0 1685 37 0 0 25 0 11 0 778146623 855220224 20976 4294967295 134512640 134569956 3221224384 3221214556 1131183797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 20976 13086 16 0 208778 0 vsize: 835176 [startup+30.0019 s] Raw data (loadavg): 1.17 1.06 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18113 3 1 0 2625 37 0 0 25 0 11 0 778146623 855220224 20978 4294967295 134512640 134569956 3221224384 3221214792 1131291269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 20978 13086 16 0 208778 0 vsize: 835176 [startup+40.0015 s] Raw data (loadavg): 1.14 1.06 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18113 3 1 0 3556 38 0 0 25 0 11 0 778146623 855220224 20994 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 20994 13086 16 0 208778 0 vsize: 835176 [startup+50.0017 s] Raw data (loadavg): 1.12 1.06 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18113 3 1 0 4491 38 0 0 25 0 11 0 778146623 855220224 21401 4294967295 134512640 134569956 3221224384 3221214656 1131384921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 21401 13086 16 0 208778 0 vsize: 835176 [startup+60.0017 s] Raw data (loadavg): 1.10 1.06 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 5438 38 0 0 25 0 11 0 778146623 855220224 21616 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 21616 13086 16 0 208778 0 vsize: 835176 [startup+70.0021 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 6379 38 0 0 25 0 11 0 778146623 855220224 21844 4294967295 134512640 134569956 3221224384 3221214656 1131264122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 21844 13086 16 0 208778 0 vsize: 835176 [startup+80.0023 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 7321 38 0 0 25 0 11 0 778146623 855220224 21943 4294967295 134512640 134569956 3221224384 3221214680 1131279783 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 21943 13086 16 0 208778 0 vsize: 835176 [startup+90.0035 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 8252 38 0 0 24 0 11 0 778146623 855220224 22130 4294967295 134512640 134569956 3221224384 3221214792 1131291128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 22130 13086 16 0 208778 0 vsize: 835176 [startup+100.004 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 9204 38 0 0 25 0 11 0 778146623 855220224 22234 4294967295 134512640 134569956 3221224384 3221214792 1131291001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 22234 13086 16 0 208778 0 vsize: 835176 [startup+110.004 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 10137 39 0 0 25 0 11 0 778146623 855220224 22551 4294967295 134512640 134569956 3221224384 3221214632 1131183856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 22551 13086 16 0 208778 0 vsize: 835176 [startup+120.005 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 11098 39 0 0 25 0 11 0 778146623 855220224 22748 4294967295 134512640 134569956 3221224384 3221214600 1131196321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 22748 13086 16 0 208778 0 vsize: 835176 [startup+130.006 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 12062 39 0 0 25 0 11 0 778146623 855220224 22856 4294967295 134512640 134569956 3221224384 3221214656 1131264184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 22856 13086 16 0 208778 0 vsize: 835176 [startup+140.005 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 13025 39 0 0 25 0 11 0 778146623 855220224 22957 4294967295 134512640 134569956 3221224384 3221214624 1131274725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 22957 13086 16 0 208778 0 vsize: 835176 [startup+150.006 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 13990 39 0 0 25 0 11 0 778146623 855220224 23045 4294967295 134512640 134569956 3221224384 3221214688 1131256782 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23045 13086 16 0 208778 0 vsize: 835176 [startup+160.005 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 14954 39 0 0 25 0 11 0 778146623 855220224 23069 4294967295 134512640 134569956 3221224384 3221214680 1131190777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23069 13086 16 0 208778 0 vsize: 835176 [startup+170.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 15914 39 0 0 25 0 11 0 778146623 855220224 23275 4294967295 134512640 134569956 3221224384 3221214624 1131274779 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23275 13086 16 0 208778 0 vsize: 835176 [startup+180.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 16878 40 0 0 25 0 11 0 778146623 855220224 23386 4294967295 134512640 134569956 3221224384 3221214792 1131291682 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23386 13086 16 0 208778 0 vsize: 835176 [startup+190.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 17849 40 0 0 25 0 11 0 778146623 855220224 23481 4294967295 134512640 134569956 3221224384 3221214688 1131256529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23481 13086 16 0 208778 0 vsize: 835176 [startup+200.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 18810 40 0 0 25 0 11 0 778146623 855220224 23595 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23595 13086 16 0 208778 0 vsize: 835176 [startup+210.006 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 19776 40 0 0 24 0 11 0 778146623 855220224 23703 4294967295 134512640 134569956 3221224384 3221214680 1131190772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23703 13086 16 0 208778 0 vsize: 835176 [startup+220.007 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 20733 40 0 0 25 0 11 0 778146623 855220224 23836 4294967295 134512640 134569956 3221224384 3221214624 1131274774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23836 13086 16 0 208778 0 vsize: 835176 [startup+230.007 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 21688 40 0 0 25 0 11 0 778146623 855220224 23898 4294967295 134512640 134569956 3221224384 3221214584 1131249326 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23898 13086 16 0 208778 0 vsize: 835176 [startup+240.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 22639 40 0 0 25 0 11 0 778146623 855220224 23921 4294967295 134512640 134569956 3221224384 3221214688 1131256762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 23921 13086 16 0 208778 0 vsize: 835176 [startup+250.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 23582 40 0 0 24 0 11 0 778146623 855220224 24161 4294967295 134512640 134569956 3221224384 3221214792 1131291548 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24161 13086 16 0 208778 0 vsize: 835176 [startup+260.007 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 24531 40 0 0 24 0 11 0 778146623 855220224 24330 4294967295 134512640 134569956 3221224384 3221214576 1131250015 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24330 13086 16 0 208778 0 vsize: 835176 [startup+270.008 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 25492 40 0 0 25 0 11 0 778146623 855220224 24408 4294967295 134512640 134569956 3221224384 3221214688 1131256971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24408 13086 16 0 208778 0 vsize: 835176 [startup+280.009 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 26453 40 0 0 25 0 11 0 778146623 855220224 24506 4294967295 134512640 134569956 3221224384 3221214848 1131183833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24506 13086 16 0 208778 0 vsize: 835176 [startup+290.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 27418 40 0 0 25 0 11 0 778146623 855220224 24644 4294967295 134512640 134569956 3221224384 3221214688 1131256902 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24644 13086 16 0 208778 0 vsize: 835176 [startup+300.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 28394 40 0 0 25 0 11 0 778146623 855220224 24763 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24763 13086 16 0 208778 0 vsize: 835176 [startup+310.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 29376 41 0 0 25 0 11 0 778146623 855220224 24859 4294967295 134512640 134569956 3221224384 3221214792 1131291211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24859 13086 16 0 208778 0 vsize: 835176 [startup+320.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 30364 41 0 0 25 0 11 0 778146623 855220224 24924 4294967295 134512640 134569956 3221224384 3221214792 1131291642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24924 13086 16 0 208778 0 vsize: 835176 [startup+330.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 31354 41 0 0 25 0 11 0 778146623 855220224 24928 4294967295 134512640 134569956 3221224384 3221214688 1131256236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24928 13086 16 0 208778 0 vsize: 835176 [startup+340.01 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 32342 41 0 0 25 0 11 0 778146623 855220224 24943 4294967295 134512640 134569956 3221224384 3221214680 1131190893 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24943 13086 16 0 208778 0 vsize: 835176 [startup+350.011 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 33325 41 0 0 25 0 11 0 778146623 855220224 24949 4294967295 134512640 134569956 3221224384 3221214792 1131291128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24949 13086 16 0 208778 0 vsize: 835176 [startup+360.014 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) S 27774 15547 15546 0 -1 0 18114 3 1 0 34303 41 0 0 25 0 11 0 778146623 855220224 24958 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24958 13086 16 0 208778 0 vsize: 835176 [startup+370.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 35276 41 0 0 25 0 11 0 778146623 855220224 24962 4294967295 134512640 134569956 3221224384 3221214848 1131183833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 24962 13086 16 0 208778 0 vsize: 835176 [startup+380.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 36242 41 0 0 25 0 11 0 778146623 855220224 25012 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25012 13086 16 0 208778 0 vsize: 835176 [startup+390.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 37213 41 0 0 25 0 11 0 778146623 855220224 25080 4294967295 134512640 134569956 3221224384 3221214688 1131256747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25080 13086 16 0 208778 0 vsize: 835176 [startup+400.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 38174 41 0 0 25 0 11 0 778146623 855220224 25184 4294967295 134512640 134569956 3221224384 3221214676 1131264274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25184 13086 16 0 208778 0 vsize: 835176 [startup+410.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 39147 41 0 0 25 0 11 0 778146623 855220224 25249 4294967295 134512640 134569956 3221224384 3221214600 1131196282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25249 13086 16 0 208778 0 vsize: 835176 [startup+420.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 40117 42 0 0 25 0 11 0 778146623 855220224 25376 4294967295 134512640 134569956 3221224384 3221214680 1131190772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25376 13086 16 0 208778 0 vsize: 835176 [startup+430.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 41097 42 0 0 25 0 11 0 778146623 855220224 25444 4294967295 134512640 134569956 3221224384 3221214680 1131190840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25444 13086 16 0 208778 0 vsize: 835176 [startup+440.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 42075 42 0 0 25 0 11 0 778146623 855220224 25470 4294967295 134512640 134569956 3221224384 3221214688 1131256630 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25470 13086 16 0 208778 0 vsize: 835176 [startup+450.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 43058 42 0 0 25 0 11 0 778146623 855220224 25577 4294967295 134512640 134569956 3221224384 3221214792 1131291187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25577 13086 16 0 208778 0 vsize: 835176 [startup+460.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 44043 42 0 0 24 0 11 0 778146623 855220224 25584 4294967295 134512640 134569956 3221224384 3221214688 1131256643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25584 13086 16 0 208778 0 vsize: 835176 [startup+470.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 45025 42 0 0 25 0 11 0 778146623 855220224 25621 4294967295 134512640 134569956 3221224384 3221214632 1131183833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25621 13086 16 0 208778 0 vsize: 835176 [startup+480.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 46004 42 0 0 25 0 11 0 778146623 855220224 25623 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25623 13086 16 0 208778 0 vsize: 835176 [startup+490.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 46977 42 0 0 24 0 11 0 778146623 855220224 25631 4294967295 134512640 134569956 3221224384 3221214688 1131256300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25631 13086 16 0 208778 0 vsize: 835176 [startup+500.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 47946 42 0 0 25 0 11 0 778146623 855220224 25648 4294967295 134512640 134569956 3221224384 3221214584 1131249025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25648 13086 16 0 208778 0 vsize: 835176 [startup+510.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 48908 42 0 0 25 0 11 0 778146623 855220224 25746 4294967295 134512640 134569956 3221224384 3221214792 1131291128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25746 13086 16 0 208778 0 vsize: 835176 [startup+520.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 49872 42 0 0 25 0 11 0 778146623 855220224 25820 4294967295 134512640 134569956 3221224384 3221214688 1131256307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25820 13086 16 0 208778 0 vsize: 835176 [startup+530.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 50835 42 0 0 25 0 11 0 778146623 855220224 25904 4294967295 134512640 134569956 3221224384 3221214792 1131291125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 25904 13086 16 0 208778 0 vsize: 835176 [startup+540.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 51800 42 0 0 25 0 11 0 778146623 855220224 26040 4294967295 134512640 134569956 3221224384 3221214792 1131291128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26040 13086 16 0 208778 0 vsize: 835176 [startup+550.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 52765 42 0 0 25 0 11 0 778146623 855220224 26167 4294967295 134512640 134569956 3221224384 3221214672 1131346677 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26167 13086 16 0 208778 0 vsize: 835176 [startup+560.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 53740 42 0 0 25 0 11 0 778146623 855220224 26211 4294967295 134512640 134569956 3221224384 3221214688 1131257256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26211 13086 16 0 208778 0 vsize: 835176 [startup+570.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 54708 42 0 0 25 0 11 0 778146623 855220224 26305 4294967295 134512640 134569956 3221224384 3221214584 1131249365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26305 13086 16 0 208778 0 vsize: 835176 [startup+580.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 55679 42 0 0 25 0 11 0 778146623 855220224 26396 4294967295 134512640 134569956 3221224384 3221214680 1131190946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26396 13086 16 0 208778 0 vsize: 835176 [startup+590.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 56659 42 0 0 25 0 11 0 778146623 855220224 26435 4294967295 134512640 134569956 3221224384 3221214600 1131196282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26435 13086 16 0 208778 0 vsize: 835176 [startup+600.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 57633 42 0 0 25 0 11 0 778146623 855220224 26537 4294967295 134512640 134569956 3221224384 3221214696 1131250005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26537 13086 16 0 208778 0 vsize: 835176 [startup+610.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 58614 43 0 0 25 0 11 0 778146623 855220224 26575 4294967295 134512640 134569956 3221224384 3221214688 1131256850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26575 13086 16 0 208778 0 vsize: 835176 [startup+620.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 59587 43 0 0 25 0 11 0 778146623 855220224 26609 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26609 13086 16 0 208778 0 vsize: 835176 [startup+630.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 60565 43 0 0 25 0 11 0 778146623 855220224 26680 4294967295 134512640 134569956 3221224384 3221214688 1131256315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26680 13086 16 0 208778 0 vsize: 835176 [startup+640.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 61545 43 0 0 25 0 11 0 778146623 855220224 26741 4294967295 134512640 134569956 3221224384 3221214792 1131291125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26741 13086 16 0 208778 0 vsize: 835176 [startup+650.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 62525 44 0 0 25 0 11 0 778146623 855220224 26787 4294967295 134512640 134569956 3221224384 3221214656 1131264188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 26787 13086 16 0 208778 0 vsize: 835176 [startup+660.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 63504 44 0 0 25 0 11 0 778146623 855220224 26803 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26803 13086 16 0 208778 0 vsize: 835176 [startup+670.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 64475 44 0 0 25 0 11 0 778146623 855220224 26826 4294967295 134512640 134569956 3221224384 3221214696 1131249200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26826 13086 16 0 208778 0 vsize: 835176 [startup+680.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 65451 44 0 0 25 0 11 0 778146623 855220224 26866 4294967295 134512640 134569956 3221224384 3221214792 1131291110 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26866 13086 16 0 208778 0 vsize: 835176 [startup+690.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 66425 44 0 0 25 0 11 0 778146623 855220224 26971 4294967295 134512640 134569956 3221224384 3221214688 1131256850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 26971 13086 16 0 208778 0 vsize: 835176 [startup+700.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 67402 44 0 0 25 0 11 0 778146623 855220224 27043 4294967295 134512640 134569956 3221224384 3221214688 1131256643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27043 13086 16 0 208778 0 vsize: 835176 [startup+710.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 68383 45 0 0 25 0 11 0 778146623 855220224 27073 4294967295 134512640 134569956 3221224384 3221214632 1131196973 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 27073 13086 16 0 208778 0 vsize: 835176 [startup+720.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 69363 45 0 0 25 0 11 0 778146623 855220224 27122 4294967295 134512640 134569956 3221224384 3221214688 1131256225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27122 13086 16 0 208778 0 vsize: 835176 [startup+730.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 70338 45 0 0 25 0 11 0 778146623 855220224 27194 4294967295 134512640 134569956 3221224384 3221214656 1131264170 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27194 13086 16 0 208778 0 vsize: 835176 [startup+740.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 71320 45 0 0 25 0 11 0 778146623 855220224 27243 4294967295 134512640 134569956 3221224384 3221214672 1131384921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 27243 13086 16 0 208778 0 vsize: 835176 [startup+750.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 72299 45 0 0 25 0 11 0 778146623 855220224 27292 4294967295 134512640 134569956 3221224384 3221214688 1131256577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27292 13086 16 0 208778 0 vsize: 835176 [startup+760.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 73281 45 0 0 25 0 11 0 778146623 855220224 27357 4294967295 134512640 134569956 3221224384 3221214688 1131256398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27357 13086 16 0 208778 0 vsize: 835176 [startup+770.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 74261 46 0 0 25 0 11 0 778146623 855220224 27399 4294967295 134512640 134569956 3221224384 3221214632 1131183856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 27399 13086 16 0 208778 0 vsize: 835176 [startup+780.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 75244 46 0 0 25 0 11 0 778146623 855220224 27451 4294967295 134512640 134569956 3221224384 3221214792 1131291125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27451 13086 16 0 208778 0 vsize: 835176 [startup+790.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 76220 46 0 0 25 0 11 0 778146623 855220224 27514 4294967295 134512640 134569956 3221224384 3221214688 1131256392 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27514 13086 16 0 208778 0 vsize: 835176 [startup+800.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 77206 47 0 0 25 0 11 0 778146623 855220224 27559 4294967295 134512640 134569956 3221224384 3221214792 1131291125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27559 13086 16 0 208778 0 vsize: 835176 [startup+810.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 78186 47 0 0 25 0 11 0 778146623 855220224 27606 4294967295 134512640 134569956 3221224384 3221214688 1131256698 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27606 13086 16 0 208778 0 vsize: 835176 [startup+820.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 79168 48 0 0 25 0 11 0 778146623 855220224 27650 4294967295 134512640 134569956 3221224384 3221214792 1131291208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27650 13086 16 0 208778 0 vsize: 835176 [startup+830.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 80145 48 0 0 25 0 11 0 778146623 855220224 27706 4294967295 134512640 134569956 3221224384 3221214680 1131190897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27706 13086 16 0 208778 0 vsize: 835176 [startup+840.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 81124 48 0 0 25 0 11 0 778146623 855220224 27775 4294967295 134512640 134569956 3221224384 3221214792 1131291373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27775 13086 16 0 208778 0 vsize: 835176 [startup+850.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 82108 49 0 0 25 0 11 0 778146623 855220224 27860 4294967295 134512640 134569956 3221224384 3221214688 1131256543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27860 13086 16 0 208778 0 vsize: 835176 [startup+860.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 83092 49 0 0 25 0 11 0 778146623 855220224 27882 4294967295 134512640 134569956 3221224384 3221214792 1131291269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27882 13086 16 0 208778 0 vsize: 835176 [startup+870.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 84069 50 0 0 24 0 11 0 778146623 855220224 27895 4294967295 134512640 134569956 3221224384 3221214848 1131183833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27895 13086 16 0 208778 0 vsize: 835176 [startup+880.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 85048 50 0 0 25 0 11 0 778146623 855220224 27911 4294967295 134512640 134569956 3221224384 3221214688 1131257152 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27911 13086 16 0 208778 0 vsize: 835176 [startup+890.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 86022 50 0 0 25 0 11 0 778146623 855220224 27925 4294967295 134512640 134569956 3221224384 3221214688 1131257232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 27925 13086 16 0 208778 0 vsize: 835176 [startup+900.025 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 86993 51 0 0 25 0 11 0 778146623 855220224 28011 4294967295 134512640 134569956 3221224384 3221214792 1131291621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28011 13086 16 0 208778 0 vsize: 835176 [startup+910.026 s] Raw data (loadavg): 1.14 1.03 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 87967 51 0 0 25 0 11 0 778146623 855220224 28065 4294967295 134512640 134569956 3221224384 3221214576 1131249365 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28065 13086 16 0 208778 0 vsize: 835176 [startup+920.026 s] Raw data (loadavg): 1.12 1.03 1.01 2/64 27788 Raw data (stat): 27775 (java) S 27774 15547 15546 0 -1 0 18114 3 1 0 88941 52 0 0 25 0 11 0 778146623 855220224 28133 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28133 13086 16 0 208778 0 vsize: 835176 [startup+930.026 s] Raw data (loadavg): 1.18 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 89920 52 0 0 25 0 11 0 778146623 855220224 28188 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28188 13086 16 0 208778 0 vsize: 835176 [startup+940.026 s] Raw data (loadavg): 1.22 1.06 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 90897 52 0 0 25 0 11 0 778146623 855220224 28228 4294967295 134512640 134569956 3221224384 3221214680 1131191470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28228 13086 16 0 208778 0 vsize: 835176 [startup+950.027 s] Raw data (loadavg): 1.19 1.06 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 91877 53 0 0 25 0 11 0 778146623 855220224 28280 4294967295 134512640 134569956 3221224384 3221214584 1131249112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 28280 13086 16 0 208778 0 vsize: 835176 [startup+960.026 s] Raw data (loadavg): 1.16 1.05 1.02 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 92853 53 0 0 25 0 11 0 778146623 855220224 28313 4294967295 134512640 134569956 3221224384 3221214688 1131256850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28313 13086 16 0 208778 0 vsize: 835176 [startup+970.027 s] Raw data (loadavg): 1.14 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 93829 53 0 0 25 0 11 0 778146623 855220224 28366 4294967295 134512640 134569956 3221224384 3221214688 1131257225 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28366 13086 16 0 208778 0 vsize: 835176 [startup+980.027 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 94808 53 0 0 25 0 11 0 778146623 855220224 28408 4294967295 134512640 134569956 3221224384 3221214680 1131190787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28408 13086 16 0 208778 0 vsize: 835176 [startup+990.027 s] Raw data (loadavg): 1.10 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 95786 54 0 0 25 0 11 0 778146623 855220224 28452 4294967295 134512640 134569956 3221224384 3221214688 1131256417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28452 13086 16 0 208778 0 vsize: 835176 [startup+1000.03 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 96763 54 0 0 25 0 11 0 778146623 855220224 28503 4294967295 134512640 134569956 3221224384 3221214688 1131256924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28503 13086 16 0 208778 0 vsize: 835176 [startup+1010.03 s] Raw data (loadavg): 1.07 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 97741 54 0 0 25 0 11 0 778146623 855220224 28523 4294967295 134512640 134569956 3221224384 3221214680 1131190772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 28523 13086 16 0 208778 0 vsize: 835176 [startup+1020.03 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 98722 55 0 0 25 0 11 0 778146623 855220224 28606 4294967295 134512640 134569956 3221224384 3221214584 1131249240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28606 13086 16 0 208778 0 vsize: 835176 [startup+1030.03 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 99703 55 0 0 18 0 11 0 778146623 855220224 28638 4294967295 134512640 134569956 3221224384 3221214792 1131275939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28638 13086 16 0 208778 0 vsize: 835176 [startup+1040.03 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 100681 56 0 0 25 0 11 0 778146623 855220224 28654 4294967295 134512640 134569956 3221224384 3221214792 1131291128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28654 13086 16 0 208778 0 vsize: 835176 [startup+1050.03 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 101665 56 0 0 25 0 11 0 778146623 855220224 28670 4294967295 134512640 134569956 3221224384 3221214688 1131256801 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28670 13086 16 0 208778 0 vsize: 835176 [startup+1060.03 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 102644 56 0 0 25 0 11 0 778146623 855220224 28702 4294967295 134512640 134569956 3221224384 3221214792 1131291128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28702 13086 16 0 208778 0 vsize: 835176 [startup+1070.03 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 103622 56 0 0 25 0 11 0 778146623 855220224 28761 4294967295 134512640 134569956 3221224384 3221214688 1131256685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28761 13086 16 0 208778 0 vsize: 835176 [startup+1080.03 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 104603 57 0 0 25 0 11 0 778146623 855220224 28789 4294967295 134512640 134569956 3221224384 3221214688 1131256309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28789 13086 16 0 208778 0 vsize: 835176 [startup+1090.03 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 105578 57 0 0 25 0 11 0 778146623 855220224 28809 4294967295 134512640 134569956 3221224384 3221214632 1131183845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28809 13086 16 0 208778 0 vsize: 835176 [startup+1100.03 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 106556 57 0 0 25 0 11 0 778146623 855220224 28854 4294967295 134512640 134569956 3221224384 3221214624 1131274774 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28854 13086 16 0 208778 0 vsize: 835176 [startup+1110.03 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 107530 58 0 0 25 0 11 0 778146623 855220224 28912 4294967295 134512640 134569956 3221224384 3221214672 1131384755 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28912 13086 16 0 208778 0 vsize: 835176 [startup+1120.03 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 108507 58 0 0 25 0 11 0 778146623 855220224 28926 4294967295 134512640 134569956 3221224384 3221214792 1131291621 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 28926 13086 16 0 208778 0 vsize: 835176 [startup+1130.03 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 109478 58 0 0 25 0 11 0 778146623 855220224 29029 4294967295 134512640 134569956 3221224384 3221214792 1131291373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29029 13086 16 0 208778 0 vsize: 835176 [startup+1140.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 110454 59 0 0 25 0 11 0 778146623 855220224 29081 4294967295 134512640 134569956 3221224384 3221214680 1131190772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29081 13086 16 0 208778 0 vsize: 835176 [startup+1150.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 111432 59 0 0 25 0 11 0 778146623 855220224 29138 4294967295 134512640 134569956 3221224384 3221214792 1131291384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29138 13086 16 0 208778 0 vsize: 835176 [startup+1160.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 112411 60 0 0 25 0 11 0 778146623 855220224 29189 4294967295 134512640 134569956 3221224384 3221214688 1131256678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29189 13086 16 0 208778 0 vsize: 835176 [startup+1170.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 113392 60 0 0 25 0 11 0 778146623 855220224 29211 4294967295 134512640 134569956 3221224384 3221214792 1131291535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208794 29211 13086 16 0 208778 0 vsize: 835176 [startup+1180.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 114367 60 0 0 24 0 11 0 778146623 855220224 29256 4294967295 134512640 134569956 3221224384 3221214688 1131256383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29256 13086 16 0 208778 0 vsize: 835176 [startup+1190.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 115342 60 0 0 25 0 11 0 778146623 855220224 29278 4294967295 134512640 134569956 3221224384 3221214656 1131264069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29278 13086 16 0 208778 0 vsize: 835176 [startup+1200.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 116314 60 0 0 25 0 11 0 778146623 855220224 29309 4294967295 134512640 134569956 3221224384 3221214856 1131321343 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29309 13086 16 0 208778 0 vsize: 835176 [startup+1210.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 117281 61 0 0 24 0 11 0 778146623 855220224 29375 4294967295 134512640 134569956 3221224384 3221214688 1131256867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29375 13086 16 0 208778 0 vsize: 835176 [startup+1220.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 118252 62 0 0 25 0 11 0 778146623 855220224 29459 4294967295 134512640 134569956 3221224384 3221214688 1131256270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29459 13086 16 0 208778 0 vsize: 835176 [startup+1230.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 119223 62 0 0 25 0 11 0 778146623 855220224 29529 4294967295 134512640 134569956 3221224384 3221214464 1131433953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29529 13086 16 0 208778 0 vsize: 835176 [startup+1240.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 27788 Raw data (stat): 27775 (java) R 27774 15547 15546 0 -1 0 18114 3 1 0 120197 62 0 0 25 0 11 0 778146623 855220224 29590 4294967295 134512640 134569956 3221224384 3221214792 1131291394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208794 29590 13086 16 0 208778 0 vsize: 835176 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.15 s] Raw data (loadavg): 1.00 1.01 1.00 1/54 27790 Raw data (stat): 27775 (java) Z 27774 15547 15546 0 -1 1036 18114 12959 1 0 120203 68 4235 38 25 0 1 0 778146623 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): 1240.15 CPU time (s): 1245.46 CPU user time (s): 1244.39 CPU system time (s): 1.06884 CPU usage (%): 100.428 Max. virtual memory (Kb): 835176 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 219 #### END VERIFIER DATA ####