Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
MD5SUM | 00a81d808a7a59d6e11f17e19e68d826 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 450 |
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 | 450 |
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 | 450 |
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.04884 |
Number of variables | 450 |
Total number of constraints | 17794 |
Number of constraints which are clauses | 17794 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-25 06:30:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20728 boxname=wulflinc23 idbench=318 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 00a81d808a7a59d6e11f17e19e68d826 /oldhome/oroussel/tmp/wulflinc23/normalized-frb30-15-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-frb30-15-5.opb IDLAUNCH: 20728 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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.037 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: 770288 kB Buffers: 31120 kB Cached: 211680 kB SwapCached: 640 kB Active: 73120 kB Inactive: 172136 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 770036 kB SwapTotal: 2097136 kB SwapFree: 2096032 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5628 kB Slab: 13272 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:52:40 (client local time) WITH STATUS 143 IN 1308.45 SECONDS stats: 20728 0 1308.45 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/wulflinc23/normalized-frb30-15-5.opb c reading problem ... done. Time 5.365 ms. c #vars 450 c #constraints 17794 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 0 Current CPU time: 5.74 ms c CURRENT OPTIMUM= -1 Current CPU time: 5.90 ms c CURRENT OPTIMUM= -2 Current CPU time: 7.11 ms c CURRENT OPTIMUM= -22 Current CPU time: 7.20 ms c CURRENT OPTIMUM= -23 Current CPU time: 26.25 ms c CURRENT OPTIMUM= -24 Current CPU time: 26.32 ms c CURRENT OPTIMUM= -25 Current CPU time: 26.59 ms c starts : 16 c conflicts : 3080 c decisions : 5028 c propagations : 28310 c inspects : 3308527 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3080 c root simplifications : 16 s SATISFIABLE v -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 C378 -C377 -C376 -C375 C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 C151 -C150 -C149 -C148 -C147 C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 -C126 -C125 -C124 C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 -C72 C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 -C57 -C56 C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 -C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 C21 -C20 -C19 -C18 -C17 -C16 -C15 C14 -C13 -C12 -C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 c objectif function=-25 c Total CPU time (ms) : 1299.09 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.99 2/54 13840 Raw data (stat): 13840 (runsolver) R 13839 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836737488 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0011 s] Raw data (loadavg): 1.09 1.02 1.01 2/64 13854 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18116 3 1 0 690 40 0 0 25 0 11 0 836737488 857075712 21560 4294967295 134512640 134569956 3221224384 3221214792 1131389052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209247 21560 13086 16 0 209231 0 vsize: 836988 [startup+20.0018 s] Raw data (loadavg): 1.15 1.03 1.01 2/64 13854 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18118 3 1 0 1595 41 0 0 25 0 11 0 836737488 856666112 24419 4294967295 134512640 134569956 3221224384 3221214576 1131308413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209147 24419 13086 16 0 209131 0 vsize: 836588 [startup+30.0027 s] Raw data (loadavg): 1.20 1.05 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18118 3 1 0 2496 42 0 0 25 0 11 0 836737488 856862720 25334 4294967295 134512640 134569956 3221224384 3221214640 1131193586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209195 25334 13086 16 0 209179 0 vsize: 836780 [startup+40.003 s] Raw data (loadavg): 1.17 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18118 3 1 0 3400 42 0 0 25 0 11 0 836737488 856731648 26009 4294967295 134512640 134569956 3221224384 3221214624 1131405949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209163 26009 13086 16 0 209147 0 vsize: 836652 [startup+50.0036 s] Raw data (loadavg): 1.22 1.06 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18118 3 1 0 4302 42 0 0 25 0 11 0 836737488 856666112 26578 4294967295 134512640 134569956 3221224384 3221214608 1131407765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209147 26578 13086 16 0 209131 0 vsize: 836588 [startup+60.0047 s] Raw data (loadavg): 1.26 1.07 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18118 3 1 0 5206 42 0 0 25 0 11 0 836737488 856666112 27254 4294967295 134512640 134569956 3221224384 3221214672 1131393423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209147 27254 13086 16 0 209131 0 vsize: 836588 [startup+70.005 s] Raw data (loadavg): 1.22 1.07 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18118 3 1 0 6103 42 0 0 25 0 11 0 836737488 856666112 27719 4294967295 134512640 134569956 3221224384 3221214676 1131308720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209147 27719 13086 16 0 209131 0 vsize: 836588 [startup+80.0046 s] Raw data (loadavg): 1.19 1.07 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 7003 42 0 0 25 0 11 0 836737488 856666112 28005 4294967295 134512640 134569956 3221224384 3221214680 1131438613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209147 28005 13086 16 0 209131 0 vsize: 836588 [startup+90.0051 s] Raw data (loadavg): 1.16 1.06 1.02 2/64 13857 Raw data (stat): 13840 (java) S 13839 5562 5561 0 -1 0 18119 3 1 0 7893 43 0 0 25 0 11 0 836737488 856666112 28228 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209147 28228 13086 16 0 209131 0 vsize: 836588 [startup+100.005 s] Raw data (loadavg): 1.13 1.06 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 8792 43 0 0 25 0 11 0 836737488 857714688 28588 4294967295 134512640 134569956 3221224384 3221214576 1131308053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 28588 13086 16 0 209387 0 vsize: 837612 [startup+110.005 s] Raw data (loadavg): 1.11 1.06 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 9693 43 0 0 25 0 11 0 836737488 856666112 28803 4294967295 134512640 134569956 3221224384 3221214624 1131323182 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209147 28803 13086 16 0 209131 0 vsize: 836588 [startup+120.006 s] Raw data (loadavg): 1.09 1.06 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 10605 43 0 0 25 0 11 0 836737488 857714688 29286 4294967295 134512640 134569956 3221224384 3221214680 1131438543 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 29286 13086 16 0 209387 0 vsize: 837612 [startup+130.006 s] Raw data (loadavg): 1.08 1.05 1.02 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 11504 43 0 0 25 0 11 0 836737488 857714688 29650 4294967295 134512640 134569956 3221224384 3221214576 1131307855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 29650 13086 16 0 209387 0 vsize: 837612 [startup+140.006 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 12391 44 0 0 25 0 11 0 836737488 857714688 30054 4294967295 134512640 134569956 3221224384 3221214488 1131218981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 30054 13086 16 0 209387 0 vsize: 837612 [startup+150.007 s] Raw data (loadavg): 1.06 1.05 1.01 3/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 13292 44 0 0 25 0 11 0 836737488 857714688 30117 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209403 30117 13086 16 0 209387 0 vsize: 837612 [startup+160.008 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 14199 44 0 0 25 0 11 0 836737488 857714688 30281 4294967295 134512640 134569956 3221224384 3221214644 1131189664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 30281 13086 16 0 209387 0 vsize: 837612 [startup+170.007 s] Raw data (loadavg): 1.04 1.05 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 15105 45 0 0 25 0 11 0 836737488 857714688 30685 4294967295 134512640 134569956 3221224384 3221214576 1131307778 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 30685 13086 16 0 209387 0 vsize: 837612 [startup+180.009 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 16034 45 0 0 25 0 11 0 836737488 857714688 30884 4294967295 134512640 134569956 3221224384 3221214556 1131484650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 30884 13086 16 0 209387 0 vsize: 837612 [startup+190.009 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 16943 45 0 0 25 0 11 0 836737488 857714688 31169 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 31169 13086 16 0 209387 0 vsize: 837612 [startup+200.008 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 17850 45 0 0 25 0 11 0 836737488 857714688 31461 4294967295 134512640 134569956 3221224384 3221214608 1131332350 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 31461 13086 16 0 209387 0 vsize: 837612 [startup+210.009 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 18759 45 0 0 25 0 11 0 836737488 857714688 31779 4294967295 134512640 134569956 3221224384 3221214572 1131220007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 31779 13086 16 0 209387 0 vsize: 837612 [startup+220.01 s] Raw data (loadavg): 1.02 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 19666 46 0 0 25 0 11 0 836737488 857714688 32018 4294967295 134512640 134569956 3221224384 3221214576 1131307836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 32018 13086 16 0 209387 0 vsize: 837612 [startup+230.009 s] Raw data (loadavg): 1.01 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 20562 46 0 0 25 0 11 0 836737488 857714688 32263 4294967295 134512640 134569956 3221224384 3221214576 1131308498 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 32263 13086 16 0 209387 0 vsize: 837612 [startup+240.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 21465 46 0 0 25 0 11 0 836737488 857714688 32581 4294967295 134512640 134569956 3221224384 3221214576 1131307855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 32581 13086 16 0 209387 0 vsize: 837612 [startup+250.01 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 22365 47 0 0 25 0 11 0 836737488 857714688 32853 4294967295 134512640 134569956 3221224384 3221214680 1131438613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 32853 13086 16 0 209387 0 vsize: 837612 [startup+260.011 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 23277 47 0 0 25 0 11 0 836737488 857714688 33125 4294967295 134512640 134569956 3221224384 3221214680 1131438613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 33125 13086 16 0 209387 0 vsize: 837612 [startup+270.011 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 24197 47 0 0 25 0 11 0 836737488 857714688 33408 4294967295 134512640 134569956 3221224384 3221214576 1131308395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 33408 13086 16 0 209387 0 vsize: 837612 [startup+280.01 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 25127 48 0 0 25 0 11 0 836737488 857714688 33608 4294967295 134512640 134569956 3221224384 3221214648 1131392121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 33608 13086 16 0 209387 0 vsize: 837612 [startup+290.011 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 26055 48 0 0 25 0 11 0 836737488 857714688 33775 4294967295 134512640 134569956 3221224384 3221214576 1131307518 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 33775 13086 16 0 209387 0 vsize: 837612 [startup+300.011 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) S 13839 5562 5561 0 -1 0 18119 3 1 0 26981 48 0 0 25 0 11 0 836737488 857714688 33947 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 33947 13086 16 0 209387 0 vsize: 837612 [startup+310.011 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 27911 49 0 0 25 0 11 0 836737488 857714688 34136 4294967295 134512640 134569956 3221224384 3221214576 1131307696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 34136 13086 16 0 209387 0 vsize: 837612 [startup+320.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 28839 49 0 0 25 0 11 0 836737488 857714688 34331 4294967295 134512640 134569956 3221224384 3221214680 1131437759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 34331 13086 16 0 209387 0 vsize: 837612 [startup+330.012 s] Raw data (loadavg): 1.00 1.02 1.00 3/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 29764 50 0 0 25 0 11 0 836737488 857714688 34492 4294967295 134512640 134569956 3221224384 3221214576 1131307634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 34492 13086 16 0 209387 0 vsize: 837612 [startup+340.012 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 30692 50 0 0 25 0 11 0 836737488 857714688 34675 4294967295 134512640 134569956 3221224384 3221214576 1131307564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 34675 13086 16 0 209387 0 vsize: 837612 [startup+350.013 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 31618 50 0 0 24 0 11 0 836737488 857714688 34881 4294967295 134512640 134569956 3221224384 3221214576 1131307500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 34881 13086 16 0 209387 0 vsize: 837612 [startup+360.014 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 32552 51 0 0 25 0 11 0 836737488 857714688 34993 4294967295 134512640 134569956 3221224384 3221214576 1131307855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 34993 13086 16 0 209387 0 vsize: 837612 [startup+370.014 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 33484 51 0 0 25 0 11 0 836737488 857714688 35191 4294967295 134512640 134569956 3221224384 3221214576 1131307612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 35191 13086 16 0 209387 0 vsize: 837612 [startup+380.015 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 34412 52 0 0 25 0 11 0 836737488 857714688 35393 4294967295 134512640 134569956 3221224384 3221214800 1131388995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 35393 13086 16 0 209387 0 vsize: 837612 [startup+390.015 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 35343 52 0 0 25 0 11 0 836737488 857714688 35529 4294967295 134512640 134569956 3221224384 3221214488 1131218950 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 35529 13086 16 0 209387 0 vsize: 837612 [startup+400.015 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) S 13839 5562 5561 0 -1 0 18119 3 1 0 36272 52 0 0 25 0 11 0 836737488 857714688 35678 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 35678 13086 16 0 209387 0 vsize: 837612 [startup+410.017 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 37208 53 0 0 25 0 11 0 836737488 857714688 35850 4294967295 134512640 134569956 3221224384 3221214576 1131307485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 35850 13086 16 0 209387 0 vsize: 837612 [startup+420.018 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 38147 53 0 0 25 0 11 0 836737488 857714688 36026 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 36026 13086 16 0 209387 0 vsize: 837612 [startup+430.017 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 39083 54 0 0 25 0 11 0 836737488 857714688 36154 4294967295 134512640 134569956 3221224384 3221214576 1131308123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 36154 13086 16 0 209387 0 vsize: 837612 [startup+440.018 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 40015 54 0 0 25 0 11 0 836737488 857714688 36305 4294967295 134512640 134569956 3221224384 3221214576 1131307564 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 36305 13086 16 0 209387 0 vsize: 837612 [startup+450.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 40956 54 0 0 25 0 11 0 836737488 857714688 36481 4294967295 134512640 134569956 3221224384 3221214488 1131219988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 36481 13086 16 0 209387 0 vsize: 837612 [startup+460.019 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 41892 55 0 0 25 0 11 0 836737488 857714688 36664 4294967295 134512640 134569956 3221224384 3221214576 1131307950 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 36664 13086 16 0 209387 0 vsize: 837612 [startup+470.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 42821 55 0 0 25 0 11 0 836737488 857714688 36754 4294967295 134512640 134569956 3221224384 3221214624 1131322785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 36754 13086 16 0 209387 0 vsize: 837612 [startup+480.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 43731 56 0 0 25 0 11 0 836737488 857714688 36900 4294967295 134512640 134569956 3221224384 3221214680 1131437745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 36900 13086 16 0 209387 0 vsize: 837612 [startup+490.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 44628 56 0 0 25 0 11 0 836737488 857714688 37055 4294967295 134512640 134569956 3221224384 3221214576 1131307575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 37055 13086 16 0 209387 0 vsize: 837612 [startup+500.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 45531 56 0 0 25 0 11 0 836737488 857714688 37260 4294967295 134512640 134569956 3221224384 3221214576 1131308067 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 37260 13086 16 0 209387 0 vsize: 837612 [startup+510.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 46434 57 0 0 25 0 11 0 836737488 857714688 37562 4294967295 134512640 134569956 3221224384 3221214576 1131307855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 37562 13086 16 0 209387 0 vsize: 837612 [startup+520.021 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 47354 57 0 0 25 0 11 0 836737488 857714688 37834 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 37834 13086 16 0 209387 0 vsize: 837612 [startup+530.022 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 48270 57 0 0 25 0 11 0 836737488 857714688 38078 4294967295 134512640 134569956 3221224384 3221214576 1131308486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 38078 13086 16 0 209387 0 vsize: 837612 [startup+540.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 49187 57 0 0 25 0 11 0 836737488 857714688 38260 4294967295 134512640 134569956 3221224384 3221214576 1131307560 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 38260 13086 16 0 209387 0 vsize: 837612 [startup+550.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 50105 57 0 0 25 0 11 0 836737488 857714688 38471 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 38471 13086 16 0 209387 0 vsize: 837612 [startup+560.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 51028 58 0 0 23 0 11 0 836737488 857714688 38685 4294967295 134512640 134569956 3221224384 3221214576 1131307530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 38685 13086 16 0 209387 0 vsize: 837612 [startup+570.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 51951 58 0 0 25 0 11 0 836737488 857714688 38889 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 38889 13086 16 0 209387 0 vsize: 837612 [startup+580.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 52867 58 0 0 25 0 11 0 836737488 857714688 39083 4294967295 134512640 134569956 3221224384 3221214488 1131219380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 39083 13086 16 0 209387 0 vsize: 837612 [startup+590.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 53782 58 0 0 25 0 11 0 836737488 857714688 39239 4294967295 134512640 134569956 3221224384 3221214576 1131307955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 39239 13086 16 0 209387 0 vsize: 837612 [startup+600.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 54699 58 0 0 25 0 11 0 836737488 857714688 39411 4294967295 134512640 134569956 3221224384 3221214472 1131476609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 39411 13086 16 0 209387 0 vsize: 837612 [startup+610.028 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 55618 59 0 0 25 0 11 0 836737488 857714688 39704 4294967295 134512640 134569956 3221224384 3221214680 1131437799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 39704 13086 16 0 209387 0 vsize: 837612 [startup+620.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 56539 59 0 0 25 0 11 0 836737488 857714688 39871 4294967295 134512640 134569956 3221224384 3221214488 1131218981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 39871 13086 16 0 209387 0 vsize: 837612 [startup+630.029 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 57456 60 0 0 25 0 11 0 836737488 857714688 40044 4294967295 134512640 134569956 3221224384 3221214576 1131308020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 40044 13086 16 0 209387 0 vsize: 837612 [startup+640.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 58376 60 0 0 25 0 11 0 836737488 857714688 40218 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 40218 13086 16 0 209387 0 vsize: 837612 [startup+650.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) S 13839 5562 5561 0 -1 0 18119 3 1 0 59297 61 0 0 25 0 11 0 836737488 857714688 40431 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 40431 13086 16 0 209387 0 vsize: 837612 [startup+660.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 60221 61 0 0 24 0 11 0 836737488 857714688 40658 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 40658 13086 16 0 209387 0 vsize: 837612 [startup+670.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 61158 62 0 0 25 0 11 0 836737488 857714688 40789 4294967295 134512640 134569956 3221224384 3221214680 1131436667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 40789 13086 16 0 209387 0 vsize: 837612 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 62098 63 0 0 25 0 11 0 836737488 857714688 40960 4294967295 134512640 134569956 3221224384 3221214576 1131308373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 40960 13086 16 0 209387 0 vsize: 837612 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 63033 63 0 0 25 0 11 0 836737488 857714688 41115 4294967295 134512640 134569956 3221224384 3221214488 1131219388 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 41115 13086 16 0 209387 0 vsize: 837612 [startup+700.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 63968 63 0 0 25 0 11 0 836737488 857714688 41218 4294967295 134512640 134569956 3221224384 3221214680 1131437718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 41218 13086 16 0 209387 0 vsize: 837612 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 64890 63 0 0 24 0 11 0 836737488 857714688 41360 4294967295 134512640 134569956 3221224384 3221214576 1131308410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 41360 13086 16 0 209387 0 vsize: 837612 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 65818 64 0 0 25 0 11 0 836737488 857714688 41490 4294967295 134512640 134569956 3221224384 3221214680 1131437736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 41490 13086 16 0 209387 0 vsize: 837612 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 66749 64 0 0 25 0 11 0 836737488 857714688 41708 4294967295 134512640 134569956 3221224384 3221214576 1131307518 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 41708 13086 16 0 209387 0 vsize: 837612 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) S 13839 5562 5561 0 -1 0 18119 3 1 0 67678 64 0 0 25 0 11 0 836737488 857714688 41878 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 41878 13086 16 0 209387 0 vsize: 837612 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 68611 65 0 0 25 0 11 0 836737488 857714688 42050 4294967295 134512640 134569956 3221224384 3221214680 1131437766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 42050 13086 16 0 209387 0 vsize: 837612 [startup+760.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 69545 65 0 0 25 0 11 0 836737488 857714688 42155 4294967295 134512640 134569956 3221224384 3221214680 1131438613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 42155 13086 16 0 209387 0 vsize: 837612 [startup+770.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 70475 66 0 0 25 0 11 0 836737488 857714688 42314 4294967295 134512640 134569956 3221224384 3221214576 1131308144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 42314 13086 16 0 209387 0 vsize: 837612 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 71398 66 0 0 25 0 11 0 836737488 857714688 42484 4294967295 134512640 134569956 3221224384 3221214576 1131308095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 42484 13086 16 0 209387 0 vsize: 837612 [startup+790.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 72324 67 0 0 25 0 11 0 836737488 857714688 42644 4294967295 134512640 134569956 3221224384 3221214576 1131307575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 42644 13086 16 0 209387 0 vsize: 837612 [startup+800.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 73250 67 0 0 25 0 11 0 836737488 857714688 42798 4294967295 134512640 134569956 3221224384 3221214680 1131436667 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 42798 13086 16 0 209387 0 vsize: 837612 [startup+810.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 74168 68 0 0 25 0 11 0 836737488 857714688 42959 4294967295 134512640 134569956 3221224384 3221214680 1131438698 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 42959 13086 16 0 209387 0 vsize: 837612 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 75100 68 0 0 25 0 11 0 836737488 857714688 43133 4294967295 134512640 134569956 3221224384 3221214576 1131308079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 43133 13086 16 0 209387 0 vsize: 837612 [startup+830.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 76025 69 0 0 25 0 11 0 836737488 857714688 43305 4294967295 134512640 134569956 3221224384 3221214680 1131437766 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 43305 13086 16 0 209387 0 vsize: 837612 [startup+840.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 76958 69 0 0 25 0 11 0 836737488 857714688 43438 4294967295 134512640 134569956 3221224384 3221214488 1131218981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 43438 13086 16 0 209387 0 vsize: 837612 [startup+850.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 77890 69 0 0 25 0 11 0 836737488 857714688 43617 4294967295 134512640 134569956 3221224384 3221214680 1131437736 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 43617 13086 16 0 209387 0 vsize: 837612 [startup+860.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 78833 70 0 0 25 0 11 0 836737488 857714688 43791 4294967295 134512640 134569956 3221224384 3221214576 1131307634 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 43791 13086 16 0 209387 0 vsize: 837612 [startup+870.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 79774 70 0 0 25 0 11 0 836737488 857714688 43920 4294967295 134512640 134569956 3221224384 3221214584 1131274197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 43920 13086 16 0 209387 0 vsize: 837612 [startup+880.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) S 13839 5562 5561 0 -1 0 18119 3 1 0 80721 71 0 0 25 0 11 0 836737488 857714688 44020 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44020 13086 16 0 209387 0 vsize: 837612 [startup+890.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 81670 71 0 0 25 0 11 0 836737488 857714688 44170 4294967295 134512640 134569956 3221224384 3221214576 1131307659 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44170 13086 16 0 209387 0 vsize: 837612 [startup+900.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 82616 71 0 0 25 0 11 0 836737488 857714688 44267 4294967295 134512640 134569956 3221224384 3221214680 1131438613 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44267 13086 16 0 209387 0 vsize: 837612 [startup+910.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) S 13839 5562 5561 0 -1 0 18119 3 1 0 83561 72 0 0 25 0 11 0 836737488 857714688 44348 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44348 13086 16 0 209387 0 vsize: 837612 [startup+920.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 84502 72 0 0 25 0 11 0 836737488 857714688 44464 4294967295 134512640 134569956 3221224384 3221214576 1131307797 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44464 13086 16 0 209387 0 vsize: 837612 [startup+930.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 85439 72 0 0 25 0 11 0 836737488 857714688 44608 4294967295 134512640 134569956 3221224384 3221214576 1131307577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44608 13086 16 0 209387 0 vsize: 837612 [startup+940.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 86377 73 0 0 24 0 11 0 836737488 857714688 44736 4294967295 134512640 134569956 3221224384 3221214576 1131308703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44736 13086 16 0 209387 0 vsize: 837612 [startup+950.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 87322 73 0 0 25 0 11 0 836737488 857714688 44846 4294967295 134512640 134569956 3221224384 3221214576 1131308382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 44846 13086 16 0 209387 0 vsize: 837612 [startup+960.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 88267 74 0 0 25 0 11 0 836737488 857714688 45008 4294967295 134512640 134569956 3221224384 3221214576 1131307769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45008 13086 16 0 209387 0 vsize: 837612 [startup+970.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 89216 74 0 0 25 0 11 0 836737488 857714688 45087 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45087 13086 16 0 209387 0 vsize: 837612 [startup+980.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 90166 75 0 0 24 0 11 0 836737488 857714688 45209 4294967295 134512640 134569956 3221224384 3221214576 1131307886 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45209 13086 16 0 209387 0 vsize: 837612 [startup+990.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 91120 75 0 0 25 0 11 0 836737488 857714688 45296 4294967295 134512640 134569956 3221224384 3221214576 1131307855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45296 13086 16 0 209387 0 vsize: 837612 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 92069 76 0 0 25 0 11 0 836737488 857714688 45394 4294967295 134512640 134569956 3221224384 3221214576 1131307676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45394 13086 16 0 209387 0 vsize: 837612 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 93020 76 0 0 25 0 11 0 836737488 857714688 45506 4294967295 134512640 134569956 3221224384 3221214576 1131307545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45506 13086 16 0 209387 0 vsize: 837612 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 93974 77 0 0 25 0 11 0 836737488 857714688 45608 4294967295 134512640 134569956 3221224384 3221214576 1131307855 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45608 13086 16 0 209387 0 vsize: 837612 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 94926 77 0 0 25 0 11 0 836737488 857714688 45686 4294967295 134512640 134569956 3221224384 3221214576 1131308407 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45686 13086 16 0 209387 0 vsize: 837612 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 95872 78 0 0 25 0 11 0 836737488 857714688 45755 4294967295 134512640 134569956 3221224384 3221214576 1131308442 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45755 13086 16 0 209387 0 vsize: 837612 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 96819 78 0 0 25 0 11 0 836737488 857714688 45863 4294967295 134512640 134569956 3221224384 3221214664 1131342679 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45863 13086 16 0 209387 0 vsize: 837612 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 97760 79 0 0 25 0 11 0 836737488 857714688 45978 4294967295 134512640 134569956 3221224384 3221214576 1131307971 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 45978 13086 16 0 209387 0 vsize: 837612 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 98701 79 0 0 25 0 11 0 836737488 857714688 46076 4294967295 134512640 134569956 3221224384 3221214680 1131437698 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 46076 13086 16 0 209387 0 vsize: 837612 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 99645 80 0 0 25 0 11 0 836737488 857714688 46191 4294967295 134512640 134569956 3221224384 3221214680 1131438694 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 46191 13086 16 0 209387 0 vsize: 837612 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 100580 80 0 0 25 0 11 0 836737488 857714688 46334 4294967295 134512640 134569956 3221224384 3221214572 1131220007 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 46334 13086 16 0 209387 0 vsize: 837612 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 101515 81 0 0 25 0 11 0 836737488 857714688 46428 4294967295 134512640 134569956 3221224384 3221214576 1131308063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 46428 13086 16 0 209387 0 vsize: 837612 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 102438 81 0 0 25 0 11 0 836737488 857714688 46586 4294967295 134512640 134569956 3221224384 3221214576 1131308285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209403 46586 13086 16 0 209387 0 vsize: 837612 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 103366 82 0 0 25 0 11 0 836737488 857714688 46730 4294967295 134512640 134569956 3221224384 3221214576 1131307530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 46730 13086 16 0 209387 0 vsize: 837612 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 104300 82 0 0 25 0 11 0 836737488 857714688 46884 4294967295 134512640 134569956 3221224384 3221214576 1131307778 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 46884 13086 16 0 209387 0 vsize: 837612 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 105233 82 0 0 24 0 11 0 836737488 857714688 47069 4294967295 134512640 134569956 3221224384 3221214488 1131219988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47069 13086 16 0 209387 0 vsize: 837612 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 106174 83 0 0 25 0 11 0 836737488 857714688 47177 4294967295 134512640 134569956 3221224384 3221214576 1131307965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47177 13086 16 0 209387 0 vsize: 837612 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 107117 83 0 0 25 0 11 0 836737488 857714688 47284 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47284 13086 16 0 209387 0 vsize: 837612 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 108053 84 0 0 25 0 11 0 836737488 857714688 47448 4294967295 134512640 134569956 3221224384 3221214872 1131462740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47448 13086 16 0 209387 0 vsize: 837612 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 108997 84 0 0 25 0 11 0 836737488 857714688 47573 4294967295 134512640 134569956 3221224384 3221214576 1131307988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47573 13086 16 0 209387 0 vsize: 837612 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 109938 85 0 0 25 0 11 0 836737488 857714688 47691 4294967295 134512640 134569956 3221224384 3221214576 1131307518 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47691 13086 16 0 209387 0 vsize: 837612 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 110885 85 0 0 25 0 11 0 836737488 857714688 47782 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47782 13086 16 0 209387 0 vsize: 837612 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 111828 85 0 0 25 0 11 0 836737488 857714688 47925 4294967295 134512640 134569956 3221224384 3221214576 1131308162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 47925 13086 16 0 209387 0 vsize: 837612 [startup+1220.05 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 112777 86 0 0 25 0 11 0 836737488 857714688 48034 4294967295 134512640 134569956 3221224384 3221214576 1131308470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48034 13086 16 0 209387 0 vsize: 837612 [startup+1230.05 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 113720 86 0 0 25 0 11 0 836737488 857714688 48134 4294967295 134512640 134569956 3221224384 3221214680 1131437600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48134 13086 16 0 209387 0 vsize: 837612 [startup+1240.05 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 114665 86 0 0 25 0 11 0 836737488 857714688 48234 4294967295 134512640 134569956 3221224384 3221214576 1131308470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48234 13086 16 0 209387 0 vsize: 837612 [startup+1250.05 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 115607 87 0 0 25 0 11 0 836737488 857714688 48336 4294967295 134512640 134569956 3221224384 3221214576 1131308480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48336 13086 16 0 209387 0 vsize: 837612 [startup+1260.05 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 116550 87 0 0 25 0 11 0 836737488 857714688 48479 4294967295 134512640 134569956 3221224384 3221214576 1131307930 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48479 13086 16 0 209387 0 vsize: 837612 [startup+1270.05 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 117496 87 0 0 25 0 11 0 836737488 857714688 48604 4294967295 134512640 134569956 3221224384 3221214576 1131307575 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48604 13086 16 0 209387 0 vsize: 837612 [startup+1280.05 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 118445 87 0 0 25 0 11 0 836737488 857714688 48694 4294967295 134512640 134569956 3221224384 3221214576 1131307638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48694 13086 16 0 209387 0 vsize: 837612 [startup+1290.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 119392 87 0 0 25 0 11 0 836737488 857714688 48798 4294967295 134512640 134569956 3221224384 3221214568 1131307618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48798 13086 16 0 209387 0 vsize: 837612 [startup+1300.06 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13857 Raw data (stat): 13840 (java) R 13839 5562 5561 0 -1 0 18119 3 1 0 120341 88 0 0 25 0 11 0 836737488 857714688 48872 4294967295 134512640 134569956 3221224384 3221214576 1131307905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209403 48872 13086 16 0 209387 0 vsize: 837612 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.22 s] Raw data (loadavg): 1.02 1.01 1.00 1/54 13859 Raw data (stat): 13840 (java) Z 13839 5562 5561 0 -1 1036 18119 33571 1 0 120347 97 10321 77 25 0 1 0 836737488 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): 1300.22 CPU time (s): 1308.45 CPU user time (s): 1306.69 CPU system time (s): 1.75373 CPU usage (%): 100.633 Max. virtual memory (Kb): 837612 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -25 #### END VERIFIER DATA ####