Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b2.opb |
MD5SUM | 4c322f6b4009d273fbdff10efcd1c54f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 244 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 522 |
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 | 522 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 522 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03184 |
Number of variables | 522 |
Total number of constraints | 2819 |
Number of constraints which are clauses | 2819 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-25 05:15:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20558 boxname=wulflinc5 idbench=148 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 4c322f6b4009d273fbdff10efcd1c54f /oldhome/oroussel/tmp/wulflinc5/normalized-ii32b2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc5/normalized-ii32b2.opb IDLAUNCH: 20558 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 815548 kB Buffers: 14060 kB Cached: 184368 kB SwapCached: 472 kB Active: 30020 kB Inactive: 170504 kB HighTotal: 131008 kB HighFree: 4116 kB LowTotal: 903652 kB LowFree: 811432 kB SwapTotal: 2097136 kB SwapFree: 2095792 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5228 kB Slab: 13072 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:36:08 (client local time) WITH STATUS 143 IN 1232.42 SECONDS stats: 20558 0 1232.42 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/wulflinc5/normalized-ii32b2.opb c reading problem ... done. Time 2.851 ms. c #vars 522 c #constraints 2819 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 261 Current CPU time: 15.43 ms c CURRENT OPTIMUM= 260 Current CPU time: 17.32 ms c CURRENT OPTIMUM= 259 Current CPU time: 31.35 ms c CURRENT OPTIMUM= 258 Current CPU time: 35.65 ms c CURRENT OPTIMUM= 257 Current CPU time: 43.28 ms c CURRENT OPTIMUM= 256 Current CPU time: 52.94 ms c CURRENT OPTIMUM= 255 Current CPU time: 53.43 ms c CURRENT OPTIMUM= 254 Current CPU time: 53.91 ms c CURRENT OPTIMUM= 253 Current CPU time: 54.36 ms c CURRENT OPTIMUM= 252 Current CPU time: 54.80 ms c CURRENT OPTIMUM= 251 Current CPU time: 55.26 ms c CURRENT OPTIMUM= 250 Current CPU time: 92.61 ms c CURRENT OPTIMUM= 249 Current CPU time: 95.27 ms c CURRENT OPTIMUM= 248 Current CPU time: 105.42 ms c CURRENT OPTIMUM= 246 Current CPU time: 264.53 ms c CURRENT OPTIMUM= 245 Current CPU time: 479.29 ms c CURRENT OPTIMUM= 244 Current CPU time: 600.55 ms c starts : 40 c conflicts : 4338 c decisions : 11215 c propagations : 455042 c inspects : 6027832 c learned literals : 1 c learned binary clauses : 72 c learned ternary clauses : 35 c learned clauses : 4337 c root simplifications : 48 s SATISFIABLE v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 x130 x131 -x132 -x133 -x134 x135 -x136 -x137 x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 -x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 -x159 x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 x212 -x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 -x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 -x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 x391 -x392 -x393 x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 -x437 x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 x451 -x452 -x453 x454 -x455 x456 -x457 -x458 -x459 x460 x461 -x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 x475 -x476 -x477 x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 -x493 x494 -x495 x496 x497 -x498 -x499 x500 -x501 x502 x503 -x504 x505 -x506 -x507 x508 -x509 x510 -x511 x512 -x513 x514 x515 -x516 -x517 x518 x519 -x520 -x521 x522 c objectif function=244 c Total CPU time (ms) : 1229.125 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.95 2/54 19770 Raw data (stat): 19770 (runsolver) R 19769 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 778061690 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.0004 s] Raw data (loadavg): 1.03 1.00 0.96 2/64 19780 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18067 0 1 0 742 39 0 0 25 0 11 0 778061690 857108480 19679 4294967295 134512640 134569956 3221224384 3221214388 1130918072 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209255 19679 13086 16 0 209239 0 vsize: 837020 [startup+20.0011 s] Raw data (loadavg): 1.02 1.00 0.96 2/64 19782 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18113 3 1 0 1669 39 0 0 24 0 11 0 778061690 856932352 20972 4294967295 134512640 134569956 3221224384 3221214664 1131296349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 20972 13086 16 0 209196 0 vsize: 836848 [startup+30.0013 s] Raw data (loadavg): 1.02 1.00 0.96 2/64 19782 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18113 3 1 0 2624 39 0 0 25 0 11 0 778061690 856932352 21477 4294967295 134512640 134569956 3221224384 3221214800 1131358476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21477 13086 16 0 209196 0 vsize: 836848 [startup+40.0051 s] Raw data (loadavg): 1.02 1.00 0.96 3/64 19784 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18113 3 1 0 3564 39 0 0 25 0 11 0 778061690 856932352 21479 4294967295 134512640 134569956 3221224384 3221214116 1130896162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21479 13086 16 0 209196 0 vsize: 836848 [startup+50.0253 s] Raw data (loadavg): 1.09 1.02 0.97 2/64 19785 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 4515 39 0 0 25 0 11 0 778061690 856932352 21556 4294967295 134512640 134569956 3221224384 3221214616 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21556 13086 16 0 209196 0 vsize: 836848 [startup+60.0246 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 19791 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 5483 39 0 0 25 0 11 0 778061690 856932352 21611 4294967295 134512640 134569956 3221224384 3221214612 1131200800 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21611 13086 16 0 209196 0 vsize: 836848 [startup+70.0258 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 19791 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 6423 40 0 0 25 0 11 0 778061690 856932352 21788 4294967295 134512640 134569956 3221224384 3221214720 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21788 13086 16 0 209196 0 vsize: 836848 [startup+80.0266 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 19791 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 7370 40 0 0 25 0 11 0 778061690 856932352 21989 4294967295 134512640 134569956 3221224384 3221214728 1131300352 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 21989 13086 16 0 209196 0 vsize: 836848 [startup+90.0269 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 19791 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 8326 40 0 0 25 0 11 0 778061690 856932352 22193 4294967295 134512640 134569956 3221224384 3221214616 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22193 13086 16 0 209196 0 vsize: 836848 [startup+100.026 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 19793 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 9291 40 0 0 25 0 11 0 778061690 856932352 22307 4294967295 134512640 134569956 3221224384 3221214616 1131296864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22307 13086 16 0 209196 0 vsize: 836848 [startup+110.027 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 10260 40 0 0 25 0 11 0 778061690 856932352 22427 4294967295 134512640 134569956 3221224384 3221214720 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22427 13086 16 0 209196 0 vsize: 836848 [startup+120.027 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18114 3 1 0 11232 40 0 0 25 0 11 0 778061690 856932352 22535 4294967295 134512640 134569956 3221224384 3221214240 1131185073 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22535 13086 16 0 209196 0 vsize: 836848 [startup+130.027 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 12191 40 0 0 25 0 11 0 778061690 856932352 22591 4294967295 134512640 134569956 3221224384 3221214608 1131165659 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22591 13086 16 0 209196 0 vsize: 836848 [startup+140.028 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 13158 40 0 0 25 0 11 0 778061690 856932352 22625 4294967295 134512640 134569956 3221224384 3221214608 1131165615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22625 13086 16 0 209196 0 vsize: 836848 [startup+150.028 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 14120 40 0 0 25 0 11 0 778061690 856932352 22686 4294967295 134512640 134569956 3221224384 3221214720 1131394651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22686 13086 16 0 209196 0 vsize: 836848 [startup+160.028 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 15088 40 0 0 25 0 11 0 778061690 856932352 22807 4294967295 134512640 134569956 3221224384 3221214608 1131165515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22807 13086 16 0 209196 0 vsize: 836848 [startup+170.028 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 16059 40 0 0 25 0 11 0 778061690 856932352 22873 4294967295 134512640 134569956 3221224384 3221214608 1131165507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 22873 13086 16 0 209196 0 vsize: 836848 [startup+180.029 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 17035 40 0 0 25 0 11 0 778061690 856932352 23055 4294967295 134512640 134569956 3221224384 3221214720 1131394853 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23055 13086 16 0 209196 0 vsize: 836848 [startup+190.03 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 18019 40 0 0 25 0 11 0 778061690 856932352 23127 4294967295 134512640 134569956 3221224384 3221214616 1131296915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23127 13086 16 0 209196 0 vsize: 836848 [startup+200.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 19001 40 0 0 25 0 11 0 778061690 856932352 23145 4294967295 134512640 134569956 3221224384 3221214616 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23145 13086 16 0 209196 0 vsize: 836848 [startup+210.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 19983 41 0 0 25 0 11 0 778061690 856932352 23164 4294967295 134512640 134569956 3221224384 3221214608 1131166195 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23164 13086 16 0 209196 0 vsize: 836848 [startup+220.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 20966 41 0 0 25 0 11 0 778061690 856932352 23188 4294967295 134512640 134569956 3221224384 3221214720 1131395228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23188 13086 16 0 209196 0 vsize: 836848 [startup+230.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 21949 41 0 0 25 0 11 0 778061690 856932352 23217 4294967295 134512640 134569956 3221224384 3221214608 1131165507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23217 13086 16 0 209196 0 vsize: 836848 [startup+240.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 22935 41 0 0 25 0 11 0 778061690 856932352 23230 4294967295 134512640 134569956 3221224384 3221214240 1131185036 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23230 13086 16 0 209196 0 vsize: 836848 [startup+250.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 23918 41 0 0 25 0 11 0 778061690 856932352 23246 4294967295 134512640 134569956 3221224384 3221214720 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23246 13086 16 0 209196 0 vsize: 836848 [startup+260.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19794 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 24901 41 0 0 25 0 11 0 778061690 856932352 23263 4294967295 134512640 134569956 3221224384 3221213564 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23263 13086 16 0 209196 0 vsize: 836848 [startup+270.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 25890 41 0 0 25 0 11 0 778061690 856932352 23274 4294967295 134512640 134569956 3221224384 3221214616 1131296868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23274 13086 16 0 209196 0 vsize: 836848 [startup+280.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 26874 41 0 0 25 0 11 0 778061690 856932352 23291 4294967295 134512640 134569956 3221224384 3221214720 1131395375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23291 13086 16 0 209196 0 vsize: 836848 [startup+290.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 27853 41 0 0 25 0 11 0 778061690 856932352 23306 4294967295 134512640 134569956 3221224384 3221214608 1131165503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23306 13086 16 0 209196 0 vsize: 836848 [startup+300.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 28832 41 0 0 25 0 11 0 778061690 856932352 23315 4294967295 134512640 134569956 3221224384 3221214616 1131378126 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23315 13086 16 0 209196 0 vsize: 836848 [startup+310.032 s] Raw data (loadavg): 1.08 1.02 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 29812 41 0 0 25 0 11 0 778061690 856932352 23367 4294967295 134512640 134569956 3221224384 3221214352 1131185196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23367 13086 16 0 209196 0 vsize: 836848 [startup+320.033 s] Raw data (loadavg): 1.07 1.02 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 30782 42 0 0 25 0 11 0 778061690 856932352 23392 4294967295 134512640 134569956 3221224384 3221214608 1131165609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23392 13086 16 0 209196 0 vsize: 836848 [startup+330.034 s] Raw data (loadavg): 1.06 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 31759 42 0 0 25 0 11 0 778061690 856932352 23433 4294967295 134512640 134569956 3221224384 3221214616 1131296349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23433 13086 16 0 209196 0 vsize: 836848 [startup+340.034 s] Raw data (loadavg): 1.05 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 32733 42 0 0 25 0 11 0 778061690 856932352 23450 4294967295 134512640 134569956 3221224384 3221214720 1131395137 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23450 13086 16 0 209196 0 vsize: 836848 [startup+350.036 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 33707 42 0 0 25 0 11 0 778061690 856932352 23501 4294967295 134512640 134569956 3221224384 3221214616 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23501 13086 16 0 209196 0 vsize: 836848 [startup+360.035 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 34683 42 0 0 25 0 11 0 778061690 856932352 23685 4294967295 134512640 134569956 3221224384 3221214616 1131297222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23685 13086 16 0 209196 0 vsize: 836848 [startup+370.036 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 35669 42 0 0 25 0 11 0 778061690 856932352 23703 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23703 13086 16 0 209196 0 vsize: 836848 [startup+380.036 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 36652 42 0 0 25 0 11 0 778061690 856932352 23716 4294967295 134512640 134569956 3221224384 3221214448 1085679756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23716 13086 16 0 209196 0 vsize: 836848 [startup+390.037 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 37640 42 0 0 25 0 11 0 778061690 856932352 23728 4294967295 134512640 134569956 3221224384 3221214336 1085679337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23728 13086 16 0 209196 0 vsize: 836848 [startup+400.037 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 38626 42 0 0 25 0 11 0 778061690 856932352 23737 4294967295 134512640 134569956 3221224384 3221214664 1131165507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23737 13086 16 0 209196 0 vsize: 836848 [startup+410.037 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 39611 42 0 0 25 0 11 0 778061690 856932352 23746 4294967295 134512640 134569956 3221224384 3221214672 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23746 13086 16 0 209196 0 vsize: 836848 [startup+420.037 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 40594 42 0 0 25 0 11 0 778061690 856932352 23771 4294967295 134512640 134569956 3221224384 3221214680 1131253370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23771 13086 16 0 209196 0 vsize: 836848 [startup+430.037 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 41578 42 0 0 25 0 11 0 778061690 856932352 23781 4294967295 134512640 134569956 3221224384 3221214576 1131261013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23781 13086 16 0 209196 0 vsize: 836848 [startup+440.038 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 42559 42 0 0 25 0 11 0 778061690 856932352 23789 4294967295 134512640 134569956 3221224384 3221214776 1131394739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23789 13086 16 0 209196 0 vsize: 836848 [startup+450.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 43540 42 0 0 25 0 11 0 778061690 856932352 23809 4294967295 134512640 134569956 3221224384 3221214672 1131296330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23809 13086 16 0 209196 0 vsize: 836848 [startup+460.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 44523 42 0 0 25 0 11 0 778061690 856932352 23825 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23825 13086 16 0 209196 0 vsize: 836848 [startup+470.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 45501 42 0 0 25 0 11 0 778061690 856932352 23852 4294967295 134512640 134569956 3221224384 3221214756 1131328044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23852 13086 16 0 209196 0 vsize: 836848 [startup+480.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19795 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 46480 42 0 0 25 0 11 0 778061690 856932352 23883 4294967295 134512640 134569956 3221224384 3221214000 1131524419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23883 13086 16 0 209196 0 vsize: 836848 [startup+490.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) S 19769 7266 7265 0 -1 0 18115 3 1 0 47462 43 0 0 25 0 11 0 778061690 856932352 23887 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23887 13086 16 0 209196 0 vsize: 836848 [startup+500.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 48432 43 0 0 24 0 11 0 778061690 856932352 23903 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23903 13086 16 0 209196 0 vsize: 836848 [startup+510.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 49402 43 0 0 25 0 11 0 778061690 856932352 23918 4294967295 134512640 134569956 3221224384 3221214596 1130885175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23918 13086 16 0 209196 0 vsize: 836848 [startup+520.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 50373 43 0 0 25 0 11 0 778061690 856932352 23935 4294967295 134512640 134569956 3221224384 3221214112 1131524604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23935 13086 16 0 209196 0 vsize: 836848 [startup+530.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) S 19769 7266 7265 0 -1 0 18115 3 1 0 51334 44 0 0 25 0 11 0 778061690 856932352 23989 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23989 13086 16 0 209196 0 vsize: 836848 [startup+540.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 52298 44 0 0 25 0 11 0 778061690 856932352 24128 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24128 13086 16 0 209196 0 vsize: 836848 [startup+550.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 53267 44 0 0 25 0 11 0 778061690 856932352 24154 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24154 13086 16 0 209196 0 vsize: 836848 [startup+560.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 54232 44 0 0 25 0 11 0 778061690 856932352 24227 4294967295 134512640 134569956 3221224384 3221213864 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24227 13086 16 0 209196 0 vsize: 836848 [startup+570.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 55204 44 0 0 25 0 11 0 778061690 856932352 24385 4294967295 134512640 134569956 3221224384 3221214672 1131296607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24385 13086 16 0 209196 0 vsize: 836848 [startup+580.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 56188 44 0 0 25 0 11 0 778061690 856932352 24420 4294967295 134512640 134569956 3221224384 3221214672 1131296300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24420 13086 16 0 209196 0 vsize: 836848 [startup+590.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 57172 44 0 0 25 0 11 0 778061690 856932352 24440 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24440 13086 16 0 209196 0 vsize: 836848 [startup+600.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19796 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 58154 44 0 0 25 0 11 0 778061690 856932352 24450 4294967295 134512640 134569956 3221224384 3221214672 1131297256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24450 13086 16 0 209196 0 vsize: 836848 [startup+610.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 59144 44 0 0 25 0 11 0 778061690 856932352 24453 4294967295 134512640 134569956 3221224384 3221214672 1131296515 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24453 13086 16 0 209196 0 vsize: 836848 [startup+620.058 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) S 19769 7266 7265 0 -1 0 18115 3 1 0 60123 45 0 0 25 0 11 0 778061690 856932352 24465 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24465 13086 16 0 209196 0 vsize: 836848 [startup+630.058 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 61101 45 0 0 25 0 11 0 778061690 856932352 24480 4294967295 134512640 134569956 3221224384 3221214672 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24480 13086 16 0 209196 0 vsize: 836848 [startup+640.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 62080 45 0 0 25 0 11 0 778061690 856932352 24497 4294967295 134512640 134569956 3221224384 3221214664 1131166182 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24497 13086 16 0 209196 0 vsize: 836848 [startup+650.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 63056 45 0 0 25 0 11 0 778061690 856932352 24505 4294967295 134512640 134569956 3221224384 3221214776 1131394773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24505 13086 16 0 209196 0 vsize: 836848 [startup+660.059 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 64034 45 0 0 25 0 11 0 778061690 856932352 24609 4294967295 134512640 134569956 3221224384 3221214672 1131296285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24609 13086 16 0 209196 0 vsize: 836848 [startup+670.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 65017 45 0 0 25 0 11 0 778061690 856932352 24625 4294967295 134512640 134569956 3221224384 3221214776 1131394773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24625 13086 16 0 209196 0 vsize: 836848 [startup+680.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 65997 45 0 0 25 0 11 0 778061690 856932352 24640 4294967295 134512640 134569956 3221224384 3221214776 1131394758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24640 13086 16 0 209196 0 vsize: 836848 [startup+690.061 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 66982 45 0 0 25 0 11 0 778061690 856932352 24646 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24646 13086 16 0 209196 0 vsize: 836848 [startup+700.061 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 67965 45 0 0 25 0 11 0 778061690 856932352 24675 4294967295 134512640 134569956 3221224384 3221214368 1131185148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24675 13086 16 0 209196 0 vsize: 836848 [startup+710.061 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 68947 45 0 0 25 0 11 0 778061690 856932352 24681 4294967295 134512640 134569956 3221224384 3221214060 1131185168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24681 13086 16 0 209196 0 vsize: 836848 [startup+720.062 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 69929 45 0 0 25 0 11 0 778061690 856932352 24696 4294967295 134512640 134569956 3221224384 3221214776 1131395253 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24696 13086 16 0 209196 0 vsize: 836848 [startup+730.062 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 70914 45 0 0 25 0 11 0 778061690 856932352 24706 4294967295 134512640 134569956 3221224384 3221214776 1131394773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24706 13086 16 0 209196 0 vsize: 836848 [startup+740.064 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 71900 45 0 0 25 0 11 0 778061690 856932352 24719 4294967295 134512640 134569956 3221224384 3221214624 1131521304 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24719 13086 16 0 209196 0 vsize: 836848 [startup+750.064 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 72887 45 0 0 25 0 11 0 778061690 856932352 24729 4294967295 134512640 134569956 3221224384 3221214672 1131296738 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24729 13086 16 0 209196 0 vsize: 836848 [startup+760.064 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 73867 45 0 0 25 0 11 0 778061690 856932352 24747 4294967295 134512640 134569956 3221224384 3221214672 1131297480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24747 13086 16 0 209196 0 vsize: 836848 [startup+770.065 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 74852 45 0 0 25 0 11 0 778061690 856932352 24756 4294967295 134512640 134569956 3221224384 3221214672 1131297040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24756 13086 16 0 209196 0 vsize: 836848 [startup+780.065 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 75836 45 0 0 25 0 11 0 778061690 856932352 24766 4294967295 134512640 134569956 3221224384 3221214672 1131296825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24766 13086 16 0 209196 0 vsize: 836848 [startup+790.066 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 76818 45 0 0 25 0 11 0 778061690 856932352 24780 4294967295 134512640 134569956 3221224384 3221213888 1131524588 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24780 13086 16 0 209196 0 vsize: 836848 [startup+800.067 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 77800 46 0 0 25 0 11 0 778061690 856932352 24787 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24787 13086 16 0 209196 0 vsize: 836848 [startup+810.067 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 78782 46 0 0 25 0 11 0 778061690 856932352 24795 4294967295 134512640 134569956 3221224384 3221214672 1131296955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24795 13086 16 0 209196 0 vsize: 836848 [startup+820.068 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 79766 46 0 0 25 0 11 0 778061690 856932352 24804 4294967295 134512640 134569956 3221224384 3221214672 1131296349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24804 13086 16 0 209196 0 vsize: 836848 [startup+830.068 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 80746 46 0 0 25 0 11 0 778061690 856932352 24825 4294967295 134512640 134569956 3221224384 3221214672 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24825 13086 16 0 209196 0 vsize: 836848 [startup+840.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 81731 46 0 0 25 0 11 0 778061690 856932352 24832 4294967295 134512640 134569956 3221224384 3221214672 1131296734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24832 13086 16 0 209196 0 vsize: 836848 [startup+850.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 82714 46 0 0 25 0 11 0 778061690 856932352 24840 4294967295 134512640 134569956 3221224384 3221214112 1085679473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24840 13086 16 0 209196 0 vsize: 836848 [startup+860.074 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) S 19769 7266 7265 0 -1 0 18115 3 1 0 83699 46 0 0 25 0 11 0 778061690 856932352 24844 4294967295 134512640 134569956 3221224384 3221213272 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24844 13086 16 0 209196 0 vsize: 836848 [startup+870.074 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 84679 46 0 0 25 0 11 0 778061690 856932352 24853 4294967295 134512640 134569956 3221224384 3221214672 1131296647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24853 13086 16 0 209196 0 vsize: 836848 [startup+880.074 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 85664 46 0 0 25 0 11 0 778061690 856932352 24859 4294967295 134512640 134569956 3221224384 3221214664 1131165523 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24859 13086 16 0 209196 0 vsize: 836848 [startup+890.076 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 86646 46 0 0 25 0 11 0 778061690 856932352 24873 4294967295 134512640 134569956 3221224384 3221214664 1131165495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24873 13086 16 0 209196 0 vsize: 836848 [startup+900.076 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 87625 46 0 0 25 0 11 0 778061690 856932352 24881 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24881 13086 16 0 209196 0 vsize: 836848 [startup+910.076 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 88606 46 0 0 25 0 11 0 778061690 856932352 24921 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24921 13086 16 0 209196 0 vsize: 836848 [startup+920.077 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 89589 46 0 0 25 0 11 0 778061690 856932352 24928 4294967295 134512640 134569956 3221224384 3221214772 1131165472 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24928 13086 16 0 209196 0 vsize: 836848 [startup+930.077 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 90570 46 0 0 25 0 11 0 778061690 856932352 24949 4294967295 134512640 134569956 3221224384 3221214776 1131396738 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24949 13086 16 0 209196 0 vsize: 836848 [startup+940.078 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 91553 46 0 0 25 0 11 0 778061690 856932352 24955 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24955 13086 16 0 209196 0 vsize: 836848 [startup+950.079 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 92531 46 0 0 24 0 11 0 778061690 856932352 24963 4294967295 134512640 134569956 3221224384 3221214856 1131185561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24963 13086 16 0 209196 0 vsize: 836848 [startup+960.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 93513 46 0 0 25 0 11 0 778061690 856932352 24978 4294967295 134512640 134569956 3221224384 3221214672 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 24978 13086 16 0 209196 0 vsize: 836848 [startup+970.081 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 94494 46 0 0 25 0 11 0 778061690 856932352 25003 4294967295 134512640 134569956 3221224384 3221214776 1131395228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25003 13086 16 0 209196 0 vsize: 836848 [startup+980.082 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 95475 46 0 0 25 0 11 0 778061690 856932352 25015 4294967295 134512640 134569956 3221224384 3221214672 1131297310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25015 13086 16 0 209196 0 vsize: 836848 [startup+990.082 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 96457 46 0 0 25 0 11 0 778061690 856932352 25033 4294967295 134512640 134569956 3221224384 3221214664 1131165503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25033 13086 16 0 209196 0 vsize: 836848 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 97439 46 0 0 25 0 11 0 778061690 856932352 25050 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25050 13086 16 0 209196 0 vsize: 836848 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 98420 47 0 0 25 0 11 0 778061690 856932352 25056 4294967295 134512640 134569956 3221224384 3221214776 1131394651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25056 13086 16 0 209196 0 vsize: 836848 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 99402 47 0 0 25 0 11 0 778061690 856932352 25068 4294967295 134512640 134569956 3221224384 3221214776 1131394846 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25068 13086 16 0 209196 0 vsize: 836848 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 100386 47 0 0 25 0 11 0 778061690 856932352 25078 4294967295 134512640 134569956 3221224384 3221214672 1131296779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25078 13086 16 0 209196 0 vsize: 836848 [startup+1040.08 s] Raw data (loadavg): 1.08 1.02 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 101368 47 0 0 25 0 11 0 778061690 856932352 25089 4294967295 134512640 134569956 3221224384 3221214672 1131296563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25089 13086 16 0 209196 0 vsize: 836848 [startup+1050.08 s] Raw data (loadavg): 1.07 1.02 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 102349 47 0 0 25 0 11 0 778061690 856932352 25103 4294967295 134512640 134569956 3221224384 3221214772 1131296268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25103 13086 16 0 209196 0 vsize: 836848 [startup+1060.08 s] Raw data (loadavg): 1.06 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 103328 47 0 0 25 0 11 0 778061690 856932352 25123 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25123 13086 16 0 209196 0 vsize: 836848 [startup+1070.08 s] Raw data (loadavg): 1.05 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 104312 47 0 0 25 0 11 0 778061690 856932352 25130 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25130 13086 16 0 209196 0 vsize: 836848 [startup+1080.08 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 105293 47 0 0 25 0 11 0 778061690 856932352 25142 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25142 13086 16 0 209196 0 vsize: 836848 [startup+1090.09 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 106275 47 0 0 25 0 11 0 778061690 856932352 25152 4294967295 134512640 134569956 3221224384 3221214664 1131165507 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25152 13086 16 0 209196 0 vsize: 836848 [startup+1100.09 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 107257 47 0 0 25 0 11 0 778061690 856932352 25161 4294967295 134512640 134569956 3221224384 3221214672 1131296937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25161 13086 16 0 209196 0 vsize: 836848 [startup+1110.09 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 108240 47 0 0 25 0 11 0 778061690 856932352 25171 4294967295 134512640 134569956 3221224384 3221214684 1130885189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25171 13086 16 0 209196 0 vsize: 836848 [startup+1120.09 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 109220 47 0 0 25 0 11 0 778061690 856932352 25192 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25192 13086 16 0 209196 0 vsize: 836848 [startup+1130.09 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 110202 47 0 0 25 0 11 0 778061690 856932352 25210 4294967295 134512640 134569956 3221224384 3221214672 1131296660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25210 13086 16 0 209196 0 vsize: 836848 [startup+1140.09 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 111183 48 0 0 25 0 11 0 778061690 856932352 25222 4294967295 134512640 134569956 3221224384 3221214776 1131395074 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25222 13086 16 0 209196 0 vsize: 836848 [startup+1150.09 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 112166 48 0 0 25 0 11 0 778061690 856932352 25230 4294967295 134512640 134569956 3221224384 3221214664 1131165492 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25230 13086 16 0 209196 0 vsize: 836848 [startup+1160.09 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 113146 48 0 0 25 0 11 0 778061690 856932352 25238 4294967295 134512640 134569956 3221224384 3221214776 1131395228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25238 13086 16 0 209196 0 vsize: 836848 [startup+1170.09 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 114128 48 0 0 25 0 11 0 778061690 856932352 25245 4294967295 134512640 134569956 3221224384 3221214672 1131296466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25245 13086 16 0 209196 0 vsize: 836848 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 115111 48 0 0 25 0 11 0 778061690 856932352 25257 4294967295 134512640 134569956 3221224384 3221214672 1131297305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25257 13086 16 0 209196 0 vsize: 836848 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 116093 48 0 0 25 0 11 0 778061690 856932352 25267 4294967295 134512640 134569956 3221224384 3221214776 1131395338 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25267 13086 16 0 209196 0 vsize: 836848 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 117075 48 0 0 25 0 11 0 778061690 856932352 25274 4294967295 134512640 134569956 3221224384 3221214776 1131394758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25274 13086 16 0 209196 0 vsize: 836848 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 118057 48 0 0 25 0 11 0 778061690 856932352 25284 4294967295 134512640 134569956 3221224384 3221214776 1131395228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25284 13086 16 0 209196 0 vsize: 836848 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 119040 48 0 0 25 0 11 0 778061690 856932352 25300 4294967295 134512640 134569956 3221224384 3221214672 1131296457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25300 13086 16 0 209196 0 vsize: 836848 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 19797 Raw data (stat): 19770 (java) R 19769 7266 7265 0 -1 0 18115 3 1 0 120023 48 0 0 25 0 11 0 778061690 856932352 25316 4294967295 134512640 134569956 3221224384 3221214776 1131394776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 25316 13086 16 0 209196 0 vsize: 836848 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.19 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 19799 Raw data (stat): 19770 (java) Z 19769 7266 7265 0 -1 1036 18115 7261 1 0 120027 48 3136 28 25 0 1 0 778061690 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.19 CPU time (s): 1232.42 CPU user time (s): 1231.64 CPU system time (s): 0.773882 CPU usage (%): 100.181 Max. virtual memory (Kb): 837020 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 244 #### END VERIFIER DATA ####