Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
MD5SUM | c4653389ddee2820797c664a0856c651 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 456 |
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 | 456 |
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 | 456 |
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.02784 |
Number of variables | 456 |
Total number of constraints | 1602 |
Number of constraints which are clauses | 1602 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-28 10:34:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24073 boxname=wulflinc25 idbench=147 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c4653389ddee2820797c664a0856c651 /oldhome/oroussel/tmp/wulflinc25/normalized-ii32b1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-ii32b1.opb IDLAUNCH: 24073 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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 : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 715268 kB Buffers: 36440 kB Cached: 262716 kB SwapCached: 996 kB Active: 29528 kB Inactive: 271740 kB HighTotal: 131008 kB HighFree: 15148 kB LowTotal: 903652 kB LowFree: 700120 kB SwapTotal: 2097892 kB SwapFree: 2095984 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5060 kB Slab: 12392 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 10:54:29 (client local time) WITH STATUS 10 IN 1200.68 SECONDS stats: 24073 0 1200.68 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: 200 c [startup+7.49856 s] setting bit 8 to 1 c [startup+16.955 s] setting bit 7 to 0 Decision: 53089/105122 Time: 111.335/86400 Decision: 53092/105122 Time: 150.206/86400 Decision: 53093/105122 Time: 182.794/86400 Decision: 53990/105122 Time: 260.257/86400c [startup+335.963 s] setting bit 6 to 0 Decision: 42945/105122 Time: 28.8906/86400 Decision: 43601/105122 Time: 71.1872/86400 Decision: 43890/105122 Time: 125.883/86400 Decision: 44848/105122 Time: 182.832/86400 Decision: 46491/105122 Time: 374.883/86400 Decision: 46781/105122 Time: 419.176/86400 Decision: 46781/105122 Time: 447.421/86400 Decision: 46816/105122 Time: 544.357/86400 Decision: 46819/105122 Time: 602.565/86400 Decision: 46978/105122 Time: 632.781/86400 Decision: 47098/105122 Time: 700.768/86400 Decision: 47099/105122 Time: 750.824/86400 Decision: 47099/105122 Time: 771.322/86400 Decision: 47100/105122 Time: 814.794/86400 Decision: 47102/105122 Time: 849.646/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 -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 Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.79 0.87 0.71 2/54 8267 Raw data (stat): 8267 (runsolver) R 8266 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864134781 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.0003 s] Raw data (loadavg): 0.83 0.88 0.71 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16074 0 0 0 963 35 0 0 25 0 1 0 864134781 49410048 10096 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12063 10096 300 300 0 11763 0 vsize: 48252 [startup+20.0003 s] Raw data (loadavg): 0.85 0.88 0.72 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16501 0 0 0 1962 36 0 0 25 0 1 0 864134781 50278400 10284 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12275 10284 300 300 0 11975 0 vsize: 49100 [startup+30.0007 s] Raw data (loadavg): 0.87 0.89 0.72 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16622 0 0 0 2961 37 0 0 25 0 1 0 864134781 50675712 10372 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12372 10372 300 300 0 12072 0 vsize: 49488 [startup+40 s] Raw data (loadavg): 0.89 0.89 0.72 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16690 0 0 0 3960 37 0 0 25 0 1 0 864134781 50806784 10407 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10407 300 300 0 12104 0 vsize: 49616 [startup+50.0009 s] Raw data (loadavg): 0.91 0.89 0.72 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16710 0 0 0 4960 37 0 0 25 0 1 0 864134781 50806784 10427 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10427 300 300 0 12104 0 vsize: 49616 [startup+60.0005 s] Raw data (loadavg): 0.92 0.89 0.73 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16726 0 0 0 5960 38 0 0 25 0 1 0 864134781 50806784 10443 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10443 300 300 0 12104 0 vsize: 49616 [startup+69.9998 s] Raw data (loadavg): 0.93 0.90 0.73 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16745 0 0 0 6960 38 0 0 25 0 1 0 864134781 50806784 10462 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10462 300 300 0 12104 0 vsize: 49616 [startup+80.0007 s] Raw data (loadavg): 0.94 0.90 0.73 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16764 0 0 0 7960 39 0 0 25 0 1 0 864134781 50806784 10481 4294967295 134512640 135726644 3221224592 3221223184 134760015 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10481 300 300 0 12104 0 vsize: 49616 [startup+90.0002 s] Raw data (loadavg): 0.95 0.90 0.73 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16784 0 0 0 8960 39 0 0 25 0 1 0 864134781 50806784 10501 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10501 300 300 0 12104 0 vsize: 49616 [startup+100.001 s] Raw data (loadavg): 0.96 0.91 0.74 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16810 0 0 0 9960 39 0 0 25 0 1 0 864134781 50806784 10527 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10527 300 300 0 12104 0 vsize: 49616 [startup+110.001 s] Raw data (loadavg): 0.96 0.91 0.74 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16828 0 0 0 10960 39 0 0 25 0 1 0 864134781 50806784 10545 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10545 300 300 0 12104 0 vsize: 49616 [startup+120.001 s] Raw data (loadavg): 0.97 0.91 0.74 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 16854 0 0 0 11960 39 0 0 25 0 1 0 864134781 50806784 10571 4294967295 134512640 135726644 3221224592 3221223280 134744867 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10571 300 300 0 12104 0 vsize: 49616 [startup+130.001 s] Raw data (loadavg): 0.97 0.91 0.74 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17078 0 0 0 12959 40 0 0 25 0 1 0 864134781 50806784 10589 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12404 10589 300 300 0 12104 0 vsize: 49616 [startup+140.001 s] Raw data (loadavg): 0.98 0.92 0.74 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17079 0 0 0 13959 40 0 0 25 0 1 0 864134781 50806784 10590 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10590 300 300 0 12104 0 vsize: 49616 [startup+150.002 s] Raw data (loadavg): 0.98 0.92 0.75 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17084 0 0 0 14959 40 0 0 25 0 1 0 864134781 50806784 10595 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10595 300 300 0 12104 0 vsize: 49616 [startup+160.001 s] Raw data (loadavg): 0.98 0.92 0.75 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17086 0 0 0 15959 40 0 0 25 0 1 0 864134781 50806784 10597 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12404 10597 300 300 0 12104 0 vsize: 49616 [startup+170.001 s] Raw data (loadavg): 0.98 0.92 0.75 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17298 0 0 0 16959 41 0 0 25 0 1 0 864134781 50941952 10603 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12437 10603 300 300 0 12137 0 vsize: 49748 [startup+180.002 s] Raw data (loadavg): 0.99 0.92 0.75 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17305 0 0 0 17959 41 0 0 25 0 1 0 864134781 50941952 10610 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12437 10610 300 300 0 12137 0 vsize: 49748 [startup+190.001 s] Raw data (loadavg): 0.99 0.93 0.75 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17337 0 0 0 18959 41 0 0 25 0 1 0 864134781 50941952 10642 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12437 10642 300 300 0 12137 0 vsize: 49748 [startup+200.001 s] Raw data (loadavg): 0.99 0.93 0.75 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17571 0 0 0 19958 42 0 0 25 0 1 0 864134781 50941952 10670 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12437 10670 300 300 0 12137 0 vsize: 49748 [startup+210.001 s] Raw data (loadavg): 0.99 0.93 0.76 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17596 0 0 0 20958 43 0 0 25 0 1 0 864134781 51077120 10695 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12470 10695 300 300 0 12170 0 vsize: 49880 [startup+220.001 s] Raw data (loadavg): 0.99 0.93 0.76 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17618 0 0 0 21957 43 0 0 25 0 1 0 864134781 51077120 10717 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12470 10717 300 300 0 12170 0 vsize: 49880 [startup+230.001 s] Raw data (loadavg): 0.99 0.93 0.76 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17646 0 0 0 22957 43 0 0 25 0 1 0 864134781 51077120 10745 4294967295 134512640 135726644 3221224592 3221223088 134743877 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12470 10745 300 300 0 12170 0 vsize: 49880 [startup+240.001 s] Raw data (loadavg): 0.99 0.94 0.76 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17664 0 0 0 23957 43 0 0 25 0 1 0 864134781 51077120 10763 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12470 10763 300 300 0 12170 0 vsize: 49880 [startup+250.001 s] Raw data (loadavg): 0.99 0.94 0.76 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17691 0 0 0 24958 43 0 0 25 0 1 0 864134781 51077120 10790 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12470 10790 300 300 0 12170 0 vsize: 49880 [startup+260.001 s] Raw data (loadavg): 0.99 0.94 0.77 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17719 0 0 0 25957 44 0 0 25 0 1 0 864134781 51077120 10818 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12470 10818 300 300 0 12170 0 vsize: 49880 [startup+270.001 s] Raw data (loadavg): 0.99 0.94 0.77 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17744 0 0 0 26957 44 0 0 25 0 1 0 864134781 51077120 10843 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12470 10843 300 300 0 12170 0 vsize: 49880 [startup+280.001 s] Raw data (loadavg): 0.99 0.94 0.77 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 17981 0 0 0 27957 45 0 0 25 0 1 0 864134781 51212288 10874 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12503 10874 300 300 0 12203 0 vsize: 50012 [startup+290.001 s] Raw data (loadavg): 0.99 0.94 0.77 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18015 0 0 0 28957 45 0 0 25 0 1 0 864134781 51212288 10908 4294967295 134512640 135726644 3221224592 3221223216 134744557 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12503 10908 300 300 0 12203 0 vsize: 50012 [startup+300.002 s] Raw data (loadavg): 0.99 0.94 0.77 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18054 0 0 0 29957 45 0 0 25 0 1 0 864134781 51212288 10947 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12503 10947 300 300 0 12203 0 vsize: 50012 [startup+310.002 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18083 0 0 0 30957 46 0 0 25 0 1 0 864134781 51212288 10976 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12503 10976 300 300 0 12203 0 vsize: 50012 [startup+320.001 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18109 0 0 0 31957 46 0 0 25 0 1 0 864134781 51212288 11002 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12503 11002 300 300 0 12203 0 vsize: 50012 [startup+330.001 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18144 0 0 0 32957 46 0 0 25 0 1 0 864134781 51212288 11037 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12503 11037 300 300 0 12203 0 vsize: 50012 [startup+340.001 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18389 0 0 0 33955 47 0 0 25 0 1 0 864134781 51212288 11076 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12503 11076 300 300 0 12203 0 vsize: 50012 [startup+350.001 s] Raw data (loadavg): 0.99 0.95 0.78 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18430 0 0 0 34955 47 0 0 25 0 1 0 864134781 51347456 11117 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12536 11117 300 300 0 12236 0 vsize: 50144 [startup+360.001 s] Raw data (loadavg): 0.99 0.95 0.79 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18476 0 0 0 35955 47 0 0 25 0 1 0 864134781 51482624 11163 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11163 300 300 0 12269 0 vsize: 50276 [startup+370 s] Raw data (loadavg): 0.99 0.95 0.79 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18698 0 0 0 36955 48 0 0 25 0 1 0 864134781 51482624 11179 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11179 300 300 0 12269 0 vsize: 50276 [startup+380 s] Raw data (loadavg): 0.99 0.95 0.79 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18707 0 0 0 37955 48 0 0 25 0 1 0 864134781 51482624 11188 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11188 300 300 0 12269 0 vsize: 50276 [startup+390 s] Raw data (loadavg): 0.99 0.95 0.79 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18709 0 0 0 38955 48 0 0 25 0 1 0 864134781 51482624 11190 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11190 300 300 0 12269 0 vsize: 50276 [startup+400 s] Raw data (loadavg): 0.99 0.95 0.79 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18713 0 0 0 39955 48 0 0 25 0 1 0 864134781 51482624 11194 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11194 300 300 0 12269 0 vsize: 50276 [startup+410 s] Raw data (loadavg): 0.99 0.95 0.80 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18924 0 0 0 40954 49 0 0 25 0 1 0 864134781 51482624 11199 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11199 300 300 0 12269 0 vsize: 50276 [startup+420 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18926 0 0 0 41954 49 0 0 25 0 1 0 864134781 51482624 11201 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11201 300 300 0 12269 0 vsize: 50276 [startup+430 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18935 0 0 0 42954 49 0 0 25 0 1 0 864134781 51482624 11210 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12569 11210 300 300 0 12269 0 vsize: 50276 [startup+440 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18941 0 0 0 43955 49 0 0 25 0 1 0 864134781 51617792 11216 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12602 11216 300 300 0 12302 0 vsize: 50408 [startup+450 s] Raw data (loadavg): 0.99 0.96 0.80 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18950 0 0 0 44955 50 0 0 25 0 1 0 864134781 51617792 11225 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12602 11225 300 300 0 12302 0 vsize: 50408 [startup+460.001 s] Raw data (loadavg): 0.99 0.96 0.81 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 18959 0 0 0 45955 50 0 0 25 0 1 0 864134781 51617792 11234 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12602 11234 300 300 0 12302 0 vsize: 50408 [startup+470 s] Raw data (loadavg): 0.99 0.96 0.81 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19189 0 0 0 46954 50 0 0 25 0 1 0 864134781 51617792 11258 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12602 11258 300 300 0 12302 0 vsize: 50408 [startup+480 s] Raw data (loadavg): 0.99 0.96 0.81 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19216 0 0 0 47954 51 0 0 25 0 1 0 864134781 60006400 11285 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14650 11285 300 300 0 14350 0 vsize: 58600 [startup+490 s] Raw data (loadavg): 0.99 0.96 0.81 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19243 0 0 0 48954 51 0 0 25 0 1 0 864134781 60006400 11312 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14650 11312 300 300 0 14350 0 vsize: 58600 [startup+500.001 s] Raw data (loadavg): 0.99 0.96 0.81 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19279 0 0 0 49954 51 0 0 25 0 1 0 864134781 60153856 11348 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11348 300 300 0 14386 0 vsize: 58744 [startup+510.001 s] Raw data (loadavg): 0.99 0.96 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19309 0 0 0 50954 51 0 0 25 0 1 0 864134781 60153856 11378 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11378 300 300 0 14386 0 vsize: 58744 [startup+520 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19547 0 0 0 51954 52 0 0 25 0 1 0 864134781 60153856 11410 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11410 300 300 0 14386 0 vsize: 58744 [startup+530.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19575 0 0 0 52954 52 0 0 25 0 1 0 864134781 60153856 11438 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11438 300 300 0 14386 0 vsize: 58744 [startup+540.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19597 0 0 0 53954 52 0 0 25 0 1 0 864134781 60153856 11460 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11460 300 300 0 14386 0 vsize: 58744 [startup+550.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 19621 0 0 0 54954 52 0 0 25 0 1 0 864134781 60153856 11484 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 14686 11484 300 300 0 14386 0 vsize: 58744 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20125 0 0 0 55953 53 0 0 25 0 1 0 864134781 62615552 11988 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15287 11988 300 300 0 14987 0 vsize: 61148 [startup+570.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20692 0 0 0 56952 55 0 0 25 0 1 0 864134781 65568768 12555 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16008 12555 300 300 0 15708 0 vsize: 64032 [startup+580.002 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20829 0 0 0 57951 56 0 0 25 0 1 0 864134781 66097152 12692 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12692 300 300 0 15837 0 vsize: 64548 [startup+590.001 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20853 0 0 0 58951 56 0 0 25 0 1 0 864134781 66097152 12716 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12716 300 300 0 15837 0 vsize: 64548 [startup+600.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20878 0 0 0 59951 56 0 0 25 0 1 0 864134781 66097152 12741 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12741 300 300 0 15837 0 vsize: 64548 [startup+610.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20902 0 0 0 60951 56 0 0 25 0 1 0 864134781 66097152 12765 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12765 300 300 0 15837 0 vsize: 64548 [startup+620.002 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20928 0 0 0 61951 56 0 0 25 0 1 0 864134781 66097152 12791 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12791 300 300 0 15837 0 vsize: 64548 [startup+630.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20965 0 0 0 62951 57 0 0 25 0 1 0 864134781 66097152 12828 4294967295 134512640 135726644 3221224592 3221222912 134728902 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12828 300 300 0 15837 0 vsize: 64548 [startup+640.002 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 20983 0 0 0 63951 57 0 0 25 0 1 0 864134781 66097152 12846 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12846 300 300 0 15837 0 vsize: 64548 [startup+650.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21012 0 0 0 64951 57 0 0 25 0 1 0 864134781 66097152 12875 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12875 300 300 0 15837 0 vsize: 64548 [startup+660.004 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21032 0 0 0 65951 58 0 0 25 0 1 0 864134781 66097152 12895 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12895 300 300 0 15837 0 vsize: 64548 [startup+670.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21051 0 0 0 66951 58 0 0 25 0 1 0 864134781 66097152 12914 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12914 300 300 0 15837 0 vsize: 64548 [startup+680.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21077 0 0 0 67950 58 0 0 25 0 1 0 864134781 66097152 12940 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16137 12940 300 300 0 15837 0 vsize: 64548 [startup+690.003 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21125 0 0 0 68950 59 0 0 25 0 1 0 864134781 66232320 12988 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16170 12988 300 300 0 15870 0 vsize: 64680 [startup+700.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21150 0 0 0 69950 59 0 0 25 0 1 0 864134781 66232320 13013 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16170 13013 300 300 0 15870 0 vsize: 64680 [startup+710.002 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21181 0 0 0 70950 59 0 0 25 0 1 0 864134781 66232320 13044 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16170 13044 300 300 0 15870 0 vsize: 64680 [startup+720.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21404 0 0 0 71949 60 0 0 25 0 1 0 864134781 66232320 13061 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16170 13061 300 300 0 15870 0 vsize: 64680 [startup+730.004 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21436 0 0 0 72948 60 0 0 25 0 1 0 864134781 66232320 13093 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16170 13093 300 300 0 15870 0 vsize: 64680 [startup+740.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21484 0 0 0 73948 61 0 0 25 0 1 0 864134781 66367488 13141 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16203 13141 300 300 0 15903 0 vsize: 64812 [startup+750.004 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21524 0 0 0 74948 61 0 0 25 0 1 0 864134781 66367488 13181 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16203 13181 300 300 0 15903 0 vsize: 64812 [startup+760.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21750 0 0 0 75947 61 0 0 25 0 1 0 864134781 66367488 13201 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16203 13201 300 300 0 15903 0 vsize: 64812 [startup+770.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21753 0 0 0 76948 62 0 0 25 0 1 0 864134781 66367488 13204 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16203 13204 300 300 0 15903 0 vsize: 64812 [startup+780.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21757 0 0 0 77948 62 0 0 25 0 1 0 864134781 66367488 13208 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16203 13208 300 300 0 15903 0 vsize: 64812 [startup+790.003 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21971 0 0 0 78947 62 0 0 25 0 1 0 864134781 66367488 13216 4294967295 134512640 135726644 3221224592 3221223216 134744491 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16203 13216 300 300 0 15903 0 vsize: 64812 [startup+800.004 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21974 0 0 0 79947 62 0 0 25 0 1 0 864134781 66367488 13219 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16203 13219 300 300 0 15903 0 vsize: 64812 [startup+810.004 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21988 0 0 0 80947 63 0 0 25 0 1 0 864134781 66506752 13233 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16237 13233 300 300 0 15937 0 vsize: 64948 [startup+820.003 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21990 0 0 0 81947 63 0 0 25 0 1 0 864134781 66506752 13235 4294967295 134512640 135726644 3221224592 3221223248 134745068 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16237 13235 300 300 0 15937 0 vsize: 64948 [startup+830.003 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21993 0 0 0 82947 63 0 0 25 0 1 0 864134781 66506752 13238 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16237 13238 300 300 0 15937 0 vsize: 64948 [startup+840.003 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 21998 0 0 0 83947 63 0 0 25 0 1 0 864134781 66506752 13243 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16237 13243 300 300 0 15937 0 vsize: 64948 [startup+850.003 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22004 0 0 0 84948 63 0 0 25 0 1 0 864134781 66506752 13249 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16237 13249 300 300 0 15937 0 vsize: 64948 [startup+860.002 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22019 0 0 0 85948 63 0 0 25 0 1 0 864134781 66646016 13264 4294967295 134512640 135726644 3221224592 3221223184 134760410 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16271 13264 300 300 0 15971 0 vsize: 65084 [startup+870.002 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22033 0 0 0 86947 63 0 0 25 0 1 0 864134781 66646016 13278 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16271 13278 300 300 0 15971 0 vsize: 65084 [startup+880.003 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22035 0 0 0 87948 63 0 0 25 0 1 0 864134781 66646016 13280 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16271 13280 300 300 0 15971 0 vsize: 65084 [startup+890.002 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22251 0 0 0 88947 64 0 0 25 0 1 0 864134781 66646016 13290 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16271 13290 300 300 0 15971 0 vsize: 65084 [startup+900.003 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22254 0 0 0 89947 64 0 0 25 0 1 0 864134781 66646016 13293 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16271 13293 300 300 0 15971 0 vsize: 65084 [startup+910.003 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22262 0 0 0 90947 64 0 0 25 0 1 0 864134781 66781184 13301 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16304 13301 300 300 0 16004 0 vsize: 65216 [startup+920.003 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22270 0 0 0 91947 65 0 0 25 0 1 0 864134781 66781184 13309 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16304 13309 300 300 0 16004 0 vsize: 65216 [startup+930.003 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22314 0 0 0 92947 65 0 0 25 0 1 0 864134781 66912256 13320 4294967295 134512640 135726644 3221224592 3221223260 134745065 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16336 13320 300 300 0 16036 0 vsize: 65344 [startup+940.003 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22549 0 0 0 93946 66 0 0 25 0 1 0 864134781 66912256 13349 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16336 13349 300 300 0 16036 0 vsize: 65344 [startup+950.004 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22607 0 0 0 94946 66 0 0 25 0 1 0 864134781 67047424 13407 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16369 13407 300 300 0 16069 0 vsize: 65476 [startup+960.004 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22639 0 0 0 95946 67 0 0 25 0 1 0 864134781 67047424 13439 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16369 13439 300 300 0 16069 0 vsize: 65476 [startup+970.004 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22878 0 0 0 96945 67 0 0 25 0 1 0 864134781 67047424 13472 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16369 13472 300 300 0 16069 0 vsize: 65476 [startup+980.004 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22899 0 0 0 97946 67 0 0 25 0 1 0 864134781 67047424 13493 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16369 13493 300 300 0 16069 0 vsize: 65476 [startup+990.004 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22929 0 0 0 98946 67 0 0 25 0 1 0 864134781 67047424 13523 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16369 13523 300 300 0 16069 0 vsize: 65476 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22962 0 0 0 99946 67 0 0 25 0 1 0 864134781 67047424 13556 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16369 13556 300 300 0 16069 0 vsize: 65476 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 22989 0 0 0 100946 68 0 0 25 0 1 0 864134781 67186688 13583 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16403 13583 300 300 0 16103 0 vsize: 65612 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23025 0 0 0 101946 68 0 0 25 0 1 0 864134781 67186688 13619 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16403 13619 300 300 0 16103 0 vsize: 65612 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23181 0 0 0 102946 68 0 0 25 0 1 0 864134781 67813376 13742 4294967295 134512640 135726644 3221224592 3221223088 134743940 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16556 13742 300 300 0 16256 0 vsize: 66224 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23542 0 0 0 103945 69 0 0 25 0 1 0 864134781 68214784 13864 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13864 300 300 0 16354 0 vsize: 66616 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23543 0 0 0 104946 69 0 0 25 0 1 0 864134781 68214784 13865 4294967295 134512640 135726644 3221224592 3221223088 134743913 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13865 300 300 0 16354 0 vsize: 66616 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23545 0 0 0 105946 69 0 0 25 0 1 0 864134781 68214784 13867 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13867 300 300 0 16354 0 vsize: 66616 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23546 0 0 0 106946 69 0 0 25 0 1 0 864134781 68214784 13868 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13868 300 300 0 16354 0 vsize: 66616 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23548 0 0 0 107946 69 0 0 25 0 1 0 864134781 68214784 13870 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13870 300 300 0 16354 0 vsize: 66616 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23756 0 0 0 108946 69 0 0 25 0 1 0 864134781 68214784 13872 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13872 300 300 0 16354 0 vsize: 66616 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23758 0 0 0 109946 69 0 0 25 0 1 0 864134781 68214784 13874 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13874 300 300 0 16354 0 vsize: 66616 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23966 0 0 0 110946 70 0 0 25 0 1 0 864134781 68214784 13876 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13876 300 300 0 16354 0 vsize: 66616 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23967 0 0 0 111946 70 0 0 25 0 1 0 864134781 68214784 13877 4294967295 134512640 135726644 3221224592 3221223180 134743858 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13877 300 300 0 16354 0 vsize: 66616 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23969 0 0 0 112946 70 0 0 25 0 1 0 864134781 68214784 13879 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13879 300 300 0 16354 0 vsize: 66616 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23970 0 0 0 113946 70 0 0 25 0 1 0 864134781 68214784 13880 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13880 300 300 0 16354 0 vsize: 66616 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 23972 0 0 0 114946 70 0 0 25 0 1 0 864134781 68214784 13882 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13882 300 300 0 16354 0 vsize: 66616 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 24179 0 0 0 115946 71 0 0 25 0 1 0 864134781 68214784 13883 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13883 300 300 0 16354 0 vsize: 66616 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 24181 0 0 0 116946 71 0 0 25 0 1 0 864134781 68214784 13885 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16654 13885 300 300 0 16354 0 vsize: 66616 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 24189 0 0 0 117946 71 0 0 25 0 1 0 864134781 68378624 13893 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16694 13893 300 300 0 16394 0 vsize: 66776 [startup+1190.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 24396 0 0 0 118946 72 0 0 25 0 1 0 864134781 68378624 13894 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16694 13894 300 300 0 16394 0 vsize: 66776 [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.88 2/54 8267 Raw data (stat): 8267 (pb2sat) R 8266 1586 1585 0 -1 0 24399 0 0 0 119946 72 0 0 25 0 1 0 864134781 68378624 13897 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16694 13897 300 300 0 16394 0 vsize: 66776 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.51 s] Raw data (loadavg): 0.99 0.97 0.88 1/54 8267 Raw data (stat): 8267 (pb2sat) Z 8266 1586 1585 0 -1 12 24400 0 0 0 119992 75 0 0 25 0 1 0 864134781 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.51 CPU time (s): 1200.68 CPU user time (s): 1199.93 CPU system time (s): 0.751885 CPU usage (%): 100.014 Max. virtual memory (Kb): 66776 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 200 #### END VERIFIER DATA ####