Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb |
MD5SUM | 4fc22abde8250807abd95442a25fac44 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 407 |
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 | 407 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 407 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02684 |
Number of variables | 406 |
Total number of constraints | 538 |
Number of constraints which are clauses | 520 |
Number of constraints which are cardinality constraints (but not clauses) | 18 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 123 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-05-28 10:31:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23995 boxname=wulflinc23 idbench=69 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 4fc22abde8250807abd95442a25fac44 /oldhome/oroussel/tmp/wulflinc23/normalized-f51m.b.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-f51m.b.opb IDLAUNCH: 23995 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 889908 kB Buffers: 31488 kB Cached: 93204 kB SwapCached: 700 kB Active: 29852 kB Inactive: 96876 kB HighTotal: 131008 kB HighFree: 42560 kB LowTotal: 903652 kB LowFree: 847348 kB SwapTotal: 2097136 kB SwapFree: 2095556 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5028 kB Slab: 12504 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 10:51:08 (client local time) WITH STATUS 10 IN 1200.39 SECONDS stats: 23995 0 1200.39 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: 151 c [startup+5.15063 s] setting bit 8 to 1 Decision: 76525/83854 Time: 16.6195/86400c got solution with objective value: 23 c [startup+30.9242 s] setting bit 7 to 1 c CONFLICT during preprocess c [startup+31.2491 s] setting bit 6 to 0 c CONFLICT during preprocess c [startup+31.5737 s] setting bit 5 to 0 c [startup+32.2061 s] setting bit 4 to 0 Decision: 79780/83854 Time: 15.5356/86400 Decision: 79780/83854 Time: 27.4378/86400 Decision: 79780/83854 Time: 41.7077/86400 Decision: 79780/83854 Time: 54.5597/86400 Decision: 79780/83854 Time: 70.6703/86400 Decision: 79905/83854 Time: 93.0788/86400 Decision: 79905/83854 Time: 109.586/86400 Decision: 79905/83854 Time: 127.322/86400 Decision: 79905/83854 Time: 140.56/86400 Decision: 79905/83854 Time: 156.943/86400 Decision: 79905/83854 Time: 171.545/86400 Decision: 79905/83854 Time: 186.05/86400 Decision: 79905/83854 Time: 200.442/86400 Decision: 79905/83854 Time: 214.523/86400 Decision: 79905/83854 Time: 228.211/86400 Decision: 79905/83854 Time: 242.466/86400 Decision: 79905/83854 Time: 257.107/86400 Decision: 79905/83854 Time: 271.198/86400 Decision: 79905/83854 Time: 285.09/86400 Decision: 79905/83854 Time: 298.454/86400 Decision: 79905/83854 Time: 310.837/86400 Decision: 79905/83854 Time: 326.298/86400 Decision: 79905/83854 Time: 341.486/86400 Decision: 79905/83854 Time: 357.13/86400 Decision: 79905/83854 Time: 370.846/86400 Decision: 79905/83854 Time: 386.341/86400 Decision: 79905/83854 Time: 401.975/86400 Decision: 79905/83854 Time: 414.966/86400 Decision: 80187/83854 Time: 430.693/86400 Decision: 80187/83854 Time: 445.56/86400 Decision: 80187/83854 Time: 461.372/86400 Decision: 80188/83854 Time: 481.144/86400 Decision: 80188/83854 Time: 495.385/86400 Decision: 80188/83854 Time: 508.684/86400 Decision: 80188/83854 Time: 524.056/86400 Decision: 80188/83854 Time: 539.266/86400 Decision: 80188/83854 Time: 552.589/86400 Decision: 80188/83854 Time: 566.745/86400 Decision: 80188/83854 Time: 581.652/86400 Decision: 80188/83854 Time: 595.437/86400 Decision: 80188/83854 Time: 610.036/86400 Decision: 80342/83854 Time: 626.809/86400 Decision: 80342/83854 Time: 640.914/86400 Decision: 80355/83854 Time: 669.364/86400 Decision: 80355/83854 Time: 683.722/86400 Decision: 80355/83854 Time: 697.458/86400 Decision: 80355/83854 Time: 712.462/86400 Decision: 80356/83854 Time: 728.928/86400 Decision: 80356/83854 Time: 742.422/86400 Decision: 80356/83854 Time: 757.03/86400 Decision: 80851/83854 Time: 771.51/86400 Decision: 80898/83854 Time: 806.414/86400 Decision: 80939/83854 Time: 836.7/86400c [startup+888.248 s] setting bit 3 to 0 Decision: 78320/83854 Time: 144.11/86400 Decision: 78320/83854 Time: 156.584/86400 Decision: 78424/83854 Time: 171.869/86400 Decision: 78424/83854 Time: 184.697/86400 Decision: 78424/83854 Time: 195.918/86400 Decision: 78424/83854 Time: 211.858/86400 Decision: 78424/83854 Time: 225.163/86400 Decision: 78424/83854 Time: 236.77/86400 Decision: 78424/83854 Time: 250.748/86400 Decision: 78424/83854 Time: 267.957/86400 Decision: 78424/83854 Time: 282.747/86400 Decision: 78424/83854 Time: 298.34/86400c got solution with objective value: 19 c [startup+1193.86 s] setting bit 2 to 1 s 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 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x5 -x50 -x51 -x52 -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 Raw data (loadavg): 0.84 0.94 0.70 2/54 7538 Raw data (stat): 7538 (runsolver) R 7537 5562 5561 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 864102248 884736 93 4294967295 134512640 135332820 3221224480 3221219888 134515228 0 0 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 93 205 205 0 11 0 vsize: 864 Current StackSize limit: 67108864 bytes [startup+9.99967 s] Raw data (loadavg): 0.87 0.94 0.70 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 13428 0 0 0 970 29 0 0 25 0 1 0 864102248 43950080 7702 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10730 7702 300 300 0 10430 0 vsize: 42920 [startup+20.0002 s] Raw data (loadavg): 0.89 0.94 0.70 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 13453 0 0 0 1970 29 0 0 25 0 1 0 864102248 43950080 7727 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10730 7727 300 300 0 10430 0 vsize: 42920 [startup+30.0009 s] Raw data (loadavg): 0.90 0.94 0.71 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 13637 0 0 0 2969 30 0 0 25 0 1 0 864102248 43950080 7747 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10730 7747 300 300 0 10430 0 vsize: 42920 [startup+40.0015 s] Raw data (loadavg): 0.92 0.94 0.71 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14318 0 0 0 3968 31 0 0 25 0 1 0 864102248 43950080 7772 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10730 7772 300 300 0 10430 0 vsize: 42920 [startup+50.0023 s] Raw data (loadavg): 0.93 0.94 0.71 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14508 0 0 0 4966 32 0 0 25 0 1 0 864102248 43950080 7798 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7798 300 300 0 10430 0 vsize: 42920 [startup+60.0022 s] Raw data (loadavg): 0.94 0.95 0.72 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14687 0 0 0 5964 33 0 0 25 0 1 0 864102248 43950080 7813 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7813 300 300 0 10430 0 vsize: 42920 [startup+70.0026 s] Raw data (loadavg): 0.95 0.95 0.72 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14713 0 0 0 6964 34 0 0 25 0 1 0 864102248 43950080 7839 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7839 300 300 0 10430 0 vsize: 42920 [startup+80.0059 s] Raw data (loadavg): 0.96 0.95 0.72 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 14907 0 0 0 7963 35 0 0 25 0 1 0 864102248 43950080 7869 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7869 300 300 0 10430 0 vsize: 42920 [startup+90.0068 s] Raw data (loadavg): 0.96 0.95 0.72 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15102 0 0 0 8962 35 0 0 25 0 1 0 864102248 43950080 7900 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7900 300 300 0 10430 0 vsize: 42920 [startup+100.007 s] Raw data (loadavg): 0.97 0.95 0.73 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15127 0 0 0 9962 36 0 0 25 0 1 0 864102248 43950080 7925 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7925 300 300 0 10430 0 vsize: 42920 [startup+110.008 s] Raw data (loadavg): 0.97 0.95 0.73 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15310 0 0 0 10961 37 0 0 25 0 1 0 864102248 43950080 7944 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7944 300 300 0 10430 0 vsize: 42920 [startup+120.009 s] Raw data (loadavg): 0.98 0.95 0.73 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15332 0 0 0 11960 38 0 0 25 0 1 0 864102248 43950080 7966 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7966 300 300 0 10430 0 vsize: 42920 [startup+130.009 s] Raw data (loadavg): 0.98 0.95 0.73 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15509 0 0 0 12960 39 0 0 25 0 1 0 864102248 43950080 7979 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7979 300 300 0 10430 0 vsize: 42920 [startup+140.01 s] Raw data (loadavg): 0.98 0.95 0.74 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15512 0 0 0 13959 39 0 0 25 0 1 0 864102248 43950080 7982 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7982 300 300 0 10430 0 vsize: 42920 [startup+150.011 s] Raw data (loadavg): 0.98 0.95 0.74 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15691 0 0 0 14958 40 0 0 25 0 1 0 864102248 43950080 7997 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 7997 300 300 0 10430 0 vsize: 42920 [startup+160.01 s] Raw data (loadavg): 0.99 0.96 0.74 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15879 0 0 0 15958 41 0 0 25 0 1 0 864102248 43950080 8021 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8021 300 300 0 10430 0 vsize: 42920 [startup+170.011 s] Raw data (loadavg): 0.99 0.96 0.74 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 15914 0 0 0 16957 41 0 0 25 0 1 0 864102248 43950080 8056 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8056 300 300 0 10430 0 vsize: 42920 [startup+180.011 s] Raw data (loadavg): 0.99 0.96 0.74 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16106 0 0 0 17956 43 0 0 25 0 1 0 864102248 43950080 8084 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8084 300 300 0 10430 0 vsize: 42920 [startup+190.012 s] Raw data (loadavg): 0.99 0.96 0.75 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16302 0 0 0 18956 43 0 0 25 0 1 0 864102248 43950080 8116 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8116 300 300 0 10430 0 vsize: 42920 [startup+200.021 s] Raw data (loadavg): 0.99 0.96 0.75 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16337 0 0 0 19956 44 0 0 25 0 1 0 864102248 43950080 8151 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8151 300 300 0 10430 0 vsize: 42920 [startup+210.021 s] Raw data (loadavg): 0.99 0.96 0.75 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16518 0 0 0 20955 45 0 0 25 0 1 0 864102248 43950080 8168 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8168 300 300 0 10430 0 vsize: 42920 [startup+220.022 s] Raw data (loadavg): 0.99 0.96 0.75 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16684 0 0 0 21954 46 0 0 25 0 1 0 864102248 43950080 8170 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8170 300 300 0 10430 0 vsize: 42920 [startup+230.022 s] Raw data (loadavg): 0.99 0.96 0.75 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16690 0 0 0 22954 46 0 0 25 0 1 0 864102248 43950080 8176 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8176 300 300 0 10430 0 vsize: 42920 [startup+240.022 s] Raw data (loadavg): 0.99 0.96 0.76 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 16889 0 0 0 23953 47 0 0 25 0 1 0 864102248 43950080 8211 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8211 300 300 0 10430 0 vsize: 42920 [startup+250.023 s] Raw data (loadavg): 0.99 0.96 0.76 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17107 0 0 0 24952 48 0 0 25 0 1 0 864102248 43950080 8265 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8265 300 300 0 10430 0 vsize: 42920 [startup+260.023 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17155 0 0 0 25951 49 0 0 25 0 1 0 864102248 43950080 8313 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8313 300 300 0 10430 0 vsize: 42920 [startup+270.024 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17344 0 0 0 26951 50 0 0 25 0 1 0 864102248 43950080 8338 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8338 300 300 0 10430 0 vsize: 42920 [startup+280.024 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17527 0 0 0 27949 51 0 0 25 0 1 0 864102248 43950080 8357 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8357 300 300 0 10430 0 vsize: 42920 [startup+290.024 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17693 0 0 0 28948 52 0 0 25 0 1 0 864102248 43950080 8359 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8359 300 300 0 10430 0 vsize: 42920 [startup+300.025 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17696 0 0 0 29948 53 0 0 25 0 1 0 864102248 43950080 8362 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8362 300 300 0 10430 0 vsize: 42920 [startup+310.024 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 17863 0 0 0 30947 53 0 0 25 0 1 0 864102248 43950080 8365 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8365 300 300 0 10430 0 vsize: 42920 [startup+320.025 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18030 0 0 0 31947 54 0 0 25 0 1 0 864102248 43950080 8368 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8368 300 300 0 10430 0 vsize: 42920 [startup+330.026 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18038 0 0 0 32947 54 0 0 25 0 1 0 864102248 43950080 8376 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8376 300 300 0 10430 0 vsize: 42920 [startup+340.026 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18260 0 0 0 33946 55 0 0 25 0 1 0 864102248 43950080 8434 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8434 300 300 0 10430 0 vsize: 42920 [startup+350.027 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18440 0 0 0 34944 57 0 0 25 0 1 0 864102248 43950080 8450 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8450 300 300 0 10430 0 vsize: 42920 [startup+360.028 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18612 0 0 0 35944 57 0 0 25 0 1 0 864102248 43950080 8458 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8458 300 300 0 10430 0 vsize: 42920 [startup+370.028 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18661 0 0 0 36943 58 0 0 25 0 1 0 864102248 43950080 8507 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10730 8507 300 300 0 10430 0 vsize: 42920 [startup+380.028 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 18883 0 0 0 37942 59 0 0 25 0 1 0 864102248 44085248 8565 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10763 8565 300 300 0 10463 0 vsize: 43052 [startup+390.029 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19118 0 0 0 38941 61 0 0 25 0 1 0 864102248 44085248 8636 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10763 8636 300 300 0 10463 0 vsize: 43052 [startup+400.029 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19185 0 0 0 39940 61 0 0 25 0 1 0 864102248 44085248 8703 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10763 8703 300 300 0 10463 0 vsize: 43052 [startup+410.029 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19392 0 0 0 40939 62 0 0 25 0 1 0 864102248 44085248 8746 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10763 8746 300 300 0 10463 0 vsize: 43052 [startup+420.03 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19618 0 0 0 41938 63 0 0 25 0 1 0 864102248 52625408 8808 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8808 300 300 0 12548 0 vsize: 51392 [startup+430.03 s] Raw data (loadavg): 0.99 0.97 0.79 3/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19620 0 0 0 42938 64 0 0 25 0 1 0 864102248 52625408 8810 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8810 300 300 0 12548 0 vsize: 51392 [startup+440.031 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19790 0 0 0 43938 64 0 0 25 0 1 0 864102248 52625408 8816 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8816 300 300 0 12548 0 vsize: 51392 [startup+450.031 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19967 0 0 0 44936 66 0 0 25 0 1 0 864102248 52625408 8829 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8829 300 300 0 12548 0 vsize: 51392 [startup+460.03 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 19979 0 0 0 45935 67 0 0 25 0 1 0 864102248 52625408 8841 4294967295 134512640 135726644 3221224592 3221222912 134729216 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8841 300 300 0 12548 0 vsize: 51392 [startup+470.031 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20147 0 0 0 46934 68 0 0 25 0 1 0 864102248 52625408 8845 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8845 300 300 0 12548 0 vsize: 51392 [startup+480.031 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20314 0 0 0 47934 69 0 0 25 0 1 0 864102248 52625408 8848 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8848 300 300 0 12548 0 vsize: 51392 [startup+490.032 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20330 0 0 0 48933 69 0 0 25 0 1 0 864102248 52625408 8864 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8864 300 300 0 12548 0 vsize: 51392 [startup+500.032 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20504 0 0 0 49932 70 0 0 25 0 1 0 864102248 52625408 8874 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12848 8874 300 300 0 12548 0 vsize: 51392 [startup+510.032 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20511 0 0 0 50932 71 0 0 25 0 1 0 864102248 52760576 8881 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8881 300 300 0 12581 0 vsize: 51524 [startup+520.033 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20685 0 0 0 51931 72 0 0 25 0 1 0 864102248 52760576 8891 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8891 300 300 0 12581 0 vsize: 51524 [startup+530.032 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20852 0 0 0 52930 73 0 0 25 0 1 0 864102248 52760576 8894 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8894 300 300 0 12581 0 vsize: 51524 [startup+540.033 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 20856 0 0 0 53930 73 0 0 25 0 1 0 864102248 52760576 8898 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8898 300 300 0 12581 0 vsize: 51524 [startup+550.033 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21025 0 0 0 54929 74 0 0 25 0 1 0 864102248 52760576 8903 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8903 300 300 0 12581 0 vsize: 51524 [startup+560.033 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21192 0 0 0 55928 74 0 0 25 0 1 0 864102248 52760576 8906 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8906 300 300 0 12581 0 vsize: 51524 [startup+570.034 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21195 0 0 0 56928 75 0 0 25 0 1 0 864102248 52760576 8909 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8909 300 300 0 12581 0 vsize: 51524 [startup+580.033 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21362 0 0 0 57928 75 0 0 25 0 1 0 864102248 52760576 8912 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8912 300 300 0 12581 0 vsize: 51524 [startup+590.034 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21530 0 0 0 58927 76 0 0 25 0 1 0 864102248 52760576 8916 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8916 300 300 0 12581 0 vsize: 51524 [startup+600.035 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21700 0 0 0 59926 77 0 0 25 0 1 0 864102248 52760576 8922 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8922 300 300 0 12581 0 vsize: 51524 [startup+610.035 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21703 0 0 0 60926 78 0 0 25 0 1 0 864102248 52760576 8925 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8925 300 300 0 12581 0 vsize: 51524 [startup+620.036 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 21870 0 0 0 61925 78 0 0 25 0 1 0 864102248 52760576 8928 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8928 300 300 0 12581 0 vsize: 51524 [startup+630.035 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22037 0 0 0 62924 79 0 0 25 0 1 0 864102248 52760576 8931 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8931 300 300 0 12581 0 vsize: 51524 [startup+640.036 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22040 0 0 0 63924 79 0 0 25 0 1 0 864102248 52760576 8934 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8934 300 300 0 12581 0 vsize: 51524 [startup+650.037 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22214 0 0 0 64924 80 0 0 25 0 1 0 864102248 52760576 8944 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8944 300 300 0 12581 0 vsize: 51524 [startup+660.037 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22383 0 0 0 65923 81 0 0 25 0 1 0 864102248 52760576 8949 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12881 8949 300 300 0 12581 0 vsize: 51524 [startup+670.041 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22386 0 0 0 66923 82 0 0 25 0 1 0 864102248 52760576 8952 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12881 8952 300 300 0 12581 0 vsize: 51524 [startup+680.041 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22555 0 0 0 67922 82 0 0 25 0 1 0 864102248 52899840 8957 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 8957 300 300 0 12615 0 vsize: 51660 [startup+690.042 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22558 0 0 0 68923 82 0 0 25 0 1 0 864102248 52899840 8960 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 8960 300 300 0 12615 0 vsize: 51660 [startup+700.041 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22571 0 0 0 69922 83 0 0 25 0 1 0 864102248 52899840 8973 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 8973 300 300 0 12615 0 vsize: 51660 [startup+710.041 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22739 0 0 0 70922 83 0 0 25 0 1 0 864102248 52899840 8977 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 8977 300 300 0 12615 0 vsize: 51660 [startup+720.042 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 22906 0 0 0 71922 84 0 0 25 0 1 0 864102248 52899840 8980 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 8980 300 300 0 12615 0 vsize: 51660 [startup+730.043 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23116 0 0 0 72921 85 0 0 25 0 1 0 864102248 52899840 9026 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9026 300 300 0 12615 0 vsize: 51660 [startup+740.043 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23121 0 0 0 73921 85 0 0 25 0 1 0 864102248 52899840 9031 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9031 300 300 0 12615 0 vsize: 51660 [startup+750.043 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23288 0 0 0 74920 86 0 0 25 0 1 0 864102248 52899840 9034 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9034 300 300 0 12615 0 vsize: 51660 [startup+760.042 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23293 0 0 0 75920 86 0 0 25 0 1 0 864102248 52899840 9039 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9039 300 300 0 12615 0 vsize: 51660 [startup+770.043 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23464 0 0 0 76920 87 0 0 25 0 1 0 864102248 52899840 9046 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9046 300 300 0 12615 0 vsize: 51660 [startup+780.043 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23632 0 0 0 77919 87 0 0 25 0 1 0 864102248 52899840 9050 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9050 300 300 0 12615 0 vsize: 51660 [startup+790.043 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23802 0 0 0 78919 88 0 0 25 0 1 0 864102248 52899840 9056 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9056 300 300 0 12615 0 vsize: 51660 [startup+800.044 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23806 0 0 0 79919 88 0 0 25 0 1 0 864102248 52899840 9060 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12915 9060 300 300 0 12615 0 vsize: 51660 [startup+810.043 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23979 0 0 0 80918 89 0 0 25 0 1 0 864102248 53047296 9069 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9069 300 300 0 12651 0 vsize: 51804 [startup+820.044 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23982 0 0 0 81918 90 0 0 25 0 1 0 864102248 53047296 9072 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9072 300 300 0 12651 0 vsize: 51804 [startup+830.044 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 23985 0 0 0 82918 90 0 0 25 0 1 0 864102248 53047296 9075 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9075 300 300 0 12651 0 vsize: 51804 [startup+840.045 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24152 0 0 0 83918 90 0 0 25 0 1 0 864102248 53047296 9078 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9078 300 300 0 12651 0 vsize: 51804 [startup+850.045 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24155 0 0 0 84918 90 0 0 25 0 1 0 864102248 53047296 9081 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9081 300 300 0 12651 0 vsize: 51804 [startup+860.045 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24158 0 0 0 85918 91 0 0 25 0 1 0 864102248 53047296 9084 4294967295 134512640 135726644 3221224592 3221223212 134744627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9084 300 300 0 12651 0 vsize: 51804 [startup+870.045 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24328 0 0 0 86917 91 0 0 25 0 1 0 864102248 53047296 9090 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9090 300 300 0 12651 0 vsize: 51804 [startup+880.045 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24331 0 0 0 87917 91 0 0 25 0 1 0 864102248 53047296 9093 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9093 300 300 0 12651 0 vsize: 51804 [startup+890.046 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24565 0 0 0 88917 92 0 0 25 0 1 0 864102248 53047296 9163 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9163 300 300 0 12651 0 vsize: 51804 [startup+900.047 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24589 0 0 0 89916 93 0 0 25 0 1 0 864102248 53047296 9187 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9187 300 300 0 12651 0 vsize: 51804 [startup+910.046 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24631 0 0 0 90916 93 0 0 25 0 1 0 864102248 53047296 9229 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12951 9229 300 300 0 12651 0 vsize: 51804 [startup+920.046 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24665 0 0 0 91916 94 0 0 25 0 1 0 864102248 53182464 9263 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12984 9263 300 300 0 12684 0 vsize: 51936 [startup+930.046 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24712 0 0 0 92916 94 0 0 25 0 1 0 864102248 53182464 9310 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12984 9310 300 300 0 12684 0 vsize: 51936 [startup+940.051 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24757 0 0 0 93916 94 0 0 25 0 1 0 864102248 53182464 9355 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12984 9355 300 300 0 12684 0 vsize: 51936 [startup+950.051 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24784 0 0 0 94916 94 0 0 25 0 1 0 864102248 53182464 9382 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12984 9382 300 300 0 12684 0 vsize: 51936 [startup+960.051 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24814 0 0 0 95916 94 0 0 25 0 1 0 864102248 53317632 9412 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13017 9412 300 300 0 12717 0 vsize: 52068 [startup+970.052 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24853 0 0 0 96916 95 0 0 25 0 1 0 864102248 53317632 9451 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13017 9451 300 300 0 12717 0 vsize: 52068 [startup+980.054 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24892 0 0 0 97916 95 0 0 25 0 1 0 864102248 53317632 9490 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13017 9490 300 300 0 12717 0 vsize: 52068 [startup+990.055 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24943 0 0 0 98916 95 0 0 25 0 1 0 864102248 53317632 9541 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13017 9541 300 300 0 12717 0 vsize: 52068 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 24980 0 0 0 99916 96 0 0 25 0 1 0 864102248 53317632 9578 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13017 9578 300 300 0 12717 0 vsize: 52068 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25029 0 0 0 100916 96 0 0 25 0 1 0 864102248 53317632 9627 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13017 9627 300 300 0 12717 0 vsize: 52068 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25097 0 0 0 101915 97 0 0 25 0 1 0 864102248 53456896 9695 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13051 9695 300 300 0 12751 0 vsize: 52204 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25169 0 0 0 102915 98 0 0 25 0 1 0 864102248 53456896 9767 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13051 9767 300 300 0 12751 0 vsize: 52204 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25360 0 0 0 103914 99 0 0 25 0 1 0 864102248 53456896 9794 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13051 9794 300 300 0 12751 0 vsize: 52204 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25537 0 0 0 104912 100 0 0 25 0 1 0 864102248 53596160 9807 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13085 9807 300 300 0 12785 0 vsize: 52340 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25708 0 0 0 105910 101 0 0 25 0 1 0 864102248 54267904 9978 4294967295 134512640 135726644 3221224592 3221222736 134765521 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13249 9978 300 300 0 12949 0 vsize: 52996 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25714 0 0 0 106911 101 0 0 25 0 1 0 864102248 53596160 9820 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13085 9820 300 300 0 12785 0 vsize: 52340 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 25891 0 0 0 107910 102 0 0 25 0 1 0 864102248 53596160 9833 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13085 9833 300 300 0 12785 0 vsize: 52340 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26068 0 0 0 108910 102 0 0 25 0 1 0 864102248 53735424 9846 4294967295 134512640 135726644 3221224592 3221223072 134729216 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9846 300 300 0 12819 0 vsize: 52476 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26236 0 0 0 109910 103 0 0 25 0 1 0 864102248 53735424 9850 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9850 300 300 0 12819 0 vsize: 52476 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26239 0 0 0 110910 103 0 0 25 0 1 0 864102248 53735424 9853 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9853 300 300 0 12819 0 vsize: 52476 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26418 0 0 0 111909 103 0 0 25 0 1 0 864102248 53735424 9868 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9868 300 300 0 12819 0 vsize: 52476 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26592 0 0 0 112909 104 0 0 25 0 1 0 864102248 53735424 9878 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9878 300 300 0 12819 0 vsize: 52476 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26763 0 0 0 113908 105 0 0 25 0 1 0 864102248 53735424 9885 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9885 300 300 0 12819 0 vsize: 52476 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26766 0 0 0 114908 105 0 0 25 0 1 0 864102248 53735424 9888 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9888 300 300 0 12819 0 vsize: 52476 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26934 0 0 0 115908 106 0 0 25 0 1 0 864102248 53735424 9892 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13119 9892 300 300 0 12819 0 vsize: 52476 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 26945 0 0 0 116908 106 0 0 25 0 1 0 864102248 53870592 9903 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13152 9903 300 300 0 12852 0 vsize: 52608 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 27118 0 0 0 117907 107 0 0 25 0 1 0 864102248 53870592 9912 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13152 9912 300 300 0 12852 0 vsize: 52608 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 27289 0 0 0 118907 108 0 0 25 0 1 0 864102248 53870592 9919 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13152 9919 300 300 0 12852 0 vsize: 52608 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 7538 Raw data (stat): 7538 (pb2sat) R 7537 5562 5561 0 -1 0 27469 0 0 0 119906 108 0 0 25 0 1 0 864102248 53870592 9935 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13152 9935 300 300 0 12852 0 vsize: 52608 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.3 s] Raw data (loadavg): 0.99 0.97 0.88 1/54 7538 Raw data (stat): 7538 (pb2sat) Z 7537 5562 5561 0 -1 12 27470 0 0 0 119928 110 0 0 25 0 1 0 864102248 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1200.3 CPU time (s): 1200.39 CPU user time (s): 1199.28 CPU system time (s): 1.10883 CPU usage (%): 100.007 Max. virtual memory (Kb): 52996 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 19 #### END VERIFIER DATA ####