Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb |
MD5SUM | 6005a01d3f2ae55b0ca9c19f876c5827 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 139 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 360 |
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 | 360 |
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 | 360 |
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.02584 |
Number of variables | 360 |
Total number of constraints | 980 |
Number of constraints which are clauses | 980 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-15 22:47:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25262 boxname=wulflinc5 idbench=164 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6005a01d3f2ae55b0ca9c19f876c5827 /oldhome/oroussel/tmp/wulflinc5/normalized-ii8a2.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ii8a2.opb IDLAUNCH: 25262 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 828936 kB Buffers: 33916 kB Cached: 149256 kB SwapCached: 700 kB Active: 72668 kB Inactive: 112656 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 828684 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 14756 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 23:07:35 (client local time) WITH STATUS 10 IN 1200.39 SECONDS stats: 25262 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: 180 c small objective detected c CONFLICT during preprocess c [startup+2.42196 s] setting bit 8 to 0 c [startup+26.2112 s] setting bit 7 to 0 c Decision: 14613/49242 Time: 10.0995/86400 c Decision: 15211/49242 Time: 17.5513/86400 c Decision: 15211/49242 Time: 23.7734/86400 c Decision: 15211/49242 Time: 29.3255/86400 c Decision: 15211/49242 Time: 36.7144/86400 c Decision: 15211/49242 Time: 43.0585/86400 c Decision: 15211/49242 Time: 50.4303/86400 c Decision: 15211/49242 Time: 58.0222/86400 c Decision: 15211/49242 Time: 66.9098/86400 c Decision: 15211/49242 Time: 73.3368/86400 c Decision: 15211/49242 Time: 80.9577/86400 c Decision: 15211/49242 Time: 89.4294/86400 c Decision: 15211/49242 Time: 99.1999/86400 c Decision: 15211/49242 Time: 108.252/86400 c Decision: 15211/49242 Time: 119.684/86400 c Decision: 15211/49242 Time: 130.887/86400 c Decision: 15211/49242 Time: 140.667/86400 c Decision: 15211/49242 Time: 150.144/86400 c Decision: 15211/49242 Time: 157.632/86400 c Decision: 15211/49242 Time: 164.45/86400 c Decision: 15211/49242 Time: 172.155/86400 c Decision: 15211/49242 Time: 180.819/86400 c Decision: 15604/49242 Time: 189.844/86400 c Decision: 15954/49242 Time: 204.595/86400 c Decision: 15954/49242 Time: 214.12/86400 c Decision: 15954/49242 Time: 222.137/86400 c Decision: 15954/49242 Time: 230.654/86400 c Decision: 15954/49242 Time: 239.171/86400 c Decision: 15954/49242 Time: 246.223/86400 c Decision: 15954/49242 Time: 253.148/86400 c Decision: 16251/49242 Time: 263.428/86400 c Decision: 16251/49242 Time: 271.322/86400 c Decision: 16251/49242 Time: 280.952/86400 c Decision: 16251/49242 Time: 289.406/86400 c Decision: 16251/49242 Time: 297.439/86400 c Decision: 16251/49242 Time: 307.083/86400 c Decision: 16251/49242 Time: 315.648/86400 c Decision: 16251/49242 Time: 322.798/86400 c Decision: 16267/49242 Time: 339.923/86400 c Decision: 16267/49242 Time: 348.861/86400 c Decision: 16267/49242 Time: 357.572/86400 c Decision: 16267/49242 Time: 365.311/86400 c Decision: 16267/49242 Time: 374.868/86400 c Decision: 16267/49242 Time: 383.898/86400 c Decision: 16267/49242 Time: 392.325/86400 c Decision: 16267/49242 Time: 400.782/86400 c Decision: 16267/49242 Time: 409.773/86400 c Decision: 16267/49242 Time: 418.569/86400 c Decision: 16267/49242 Time: 429.223/86400 c Decision: 16267/49242 Time: 438.374/86400 c Decision: 16267/49242 Time: 448.756/86400 c Decision: 16267/49242 Time: 456.776/86400 c Decision: 16267/49242 Time: 466.798/86400 c Decision: 16267/49242 Time: 474.5/86400 c Decision: 16267/49242 Time: 485.768/86400 c Decision: 16267/49242 Time: 496.148/86400 c Decision: 16267/49242 Time: 505.95/86400 c Decision: 16267/49242 Time: 515.154/86400 c Decision: 16267/49242 Time: 527.239/86400 c Decision: 16267/49242 Time: 538.653/86400 c Decision: 16275/49242 Time: 550.995/86400 c Decision: 16275/49242 Time: 560.003/86400 c Decision: 16275/49242 Time: 572.206/86400 c Decision: 16275/49242 Time: 583.287/86400 c Decision: 16275/49242 Time: 594.345/86400 c Decision: 16275/49242 Time: 606.224/86400 c Decision: 16275/49242 Time: 614.038/86400 c Decision: 16275/49242 Time: 625.471/86400 c Decision: 16275/49242 Time: 634.635/86400 c Decision: 16275/49242 Time: 644.521/86400 c Decision: 16275/49242 Time: 655.426/86400 c Decision: 16275/49242 Time: 665.541/86400 c Decision: 16275/49242 Time: 677.634/86400 c Decision: 16275/49242 Time: 687.531/86400 c Decision: 16275/49242 Time: 695.619/86400 c Decision: 16275/49242 Time: 704.665/86400 c Decision: 16275/49242 Time: 715.589/86400 c Decision: 16275/49242 Time: 727.236/86400 c Decision: 16275/49242 Time: 737.521/86400 c Decision: 16275/49242 Time: 748.918/86400 c Decision: 16275/49242 Time: 758.915/86400 c Decision: 16275/49242 Time: 770.023/86400 c Decision: 16275/49242 Time: 779.383/86400 c Decision: 16275/49242 Time: 789.31/86400 c Decision: 16275/49242 Time: 799.068/86400 c Decision: 16275/49242 Time: 810.326/86400 c Decision: 16275/49242 Time: 819.774/86400 c Decision: 16275/49242 Time: 829.941/86400 c Decision: 16275/49242 Time: 839.638/86400 c Decision: 16275/49242 Time: 849.196/86400 c Decision: 16275/49242 Time: 860.822/86400 c Decision: 16275/49242 Time: 870.236/86400 c Decision: 16275/49242 Time: 880.443/86400 c Decision: 16275/49242 Time: 893.491/86400 c Decision: 16275/49242 Time: 904.401/86400 c Decision: 16275/49242 Time: 914.256/86400 c Decision: 16275/49242 Time: 924.867/86400 c Decision: 17991/49242 Time: 935.555/86400 c Decision: 17991/49242 Time: 945.592/86400 c Decision: 17991/49242 Time: 954.404/86400 c Decision: 17991/49242 Time: 963.179/86400 c Decision: 17991/49242 Time: 973.019/86400 c Decision: 17991/49242 Time: 982.846/86400 c Decision: 17991/49242 Time: 993.928/86400 c Decision: 17991/49242 Time: 1002.82/86400 c Decision: 17991/49242 Time: 1013.99/86400 c Decision: 17991/49242 Time: 1023.01/86400 c Decision: 17991/49242 Time: 1033.22/86400 c Decision: 17991/49242 Time: 1041.35/86400 c Decision: 17991/49242 Time: 1051.27/86400 c Decision: 17991/49242 Time: 1061.66/86400 c Decision: 17991/49242 Time: 1072.13/86400 c Decision: 17991/49242 Time: 1083.52/86400 c Decision: 17991/49242 Time: 1094.96/86400 c Decision: 17991/49242 Time: 1107.21/86400 c Decision: 17991/49242 Time: 1117.03/86400 c Decision: 17991/49242 Time: 1128.51/86400 c Decision: 17991/49242 Time: 1138.55/86400 c Decision: 17991/49242 Time: 1148.95/86400 c Decision: 17991/49242 Time: 1160.02/86400 c Decision: 17991/49242 Time: 1172.31/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 x37 -x38 x39 -x4 -x40 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 Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.88 0.95 0.90 1/54 4564 Raw data (stat): 4564 (runsolver) R 4563 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965838701 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.0015 s] Raw data (loadavg): 0.89 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 7656 0 0 0 980 18 0 0 25 0 1 0 965838701 24481792 4788 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 5977 4788 301 301 0 5676 0 vsize: 23908 [startup+20.0018 s] Raw data (loadavg): 0.91 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 7740 0 0 0 1979 19 0 0 25 0 1 0 965838701 24612864 4839 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6009 4839 301 301 0 5708 0 vsize: 24036 [startup+30.002 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 8042 0 0 0 2977 21 0 0 25 0 1 0 965838701 25382912 5044 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6197 5044 301 301 0 5896 0 vsize: 24788 [startup+40.0027 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 8350 0 0 0 3975 23 0 0 25 0 1 0 965838701 26218496 5255 4294967295 134512640 135730672 3221224592 3221222720 134739208 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6401 5255 301 301 0 6100 0 vsize: 25604 [startup+50.003 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 8669 0 0 0 4974 24 0 0 25 0 1 0 965838701 26546176 5380 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6481 5380 301 301 0 6180 0 vsize: 25924 [startup+60.0042 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 8841 0 0 0 5973 25 0 0 25 0 1 0 965838701 26546176 5455 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6481 5455 301 301 0 6180 0 vsize: 25924 [startup+70.005 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 9146 0 0 0 6972 26 0 0 25 0 1 0 965838701 26906624 5566 4294967295 134512640 135730672 3221224592 3221222880 134747934 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6569 5566 301 301 0 6268 0 vsize: 26276 [startup+80.0053 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 9271 0 0 0 7972 27 0 0 25 0 1 0 965838701 26906624 5594 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6569 5594 301 301 0 6268 0 vsize: 26276 [startup+90.0054 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 9456 0 0 0 8970 28 0 0 25 0 1 0 965838701 31236096 5682 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7626 5682 301 301 0 7325 0 vsize: 30504 [startup+100.005 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 9724 0 0 0 9969 29 0 0 25 0 1 0 965838701 31236096 5756 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7626 5756 301 301 0 7325 0 vsize: 30504 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10002 0 0 0 10968 30 0 0 25 0 1 0 965838701 31956992 5937 4294967295 134512640 135730672 3221224592 3221223048 134748654 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7802 5937 301 301 0 7501 0 vsize: 31208 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10218 0 0 0 11967 31 0 0 25 0 1 0 965838701 32448512 6056 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7922 6056 301 301 0 7621 0 vsize: 31688 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10347 0 0 0 12966 32 0 0 25 0 1 0 965838701 32645120 6088 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7970 6088 301 301 0 7669 0 vsize: 31880 [startup+140.007 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10500 0 0 0 13964 34 0 0 25 0 1 0 965838701 32841728 6144 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8018 6144 301 301 0 7717 0 vsize: 32072 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10606 0 0 0 14962 36 0 0 25 0 1 0 965838701 32841728 6153 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8018 6153 301 301 0 7717 0 vsize: 32072 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10709 0 0 0 15960 37 0 0 25 0 1 0 965838701 32841728 6159 4294967295 134512640 135730672 3221224592 3221222880 134747908 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8018 6159 301 301 0 7717 0 vsize: 32072 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10825 0 0 0 16959 39 0 0 25 0 1 0 965838701 32841728 6178 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8018 6178 301 301 0 7717 0 vsize: 32072 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 10941 0 0 0 17958 39 0 0 25 0 1 0 965838701 33038336 6197 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8066 6197 301 301 0 7765 0 vsize: 32264 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 11044 0 0 0 18957 40 0 0 25 0 1 0 965838701 33038336 6203 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8066 6203 301 301 0 7765 0 vsize: 32264 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 11262 0 0 0 19956 41 0 0 25 0 1 0 965838701 33038336 6227 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8066 6227 301 301 0 7765 0 vsize: 32264 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 11368 0 0 0 20956 42 0 0 25 0 1 0 965838701 33038336 6236 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8066 6236 301 301 0 7765 0 vsize: 32264 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 11470 0 0 0 21954 43 0 0 25 0 1 0 965838701 33038336 6241 4294967295 134512640 135730672 3221224592 3221222880 134747762 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8066 6241 301 301 0 7765 0 vsize: 32264 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 11518 0 0 0 22954 44 0 0 25 0 1 0 965838701 33234944 6289 4294967295 134512640 135730672 3221224592 3221222864 134732625 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8114 6289 301 301 0 7813 0 vsize: 32456 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 11677 0 0 0 23952 45 0 0 25 0 1 0 965838701 33234944 6351 4294967295 134512640 135730672 3221224592 3221222864 134732826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8114 6351 301 301 0 7813 0 vsize: 32456 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 11951 0 0 0 24951 46 0 0 25 0 1 0 965838701 33234944 6431 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8114 6431 301 301 0 7813 0 vsize: 32456 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 12062 0 0 0 25950 47 0 0 25 0 1 0 965838701 33370112 6445 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8147 6445 301 301 0 7846 0 vsize: 32588 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 12190 0 0 0 26950 48 0 0 25 0 1 0 965838701 33505280 6476 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8180 6476 301 301 0 7879 0 vsize: 32720 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 12460 0 0 0 27948 49 0 0 25 0 1 0 965838701 33505280 6552 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8180 6552 301 301 0 7879 0 vsize: 32720 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 12641 0 0 0 28947 51 0 0 25 0 1 0 965838701 33505280 6636 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8180 6636 301 301 0 7879 0 vsize: 32720 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 12750 0 0 0 29946 51 0 0 25 0 1 0 965838701 33505280 6648 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8180 6648 301 301 0 7879 0 vsize: 32720 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 12864 0 0 0 30945 52 0 0 25 0 1 0 965838701 33640448 6665 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8213 6665 301 301 0 7912 0 vsize: 32852 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 12980 0 0 0 31945 53 0 0 25 0 1 0 965838701 33640448 6684 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8213 6684 301 301 0 7912 0 vsize: 32852 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 13116 0 0 0 32944 54 0 0 25 0 1 0 965838701 33804288 6723 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8253 6723 301 301 0 7952 0 vsize: 33012 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 13238 0 0 0 33942 55 0 0 25 0 1 0 965838701 33804288 6748 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8253 6748 301 301 0 7952 0 vsize: 33012 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 13455 0 0 0 34941 56 0 0 25 0 1 0 965838701 33939456 6771 4294967295 134512640 135730672 3221224592 3221222928 134740301 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8286 6771 301 301 0 7985 0 vsize: 33144 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 13462 0 0 0 35940 57 0 0 25 0 1 0 965838701 33939456 6778 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8286 6778 301 301 0 7985 0 vsize: 33144 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 13597 0 0 0 36939 58 0 0 25 0 1 0 965838701 33939456 6816 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8286 6816 301 301 0 7985 0 vsize: 33144 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 13770 0 0 0 37938 59 0 0 25 0 1 0 965838701 34074624 6892 4294967295 134512640 135730672 3221224592 3221222880 134747486 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 8319 6892 301 301 0 8018 0 vsize: 33276 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 13912 0 0 0 38937 60 0 0 25 0 1 0 965838701 34074624 6937 4294967295 134512640 135730672 3221224592 3221222880 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8319 6937 301 301 0 8018 0 vsize: 33276 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14029 0 0 0 39937 60 0 0 25 0 1 0 965838701 34250752 6957 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8362 6957 301 301 0 8061 0 vsize: 33448 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14140 0 0 0 40937 61 0 0 25 0 1 0 965838701 34250752 6971 4294967295 134512640 135730672 3221224592 3221222896 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8362 6971 301 301 0 8061 0 vsize: 33448 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14353 0 0 0 41936 62 0 0 25 0 1 0 965838701 34250752 6990 4294967295 134512640 135730672 3221224592 3221223072 134748565 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8362 6990 301 301 0 8061 0 vsize: 33448 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14464 0 0 0 42935 62 0 0 25 0 1 0 965838701 34385920 7004 4294967295 134512640 135730672 3221224592 3221223072 134748446 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8395 7004 301 301 0 8094 0 vsize: 33580 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14581 0 0 0 43935 63 0 0 25 0 1 0 965838701 34385920 7024 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8395 7024 301 301 0 8094 0 vsize: 33580 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14688 0 0 0 44934 64 0 0 25 0 1 0 965838701 34385920 7034 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8395 7034 301 301 0 8094 0 vsize: 33580 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14798 0 0 0 45933 65 0 0 25 0 1 0 965838701 34385920 7047 4294967295 134512640 135730672 3221224592 3221222880 134747762 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8395 7047 301 301 0 8094 0 vsize: 33580 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 14920 0 0 0 46932 67 0 0 25 0 1 0 965838701 34533376 7072 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8431 7072 301 301 0 8130 0 vsize: 33724 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15043 0 0 0 47931 68 0 0 25 0 1 0 965838701 34533376 7098 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8431 7098 301 301 0 8130 0 vsize: 33724 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15166 0 0 0 48930 69 0 0 25 0 1 0 965838701 34721792 7124 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8477 7124 301 301 0 8176 0 vsize: 33908 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15272 0 0 0 49930 69 0 0 25 0 1 0 965838701 34721792 7133 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8477 7133 301 301 0 8176 0 vsize: 33908 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15382 0 0 0 50929 70 0 0 25 0 1 0 965838701 34721792 7146 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8477 7146 301 301 0 8176 0 vsize: 33908 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15497 0 0 0 51929 71 0 0 25 0 1 0 965838701 34721792 7164 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8477 7164 301 301 0 8176 0 vsize: 33908 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15608 0 0 0 52929 71 0 0 25 0 1 0 965838701 34856960 7178 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8510 7178 301 301 0 8209 0 vsize: 34040 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15718 0 0 0 53928 72 0 0 25 0 1 0 965838701 34856960 7191 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8510 7191 301 301 0 8209 0 vsize: 34040 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15831 0 0 0 54927 72 0 0 25 0 1 0 965838701 34856960 7207 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8510 7207 301 301 0 8209 0 vsize: 34040 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 15940 0 0 0 55927 73 0 0 25 0 1 0 965838701 34992128 7219 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8543 7219 301 301 0 8242 0 vsize: 34172 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16101 0 0 0 56926 74 0 0 25 0 1 0 965838701 34992128 7283 4294967295 134512640 135730672 3221224592 3221222704 134732493 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8543 7283 301 301 0 8242 0 vsize: 34172 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16239 0 0 0 57926 75 0 0 25 0 1 0 965838701 34992128 7324 4294967295 134512640 135730672 3221224592 3221222880 134747927 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8543 7324 301 301 0 8242 0 vsize: 34172 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16347 0 0 0 58926 75 0 0 25 0 1 0 965838701 35139584 7335 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8579 7335 301 301 0 8278 0 vsize: 34316 [startup+600.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16455 0 0 0 59925 76 0 0 25 0 1 0 965838701 35139584 7346 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8579 7346 301 301 0 8278 0 vsize: 34316 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16577 0 0 0 60925 76 0 0 25 0 1 0 965838701 35139584 7371 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8579 7371 301 301 0 8278 0 vsize: 34316 [startup+620.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16626 0 0 0 61924 77 0 0 25 0 1 0 965838701 35139584 7420 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8579 7420 301 301 0 8278 0 vsize: 34316 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16784 0 0 0 62924 78 0 0 25 0 1 0 965838701 35278848 7481 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8613 7481 301 301 0 8312 0 vsize: 34452 [startup+640.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 16909 0 0 0 63923 79 0 0 25 0 1 0 965838701 35278848 7509 4294967295 134512640 135730672 3221224592 3221222896 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8613 7509 301 301 0 8312 0 vsize: 34452 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17020 0 0 0 64923 79 0 0 25 0 1 0 965838701 35278848 7523 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8613 7523 301 301 0 8312 0 vsize: 34452 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17127 0 0 0 65922 80 0 0 25 0 1 0 965838701 35278848 7533 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8613 7533 301 301 0 8312 0 vsize: 34452 [startup+670.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17232 0 0 0 66922 81 0 0 25 0 1 0 965838701 35418112 7541 4294967295 134512640 135730672 3221224592 3221223072 134748549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8647 7541 301 301 0 8346 0 vsize: 34588 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17403 0 0 0 67921 82 0 0 25 0 1 0 965838701 35418112 7615 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8647 7615 301 301 0 8346 0 vsize: 34588 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17514 0 0 0 68921 82 0 0 25 0 1 0 965838701 35418112 7629 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8647 7629 301 301 0 8346 0 vsize: 34588 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17646 0 0 0 69920 82 0 0 25 0 1 0 965838701 35717120 7664 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8720 7664 301 301 0 8419 0 vsize: 34880 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17763 0 0 0 70920 83 0 0 25 0 1 0 965838701 35717120 7684 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8720 7684 301 301 0 8419 0 vsize: 34880 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 17904 0 0 0 71920 83 0 0 25 0 1 0 965838701 35717120 7728 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8720 7728 301 301 0 8419 0 vsize: 34880 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18070 0 0 0 72919 84 0 0 25 0 1 0 965838701 35717120 7797 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8720 7797 301 301 0 8419 0 vsize: 34880 [startup+740.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4564 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18184 0 0 0 73919 84 0 0 25 0 1 0 965838701 35717120 7814 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8720 7814 301 301 0 8419 0 vsize: 34880 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.91 3/55 4565 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18296 0 0 0 74919 85 0 0 25 0 1 0 965838701 35856384 7829 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8754 7829 301 301 0 8453 0 vsize: 35016 [startup+760.018 s] Raw data (loadavg): 1.14 1.00 0.92 2/54 4617 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18398 0 0 0 75918 85 0 0 25 0 1 0 965838701 35856384 7834 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8754 7834 301 301 0 8453 0 vsize: 35016 [startup+770.018 s] Raw data (loadavg): 1.12 1.00 0.92 2/54 4617 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18512 0 0 0 76918 86 0 0 25 0 1 0 965838701 35856384 7851 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8754 7851 301 301 0 8453 0 vsize: 35016 [startup+780.018 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 4617 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18649 0 0 0 77917 86 0 0 25 0 1 0 965838701 36003840 7891 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8790 7891 301 301 0 8489 0 vsize: 35160 [startup+790.019 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 4617 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18781 0 0 0 78917 87 0 0 25 0 1 0 965838701 36003840 7926 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8790 7926 301 301 0 8489 0 vsize: 35160 [startup+800.018 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 4617 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 18899 0 0 0 79917 87 0 0 25 0 1 0 965838701 36003840 7947 4294967295 134512640 135730672 3221224592 3221222880 134747629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8790 7947 301 301 0 8489 0 vsize: 35160 [startup+810.019 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 4617 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 19009 0 0 0 80917 88 0 0 25 0 1 0 965838701 36003840 7960 4294967295 134512640 135730672 3221224592 3221222704 134732736 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8790 7960 301 301 0 8489 0 vsize: 35160 [startup+820.02 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 4617 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 19131 0 0 0 81916 89 0 0 25 0 1 0 965838701 36171776 7985 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8831 7985 301 301 0 8530 0 vsize: 35324 [startup+830.02 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 19239 0 0 0 82916 89 0 0 25 0 1 0 965838701 36171776 7996 4294967295 134512640 135730672 3221224592 3221222972 134747723 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8831 7996 301 301 0 8530 0 vsize: 35324 [startup+840.02 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 19381 0 0 0 83916 89 0 0 25 0 1 0 965838701 36171776 8041 4294967295 134512640 135730672 3221224592 3221222880 134747811 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8831 8041 301 301 0 8530 0 vsize: 35324 [startup+850.021 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 19486 0 0 0 84915 90 0 0 25 0 1 0 965838701 36171776 8049 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 8831 8049 301 301 0 8530 0 vsize: 35324 [startup+860.022 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21133 0 0 0 85912 93 0 0 25 0 1 0 965838701 42463232 8062 4294967295 134512640 135730672 3221224592 3221222976 134763671 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10367 8062 301 301 0 10066 0 vsize: 41468 [startup+870.021 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21240 0 0 0 86912 94 0 0 25 0 1 0 965838701 42598400 8072 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10400 8072 301 301 0 10099 0 vsize: 41600 [startup+880.022 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21344 0 0 0 87912 94 0 0 25 0 1 0 965838701 42598400 8079 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10400 8079 301 301 0 10099 0 vsize: 41600 [startup+890.022 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21492 0 0 0 88911 95 0 0 25 0 1 0 965838701 42598400 8130 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10400 8130 301 301 0 10099 0 vsize: 41600 [startup+900.022 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21606 0 0 0 89911 95 0 0 25 0 1 0 965838701 42598400 8147 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10400 8147 301 301 0 10099 0 vsize: 41600 [startup+910.023 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21721 0 0 0 90911 96 0 0 25 0 1 0 965838701 42737664 8165 4294967295 134512640 135730672 3221224592 3221222992 134744785 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10434 8165 301 301 0 10133 0 vsize: 41736 [startup+920.023 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21828 0 0 0 91911 96 0 0 25 0 1 0 965838701 42737664 8175 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10434 8175 301 301 0 10133 0 vsize: 41736 [startup+930.023 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 21874 0 0 0 92910 96 0 0 25 0 1 0 965838701 51126272 8221 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12482 8221 301 301 0 12181 0 vsize: 49928 [startup+940.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22038 0 0 0 93910 97 0 0 25 0 1 0 965838701 51265536 8288 4294967295 134512640 135730672 3221224592 3221222896 134745852 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12516 8288 301 301 0 12215 0 vsize: 50064 [startup+950.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22143 0 0 0 94909 98 0 0 25 0 1 0 965838701 51265536 8296 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12516 8296 301 301 0 12215 0 vsize: 50064 [startup+960.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22252 0 0 0 95909 99 0 0 25 0 1 0 965838701 51265536 8308 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12516 8308 301 301 0 12215 0 vsize: 50064 [startup+970.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22359 0 0 0 96908 99 0 0 25 0 1 0 965838701 51265536 8318 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12516 8318 301 301 0 12215 0 vsize: 50064 [startup+980.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22472 0 0 0 97908 100 0 0 25 0 1 0 965838701 51404800 8334 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12550 8334 301 301 0 12249 0 vsize: 50200 [startup+990.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22677 0 0 0 98907 101 0 0 25 0 1 0 965838701 51404800 8345 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12550 8345 301 301 0 12249 0 vsize: 50200 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22792 0 0 0 99907 101 0 0 25 0 1 0 965838701 51404800 8363 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12550 8363 301 301 0 12249 0 vsize: 50200 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 22900 0 0 0 100907 101 0 0 25 0 1 0 965838701 51568640 8374 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12590 8374 301 301 0 12289 0 vsize: 50360 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23007 0 0 0 101906 102 0 0 25 0 1 0 965838701 51965952 8481 4294967295 134512640 135730672 3221224592 3221222544 134768844 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12687 8481 301 301 0 12386 0 vsize: 50748 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23110 0 0 0 102906 103 0 0 25 0 1 0 965838701 51568640 8390 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12590 8390 301 301 0 12289 0 vsize: 50360 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23216 0 0 0 103905 103 0 0 25 0 1 0 965838701 51568640 8399 4294967295 134512640 135730672 3221224592 3221223008 134783244 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12590 8399 301 301 0 12289 0 vsize: 50360 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23332 0 0 0 104905 104 0 0 25 0 1 0 965838701 51568640 8418 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12590 8418 301 301 0 12289 0 vsize: 50360 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23435 0 0 0 105904 105 0 0 25 0 1 0 965838701 51568640 8424 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12590 8424 301 301 0 12289 0 vsize: 50360 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23564 0 0 0 106904 106 0 0 25 0 1 0 965838701 51699712 8456 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12622 8456 301 301 0 12321 0 vsize: 50488 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23672 0 0 0 107903 106 0 0 25 0 1 0 965838701 51834880 8467 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12655 8467 301 301 0 12354 0 vsize: 50620 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4619 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23822 0 0 0 108903 107 0 0 25 0 1 0 965838701 51834880 8520 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12655 8520 301 301 0 12354 0 vsize: 50620 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 23932 0 0 0 109902 108 0 0 25 0 1 0 965838701 51834880 8533 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12655 8533 301 301 0 12354 0 vsize: 50620 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24043 0 0 0 110901 109 0 0 25 0 1 0 965838701 51834880 8547 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12655 8547 301 301 0 12354 0 vsize: 50620 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24054 0 0 0 111901 109 0 0 25 0 1 0 965838701 51982336 8558 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12691 8558 301 301 0 12390 0 vsize: 50764 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24159 0 0 0 112901 110 0 0 25 0 1 0 965838701 51982336 8566 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12691 8566 301 301 0 12390 0 vsize: 50764 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24281 0 0 0 113900 111 0 0 25 0 1 0 965838701 51982336 8591 4294967295 134512640 135730672 3221224592 3221222880 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12691 8591 301 301 0 12390 0 vsize: 50764 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24407 0 0 0 114900 111 0 0 25 0 1 0 965838701 51982336 8620 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12691 8620 301 301 0 12390 0 vsize: 50764 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24509 0 0 0 115899 112 0 0 25 0 1 0 965838701 51982336 8625 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12691 8625 301 301 0 12390 0 vsize: 50764 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24616 0 0 0 116899 112 0 0 25 0 1 0 965838701 51982336 8635 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12691 8635 301 301 0 12390 0 vsize: 50764 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24730 0 0 0 117899 113 0 0 25 0 1 0 965838701 52125696 8652 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12726 8652 301 301 0 12425 0 vsize: 50904 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 24875 0 0 0 118899 113 0 0 25 0 1 0 965838701 52125696 8700 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12726 8700 301 301 0 12425 0 vsize: 50904 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 4621 Raw data (stat): 4564 (pb2sat-v2) R 4563 7266 7265 0 -1 0 25028 0 0 0 119898 114 0 0 25 0 1 0 965838701 52125696 8756 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12726 8756 301 301 0 12425 0 vsize: 50904 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.3 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 4621 Raw data (stat): 4564 (pb2sat-v2) Z 4563 7266 7265 0 -1 12 25030 0 0 0 119922 116 0 0 25 0 1 0 965838701 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.3 CPU time (s): 1200.39 CPU user time (s): 1199.23 CPU system time (s): 1.16282 CPU usage (%): 100.008 Max. virtual memory (Kb): 50904 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 180 #### END VERIFIER DATA ####