Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | bf7f8537c6faa135d25c67c53576abb5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 49 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 608 |
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 | 608 |
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 | 608 |
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.03484 |
Number of variables | 607 |
Total number of constraints | 1053 |
Number of constraints which are clauses | 1022 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-15 20:33:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25164 boxname=wulflinc1 idbench=66 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: bf7f8537c6faa135d25c67c53576abb5 /oldhome/oroussel/tmp/wulflinc1/normalized-e64.b.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-e64.b.opb IDLAUNCH: 25164 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 835400 kB Buffers: 33624 kB Cached: 141984 kB SwapCached: 1192 kB Active: 76656 kB Inactive: 101224 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 835148 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 15532 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 20:53:39 (client local time) WITH STATUS 10 IN 1201.01 SECONDS stats: 25164 0 1201.01 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 557 c big objective detected c trying from 0 to 511 c got solution with objective value: 508 c starting final optimization c CONFLICT during preprocess c [startup+11.1313 s] setting bit 9 to 0 c got solution with objective value: 255 c [startup+23.2543 s] setting bit 8 to 1 c got solution with objective value: 127 c [startup+32.9764 s] setting bit 7 to 1 c Decision: 147481/181610 Time: 17.7463/86400 c Decision: 147481/181610 Time: 27.8028/86400 c Decision: 147481/181610 Time: 37.8752/86400 c Decision: 147481/181610 Time: 48.9606/86400 c Decision: 147481/181610 Time: 62.1675/86400 c got solution with objective value: 63 c [startup+102.945 s] setting bit 6 to 1 c Decision: 165492/181610 Time: 12.4501/86400 c Decision: 165492/181610 Time: 27.1259/86400 c Decision: 165492/181610 Time: 36.6524/86400 c Decision: 165492/181610 Time: 47.0638/86400 c Decision: 165492/181610 Time: 61.4347/86400 c Decision: 165492/181610 Time: 74.8856/86400 c Decision: 165492/181610 Time: 88.1066/86400 c Decision: 165492/181610 Time: 104.738/86400 c Decision: 165492/181610 Time: 113.956/86400 c Decision: 165492/181610 Time: 129.294/86400 c Decision: 165492/181610 Time: 140.937/86400 c Decision: 165492/181610 Time: 156.709/86400 c Decision: 165492/181610 Time: 170.479/86400 c Decision: 165492/181610 Time: 183.001/86400 c Decision: 165492/181610 Time: 198.841/86400 c Decision: 165492/181610 Time: 215.33/86400 c Decision: 165492/181610 Time: 230.02/86400 c Decision: 165492/181610 Time: 242.433/86400 c Decision: 165492/181610 Time: 260.333/86400 c Decision: 165492/181610 Time: 276.047/86400 c Decision: 165492/181610 Time: 288.675/86400 c Decision: 165492/181610 Time: 304.664/86400 c Decision: 165492/181610 Time: 315.208/86400 c Decision: 165492/181610 Time: 335.227/86400 c Decision: 165492/181610 Time: 346.315/86400 c Decision: 165492/181610 Time: 359.496/86400 c Decision: 165492/181610 Time: 373.79/86400 c Decision: 165492/181610 Time: 393.773/86400 c Decision: 165492/181610 Time: 402.959/86400 c Decision: 165492/181610 Time: 415.968/86400 c Decision: 165492/181610 Time: 428.755/86400 c Decision: 165492/181610 Time: 447.436/86400 c Decision: 165492/181610 Time: 459.871/86400 c Decision: 165492/181610 Time: 472.378/86400 c Decision: 165492/181610 Time: 489.618/86400 c Decision: 165492/181610 Time: 503.972/86400 c Decision: 165492/181610 Time: 521.439/86400 c Decision: 165492/181610 Time: 537.967/86400 c Decision: 165492/181610 Time: 551.272/86400 c Decision: 165492/181610 Time: 565.808/86400 c Decision: 165492/181610 Time: 579.636/86400 c Decision: 165492/181610 Time: 593.777/86400 c Decision: 165492/181610 Time: 611.683/86400 c Decision: 165492/181610 Time: 622.583/86400 c Decision: 166007/181610 Time: 640.237/86400 c Decision: 166007/181610 Time: 655.427/86400 c Decision: 166007/181610 Time: 670.61/86400 c Decision: 166007/181610 Time: 683.592/86400 c Decision: 166007/181610 Time: 700.365/86400 c Decision: 166007/181610 Time: 715.485/86400 c Decision: 166007/181610 Time: 729.604/86400 c Decision: 166007/181610 Time: 745.2/86400 c Decision: 166007/181610 Time: 759.977/86400 c Decision: 166007/181610 Time: 778.487/86400 c Decision: 166007/181610 Time: 792.276/86400 c Decision: 166007/181610 Time: 808.457/86400 c Decision: 166007/181610 Time: 822.995/86400 c Decision: 166007/181610 Time: 840.02/86400 c Decision: 166007/181610 Time: 857.586/86400 c Decision: 166007/181610 Time: 873.171/86400 c Decision: 166007/181610 Time: 888.138/86400 c Decision: 166007/181610 Time: 908.429/86400 c Decision: 166007/181610 Time: 924.366/86400 c Decision: 166007/181610 Time: 935.684/86400 c Decision: 166007/181610 Time: 951.704/86400 c Decision: 166007/181610 Time: 967.449/86400 c Decision: 166007/181610 Time: 986.612/86400 c Decision: 166007/181610 Time: 999.793/86400 c Decision: 166007/181610 Time: 1016.31/86400 c Decision: 166007/181610 Time: 1030.32/86400 c Decision: 166007/181610 Time: 1046.11/86400 c Decision: 166007/181610 Time: 1062.48/86400 c Decision: 166007/181610 Time: 1076.67/86400 c Decision: 166007/181610 Time: 1093.12/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 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 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.90 0.94 0.90 1/55 5937 Raw data (stat): 5937 (runsolver) R 5936 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908177757 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0012 s] Raw data (loadavg): 0.91 0.94 0.90 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 27714 0 0 0 941 57 0 0 25 0 1 0 908177757 88190976 16488 4294967295 134512640 135730672 3221224592 3221222944 134748166 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21531 16488 301 301 0 21230 0 vsize: 86124 [startup+20.0021 s] Raw data (loadavg): 0.93 0.94 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 28856 0 0 0 1937 61 0 0 25 0 1 0 908177757 89812992 16887 4294967295 134512640 135730672 3221224592 3221222512 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21927 16887 301 301 0 21626 0 vsize: 87708 [startup+30.0017 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 29475 0 0 0 2933 64 0 0 25 0 1 0 908177757 90660864 17086 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22134 17086 301 301 0 21833 0 vsize: 88536 [startup+40.0015 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 30220 0 0 0 3931 66 0 0 25 0 1 0 908177757 92270592 17347 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22527 17347 301 301 0 22226 0 vsize: 90108 [startup+50.0012 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 30688 0 0 0 4930 67 0 0 25 0 1 0 908177757 94076928 17815 4294967295 134512640 135730672 3221224592 3221222328 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22968 17815 301 301 0 22667 0 vsize: 91872 [startup+60.0011 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 30783 0 0 0 5928 69 0 0 25 0 1 0 908177757 93081600 17555 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22725 17555 301 301 0 22424 0 vsize: 90900 [startup+70.0019 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 31246 0 0 0 6928 70 0 0 25 0 1 0 908177757 93380608 17663 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22798 17663 301 301 0 22497 0 vsize: 91192 [startup+80.0016 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 31711 0 0 0 7926 72 0 0 25 0 1 0 908177757 93986816 17773 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22946 17773 301 301 0 22645 0 vsize: 91784 [startup+90.0014 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 32145 0 0 0 8925 72 0 0 25 0 1 0 908177757 94330880 17852 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23030 17852 301 301 0 22729 0 vsize: 92120 [startup+100.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 32558 0 0 0 9923 74 0 0 25 0 1 0 908177757 94494720 17910 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23070 17910 301 301 0 22769 0 vsize: 92280 [startup+110.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 32980 0 0 0 10922 75 0 0 25 0 1 0 908177757 94658560 17977 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23110 17977 301 301 0 22809 0 vsize: 92440 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 33346 0 0 0 11920 77 0 0 25 0 1 0 908177757 94658560 17988 4294967295 134512640 135730672 3221224592 3221222688 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23110 17988 301 301 0 22809 0 vsize: 92440 [startup+130.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 33710 0 0 0 12919 78 0 0 25 0 1 0 908177757 96112640 18352 4294967295 134512640 135730672 3221224592 3221222332 134765468 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23465 18352 301 301 0 23164 0 vsize: 93860 [startup+140.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 33715 0 0 0 13919 78 0 0 25 0 1 0 908177757 94658560 18002 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23110 18002 301 301 0 22809 0 vsize: 92440 [startup+150.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 33725 0 0 0 14918 79 0 0 25 0 1 0 908177757 94658560 18012 4294967295 134512640 135730672 3221224592 3221222704 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23110 18012 301 301 0 22809 0 vsize: 92440 [startup+160.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 33743 0 0 0 15918 80 0 0 25 0 1 0 908177757 94658560 18030 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23110 18030 301 301 0 22809 0 vsize: 92440 [startup+170.002 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 34118 0 0 0 16917 81 0 0 25 0 1 0 908177757 94658560 18050 4294967295 134512640 135730672 3221224592 3221222848 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23110 18050 301 301 0 22809 0 vsize: 92440 [startup+180.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 34493 0 0 0 17916 81 0 0 25 0 1 0 908177757 94658560 18070 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23110 18070 301 301 0 22809 0 vsize: 92440 [startup+190.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 34523 0 0 0 18916 81 0 0 25 0 1 0 908177757 94822400 18100 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18100 301 301 0 22849 0 vsize: 92600 [startup+200.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 34903 0 0 0 19916 82 0 0 25 0 1 0 908177757 94822400 18125 4294967295 134512640 135730672 3221224592 3221222848 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18125 301 301 0 22849 0 vsize: 92600 [startup+210.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 35283 0 0 0 20915 83 0 0 25 0 1 0 908177757 94822400 18150 4294967295 134512640 135730672 3221224592 3221222688 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18150 301 301 0 22849 0 vsize: 92600 [startup+220.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 35665 0 0 0 21914 85 0 0 25 0 1 0 908177757 94822400 18177 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18177 301 301 0 22849 0 vsize: 92600 [startup+230.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 35691 0 0 0 22913 85 0 0 25 0 1 0 908177757 94822400 18203 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18203 301 301 0 22849 0 vsize: 92600 [startup+240.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 36078 0 0 0 23912 86 0 0 25 0 1 0 908177757 94822400 18235 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18235 301 301 0 22849 0 vsize: 92600 [startup+250.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 36443 0 0 0 24911 88 0 0 25 0 1 0 908177757 94822400 18245 4294967295 134512640 135730672 3221224592 3221222688 134747701 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18245 301 301 0 22849 0 vsize: 92600 [startup+260.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 36800 0 0 0 25910 89 0 0 25 0 1 0 908177757 94822400 18247 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18247 301 301 0 22849 0 vsize: 92600 [startup+270.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 36804 0 0 0 26910 89 0 0 25 0 1 0 908177757 94822400 18251 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18251 301 301 0 22849 0 vsize: 92600 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 37175 0 0 0 27909 90 0 0 25 0 1 0 908177757 94822400 18267 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23150 18267 301 301 0 22849 0 vsize: 92600 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 37565 0 0 0 28909 91 0 0 25 0 1 0 908177757 94961664 18302 4294967295 134512640 135730672 3221224592 3221222780 134747723 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23184 18302 301 301 0 22883 0 vsize: 92736 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 37597 0 0 0 29909 91 0 0 25 0 1 0 908177757 94961664 18334 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23184 18334 301 301 0 22883 0 vsize: 92736 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 37982 0 0 0 30908 92 0 0 25 0 1 0 908177757 94961664 18364 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23184 18364 301 301 0 22883 0 vsize: 92736 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 38362 0 0 0 31907 93 0 0 25 0 1 0 908177757 94961664 18389 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23184 18389 301 301 0 22883 0 vsize: 92736 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 38368 0 0 0 32906 94 0 0 25 0 1 0 908177757 95096832 18395 4294967295 134512640 135730672 3221224592 3221222688 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23217 18395 301 301 0 22916 0 vsize: 92868 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 38731 0 0 0 33905 95 0 0 25 0 1 0 908177757 95096832 18403 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23217 18403 301 301 0 22916 0 vsize: 92868 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 39111 0 0 0 34904 96 0 0 25 0 1 0 908177757 95096832 18428 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23217 18428 301 301 0 22916 0 vsize: 92868 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 39145 0 0 0 35904 97 0 0 25 0 1 0 908177757 95096832 18462 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23217 18462 301 301 0 22916 0 vsize: 92868 [startup+370.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 39528 0 0 0 36903 98 0 0 25 0 1 0 908177757 95096832 18490 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23217 18490 301 301 0 22916 0 vsize: 92868 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 39919 0 0 0 37902 99 0 0 25 0 1 0 908177757 95096832 18526 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23217 18526 301 301 0 22916 0 vsize: 92868 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 39996 0 0 0 38902 99 0 0 25 0 1 0 908177757 95399936 18603 4294967295 134512640 135730672 3221224592 3221222688 134747747 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23291 18603 301 301 0 22990 0 vsize: 93164 [startup+400.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 40354 0 0 0 39901 100 0 0 25 0 1 0 908177757 95399936 18606 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23291 18606 301 301 0 22990 0 vsize: 93164 [startup+410.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 40712 0 0 0 40900 101 0 0 25 0 1 0 908177757 95399936 18609 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23291 18609 301 301 0 22990 0 vsize: 93164 [startup+420.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 41071 0 0 0 41899 102 0 0 25 0 1 0 908177757 95399936 18613 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23291 18613 301 301 0 22990 0 vsize: 93164 [startup+430.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 41073 0 0 0 42899 103 0 0 25 0 1 0 908177757 95399936 18615 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23291 18615 301 301 0 22990 0 vsize: 93164 [startup+440.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 41453 0 0 0 43898 104 0 0 25 0 1 0 908177757 95399936 18640 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23291 18640 301 301 0 22990 0 vsize: 93164 [startup+450.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 41857 0 0 0 44897 105 0 0 25 0 1 0 908177757 95399936 18689 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23291 18689 301 301 0 22990 0 vsize: 93164 [startup+460.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 41912 0 0 0 45897 105 0 0 25 0 1 0 908177757 95555584 18744 4294967295 134512640 135730672 3221224592 3221222688 134747741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23329 18744 301 301 0 23028 0 vsize: 93316 [startup+470.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 42274 0 0 0 46896 106 0 0 25 0 1 0 908177757 95555584 18751 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23329 18751 301 301 0 23028 0 vsize: 93316 [startup+480.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 42635 0 0 0 47895 107 0 0 25 0 1 0 908177757 95555584 18757 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23329 18757 301 301 0 23028 0 vsize: 93316 [startup+490.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 42642 0 0 0 48895 108 0 0 25 0 1 0 908177757 95555584 18764 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23329 18764 301 301 0 23028 0 vsize: 93316 [startup+500.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 43010 0 0 0 49894 109 0 0 25 0 1 0 908177757 95555584 18777 4294967295 134512640 135730672 3221224592 3221222688 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23329 18777 301 301 0 23028 0 vsize: 93316 [startup+510.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 43398 0 0 0 50894 110 0 0 25 0 1 0 908177757 95686656 18810 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23361 18810 301 301 0 23060 0 vsize: 93444 [startup+520.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 43826 0 0 0 51893 111 0 0 25 0 1 0 908177757 95834112 18883 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23397 18883 301 301 0 23096 0 vsize: 93588 [startup+530.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 43854 0 0 0 52892 111 0 0 25 0 1 0 908177757 95834112 18911 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23397 18911 301 301 0 23096 0 vsize: 93588 [startup+540.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 44211 0 0 0 53891 112 0 0 25 0 1 0 908177757 95834112 18913 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23397 18913 301 301 0 23096 0 vsize: 93588 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 44500 0 0 0 54891 113 0 0 25 0 1 0 908177757 97288192 19202 4294967295 134512640 135730672 3221224592 3221222528 134767241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23752 19209 301 301 0 23451 0 vsize: 95008 [startup+560.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 44595 0 0 0 55890 114 0 0 25 0 1 0 908177757 96014336 18942 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23441 18942 301 301 0 23140 0 vsize: 93764 [startup+570.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 44956 0 0 0 56889 115 0 0 25 0 1 0 908177757 96014336 18948 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23441 18948 301 301 0 23140 0 vsize: 93764 [startup+580.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 45321 0 0 0 57888 116 0 0 25 0 1 0 908177757 96014336 18958 4294967295 134512640 135730672 3221224592 3221222688 134747762 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23441 18958 301 301 0 23140 0 vsize: 93764 [startup+590.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 45327 0 0 0 58888 117 0 0 25 0 1 0 908177757 96014336 18964 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23441 18964 301 301 0 23140 0 vsize: 93764 [startup+600.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 45711 0 0 0 59887 118 0 0 25 0 1 0 908177757 96014336 18993 4294967295 134512640 135730672 3221224592 3221222688 134747555 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23441 18993 301 301 0 23140 0 vsize: 93764 [startup+610.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 46097 0 0 0 60886 119 0 0 25 0 1 0 908177757 96014336 19024 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23441 19024 301 301 0 23140 0 vsize: 93764 [startup+620.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 46105 0 0 0 61886 119 0 0 25 0 1 0 908177757 96149504 19032 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23474 19032 301 301 0 23173 0 vsize: 93896 [startup+630.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 46467 0 0 0 62885 120 0 0 25 0 1 0 908177757 96149504 19039 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23474 19039 301 301 0 23173 0 vsize: 93896 [startup+640.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 46474 0 0 0 63885 120 0 0 25 0 1 0 908177757 96149504 19046 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23474 19046 301 301 0 23173 0 vsize: 93896 [startup+650.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 46837 0 0 0 64885 121 0 0 25 0 1 0 908177757 96149504 19054 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23474 19054 301 301 0 23173 0 vsize: 93896 [startup+660.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 47207 0 0 0 65884 122 0 0 25 0 1 0 908177757 96149504 19069 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23474 19069 301 301 0 23173 0 vsize: 93896 [startup+670.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 47573 0 0 0 66883 123 0 0 25 0 1 0 908177757 96288768 19080 4294967295 134512640 135730672 3221224592 3221222688 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23508 19080 301 301 0 23207 0 vsize: 94032 [startup+680.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 47609 0 0 0 67882 124 0 0 25 0 1 0 908177757 96288768 19116 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23508 19116 301 301 0 23207 0 vsize: 94032 [startup+690.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 47983 0 0 0 68882 125 0 0 25 0 1 0 908177757 96288768 19135 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23508 19135 301 301 0 23207 0 vsize: 94032 [startup+700.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 48346 0 0 0 69881 126 0 0 25 0 1 0 908177757 96288768 19143 4294967295 134512640 135730672 3221224592 3221222688 134747741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23508 19143 301 301 0 23207 0 vsize: 94032 [startup+710.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 48349 0 0 0 70881 126 0 0 25 0 1 0 908177757 96288768 19146 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23508 19146 301 301 0 23207 0 vsize: 94032 [startup+720.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 48712 0 0 0 71880 127 0 0 25 0 1 0 908177757 96288768 19154 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23508 19154 301 301 0 23207 0 vsize: 94032 [startup+730.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 49099 0 0 0 72879 128 0 0 25 0 1 0 908177757 96423936 19186 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23541 19186 301 301 0 23240 0 vsize: 94164 [startup+740.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 49138 0 0 0 73879 128 0 0 25 0 1 0 908177757 96423936 19225 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23541 19225 301 301 0 23240 0 vsize: 94164 [startup+750.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 49528 0 0 0 74878 130 0 0 25 0 1 0 908177757 96423936 19260 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23541 19260 301 301 0 23240 0 vsize: 94164 [startup+760.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 49914 0 0 0 75876 131 0 0 25 0 1 0 908177757 96423936 19291 4294967295 134512640 135730672 3221224592 3221222688 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23541 19291 301 301 0 23240 0 vsize: 94164 [startup+770.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 49949 0 0 0 76876 132 0 0 25 0 1 0 908177757 96567296 19326 4294967295 134512640 135730672 3221224592 3221222688 134747599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23576 19326 301 301 0 23275 0 vsize: 94304 [startup+780.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 50310 0 0 0 77875 133 0 0 25 0 1 0 908177757 96706560 19332 4294967295 134512640 135730672 3221224592 3221222688 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23610 19332 301 301 0 23309 0 vsize: 94440 [startup+790.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 50668 0 0 0 78874 134 0 0 25 0 1 0 908177757 96706560 19335 4294967295 134512640 135730672 3221224592 3221222688 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23610 19335 301 301 0 23309 0 vsize: 94440 [startup+800.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 50674 0 0 0 79874 134 0 0 25 0 1 0 908177757 96706560 19341 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23610 19341 301 301 0 23309 0 vsize: 94440 [startup+810.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 51042 0 0 0 80873 135 0 0 25 0 1 0 908177757 96706560 19354 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23610 19354 301 301 0 23309 0 vsize: 94440 [startup+820.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 51408 0 0 0 81871 137 0 0 25 0 1 0 908177757 96706560 19365 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23610 19365 301 301 0 23309 0 vsize: 94440 [startup+830.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 51440 0 0 0 82871 137 0 0 25 0 1 0 908177757 96706560 19397 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23610 19397 301 301 0 23309 0 vsize: 94440 [startup+840.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 51806 0 0 0 83870 138 0 0 25 0 1 0 908177757 96706560 19408 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23610 19408 301 301 0 23309 0 vsize: 94440 [startup+850.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 52173 0 0 0 84869 139 0 0 25 0 1 0 908177757 96841728 19420 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23643 19420 301 301 0 23342 0 vsize: 94572 [startup+860.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 52180 0 0 0 85869 139 0 0 25 0 1 0 908177757 96841728 19427 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23643 19427 301 301 0 23342 0 vsize: 94572 [startup+870.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 52545 0 0 0 86868 140 0 0 25 0 1 0 908177757 96841728 19437 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23643 19437 301 301 0 23342 0 vsize: 94572 [startup+880.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 52548 0 0 0 87868 140 0 0 25 0 1 0 908177757 96841728 19440 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23643 19440 301 301 0 23342 0 vsize: 94572 [startup+890.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 52929 0 0 0 88868 141 0 0 25 0 1 0 908177757 96841728 19466 4294967295 134512640 135730672 3221224592 3221222736 134740206 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23643 19466 301 301 0 23342 0 vsize: 94572 [startup+900.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 53320 0 0 0 89867 142 0 0 25 0 1 0 908177757 96841728 19502 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23643 19502 301 301 0 23342 0 vsize: 94572 [startup+910.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 53353 0 0 0 90867 143 0 0 25 0 1 0 908177757 96972800 19535 4294967295 134512640 135730672 3221224592 3221222704 134746514 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23675 19535 301 301 0 23374 0 vsize: 94700 [startup+920.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 53717 0 0 0 91866 144 0 0 25 0 1 0 908177757 96972800 19544 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23675 19544 301 301 0 23374 0 vsize: 94700 [startup+930.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 54081 0 0 0 92864 145 0 0 25 0 1 0 908177757 96972800 19553 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23675 19553 301 301 0 23374 0 vsize: 94700 [startup+940.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 54088 0 0 0 93865 145 0 0 25 0 1 0 908177757 96972800 19560 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23675 19560 301 301 0 23374 0 vsize: 94700 [startup+950.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 54448 0 0 0 94863 146 0 0 25 0 1 0 908177757 96972800 19565 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23675 19565 301 301 0 23374 0 vsize: 94700 [startup+960.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 54453 0 0 0 95863 147 0 0 25 0 1 0 908177757 96972800 19570 4294967295 134512640 135730672 3221224592 3221222704 134745858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23675 19570 301 301 0 23374 0 vsize: 94700 [startup+970.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 54814 0 0 0 96862 148 0 0 25 0 1 0 908177757 96972800 19576 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23675 19576 301 301 0 23374 0 vsize: 94700 [startup+980.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 55206 0 0 0 97861 149 0 0 25 0 1 0 908177757 97112064 19613 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23709 19613 301 301 0 23408 0 vsize: 94836 [startup+990.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 55592 0 0 0 98860 151 0 0 25 0 1 0 908177757 98566144 19999 4294967295 134512640 135730672 3221224592 3221222344 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24064 19999 301 301 0 23763 0 vsize: 96256 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 55599 0 0 0 99860 151 0 0 25 0 1 0 908177757 97112064 19651 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23709 19651 301 301 0 23408 0 vsize: 94836 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 55604 0 0 0 100860 151 0 0 25 0 1 0 908177757 97112064 19656 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23709 19656 301 301 0 23408 0 vsize: 94836 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 55967 0 0 0 101859 152 0 0 25 0 1 0 908177757 97112064 19664 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23709 19664 301 301 0 23408 0 vsize: 94836 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 56338 0 0 0 102858 153 0 0 25 0 1 0 908177757 97112064 19680 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23709 19680 301 301 0 23408 0 vsize: 94836 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 56705 0 0 0 103857 154 0 0 25 0 1 0 908177757 97243136 19692 4294967295 134512640 135730672 3221224592 3221222688 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23741 19692 301 301 0 23440 0 vsize: 94964 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 56735 0 0 0 104857 154 0 0 25 0 1 0 908177757 97243136 19722 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23741 19722 301 301 0 23440 0 vsize: 94964 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 57127 0 0 0 105856 156 0 0 25 0 1 0 908177757 97243136 19759 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23741 19759 301 301 0 23440 0 vsize: 94964 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 57527 0 0 0 106855 157 0 0 25 0 1 0 908177757 97243136 19804 4294967295 134512640 135730672 3221224592 3221222816 134783353 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23741 19804 301 301 0 23440 0 vsize: 94964 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 57533 0 0 0 107855 157 0 0 25 0 1 0 908177757 97243136 19810 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23741 19810 301 301 0 23440 0 vsize: 94964 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 57896 0 0 0 108854 158 0 0 25 0 1 0 908177757 97243136 19818 4294967295 134512640 135730672 3221224592 3221222688 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23741 19818 301 301 0 23440 0 vsize: 94964 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 57905 0 0 0 109854 158 0 0 25 0 1 0 908177757 97378304 19827 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23774 19827 301 301 0 23473 0 vsize: 95096 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 58269 0 0 0 110853 159 0 0 25 0 1 0 908177757 97378304 19836 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23774 19836 301 301 0 23473 0 vsize: 95096 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 58637 0 0 0 111852 161 0 0 25 0 1 0 908177757 97378304 19849 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23774 19849 301 301 0 23473 0 vsize: 95096 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 58650 0 0 0 112851 161 0 0 25 0 1 0 908177757 97525760 19862 4294967295 134512640 135730672 3221224592 3221222688 134747738 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23810 19862 301 301 0 23509 0 vsize: 95240 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 59021 0 0 0 113851 162 0 0 25 0 1 0 908177757 97525760 19878 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23810 19878 301 301 0 23509 0 vsize: 95240 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 59410 0 0 0 114850 163 0 0 25 0 1 0 908177757 97525760 19912 4294967295 134512640 135730672 3221224592 3221222688 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23810 19912 301 301 0 23509 0 vsize: 95240 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 59413 0 0 0 115850 163 0 0 25 0 1 0 908177757 97525760 19915 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23810 19915 301 301 0 23509 0 vsize: 95240 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 59778 0 0 0 116849 164 0 0 25 0 1 0 908177757 97525760 19925 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23810 19925 301 301 0 23509 0 vsize: 95240 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 60140 0 0 0 117848 165 0 0 25 0 1 0 908177757 97525760 19932 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23810 19932 301 301 0 23509 0 vsize: 95240 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 60146 0 0 0 118848 166 0 0 25 0 1 0 908177757 97525760 19938 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23810 19938 301 301 0 23509 0 vsize: 95240 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 5937 Raw data (stat): 5937 (pb2sat-v2) R 5936 8378 8377 0 -1 0 60510 0 0 0 119847 167 0 0 25 0 1 0 908177757 97660928 19947 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23843 19947 301 301 0 23542 0 vsize: 95372 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.87 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 5937 Raw data (stat): 5937 (pb2sat-v2) Z 5936 8378 8377 0 -1 12 60512 0 0 0 119929 171 0 0 25 0 1 0 908177757 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.87 CPU time (s): 1201.01 CPU user time (s): 1199.3 CPU system time (s): 1.71174 CPU usage (%): 100.012 Max. virtual memory (Kb): 96256 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 63 #### END VERIFIER DATA ####