Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a3.opb |
MD5SUM | a430664a9b4f203a5896b33ca2b0e0e5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 528 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 528 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 528 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02384 |
Number of variables | 528 |
Total number of constraints | 1816 |
Number of constraints which are clauses | 1816 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-05-28 10:43:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24091 boxname=wulflinc8 idbench=165 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a430664a9b4f203a5896b33ca2b0e0e5 /oldhome/oroussel/tmp/wulflinc8/normalized-ii8a3.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-ii8a3.opb IDLAUNCH: 24091 /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: 718720 kB Buffers: 37364 kB Cached: 256180 kB SwapCached: 896 kB Active: 56068 kB Inactive: 239744 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 718468 kB SwapTotal: 2097136 kB SwapFree: 2095540 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5196 kB Slab: 14372 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 11:03:04 (client local time) WITH STATUS 10 IN 1200.79 SECONDS stats: 24091 0 1200.79 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c [startup+8.33795 s] setting bit 9 to 0 c got solution with objective value: 264 c [startup+9.31213 s] setting bit 8 to 1 Decision: 74324/140730 Time: 208.12/86400 Decision: 74324/140730 Time: 227.545/86400 Decision: 74324/140730 Time: 246.297/86400 Decision: 75073/140730 Time: 285.651/86400 Decision: 75073/140730 Time: 307.837/86400 Decision: 75073/140730 Time: 325.729/86400 Decision: 75073/140730 Time: 341.22/86400 Decision: 75073/140730 Time: 363.201/86400 Decision: 75073/140730 Time: 381.355/86400 Decision: 75073/140730 Time: 401.671/86400 Decision: 75073/140730 Time: 426.642/86400 Decision: 75073/140730 Time: 452.595/86400 Decision: 75073/140730 Time: 469.595/86400 Decision: 75073/140730 Time: 490.916/86400 Decision: 75073/140730 Time: 508.429/86400 Decision: 75073/140730 Time: 528.815/86400 Decision: 75081/140730 Time: 555.166/86400 Decision: 76495/140730 Time: 577.006/86400 Decision: 76495/140730 Time: 601.269/86400 Decision: 76495/140730 Time: 620.741/86400 Decision: 76495/140730 Time: 646.727/86400 Decision: 76495/140730 Time: 671.882/86400 Decision: 76495/140730 Time: 692.55/86400 Decision: 76495/140730 Time: 713.203/86400 Decision: 76495/140730 Time: 734.463/86400 Decision: 76495/140730 Time: 754.497/86400 Decision: 76495/140730 Time: 775.171/86400 Decision: 76495/140730 Time: 800.132/86400 Decision: 76495/140730 Time: 824.592/86400 Decision: 76495/140730 Time: 846.275/86400 Decision: 76495/140730 Time: 870.937/86400 Decision: 76495/140730 Time: 896.781/86400 Decision: 76495/140730 Time: 923.794/86400 Decision: 76495/140730 Time: 946.907/86400 Decision: 76495/140730 Time: 968.444/86400 Decision: 76495/140730 Time: 993.541/86400 Decision: 76495/140730 Time: 1017.55/86400 Decision: 76495/140730 Time: 1038.59/86400 Decision: 76495/140730 Time: 1063.46/86400 Decision: 76495/140730 Time: 1085.47/86400 Decision: 76495/140730 Time: 1112.04/86400 Decision: 76495/140730 Time: 1137.75/86400 Decision: 76495/140730 Time: 1158.37/86400 Decision: 76495/140730 Time: 1178.29/86400s SATISFIABLE v x1 -x10 x100 x101 -x102 x103 -x104 x105 -x106 -x107 x108 -x109 x11 x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x12 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x13 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 -x139 x14 x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 x149 x15 -x150 x151 -x152 x153 -x154 -x155 x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 -x165 x166 x167 -x168 x169 x17 -x170 -x171 x172 -x173 x174 x175 -x176 -x177 x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 -x187 x188 x189 x19 -x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 x199 -x2 -x20 -x200 -x201 x202 -x203 x204 x205 -x206 -x207 x208 -x209 x21 x210 -x211 x212 -x213 x214 -x215 x216 -x217 x218 -x219 -x22 x220 -x221 x222 -x223 x224 -x225 x226 x227 -x228 -x229 x23 x230 x231 -x232 -x233 x234 -x235 x236 -x237 x238 -x239 -x24 x240 x241 -x242 -x243 x244 -x245 x246 -x247 x248 -x249 x25 x250 -x251 x252 -x253 x254 -x255 x256 -x257 x258 x259 -x26 -x260 -x261 x262 -x263 x264 x265 -x266 -x267 x268 -x269 -x27 x270 -x271 x272 -x273 x274 -x275 x276 x277 -x278 -x279 x28 x280 -x281 x282 -x283 x284 -x285 x286 -x287 x288 x289 x29 -x290 -x291 x292 -x293 x294 -x295 x296 -x297 x298 -x299 x3 -x30 x300 x301 -x302 -x303 x304 -x305 x306 -x307 x308 -x309 x31 x310 -x311 x312 -x313 x314 -x315 x316 x317 -x318 -x319 -x32 x320 -x321 x322 -x323 x324 -x325 x326 -x327 x328 -x329 -x33 x330 x331 -x332 -x333 x334 -x335 x336 -x337 x338 x339 x34 -x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 x349 x35 -x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 -x36 x360 x361 -x362 -x363 x364 -x365 x366 -x367 x368 -x369 -x37 x370 -x371 x372 x373 -x374 -x375 x376 -x377 x378 -x379 x38 x380 -x381 x382 -x383 x384 -x385 x386 -x387 x388 x389 x39 -x390 -x391 x392 -x393 x394 -x395 x396 x397 -x398 -x399 -x4 -x40 x400 -x401 x402 -x403 x404 -x405 x406 -x407 x408 -x409 x41 x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 x419 -x42 -x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 -x43 x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x44 x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x45 x450 -x451 x452 -x453 x454 -x455 x456 x457 -x458 -x459 -x46 x460 -x461 x462 -x463 x464 -x465 x466 -x467 x468 x469 x47 -x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 -x479 -x48 x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 -x489 x49 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 -x499 x5 -x50 x500 -x501 x502 -x503 x504 -x505 x506 -x507 x508 x509 x51 -x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 -x519 -x52 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 x53 -x54 x55 -x56 x57 -x58 x59 -x6 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 x7 -x70 x71 -x72 x73 -x74 -x75 x76 -x77 x78 x79 -x8 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 x9 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 -x99 #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.95 0.83 1/54 14878 Raw data (stat): 14878 (runsolver) R 14877 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792384048 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.93 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 25339 0 0 0 949 49 0 0 25 0 1 0 792384048 77811712 13683 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18997 13683 300 300 0 18697 0 vsize: 75988 [startup+20.0002 s] Raw data (loadavg): 0.94 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 25385 0 0 0 1949 49 0 0 25 0 1 0 792384048 77946880 13729 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19030 13729 300 300 0 18730 0 vsize: 76120 [startup+30.0014 s] Raw data (loadavg): 0.95 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 25892 0 0 0 2948 51 0 0 25 0 1 0 792384048 80486400 14236 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19650 14236 300 300 0 19350 0 vsize: 78600 [startup+40.0008 s] Raw data (loadavg): 0.96 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 25937 0 0 0 3948 51 0 0 25 0 1 0 792384048 80621568 14281 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19683 14281 300 300 0 19383 0 vsize: 78732 [startup+50.0015 s] Raw data (loadavg): 0.96 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 25970 0 0 0 4948 51 0 0 25 0 1 0 792384048 80621568 14314 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19683 14314 300 300 0 19383 0 vsize: 78732 [startup+60.0018 s] Raw data (loadavg): 0.97 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26026 0 0 0 5948 51 0 0 25 0 1 0 792384048 80756736 14370 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19716 14370 300 300 0 19416 0 vsize: 78864 [startup+70.0021 s] Raw data (loadavg): 0.97 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26048 0 0 0 6948 51 0 0 25 0 1 0 792384048 80756736 14392 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19716 14392 300 300 0 19416 0 vsize: 78864 [startup+80.0032 s] Raw data (loadavg): 0.98 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26134 0 0 0 7948 52 0 0 25 0 1 0 792384048 81022976 14445 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19781 14445 300 300 0 19481 0 vsize: 79124 [startup+90.0031 s] Raw data (loadavg): 0.98 0.96 0.83 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26155 0 0 0 8948 52 0 0 25 0 1 0 792384048 89411584 14466 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21829 14466 300 300 0 21529 0 vsize: 87316 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26187 0 0 0 9948 52 0 0 25 0 1 0 792384048 89575424 14498 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21869 14498 300 300 0 21569 0 vsize: 87476 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26312 0 0 0 10947 53 0 0 25 0 1 0 792384048 89968640 14623 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21965 14623 300 300 0 21665 0 vsize: 87860 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26341 0 0 0 11947 53 0 0 25 0 1 0 792384048 89968640 14652 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21965 14652 300 300 0 21665 0 vsize: 87860 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26374 0 0 0 12947 53 0 0 25 0 1 0 792384048 89968640 14685 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21965 14685 300 300 0 21665 0 vsize: 87860 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26438 0 0 0 13947 53 0 0 25 0 1 0 792384048 90103808 14749 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21998 14749 300 300 0 21698 0 vsize: 87992 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26539 0 0 0 14947 54 0 0 25 0 1 0 792384048 90497024 14850 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22094 14850 300 300 0 21794 0 vsize: 88376 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26576 0 0 0 15947 54 0 0 25 0 1 0 792384048 90497024 14887 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22094 14887 300 300 0 21794 0 vsize: 88376 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26618 0 0 0 16947 54 0 0 25 0 1 0 792384048 90497024 14929 4294967295 134512640 135726644 3221224592 3221223216 134744616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22094 14929 300 300 0 21794 0 vsize: 88376 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26653 0 0 0 17947 55 0 0 25 0 1 0 792384048 90497024 14964 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22094 14964 300 300 0 21794 0 vsize: 88376 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26692 0 0 0 18947 55 0 0 25 0 1 0 792384048 90497024 15003 4294967295 134512640 135726644 3221224592 3221223072 134729220 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22094 15003 300 300 0 21794 0 vsize: 88376 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26726 0 0 0 19947 55 0 0 25 0 1 0 792384048 90497024 15037 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22094 15037 300 300 0 21794 0 vsize: 88376 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 26781 0 0 0 20947 55 0 0 25 0 1 0 792384048 90632192 15092 4294967295 134512640 135726644 3221224592 3221223204 134744633 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22127 15092 300 300 0 21827 0 vsize: 88508 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27145 0 0 0 21946 56 0 0 25 0 1 0 792384048 90959872 15148 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22207 15148 300 300 0 21907 0 vsize: 88828 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27171 0 0 0 22945 57 0 0 25 0 1 0 792384048 91095040 15174 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22240 15174 300 300 0 21940 0 vsize: 88960 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27451 0 0 0 23944 58 0 0 25 0 1 0 792384048 91095040 15179 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22240 15179 300 300 0 21940 0 vsize: 88960 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27519 0 0 0 24944 58 0 0 25 0 1 0 792384048 91361280 15214 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22305 15214 300 300 0 22005 0 vsize: 89220 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27891 0 0 0 25942 60 0 0 25 0 1 0 792384048 91856896 15311 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22426 15311 300 300 0 22126 0 vsize: 89704 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27964 0 0 0 26942 60 0 0 25 0 1 0 792384048 92262400 15384 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22525 15384 300 300 0 22225 0 vsize: 90100 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27967 0 0 0 27942 61 0 0 25 0 1 0 792384048 92262400 15387 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22525 15387 300 300 0 22225 0 vsize: 90100 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 27976 0 0 0 28941 62 0 0 25 0 1 0 792384048 92262400 15396 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22525 15396 300 300 0 22225 0 vsize: 90100 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 28283 0 0 0 29940 63 0 0 25 0 1 0 792384048 92397568 15428 4294967295 134512640 135726644 3221224592 3221223040 134726834 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22558 15428 300 300 0 22258 0 vsize: 90232 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 28358 0 0 0 30940 63 0 0 25 0 1 0 792384048 92663808 15470 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22623 15470 300 300 0 22323 0 vsize: 90492 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 28676 0 0 0 31939 64 0 0 25 0 1 0 792384048 92794880 15480 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22655 15480 300 300 0 22355 0 vsize: 90620 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 28679 0 0 0 32939 64 0 0 25 0 1 0 792384048 92794880 15483 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22655 15483 300 300 0 22355 0 vsize: 90620 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 28956 0 0 0 33938 65 0 0 25 0 1 0 792384048 92794880 15485 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22655 15485 300 300 0 22355 0 vsize: 90620 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 28959 0 0 0 34938 66 0 0 25 0 1 0 792384048 92794880 15488 4294967295 134512640 135726644 3221224592 3221223104 134742201 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15488 300 300 0 22355 0 vsize: 90620 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 29236 0 0 0 35937 67 0 0 25 0 1 0 792384048 92794880 15490 4294967295 134512640 135726644 3221224592 3221223088 134744217 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15490 300 300 0 22355 0 vsize: 90620 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 29238 0 0 0 36937 67 0 0 25 0 1 0 792384048 92794880 15492 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15492 300 300 0 22355 0 vsize: 90620 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 29516 0 0 0 37936 68 0 0 25 0 1 0 792384048 92794880 15495 4294967295 134512640 135726644 3221224592 3221222976 134757710 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15495 300 300 0 22355 0 vsize: 90620 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 29518 0 0 0 38936 68 0 0 25 0 1 0 792384048 92794880 15497 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15497 300 300 0 22355 0 vsize: 90620 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 29795 0 0 0 39936 69 0 0 25 0 1 0 792384048 92794880 15499 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15499 300 300 0 22355 0 vsize: 90620 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 29797 0 0 0 40936 69 0 0 25 0 1 0 792384048 92794880 15501 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15501 300 300 0 22355 0 vsize: 90620 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30074 0 0 0 41935 70 0 0 25 0 1 0 792384048 92794880 15503 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15503 300 300 0 22355 0 vsize: 90620 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30075 0 0 0 42935 70 0 0 25 0 1 0 792384048 92794880 15504 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15504 300 300 0 22355 0 vsize: 90620 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30352 0 0 0 43935 71 0 0 25 0 1 0 792384048 92794880 15506 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15506 300 300 0 22355 0 vsize: 90620 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30353 0 0 0 44934 71 0 0 25 0 1 0 792384048 92794880 15507 4294967295 134512640 135726644 3221224592 3221222916 134728860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15507 300 300 0 22355 0 vsize: 90620 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30356 0 0 0 45935 71 0 0 25 0 1 0 792384048 92794880 15510 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15510 300 300 0 22355 0 vsize: 90620 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30633 0 0 0 46934 72 0 0 25 0 1 0 792384048 92794880 15512 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15512 300 300 0 22355 0 vsize: 90620 [startup+480.019 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30911 0 0 0 47934 72 0 0 25 0 1 0 792384048 92794880 15515 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15515 300 300 0 22355 0 vsize: 90620 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 30913 0 0 0 48934 72 0 0 25 0 1 0 792384048 92794880 15517 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15517 300 300 0 22355 0 vsize: 90620 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 31190 0 0 0 49933 73 0 0 25 0 1 0 792384048 93921280 15794 4294967295 134512640 135726644 3221224592 3221222760 134769070 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22930 15794 300 300 0 22630 0 vsize: 91720 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 31192 0 0 0 50933 73 0 0 25 0 1 0 792384048 92794880 15521 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15521 300 300 0 22355 0 vsize: 90620 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 31469 0 0 0 51933 73 0 0 25 0 1 0 792384048 92794880 15523 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22655 15523 300 300 0 22355 0 vsize: 90620 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 31481 0 0 0 52933 74 0 0 25 0 1 0 792384048 92991488 15535 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 15535 300 300 0 22403 0 vsize: 90812 [startup+540.021 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 31758 0 0 0 53933 74 0 0 25 0 1 0 792384048 92991488 15537 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 15537 300 300 0 22403 0 vsize: 90812 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 31761 0 0 0 54933 75 0 0 25 0 1 0 792384048 92991488 15540 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 15540 300 300 0 22403 0 vsize: 90812 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 31764 0 0 0 55932 75 0 0 25 0 1 0 792384048 92991488 15543 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 15543 300 300 0 22403 0 vsize: 90812 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 32041 0 0 0 56932 76 0 0 25 0 1 0 792384048 92991488 15545 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 15545 300 300 0 22403 0 vsize: 90812 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 32048 0 0 0 57932 76 0 0 25 0 1 0 792384048 92991488 15552 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 15552 300 300 0 22403 0 vsize: 90812 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 32344 0 0 0 58931 77 0 0 25 0 1 0 792384048 93126656 15573 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22736 15573 300 300 0 22436 0 vsize: 90944 [startup+600.024 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 32411 0 0 0 59931 77 0 0 25 0 1 0 792384048 93532160 15640 4294967295 134512640 135726644 3221224592 3221223216 134744503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22835 15640 300 300 0 22535 0 vsize: 91340 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 32494 0 0 0 60931 77 0 0 25 0 1 0 792384048 94072832 15723 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22967 15723 300 300 0 22667 0 vsize: 91868 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 32771 0 0 0 61931 78 0 0 25 0 1 0 792384048 94072832 15725 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22967 15725 300 300 0 22667 0 vsize: 91868 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33048 0 0 0 62931 78 0 0 25 0 1 0 792384048 94072832 15727 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22967 15727 300 300 0 22667 0 vsize: 91868 [startup+640.026 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33049 0 0 0 63930 79 0 0 25 0 1 0 792384048 94072832 15728 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22967 15728 300 300 0 22667 0 vsize: 91868 [startup+650.026 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33054 0 0 0 64931 79 0 0 25 0 1 0 792384048 94072832 15733 4294967295 134512640 135726644 3221224592 3221223088 134743907 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22967 15733 300 300 0 22667 0 vsize: 91868 [startup+660.027 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33331 0 0 0 65930 80 0 0 25 0 1 0 792384048 94072832 15735 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22967 15735 300 300 0 22667 0 vsize: 91868 [startup+670.027 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33332 0 0 0 66929 80 0 0 25 0 1 0 792384048 94072832 15736 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22967 15736 300 300 0 22667 0 vsize: 91868 [startup+680.028 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33376 0 0 0 67927 81 0 0 25 0 1 0 792384048 94343168 15780 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23033 15780 300 300 0 22733 0 vsize: 92132 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33653 0 0 0 68927 82 0 0 25 0 1 0 792384048 94343168 15782 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23033 15782 300 300 0 22733 0 vsize: 92132 [startup+700.027 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33655 0 0 0 69927 82 0 0 25 0 1 0 792384048 94343168 15784 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23033 15784 300 300 0 22733 0 vsize: 92132 [startup+710.028 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33932 0 0 0 70926 83 0 0 25 0 1 0 792384048 94343168 15786 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23033 15786 300 300 0 22733 0 vsize: 92132 [startup+720.028 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 33934 0 0 0 71926 83 0 0 25 0 1 0 792384048 94343168 15788 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23033 15788 300 300 0 22733 0 vsize: 92132 [startup+730.029 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 34211 0 0 0 72926 83 0 0 25 0 1 0 792384048 94343168 15790 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23033 15790 300 300 0 22733 0 vsize: 92132 [startup+740.03 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 34213 0 0 0 73926 83 0 0 25 0 1 0 792384048 94343168 15792 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23033 15792 300 300 0 22733 0 vsize: 92132 [startup+750.029 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 34548 0 0 0 74926 84 0 0 25 0 1 0 792384048 94609408 15852 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23098 15852 300 300 0 22798 0 vsize: 92392 [startup+760.03 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 34564 0 0 0 75925 84 0 0 25 0 1 0 792384048 94609408 15868 4294967295 134512640 135726644 3221224592 3221223184 134760006 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23098 15868 300 300 0 22798 0 vsize: 92392 [startup+770.03 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 34850 0 0 0 76925 85 0 0 25 0 1 0 792384048 94609408 15879 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23098 15879 300 300 0 22798 0 vsize: 92392 [startup+780.031 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 34853 0 0 0 77925 85 0 0 25 0 1 0 792384048 94609408 15882 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23098 15882 300 300 0 22798 0 vsize: 92392 [startup+790.03 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 35130 0 0 0 78924 86 0 0 25 0 1 0 792384048 94609408 15884 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23098 15884 300 300 0 22798 0 vsize: 92392 [startup+800.03 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 35138 0 0 0 79924 86 0 0 25 0 1 0 792384048 94609408 15892 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23098 15892 300 300 0 22798 0 vsize: 92392 [startup+810.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 35432 0 0 0 80924 87 0 0 25 0 1 0 792384048 94744576 15911 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23131 15911 300 300 0 22831 0 vsize: 92524 [startup+820.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 35433 0 0 0 81923 87 0 0 25 0 1 0 792384048 94744576 15912 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23131 15912 300 300 0 22831 0 vsize: 92524 [startup+830.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 35478 0 0 0 82923 88 0 0 25 0 1 0 792384048 95014912 15957 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23197 15957 300 300 0 22897 0 vsize: 92788 [startup+840.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 35772 0 0 0 83922 89 0 0 25 0 1 0 792384048 95150080 15976 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15976 300 300 0 22930 0 vsize: 92920 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 35774 0 0 0 84922 89 0 0 25 0 1 0 792384048 95150080 15978 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15978 300 300 0 22930 0 vsize: 92920 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36050 0 0 0 85921 90 0 0 25 0 1 0 792384048 95150080 15979 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15979 300 300 0 22930 0 vsize: 92920 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36061 0 0 0 86921 91 0 0 25 0 1 0 792384048 95150080 15990 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15990 300 300 0 22930 0 vsize: 92920 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36338 0 0 0 87920 92 0 0 25 0 1 0 792384048 95150080 15992 4294967295 134512640 135726644 3221224592 3221223216 134779658 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15992 300 300 0 22930 0 vsize: 92920 [startup+890.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36340 0 0 0 88920 92 0 0 25 0 1 0 792384048 95150080 15994 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15994 300 300 0 22930 0 vsize: 92920 [startup+900.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36341 0 0 0 89920 92 0 0 25 0 1 0 792384048 95150080 15995 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15995 300 300 0 22930 0 vsize: 92920 [startup+910.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36617 0 0 0 90920 93 0 0 25 0 1 0 792384048 95150080 15996 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15996 300 300 0 22930 0 vsize: 92920 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36619 0 0 0 91919 93 0 0 25 0 1 0 792384048 95150080 15998 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 15998 300 300 0 22930 0 vsize: 92920 [startup+930.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36621 0 0 0 92919 93 0 0 25 0 1 0 792384048 95150080 16000 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 16000 300 300 0 22930 0 vsize: 92920 [startup+940.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36897 0 0 0 93918 95 0 0 25 0 1 0 792384048 95150080 16001 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16001 300 300 0 22930 0 vsize: 92920 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 36899 0 0 0 94918 95 0 0 25 0 1 0 792384048 95150080 16003 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16003 300 300 0 22930 0 vsize: 92920 [startup+960.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 37176 0 0 0 95917 96 0 0 25 0 1 0 792384048 95150080 16005 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16005 300 300 0 22930 0 vsize: 92920 [startup+970.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 37178 0 0 0 96916 96 0 0 25 0 1 0 792384048 95150080 16007 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16007 300 300 0 22930 0 vsize: 92920 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 37462 0 0 0 97916 97 0 0 25 0 1 0 792384048 95150080 16016 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16016 300 300 0 22930 0 vsize: 92920 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 37484 0 0 0 98915 97 0 0 25 0 1 0 792384048 95150080 16038 4294967295 134512640 135726644 3221224592 3221223184 134760180 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16038 300 300 0 22930 0 vsize: 92920 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 37509 0 0 0 99915 98 0 0 25 0 1 0 792384048 95150080 16063 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16063 300 300 0 22930 0 vsize: 92920 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 37790 0 0 0 100914 99 0 0 25 0 1 0 792384048 95150080 16069 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16069 300 300 0 22930 0 vsize: 92920 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14878 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 37791 0 0 0 101913 99 0 0 25 0 1 0 792384048 95150080 16070 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16070 300 300 0 22930 0 vsize: 92920 [startup+1030.03 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 14931 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38068 0 0 0 102908 102 0 0 25 0 1 0 792384048 95150080 16072 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 16072 300 300 0 22930 0 vsize: 92920 [startup+1040.03 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 14931 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38070 0 0 0 103908 102 0 0 25 0 1 0 792384048 95150080 16074 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23230 16074 300 300 0 22930 0 vsize: 92920 [startup+1050.03 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 14931 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38347 0 0 0 104907 104 0 0 25 0 1 0 792384048 95150080 16076 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16076 300 300 0 22930 0 vsize: 92920 [startup+1060.03 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 14931 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38349 0 0 0 105907 104 0 0 25 0 1 0 792384048 95150080 16078 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16078 300 300 0 22930 0 vsize: 92920 [startup+1070.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 14931 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38352 0 0 0 106906 104 0 0 25 0 1 0 792384048 95150080 16081 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16081 300 300 0 22930 0 vsize: 92920 [startup+1080.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 14931 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38663 0 0 0 107906 105 0 0 25 0 1 0 792384048 95150080 16117 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16117 300 300 0 22930 0 vsize: 92920 [startup+1090.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14931 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38693 0 0 0 108906 106 0 0 25 0 1 0 792384048 95150080 16147 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16147 300 300 0 22930 0 vsize: 92920 [startup+1100.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 38989 0 0 0 109905 106 0 0 25 0 1 0 792384048 95150080 16168 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16168 300 300 0 22930 0 vsize: 92920 [startup+1110.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39009 0 0 0 110905 106 0 0 25 0 1 0 792384048 95150080 16188 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16188 300 300 0 22930 0 vsize: 92920 [startup+1120.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39035 0 0 0 111905 106 0 0 25 0 1 0 792384048 95150080 16214 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16214 300 300 0 22930 0 vsize: 92920 [startup+1130.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39317 0 0 0 112905 107 0 0 25 0 1 0 792384048 95150080 16221 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16221 300 300 0 22930 0 vsize: 92920 [startup+1140.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39323 0 0 0 113905 107 0 0 25 0 1 0 792384048 95150080 16227 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16227 300 300 0 22930 0 vsize: 92920 [startup+1150.03 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39601 0 0 0 114904 108 0 0 25 0 1 0 792384048 95150080 16230 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16230 300 300 0 22930 0 vsize: 92920 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39603 0 0 0 115904 109 0 0 25 0 1 0 792384048 95150080 16232 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16232 300 300 0 22930 0 vsize: 92920 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39886 0 0 0 116903 109 0 0 25 0 1 0 792384048 95150080 16240 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16240 300 300 0 22930 0 vsize: 92920 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 39890 0 0 0 117903 109 0 0 25 0 1 0 792384048 95150080 16244 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23230 16244 300 300 0 22930 0 vsize: 92920 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 40172 0 0 0 118903 110 0 0 25 0 1 0 792384048 95285248 16251 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23263 16251 300 300 0 22963 0 vsize: 93052 [startup+1200.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14933 Raw data (stat): 14878 (pb2sat) R 14877 3132 3131 0 -1 0 40185 0 0 0 119903 110 0 0 25 0 1 0 792384048 95285248 16264 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23263 16264 300 300 0 22963 0 vsize: 93052 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.69 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 14933 Raw data (stat): 14878 (pb2sat) Z 14877 3132 3131 0 -1 12 40186 0 0 0 119965 113 0 0 25 0 1 0 792384048 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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: 10 Real time (s): 1200.69 CPU time (s): 1200.79 CPU user time (s): 1199.66 CPU system time (s): 1.13683 CPU usage (%): 100.009 Max. virtual memory (Kb): 93052 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 264 #### END VERIFIER DATA ####