Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb |
MD5SUM | 063fe125a766c5e46d0ecbf211fd8049 |
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.04584 |
Number of variables | 450 |
Total number of constraints | 17809 |
Number of constraints which are clauses | 17809 |
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 wulflinc11 THE 2005-05-25 06:30:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20726 boxname=wulflinc11 idbench=316 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 063fe125a766c5e46d0ecbf211fd8049 /oldhome/oroussel/tmp/wulflinc11/normalized-frb30-15-3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-frb30-15-3.opb IDLAUNCH: 20726 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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: 871392 kB Buffers: 23660 kB Cached: 118844 kB SwapCached: 772 kB Active: 34472 kB Inactive: 110068 kB HighTotal: 131008 kB HighFree: 12348 kB LowTotal: 903652 kB LowFree: 859044 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13304 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 06:52:15 (client local time) WITH STATUS 143 IN 1318.68 SECONDS stats: 20726 0 1318.68 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/wulflinc11/normalized-frb30-15-3.opb c reading problem ... done. Time 5.459 ms. c #vars 450 c #constraints 17809 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 0 Current CPU time: 5.83 ms c CURRENT OPTIMUM= -1 Current CPU time: 6.00 ms c CURRENT OPTIMUM= -2 Current CPU time: 7.12 ms c CURRENT OPTIMUM= -20 Current CPU time: 7.21 ms c CURRENT OPTIMUM= -21 Current CPU time: 7.45 ms c CURRENT OPTIMUM= -22 Current CPU time: 7.76 ms c CURRENT OPTIMUM= -23 Current CPU time: 11.17 ms c CURRENT OPTIMUM= -24 Current CPU time: 12.88 ms c starts : 16 c conflicts : 3545 c decisions : 5532 c propagations : 31540 c inspects : 3835011 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 3545 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=-24 c Total CPU time (ms) : 1309.17 #### 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.86 0.97 0.99 2/54 4759 Raw data (stat): 4759 (runsolver) R 4758 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778506607 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0012 s] Raw data (loadavg): 0.96 0.99 0.99 2/64 4775 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18120 3 1 0 681 41 0 0 25 0 11 0 778506607 858832896 21830 4294967295 134512640 134569956 3221224384 3221214432 1131502391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209676 21830 13086 16 0 209660 0 vsize: 838704 [startup+20.0016 s] Raw data (loadavg): 0.96 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18122 3 1 0 1581 42 0 0 25 0 11 0 778506607 858800128 24859 4294967295 134512640 134569956 3221224384 3221214624 1131428593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 24859 13086 16 0 209652 0 vsize: 838672 [startup+30.002 s] Raw data (loadavg): 0.97 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18122 3 1 0 2497 42 0 0 25 0 11 0 778506607 858800128 25434 4294967295 134512640 134569956 3221224384 3221214584 1131232240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 25434 13086 16 0 209652 0 vsize: 838672 [startup+40.0021 s] Raw data (loadavg): 0.97 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18122 3 1 0 3402 42 0 0 25 0 11 0 778506607 858800128 26055 4294967295 134512640 134569956 3221224384 3221214544 1131502865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 26055 13086 16 0 209652 0 vsize: 838672 [startup+50.0031 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 4301 42 0 0 25 0 11 0 778506607 858800128 26662 4294967295 134512640 134569956 3221224384 3221214584 1131317665 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 26662 13086 16 0 209652 0 vsize: 838672 [startup+60.0033 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 5208 42 0 0 25 0 11 0 778506607 858800128 27158 4294967295 134512640 134569956 3221224384 3221214680 1131471068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 27158 13086 16 0 209652 0 vsize: 838672 [startup+70.0062 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 6117 42 0 0 25 0 11 0 778506607 858800128 27629 4294967295 134512640 134569956 3221224384 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 27629 13086 16 0 209652 0 vsize: 838672 [startup+80.0076 s] Raw data (loadavg): 0.98 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 7021 42 0 0 25 0 11 0 778506607 858800128 28120 4294967295 134512640 134569956 3221224384 3221214616 1131321777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 28120 13086 16 0 209652 0 vsize: 838672 [startup+90.0077 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 7923 42 0 0 25 0 11 0 778506607 858800128 28494 4294967295 134512640 134569956 3221224384 3221214560 1131318622 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 28494 13086 16 0 209652 0 vsize: 838672 [startup+100.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 8824 42 0 0 25 0 11 0 778506607 858800128 28907 4294967295 134512640 134569956 3221224384 3221214560 1131318014 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 28907 13086 16 0 209652 0 vsize: 838672 [startup+110.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 9739 42 0 0 25 0 11 0 778506607 858800128 29163 4294967295 134512640 134569956 3221224384 3221214656 1131471061 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 29163 13086 16 0 209652 0 vsize: 838672 [startup+120.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 10645 42 0 0 25 0 11 0 778506607 858800128 29437 4294967295 134512640 134569956 3221224384 3221214560 1131318314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209668 29437 13086 16 0 209652 0 vsize: 838672 [startup+130.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 11541 43 0 0 24 0 11 0 778506607 858800128 29711 4294967295 134512640 134569956 3221224384 3221214656 1131469633 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 29711 13086 16 0 209652 0 vsize: 838672 [startup+140.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 12447 43 0 0 24 0 11 0 778506607 858800128 29968 4294967295 134512640 134569956 3221224384 3221214560 1131317823 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 29968 13086 16 0 209652 0 vsize: 838672 [startup+150.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 13353 44 0 0 25 0 11 0 778506607 858800128 30242 4294967295 134512640 134569956 3221224384 3221214472 1131502405 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 30242 13086 16 0 209652 0 vsize: 838672 [startup+160.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 14257 44 0 0 25 0 11 0 778506607 858800128 30549 4294967295 134512640 134569956 3221224384 3221214656 1131471202 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 30549 13086 16 0 209652 0 vsize: 838672 [startup+170.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 15163 45 0 0 25 0 11 0 778506607 858800128 30844 4294967295 134512640 134569956 3221224384 3221214656 1131469965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 30844 13086 16 0 209652 0 vsize: 838672 [startup+180.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 16060 45 0 0 25 0 11 0 778506607 858800128 31226 4294967295 134512640 134569956 3221224384 3221214560 1131317676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 31226 13086 16 0 209652 0 vsize: 838672 [startup+190.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 16963 45 0 0 25 0 11 0 778506607 858800128 31539 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 31539 13086 16 0 209652 0 vsize: 838672 [startup+200.016 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 17865 46 0 0 25 0 11 0 778506607 858800128 32006 4294967295 134512640 134569956 3221224384 3221214684 1131553523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 32006 13086 16 0 209652 0 vsize: 838672 [startup+210.016 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 18765 47 0 0 25 0 11 0 778506607 858800128 32386 4294967295 134512640 134569956 3221224384 3221214560 1131317669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 32386 13086 16 0 209652 0 vsize: 838672 [startup+220.017 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 19666 47 0 0 25 0 11 0 778506607 858800128 32814 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 32814 13086 16 0 209652 0 vsize: 838672 [startup+230.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 20564 48 0 0 25 0 11 0 778506607 858800128 33100 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 33100 13086 16 0 209652 0 vsize: 838672 [startup+240.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 21461 48 0 0 25 0 11 0 778506607 858800128 33386 4294967295 134512640 134569956 3221224384 3221214696 1131182704 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 33386 13086 16 0 209652 0 vsize: 838672 [startup+250.02 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 22363 48 0 0 25 0 11 0 778506607 858800128 33717 4294967295 134512640 134569956 3221224384 3221214672 1131231646 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 33717 13086 16 0 209652 0 vsize: 838672 [startup+260.022 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 23255 49 0 0 25 0 11 0 778506607 858800128 34004 4294967295 134512640 134569956 3221224384 3221214560 1131318023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 34004 13086 16 0 209652 0 vsize: 838672 [startup+270.021 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 24158 50 0 0 25 0 11 0 778506607 858800128 34227 4294967295 134512640 134569956 3221224384 3221214656 1131471942 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 34227 13086 16 0 209652 0 vsize: 838672 [startup+280.022 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 25050 50 0 0 25 0 11 0 778506607 858800128 34586 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 34586 13086 16 0 209652 0 vsize: 838672 [startup+290.023 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 25955 51 0 0 25 0 11 0 778506607 858800128 34792 4294967295 134512640 134569956 3221224384 3221214544 1131502391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 34792 13086 16 0 209652 0 vsize: 838672 [startup+300.023 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 26846 51 0 0 25 0 11 0 778506607 858800128 35093 4294967295 134512640 134569956 3221224384 3221214560 1131318050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 35093 13086 16 0 209652 0 vsize: 838672 [startup+310.024 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 27736 52 0 0 25 0 11 0 778506607 858800128 35412 4294967295 134512640 134569956 3221224384 3221214560 1131318629 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 35412 13086 16 0 209652 0 vsize: 838672 [startup+320.024 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 28637 52 0 0 25 0 11 0 778506607 858800128 35681 4294967295 134512640 134569956 3221224384 3221214656 1131471120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 35681 13086 16 0 209652 0 vsize: 838672 [startup+330.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 29550 53 0 0 25 0 11 0 778506607 858800128 35957 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 35957 13086 16 0 209652 0 vsize: 838672 [startup+340.026 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 30471 53 0 0 24 0 11 0 778506607 858800128 36212 4294967295 134512640 134569956 3221224384 3221214624 1131428556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 36212 13086 16 0 209652 0 vsize: 838672 [startup+350.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 31402 53 0 0 25 0 11 0 778506607 858800128 36365 4294967295 134512640 134569956 3221224384 3221214560 1131318116 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 36365 13086 16 0 209652 0 vsize: 838672 [startup+360.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 32317 54 0 0 25 0 11 0 778506607 858800128 36579 4294967295 134512640 134569956 3221224384 3221214560 1131318154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 36579 13086 16 0 209652 0 vsize: 838672 [startup+370.027 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 33242 54 0 0 25 0 11 0 778506607 858800128 36779 4294967295 134512640 134569956 3221224384 3221214576 1131408031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 36779 13086 16 0 209652 0 vsize: 838672 [startup+380.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 34160 54 0 0 24 0 11 0 778506607 858800128 37021 4294967295 134512640 134569956 3221224384 3221214560 1131318453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 37021 13086 16 0 209652 0 vsize: 838672 [startup+390.028 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 35093 55 0 0 25 0 11 0 778506607 858800128 37173 4294967295 134512640 134569956 3221224384 3221214560 1131318558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 37173 13086 16 0 209652 0 vsize: 838672 [startup+400.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 36022 55 0 0 25 0 11 0 778506607 858800128 37349 4294967295 134512640 134569956 3221224384 3221214472 1131217554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 37349 13086 16 0 209652 0 vsize: 838672 [startup+410.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 36955 56 0 0 24 0 11 0 778506607 858800128 37545 4294967295 134512640 134569956 3221224384 3221214560 1131317792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 37545 13086 16 0 209652 0 vsize: 838672 [startup+420.03 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 37893 56 0 0 25 0 11 0 778506607 858800128 37662 4294967295 134512640 134569956 3221224384 3221214560 1131318888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 37662 13086 16 0 209652 0 vsize: 838672 [startup+430.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 38826 57 0 0 25 0 11 0 778506607 858800128 37818 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 37818 13086 16 0 209652 0 vsize: 838672 [startup+440.031 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 39764 57 0 0 25 0 11 0 778506607 858800128 37985 4294967295 134512640 134569956 3221224384 3221214656 1131471061 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 37985 13086 16 0 209652 0 vsize: 838672 [startup+450.033 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 40707 58 0 0 25 0 11 0 778506607 858800128 38127 4294967295 134512640 134569956 3221224384 3221214560 1131317725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 38127 13086 16 0 209652 0 vsize: 838672 [startup+460.033 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 41650 59 0 0 25 0 11 0 778506607 858800128 38245 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 38245 13086 16 0 209652 0 vsize: 838672 [startup+470.033 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 42585 59 0 0 25 0 11 0 778506607 858800128 38359 4294967295 134512640 134569956 3221224384 3221214560 1131318520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 38359 13086 16 0 209652 0 vsize: 838672 [startup+480.034 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 43516 59 0 0 25 0 11 0 778506607 858800128 38496 4294967295 134512640 134569956 3221224384 3221214560 1131317661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 38496 13086 16 0 209652 0 vsize: 838672 [startup+490.035 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 44439 59 0 0 25 0 11 0 778506607 858800128 38632 4294967295 134512640 134569956 3221224384 3221214560 1131318255 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 38632 13086 16 0 209652 0 vsize: 838672 [startup+500.036 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 45367 59 0 0 25 0 11 0 778506607 858800128 38886 4294967295 134512640 134569956 3221224384 3221214560 1131318650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 38886 13086 16 0 209652 0 vsize: 838672 [startup+510.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 46305 60 0 0 25 0 11 0 778506607 858800128 39025 4294967295 134512640 134569956 3221224384 3221214560 1131317959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39025 13086 16 0 209652 0 vsize: 838672 [startup+520.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 47239 60 0 0 25 0 11 0 778506607 858800128 39158 4294967295 134512640 134569956 3221224384 3221214560 1131317669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39158 13086 16 0 209652 0 vsize: 838672 [startup+530.037 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 48173 60 0 0 19 0 11 0 778506607 858800128 39328 4294967295 134512640 134569956 3221224384 3221214560 1131318023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39328 13086 16 0 209652 0 vsize: 838672 [startup+540.038 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 49117 61 0 0 25 0 11 0 778506607 858800128 39443 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39443 13086 16 0 209652 0 vsize: 838672 [startup+550.038 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 50056 61 0 0 25 0 11 0 778506607 858800128 39610 4294967295 134512640 134569956 3221224384 3221214656 1131471917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39610 13086 16 0 209652 0 vsize: 838672 [startup+560.039 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 50999 62 0 0 25 0 11 0 778506607 858800128 39742 4294967295 134512640 134569956 3221224384 3221214656 1131471917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39742 13086 16 0 209652 0 vsize: 838672 [startup+570.039 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 51942 62 0 0 25 0 11 0 778506607 858800128 39883 4294967295 134512640 134569956 3221224384 3221214560 1131318656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39883 13086 16 0 209652 0 vsize: 838672 [startup+580.039 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 52888 63 0 0 25 0 11 0 778506607 858800128 39986 4294967295 134512640 134569956 3221224384 3221214472 1131217517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 39986 13086 16 0 209652 0 vsize: 838672 [startup+590.039 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 53833 63 0 0 25 0 11 0 778506607 858800128 40115 4294967295 134512640 134569956 3221224384 3221214600 1131205453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 40115 13086 16 0 209652 0 vsize: 838672 [startup+600.04 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 54777 64 0 0 25 0 11 0 778506607 858800128 40201 4294967295 134512640 134569956 3221224384 3221214560 1131317694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 40201 13086 16 0 209652 0 vsize: 838672 [startup+610.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 55713 64 0 0 25 0 11 0 778506607 858800128 40349 4294967295 134512640 134569956 3221224384 3221214560 1131317759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 40349 13086 16 0 209652 0 vsize: 838672 [startup+620.041 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 56644 65 0 0 25 0 11 0 778506607 858800128 40452 4294967295 134512640 134569956 3221224384 3221214656 1131471998 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 40452 13086 16 0 209652 0 vsize: 838672 [startup+630.042 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 57576 65 0 0 25 0 11 0 778506607 858800128 40624 4294967295 134512640 134569956 3221224384 3221214656 1131470030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 40624 13086 16 0 209652 0 vsize: 838672 [startup+640.042 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 58514 65 0 0 25 0 11 0 778506607 858800128 40803 4294967295 134512640 134569956 3221224384 3221214516 1131337587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 40803 13086 16 0 209652 0 vsize: 838672 [startup+650.043 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 59458 65 0 0 25 0 11 0 778506607 858800128 40938 4294967295 134512640 134569956 3221224384 3221214516 1131571315 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 40938 13086 16 0 209652 0 vsize: 838672 [startup+660.044 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 60392 66 0 0 25 0 11 0 778506607 858800128 41037 4294967295 134512640 134569956 3221224384 3221214584 1131511521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 41037 13086 16 0 209652 0 vsize: 838672 [startup+670.045 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 61324 67 0 0 25 0 11 0 778506607 858800128 41198 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 41198 13086 16 0 209652 0 vsize: 838672 [startup+680.046 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 62260 67 0 0 25 0 11 0 778506607 858800128 41392 4294967295 134512640 134569956 3221224384 3221214656 1131183082 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 41392 13086 16 0 209652 0 vsize: 838672 [startup+690.046 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 63209 67 0 0 25 0 11 0 778506607 858800128 41522 4294967295 134512640 134569956 3221224384 3221214560 1131317829 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 41522 13086 16 0 209652 0 vsize: 838672 [startup+700.048 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 64153 68 0 0 25 0 11 0 778506607 858800128 41673 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 41673 13086 16 0 209652 0 vsize: 838672 [startup+710.048 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 65088 68 0 0 25 0 11 0 778506607 858800128 41766 4294967295 134512640 134569956 3221224384 3221214560 1131318023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 41766 13086 16 0 209652 0 vsize: 838672 [startup+720.048 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 66016 69 0 0 25 0 11 0 778506607 858800128 41872 4294967295 134512640 134569956 3221224384 3221214560 1131317975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 41872 13086 16 0 209652 0 vsize: 838672 [startup+730.048 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 66922 69 0 0 25 0 11 0 778506607 858800128 42046 4294967295 134512640 134569956 3221224384 3221214560 1131317952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 42046 13086 16 0 209652 0 vsize: 838672 [startup+740.049 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 67837 70 0 0 25 0 11 0 778506607 858800128 42219 4294967295 134512640 134569956 3221224384 3221214560 1131317738 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 42219 13086 16 0 209652 0 vsize: 838672 [startup+750.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 68755 70 0 0 25 0 11 0 778506607 858800128 42407 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 42407 13086 16 0 209652 0 vsize: 838672 [startup+760.05 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 69677 71 0 0 25 0 11 0 778506607 858800128 42680 4294967295 134512640 134569956 3221224384 3221214560 1131317694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 42680 13086 16 0 209652 0 vsize: 838672 [startup+770.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 70605 71 0 0 25 0 11 0 778506607 858800128 42840 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 42840 13086 16 0 209652 0 vsize: 838672 [startup+780.051 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 71527 72 0 0 25 0 11 0 778506607 858800128 43006 4294967295 134512640 134569956 3221224384 3221214656 1131470949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 43006 13086 16 0 209652 0 vsize: 838672 [startup+790.052 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 72446 72 0 0 25 0 11 0 778506607 858800128 43172 4294967295 134512640 134569956 3221224384 3221214556 1131217504 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 43172 13086 16 0 209652 0 vsize: 838672 [startup+800.053 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 73358 72 0 0 25 0 11 0 778506607 858800128 43331 4294967295 134512640 134569956 3221224384 3221214560 1131318176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 43331 13086 16 0 209652 0 vsize: 838672 [startup+810.054 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 74256 72 0 0 25 0 11 0 778506607 858800128 43557 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 43557 13086 16 0 209652 0 vsize: 838672 [startup+820.054 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 75174 73 0 0 25 0 11 0 778506607 858800128 43833 4294967295 134512640 134569956 3221224384 3221214416 1076461603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 43833 13086 16 0 209652 0 vsize: 838672 [startup+830.055 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 76095 73 0 0 25 0 11 0 778506607 858800128 44074 4294967295 134512640 134569956 3221224384 3221214560 1131318066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 44074 13086 16 0 209652 0 vsize: 838672 [startup+840.056 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 77033 73 0 0 25 0 11 0 778506607 858800128 44243 4294967295 134512640 134569956 3221224384 3221214560 1131318176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 44243 13086 16 0 209652 0 vsize: 838672 [startup+850.058 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 77957 74 0 0 25 0 11 0 778506607 858800128 44400 4294967295 134512640 134569956 3221224384 3221214560 1131318176 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 44400 13086 16 0 209652 0 vsize: 838672 [startup+860.059 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 78883 75 0 0 25 0 11 0 778506607 858800128 44505 4294967295 134512640 134569956 3221224384 3221214560 1131317757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 44505 13086 16 0 209652 0 vsize: 838672 [startup+870.058 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 79802 75 0 0 25 0 11 0 778506607 858800128 44664 4294967295 134512640 134569956 3221224384 3221214560 1131318243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 44664 13086 16 0 209652 0 vsize: 838672 [startup+880.059 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 80721 76 0 0 25 0 11 0 778506607 858800128 44888 4294967295 134512640 134569956 3221224384 3221214560 1131318656 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 44888 13086 16 0 209652 0 vsize: 838672 [startup+890.059 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 81644 77 0 0 25 0 11 0 778506607 858800128 45093 4294967295 134512640 134569956 3221224384 3221214560 1131318583 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 45093 13086 16 0 209652 0 vsize: 838672 [startup+900.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 82576 77 0 0 25 0 11 0 778506607 858800128 45257 4294967295 134512640 134569956 3221224384 3221214656 1131471177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 45257 13086 16 0 209652 0 vsize: 838672 [startup+910.061 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 83507 78 0 0 25 0 11 0 778506607 858800128 45380 4294967295 134512640 134569956 3221224384 3221214560 1131318588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 45380 13086 16 0 209652 0 vsize: 838672 [startup+920.06 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 84429 78 0 0 25 0 11 0 778506607 858800128 45530 4294967295 134512640 134569956 3221224384 3221214656 1131471047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 45530 13086 16 0 209652 0 vsize: 838672 [startup+930.061 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 85357 79 0 0 25 0 11 0 778506607 858800128 45719 4294967295 134512640 134569956 3221224384 3221214560 1131318023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 45719 13086 16 0 209652 0 vsize: 838672 [startup+940.062 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 86283 79 0 0 25 0 11 0 778506607 858800128 45863 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 45863 13086 16 0 209652 0 vsize: 838672 [startup+950.063 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 87203 80 0 0 25 0 11 0 778506607 858800128 46040 4294967295 134512640 134569956 3221224384 3221214560 1131317757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 46040 13086 16 0 209652 0 vsize: 838672 [startup+960.064 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 88110 80 0 0 25 0 11 0 778506607 858800128 46223 4294967295 134512640 134569956 3221224384 3221214656 1131430691 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 46223 13086 16 0 209652 0 vsize: 838672 [startup+970.063 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 89026 80 0 0 25 0 11 0 778506607 858800128 46410 4294967295 134512640 134569956 3221224384 3221214472 1131217536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 46410 13086 16 0 209652 0 vsize: 838672 [startup+980.065 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 89945 81 0 0 25 0 11 0 778506607 858800128 46647 4294967295 134512640 134569956 3221224384 3221214656 1131470030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 46647 13086 16 0 209652 0 vsize: 838672 [startup+990.066 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 90865 81 0 0 25 0 11 0 778506607 858800128 46842 4294967295 134512640 134569956 3221224384 3221214560 1131318573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 46842 13086 16 0 209652 0 vsize: 838672 [startup+1000.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 91793 82 0 0 25 0 11 0 778506607 858800128 47038 4294967295 134512640 134569956 3221224384 3221214560 1131318636 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 47038 13086 16 0 209652 0 vsize: 838672 [startup+1010.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 92717 82 0 0 24 0 11 0 778506607 858800128 47197 4294967295 134512640 134569956 3221224384 3221214560 1131317678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 47197 13086 16 0 209652 0 vsize: 838672 [startup+1020.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 93647 83 0 0 25 0 11 0 778506607 858800128 47323 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 47323 13086 16 0 209652 0 vsize: 838672 [startup+1030.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 94569 83 0 0 25 0 11 0 778506607 858800128 47517 4294967295 134512640 134569956 3221224384 3221214560 1131317959 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 47517 13086 16 0 209652 0 vsize: 838672 [startup+1040.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 95488 84 0 0 25 0 11 0 778506607 858800128 47626 4294967295 134512640 134569956 3221224384 3221214560 1131317669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 47626 13086 16 0 209652 0 vsize: 838672 [startup+1050.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 96399 84 0 0 25 0 11 0 778506607 858800128 47839 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 47839 13086 16 0 209652 0 vsize: 838672 [startup+1060.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 97313 85 0 0 25 0 11 0 778506607 858800128 48075 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 48075 13086 16 0 209652 0 vsize: 838672 [startup+1070.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 98236 85 0 0 25 0 11 0 778506607 858800128 48257 4294967295 134512640 134569956 3221224384 3221214600 1131444288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 48257 13086 16 0 209652 0 vsize: 838672 [startup+1080.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 99154 86 0 0 25 0 11 0 778506607 858800128 48431 4294967295 134512640 134569956 3221224384 3221214624 1131428609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 48431 13086 16 0 209652 0 vsize: 838672 [startup+1090.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 100072 87 0 0 25 0 11 0 778506607 858800128 48575 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 48575 13086 16 0 209652 0 vsize: 838672 [startup+1100.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 100980 87 0 0 24 0 11 0 778506607 858800128 48809 4294967295 134512640 134569956 3221224384 3221214592 1131429592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 48809 13086 16 0 209652 0 vsize: 838672 [startup+1110.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 101902 88 0 0 25 0 11 0 778506607 858800128 48996 4294967295 134512640 134569956 3221224384 3221214656 1131469965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 48996 13086 16 0 209652 0 vsize: 838672 [startup+1120.07 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 102827 88 0 0 25 0 11 0 778506607 858800128 49163 4294967295 134512640 134569956 3221224384 3221214544 1131218008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 49163 13086 16 0 209652 0 vsize: 838672 [startup+1130.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 103753 89 0 0 25 0 11 0 778506607 858800128 49363 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 49363 13086 16 0 209652 0 vsize: 838672 [startup+1140.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 104674 89 0 0 25 0 11 0 778506607 858800128 49538 4294967295 134512640 134569956 3221224384 3221214656 1131471920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 49538 13086 16 0 209652 0 vsize: 838672 [startup+1150.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 105599 90 0 0 25 0 11 0 778506607 858800128 49706 4294967295 134512640 134569956 3221224384 3221214560 1131317665 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 49706 13086 16 0 209652 0 vsize: 838672 [startup+1160.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 106529 90 0 0 25 0 11 0 778506607 858800128 49865 4294967295 134512640 134569956 3221224384 3221214560 1131317995 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 49865 13086 16 0 209652 0 vsize: 838672 [startup+1170.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 107449 91 0 0 25 0 11 0 778506607 858800128 49981 4294967295 134512640 134569956 3221224384 3221214560 1131417144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 49981 13086 16 0 209652 0 vsize: 838672 [startup+1180.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 108359 91 0 0 25 0 11 0 778506607 858800128 50142 4294967295 134512640 134569956 3221224384 3221214560 1131318653 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 50142 13086 16 0 209652 0 vsize: 838672 [startup+1190.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 109283 91 0 0 25 0 11 0 778506607 858800128 50365 4294967295 134512640 134569956 3221224384 3221214656 1131471068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 50365 13086 16 0 209652 0 vsize: 838672 [startup+1200.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 110204 92 0 0 25 0 11 0 778506607 858800128 50575 4294967295 134512640 134569956 3221224384 3221214656 1131471171 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 50575 13086 16 0 209652 0 vsize: 838672 [startup+1210.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 111121 93 0 0 24 0 11 0 778506607 858800128 50709 4294967295 134512640 134569956 3221224384 3221214560 1131318023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 50709 13086 16 0 209652 0 vsize: 838672 [startup+1220.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 112041 93 0 0 25 0 11 0 778506607 858800128 50871 4294967295 134512640 134569956 3221224384 3221214560 1131317661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 50871 13086 16 0 209652 0 vsize: 838672 [startup+1230.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 112957 94 0 0 25 0 11 0 778506607 858800128 51015 4294967295 134512640 134569956 3221224384 3221214560 1131318558 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 51015 13086 16 0 209652 0 vsize: 838672 [startup+1240.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) S 4758 25830 25829 0 -1 0 18123 3 1 0 113875 94 0 0 25 0 11 0 778506607 858800128 51208 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 51208 13086 16 0 209652 0 vsize: 838672 [startup+1250.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 114790 95 0 0 25 0 11 0 778506607 858800128 51348 4294967295 134512640 134569956 3221224384 3221214560 1131318261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 51348 13086 16 0 209652 0 vsize: 838672 [startup+1260.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 115711 95 0 0 25 0 11 0 778506607 858800128 51532 4294967295 134512640 134569956 3221224384 3221214656 1131471101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 51532 13086 16 0 209652 0 vsize: 838672 [startup+1270.08 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 116632 95 0 0 25 0 11 0 778506607 858800128 51693 4294967295 134512640 134569956 3221224384 3221214656 1131471887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 51693 13086 16 0 209652 0 vsize: 838672 [startup+1280.09 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 117552 96 0 0 25 0 11 0 778506607 858800128 51937 4294967295 134512640 134569956 3221224384 3221214656 1131471068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 51937 13086 16 0 209652 0 vsize: 838672 [startup+1290.09 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 118480 96 0 0 19 0 11 0 778506607 858800128 52099 4294967295 134512640 134569956 3221224384 3221214560 1131318289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 52099 13086 16 0 209652 0 vsize: 838672 [startup+1300.09 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 119418 96 0 0 25 0 11 0 778506607 858800128 52269 4294967295 134512640 134569956 3221224384 3221214560 1131318069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 52269 13086 16 0 209652 0 vsize: 838672 [startup+1310.09 s] Raw data (loadavg): 0.99 0.99 0.99 2/64 4777 Raw data (stat): 4759 (java) R 4758 25830 25829 0 -1 0 18123 3 1 0 120349 96 0 0 25 0 11 0 778506607 858800128 52404 4294967295 134512640 134569956 3221224384 3221214560 1131231970 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209668 52404 13086 16 0 209652 0 vsize: 838672 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.25 s] Raw data (loadavg): 0.99 0.99 0.99 1/54 4779 Raw data (stat): 4759 (java) Z 4758 25830 25829 0 -1 1036 18123 35403 1 0 120356 106 11322 82 25 0 1 0 778506607 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.25 CPU time (s): 1318.68 CPU user time (s): 1316.79 CPU system time (s): 1.89171 CPU usage (%): 100.643 Max. virtual memory (Kb): 838704 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -24 #### END VERIFIER DATA ####