Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-sao2.b.opb |
MD5SUM | 3e273bcee52631aeea0b7b1138e7d68d |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 373 |
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 | 373 |
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 | 373 |
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.03784 |
Number of variables | 372 |
Total number of constraints | 779 |
Number of constraints which are clauses | 772 |
Number of constraints which are cardinality constraints (but not clauses) | 7 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-15 20:53:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25171 boxname=wulflinc1 idbench=73 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 3e273bcee52631aeea0b7b1138e7d68d /oldhome/oroussel/tmp/wulflinc1/normalized-sao2.b.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-sao2.b.opb IDLAUNCH: 25171 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 835232 kB Buffers: 33640 kB Cached: 142104 kB SwapCached: 1192 kB Active: 76696 kB Inactive: 101340 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 834980 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5360 kB Slab: 15664 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 21:13:49 (client local time) WITH STATUS 10 IN 1200.52 SECONDS stats: 25171 0 1200.52 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: 368 c small objective detected c got solution with objective value: 111 c [startup+5.71061 s] setting bit 8 to 1 c CONFLICT during preprocess c [startup+5.95574 s] setting bit 7 to 0 c got solution with objective value: 47 c [startup+11.1733 s] setting bit 6 to 1 c [startup+15.315 s] setting bit 5 to 0 c got solution with objective value: 31 c [startup+21.075 s] setting bit 4 to 1 c Decision: 65892/70487 Time: 21.0228/86400 c Decision: 65892/70487 Time: 28.8976/86400 c Decision: 65892/70487 Time: 37.3513/86400 c Decision: 65892/70487 Time: 46.7869/86400 c Decision: 65892/70487 Time: 56.0115/86400 c Decision: 65892/70487 Time: 66.5139/86400 c Decision: 65892/70487 Time: 75.9844/86400 c Decision: 65892/70487 Time: 83.9252/86400 c Decision: 65892/70487 Time: 93.0749/86400 c Decision: 65892/70487 Time: 101.143/86400 c Decision: 65924/70487 Time: 112.209/86400 c Decision: 65924/70487 Time: 121.289/86400 c Decision: 65924/70487 Time: 130.533/86400 c Decision: 65924/70487 Time: 140.62/86400 c Decision: 65924/70487 Time: 149.854/86400 c Decision: 65924/70487 Time: 157.861/86400 c Decision: 65924/70487 Time: 168.144/86400 c Decision: 65924/70487 Time: 178.024/86400 c Decision: 65924/70487 Time: 186.758/86400 c Decision: 65924/70487 Time: 194.998/86400 c Decision: 65924/70487 Time: 206.182/86400 c Decision: 65924/70487 Time: 215.083/86400 c Decision: 65924/70487 Time: 224.752/86400 c Decision: 65924/70487 Time: 234.239/86400 c Decision: 65924/70487 Time: 243.52/86400 c Decision: 65924/70487 Time: 253.667/86400 c Decision: 65924/70487 Time: 264.099/86400 c Decision: 65924/70487 Time: 273.121/86400 c Decision: 65924/70487 Time: 283.566/86400 c Decision: 65924/70487 Time: 295.553/86400 c Decision: 65924/70487 Time: 304.529/86400 c Decision: 65924/70487 Time: 315.424/86400 c Decision: 65924/70487 Time: 325.63/86400 c Decision: 65924/70487 Time: 333.732/86400 c Decision: 65924/70487 Time: 344.218/86400 c Decision: 65924/70487 Time: 355.372/86400 c Decision: 65924/70487 Time: 365.112/86400 c Decision: 65924/70487 Time: 373.907/86400 c Decision: 65924/70487 Time: 383.015/86400 c Decision: 65924/70487 Time: 392.382/86400 c Decision: 65924/70487 Time: 401.872/86400 c Decision: 65924/70487 Time: 410.692/86400 c Decision: 65924/70487 Time: 420.505/86400 c Decision: 65924/70487 Time: 430.386/86400 c Decision: 65924/70487 Time: 441.859/86400 c Decision: 65924/70487 Time: 450.836/86400 c Decision: 65924/70487 Time: 459.045/86400 c Decision: 65924/70487 Time: 468.925/86400 c Decision: 65924/70487 Time: 478.076/86400 c Decision: 65924/70487 Time: 487.997/86400 c Decision: 65924/70487 Time: 497.954/86400 c Decision: 65924/70487 Time: 505.928/86400 c Decision: 65924/70487 Time: 513.736/86400 c Decision: 65924/70487 Time: 525.47/86400 c Decision: 65924/70487 Time: 536.77/86400 c Decision: 65924/70487 Time: 547.159/86400 c Decision: 65924/70487 Time: 556.451/86400 c Decision: 65924/70487 Time: 566.857/86400 c Decision: 65924/70487 Time: 576.287/86400 c Decision: 65973/70487 Time: 586.734/86400 c Decision: 65973/70487 Time: 593.396/86400 c Decision: 65973/70487 Time: 603.926/86400 c Decision: 65973/70487 Time: 613.363/86400 c Decision: 65973/70487 Time: 623.301/86400 c Decision: 65973/70487 Time: 632.467/86400 c Decision: 65973/70487 Time: 642.071/86400 c Decision: 65973/70487 Time: 652.374/86400 c Decision: 65973/70487 Time: 661.029/86400 c Decision: 65973/70487 Time: 671.217/86400 c Decision: 65973/70487 Time: 679.864/86400 c Decision: 65973/70487 Time: 688.989/86400 c Decision: 65973/70487 Time: 698.551/86400 c Decision: 65973/70487 Time: 708.983/86400 c Decision: 65973/70487 Time: 717.091/86400 c Decision: 65973/70487 Time: 728.839/86400 c Decision: 65973/70487 Time: 739.597/86400 c Decision: 65973/70487 Time: 750/86400 c Decision: 65973/70487 Time: 760.207/86400 c Decision: 65973/70487 Time: 770.031/86400 c Decision: 65973/70487 Time: 778.776/86400 c Decision: 65973/70487 Time: 789.019/86400 c Decision: 65973/70487 Time: 798.71/86400 c Decision: 65973/70487 Time: 808.128/86400 c Decision: 65973/70487 Time: 818.177/86400 c Decision: 65973/70487 Time: 828.165/86400 c Decision: 65973/70487 Time: 836.364/86400 c Decision: 65973/70487 Time: 846.417/86400 c Decision: 65973/70487 Time: 857.465/86400 c Decision: 65973/70487 Time: 864.934/86400 c Decision: 65973/70487 Time: 874.721/86400 c Decision: 65973/70487 Time: 884.265/86400 c Decision: 65973/70487 Time: 894.705/86400 c Decision: 65973/70487 Time: 903.723/86400 c Decision: 65973/70487 Time: 914.509/86400 c Decision: 65973/70487 Time: 922.01/86400 c Decision: 65973/70487 Time: 930.818/86400 c Decision: 65973/70487 Time: 941.871/86400 c Decision: 65973/70487 Time: 950.731/86400 c Decision: 65973/70487 Time: 960.796/86400 c Decision: 65973/70487 Time: 970.92/86400 c Decision: 65973/70487 Time: 980.663/86400 c Decision: 65973/70487 Time: 992.306/86400 c Decision: 65973/70487 Time: 1000.73/86400 c Decision: 65973/70487 Time: 1009.94/86400 c Decision: 65973/70487 Time: 1020.6/86400 c Decision: 65973/70487 Time: 1029.8/86400 c Decision: 65973/70487 Time: 1039.1/86400 c Decision: 65973/70487 Time: 1048.66/86400 c Decision: 65973/70487 Time: 1057.54/86400 c Decision: 65973/70487 Time: 1068.16/86400 c Decision: 65973/70487 Time: 1077.23/86400 c Decision: 65973/70487 Time: 1086.88/86400 c Decision: 65973/70487 Time: 1096.12/86400 c Decision: 65973/70487 Time: 1106.68/86400 c Decision: 65973/70487 Time: 1115.91/86400 c Decision: 65973/70487 Time: 1125.51/86400 c Decision: 65973/70487 Time: 1133.18/86400 c Decision: 65973/70487 Time: 1143.43/86400 c Decision: 65973/70487 Time: 1153.79/86400 c Decision: 65973/70487 Time: 1163.03/86400 c Decision: 65973/70487 Time: 1173.81/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 -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.84 0.94 0.90 2/55 6029 Raw data (stat): 6029 (runsolver) R 6028 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908298820 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.0009 s] Raw data (loadavg): 0.87 0.94 0.90 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 12698 0 0 0 973 26 0 0 25 0 1 0 908298820 39133184 6899 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9554 6899 301 301 0 9253 0 vsize: 38216 [startup+20.0012 s] Raw data (loadavg): 0.89 0.94 0.90 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 13072 0 0 0 1971 28 0 0 25 0 1 0 908298820 39661568 6997 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 9683 6997 301 301 0 9382 0 vsize: 38732 [startup+30.0019 s] Raw data (loadavg): 0.90 0.94 0.90 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 13249 0 0 0 2970 29 0 0 25 0 1 0 908298820 43855872 7036 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7036 301 301 0 10406 0 vsize: 42828 [startup+40.0018 s] Raw data (loadavg): 0.92 0.94 0.90 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 13295 0 0 0 3970 30 0 0 25 0 1 0 908298820 43855872 7082 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7082 301 301 0 10406 0 vsize: 42828 [startup+50.0025 s] Raw data (loadavg): 0.93 0.94 0.90 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 13590 0 0 0 4969 31 0 0 25 0 1 0 908298820 43855872 7101 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7101 301 301 0 10406 0 vsize: 42828 [startup+60.0023 s] Raw data (loadavg): 0.94 0.95 0.90 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 13756 0 0 0 5968 32 0 0 25 0 1 0 908298820 43855872 7129 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7129 301 301 0 10406 0 vsize: 42828 [startup+70.0025 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 13932 0 0 0 6967 33 0 0 25 0 1 0 908298820 43855872 7167 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7167 301 301 0 10406 0 vsize: 42828 [startup+80.0029 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 14109 0 0 0 7965 35 0 0 25 0 1 0 908298820 43855872 7206 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7206 301 301 0 10406 0 vsize: 42828 [startup+90.0027 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 14273 0 0 0 8965 35 0 0 25 0 1 0 908298820 43855872 7232 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7232 301 301 0 10406 0 vsize: 42828 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 14440 0 0 0 9964 36 0 0 25 0 1 0 908298820 43855872 7261 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7261 301 301 0 10406 0 vsize: 42828 [startup+110.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 14635 0 0 0 10963 38 0 0 25 0 1 0 908298820 43855872 7318 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10707 7318 301 301 0 10406 0 vsize: 42828 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 14826 0 0 0 11962 39 0 0 25 0 1 0 908298820 43991040 7371 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10740 7371 301 301 0 10439 0 vsize: 42960 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 15005 0 0 0 12962 39 0 0 25 0 1 0 908298820 43991040 7412 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10740 7412 301 301 0 10439 0 vsize: 42960 [startup+140.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 15166 0 0 0 13961 40 0 0 25 0 1 0 908298820 43991040 7435 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10740 7435 301 301 0 10439 0 vsize: 42960 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 15344 0 0 0 14959 42 0 0 25 0 1 0 908298820 44130304 7475 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10774 7475 301 301 0 10473 0 vsize: 43096 [startup+160.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 15526 0 0 0 15959 42 0 0 25 0 1 0 908298820 44130304 7519 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10774 7519 301 301 0 10473 0 vsize: 43096 [startup+170.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 15714 0 0 0 16958 44 0 0 25 0 1 0 908298820 44130304 7569 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10774 7569 301 301 0 10473 0 vsize: 43096 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 16050 0 0 0 17955 46 0 0 25 0 1 0 908298820 44265472 7629 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10807 7629 301 301 0 10506 0 vsize: 43228 [startup+190.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 16197 0 0 0 18955 47 0 0 25 0 1 0 908298820 44265472 7638 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10807 7638 301 301 0 10506 0 vsize: 43228 [startup+200.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 16368 0 0 0 19954 48 0 0 25 0 1 0 908298820 44400640 7671 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10840 7671 301 301 0 10539 0 vsize: 43360 [startup+210.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 16566 0 0 0 20954 48 0 0 25 0 1 0 908298820 44400640 7731 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10840 7731 301 301 0 10539 0 vsize: 43360 [startup+220.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 16767 0 0 0 21953 49 0 0 25 0 1 0 908298820 44539904 7794 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10874 7794 301 301 0 10573 0 vsize: 43496 [startup+230.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 16951 0 0 0 22953 50 0 0 25 0 1 0 908298820 44539904 7840 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10874 7840 301 301 0 10573 0 vsize: 43496 [startup+240.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 17110 0 0 0 23952 51 0 0 25 0 1 0 908298820 44539904 7861 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10874 7861 301 301 0 10573 0 vsize: 43496 [startup+250.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 17315 0 0 0 24950 52 0 0 25 0 1 0 908298820 44679168 7928 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10908 7928 301 301 0 10607 0 vsize: 43632 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 17513 0 0 0 25949 53 0 0 25 0 1 0 908298820 44679168 7988 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10908 7988 301 301 0 10607 0 vsize: 43632 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 17691 0 0 0 26949 54 0 0 25 0 1 0 908298820 44838912 8028 4294967295 134512640 135730672 3221224592 3221222880 134747636 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10947 8028 301 301 0 10646 0 vsize: 43788 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 17862 0 0 0 27948 54 0 0 25 0 1 0 908298820 44838912 8061 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10947 8061 301 301 0 10646 0 vsize: 43788 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 18026 0 0 0 28948 55 0 0 25 0 1 0 908298820 44974080 8087 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10980 8087 301 301 0 10679 0 vsize: 43920 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 18170 0 0 0 29948 55 0 0 25 0 1 0 908298820 44974080 8093 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10980 8093 301 301 0 10679 0 vsize: 43920 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 18322 0 0 0 30947 56 0 0 25 0 1 0 908298820 44974080 8107 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10980 8107 301 301 0 10679 0 vsize: 43920 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 18506 0 0 0 31947 57 0 0 25 0 1 0 908298820 44974080 8153 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10980 8153 301 301 0 10679 0 vsize: 43920 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 18689 0 0 0 32946 57 0 0 25 0 1 0 908298820 45109248 8198 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11013 8198 301 301 0 10712 0 vsize: 44052 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 18852 0 0 0 33946 58 0 0 25 0 1 0 908298820 45109248 8223 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11013 8223 301 301 0 10712 0 vsize: 44052 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 19036 0 0 0 34946 58 0 0 25 0 1 0 908298820 45109248 8269 4294967295 134512640 135730672 3221224592 3221222880 134747594 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11013 8269 301 301 0 10712 0 vsize: 44052 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 19237 0 0 0 35945 60 0 0 25 0 1 0 908298820 45248512 8332 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11047 8332 301 301 0 10746 0 vsize: 44188 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6029 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 19429 0 0 0 36944 61 0 0 25 0 1 0 908298820 45248512 8386 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11047 8386 301 301 0 10746 0 vsize: 44188 [startup+380.006 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 6082 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 19606 0 0 0 37943 61 0 0 25 0 1 0 908298820 45248512 8425 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11047 8425 301 301 0 10746 0 vsize: 44188 [startup+390.006 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 6082 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 19754 0 0 0 38942 62 0 0 25 0 1 0 908298820 45383680 8435 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11080 8435 301 301 0 10779 0 vsize: 44320 [startup+400.007 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 6082 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 19907 0 0 0 39942 63 0 0 25 0 1 0 908298820 45383680 8450 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11080 8450 301 301 0 10779 0 vsize: 44320 [startup+410.007 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 6082 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 20062 0 0 0 40942 64 0 0 25 0 1 0 908298820 45383680 8467 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11080 8467 301 301 0 10779 0 vsize: 44320 [startup+420.007 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 6082 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 20211 0 0 0 41942 64 0 0 25 0 1 0 908298820 45383680 8478 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11080 8478 301 301 0 10779 0 vsize: 44320 [startup+430.008 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 6082 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 20359 0 0 0 42941 65 0 0 25 0 1 0 908298820 45518848 8488 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11113 8488 301 301 0 10812 0 vsize: 44452 [startup+440.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 6084 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 20513 0 0 0 43940 65 0 0 25 0 1 0 908298820 45518848 8504 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11113 8504 301 301 0 10812 0 vsize: 44452 [startup+450.008 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 20673 0 0 0 44940 66 0 0 25 0 1 0 908298820 45654016 8526 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11146 8526 301 301 0 10845 0 vsize: 44584 [startup+460.009 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 20841 0 0 0 45939 67 0 0 25 0 1 0 908298820 45654016 8556 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11146 8556 301 301 0 10845 0 vsize: 44584 [startup+470.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 21051 0 0 0 46938 68 0 0 25 0 1 0 908298820 45789184 8628 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11179 8628 301 301 0 10878 0 vsize: 44716 [startup+480.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 21348 0 0 0 47937 69 0 0 25 0 1 0 908298820 46354432 8787 4294967295 134512640 135730672 3221224592 3221222528 134768818 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11317 8787 301 301 0 11016 0 vsize: 45268 [startup+490.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 21502 0 0 0 48937 70 0 0 25 0 1 0 908298820 45789184 8665 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11179 8665 301 301 0 10878 0 vsize: 44716 [startup+500.009 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 21685 0 0 0 49936 71 0 0 25 0 1 0 908298820 45944832 8710 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11217 8710 301 301 0 10916 0 vsize: 44868 [startup+510.009 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 21881 0 0 0 50935 72 0 0 25 0 1 0 908298820 54333440 8768 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13265 8768 301 301 0 12964 0 vsize: 53060 [startup+520.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 22079 0 0 0 51934 73 0 0 25 0 1 0 908298820 54333440 8828 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13265 8828 301 301 0 12964 0 vsize: 53060 [startup+530.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 22234 0 0 0 52934 73 0 0 25 0 1 0 908298820 54333440 8845 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13265 8845 301 301 0 12964 0 vsize: 53060 [startup+540.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 22385 0 0 0 53933 74 0 0 25 0 1 0 908298820 54468608 8858 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13298 8858 301 301 0 12997 0 vsize: 53192 [startup+550.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 22537 0 0 0 54933 75 0 0 25 0 1 0 908298820 54468608 8872 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13298 8872 301 301 0 12997 0 vsize: 53192 [startup+560.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 22738 0 0 0 55932 76 0 0 25 0 1 0 908298820 54468608 8935 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13298 8935 301 301 0 12997 0 vsize: 53192 [startup+570.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 22923 0 0 0 56932 76 0 0 25 0 1 0 908298820 54607872 8982 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13332 8982 301 301 0 13031 0 vsize: 53328 [startup+580.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 23068 0 0 0 57932 76 0 0 25 0 1 0 908298820 54607872 8989 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13332 8989 301 301 0 13031 0 vsize: 53328 [startup+590.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 23218 0 0 0 58931 77 0 0 25 0 1 0 908298820 54607872 9001 4294967295 134512640 135730672 3221224592 3221222880 134747845 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13332 9001 301 301 0 13031 0 vsize: 53328 [startup+600.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 23366 0 0 0 59931 78 0 0 25 0 1 0 908298820 54607872 9011 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13332 9011 301 301 0 13031 0 vsize: 53328 [startup+610.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 23517 0 0 0 60930 79 0 0 25 0 1 0 908298820 54755328 9024 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13368 9024 301 301 0 13067 0 vsize: 53472 [startup+620.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 23669 0 0 0 61929 79 0 0 25 0 1 0 908298820 54755328 9038 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13368 9038 301 301 0 13067 0 vsize: 53472 [startup+630.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 23824 0 0 0 62929 80 0 0 25 0 1 0 908298820 54755328 9055 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13368 9055 301 301 0 13067 0 vsize: 53472 [startup+640.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 23999 0 0 0 63928 81 0 0 25 0 1 0 908298820 54890496 9092 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13401 9092 301 301 0 13100 0 vsize: 53604 [startup+650.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 24196 0 0 0 64928 82 0 0 25 0 1 0 908298820 54890496 9151 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13401 9151 301 301 0 13100 0 vsize: 53604 [startup+660.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 24403 0 0 0 65927 83 0 0 25 0 1 0 908298820 54890496 9220 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13401 9220 301 301 0 13100 0 vsize: 53604 [startup+670.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 24559 0 0 0 66926 83 0 0 25 0 1 0 908298820 54890496 9238 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13401 9238 301 301 0 13100 0 vsize: 53604 [startup+680.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 24712 0 0 0 67926 84 0 0 25 0 1 0 908298820 55021568 9253 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13433 9253 301 301 0 13132 0 vsize: 53732 [startup+690.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 24857 0 0 0 68926 84 0 0 25 0 1 0 908298820 55021568 9260 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13433 9260 301 301 0 13132 0 vsize: 53732 [startup+700.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6086 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 25012 0 0 0 69925 85 0 0 25 0 1 0 908298820 55021568 9277 4294967295 134512640 135730672 3221224592 3221222992 134748227 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13433 9277 301 301 0 13132 0 vsize: 53732 [startup+710.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 25293 0 0 0 70925 86 0 0 25 0 1 0 908298820 55021568 9282 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13433 9282 301 301 0 13132 0 vsize: 53732 [startup+720.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 25444 0 0 0 71924 87 0 0 25 0 1 0 908298820 55181312 9295 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13472 9295 301 301 0 13171 0 vsize: 53888 [startup+730.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 25597 0 0 0 72924 87 0 0 25 0 1 0 908298820 55181312 9310 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13472 9310 301 301 0 13171 0 vsize: 53888 [startup+740.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 25742 0 0 0 73923 88 0 0 25 0 1 0 908298820 55181312 9317 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13472 9317 301 301 0 13171 0 vsize: 53888 [startup+750.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 25888 0 0 0 74923 88 0 0 25 0 1 0 908298820 55181312 9325 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13472 9325 301 301 0 13171 0 vsize: 53888 [startup+760.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 25895 0 0 0 75923 89 0 0 25 0 1 0 908298820 55181312 9332 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13472 9332 301 301 0 13171 0 vsize: 53888 [startup+770.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 26045 0 0 0 76922 89 0 0 25 0 1 0 908298820 55316480 9344 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13505 9344 301 301 0 13204 0 vsize: 54020 [startup+780.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 26192 0 0 0 77922 90 0 0 25 0 1 0 908298820 55316480 9353 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13505 9353 301 301 0 13204 0 vsize: 54020 [startup+790.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 26343 0 0 0 78922 90 0 0 25 0 1 0 908298820 55316480 9366 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13505 9366 301 301 0 13204 0 vsize: 54020 [startup+800.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 26633 0 0 0 79921 91 0 0 25 0 1 0 908298820 55316480 9380 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13505 9380 301 301 0 13204 0 vsize: 54020 [startup+810.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 26784 0 0 0 80920 92 0 0 25 0 1 0 908298820 55459840 9393 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13540 9393 301 301 0 13239 0 vsize: 54160 [startup+820.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 26937 0 0 0 81920 92 0 0 25 0 1 0 908298820 55459840 9408 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13540 9408 301 301 0 13239 0 vsize: 54160 [startup+830.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 27088 0 0 0 82919 93 0 0 25 0 1 0 908298820 55459840 9421 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13540 9421 301 301 0 13239 0 vsize: 54160 [startup+840.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 27238 0 0 0 83919 94 0 0 25 0 1 0 908298820 55459840 9433 4294967295 134512640 135730672 3221224592 3221222928 134740204 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13540 9433 301 301 0 13239 0 vsize: 54160 [startup+850.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 27407 0 0 0 84918 95 0 0 25 0 1 0 908298820 55595008 9464 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13573 9464 301 301 0 13272 0 vsize: 54292 [startup+860.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 27608 0 0 0 85918 95 0 0 25 0 1 0 908298820 55595008 9527 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13573 9527 301 301 0 13272 0 vsize: 54292 [startup+870.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 27763 0 0 0 86917 96 0 0 25 0 1 0 908298820 55734272 9544 4294967295 134512640 135730672 3221224592 3221222992 134744754 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13607 9544 301 301 0 13306 0 vsize: 54428 [startup+880.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 27908 0 0 0 87917 97 0 0 25 0 1 0 908298820 55734272 9551 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13607 9551 301 301 0 13306 0 vsize: 54428 [startup+890.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 28052 0 0 0 88916 97 0 0 25 0 1 0 908298820 55734272 9557 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13607 9557 301 301 0 13306 0 vsize: 54428 [startup+900.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 28247 0 0 0 89916 98 0 0 25 0 1 0 908298820 55734272 9614 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13607 9614 301 301 0 13306 0 vsize: 54428 [startup+910.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 28414 0 0 0 90915 98 0 0 25 0 1 0 908298820 55734272 9643 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13607 9643 301 301 0 13306 0 vsize: 54428 [startup+920.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 28565 0 0 0 91915 99 0 0 25 0 1 0 908298820 55734272 9656 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13607 9656 301 301 0 13306 0 vsize: 54428 [startup+930.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 28730 0 0 0 92915 99 0 0 25 0 1 0 908298820 55869440 9683 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13640 9683 301 301 0 13339 0 vsize: 54560 [startup+940.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 28931 0 0 0 93914 100 0 0 25 0 1 0 908298820 55869440 9746 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13640 9746 301 301 0 13339 0 vsize: 54560 [startup+950.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 29145 0 0 0 94914 101 0 0 25 0 1 0 908298820 55869440 9822 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13640 9822 301 301 0 13339 0 vsize: 54560 [startup+960.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 29303 0 0 0 95913 102 0 0 25 0 1 0 908298820 56016896 9842 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13676 9842 301 301 0 13375 0 vsize: 54704 [startup+970.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 29458 0 0 0 96913 102 0 0 25 0 1 0 908298820 56016896 9859 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13676 9859 301 301 0 13375 0 vsize: 54704 [startup+980.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 29631 0 0 0 97913 103 0 0 25 0 1 0 908298820 56016896 9894 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13676 9894 301 301 0 13375 0 vsize: 54704 [startup+990.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 29827 0 0 0 98912 103 0 0 25 0 1 0 908298820 56016896 9952 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13676 9952 301 301 0 13375 0 vsize: 54704 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 30027 0 0 0 99912 104 0 0 25 0 1 0 908298820 56016896 10014 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13676 10014 301 301 0 13375 0 vsize: 54704 [startup+1010.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 30189 0 0 0 100912 104 0 0 25 0 1 0 908298820 56197120 10038 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13720 10038 301 301 0 13419 0 vsize: 54880 [startup+1020.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 30337 0 0 0 101911 105 0 0 25 0 1 0 908298820 56197120 10048 4294967295 134512640 135730672 3221224592 3221222992 134748241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13720 10048 301 301 0 13419 0 vsize: 54880 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 30484 0 0 0 102911 105 0 0 25 0 1 0 908298820 56197120 10057 4294967295 134512640 135730672 3221224592 3221222928 134740402 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13720 10057 301 301 0 13419 0 vsize: 54880 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 30636 0 0 0 103910 106 0 0 25 0 1 0 908298820 56197120 10071 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13720 10071 301 301 0 13419 0 vsize: 54880 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 30799 0 0 0 104910 107 0 0 25 0 1 0 908298820 56197120 10096 4294967295 134512640 135730672 3221224592 3221222896 134746183 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13720 10096 301 301 0 13419 0 vsize: 54880 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 31082 0 0 0 105909 107 0 0 25 0 1 0 908298820 56197120 10103 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13720 10103 301 301 0 13419 0 vsize: 54880 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 31240 0 0 0 106909 108 0 0 25 0 1 0 908298820 56332288 10123 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13753 10123 301 301 0 13452 0 vsize: 55012 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 31385 0 0 0 107908 109 0 0 25 0 1 0 908298820 56332288 10130 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13753 10130 301 301 0 13452 0 vsize: 55012 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 31537 0 0 0 108908 109 0 0 25 0 1 0 908298820 56512512 10144 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13797 10144 301 301 0 13496 0 vsize: 55188 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 31721 0 0 0 109907 110 0 0 25 0 1 0 908298820 56512512 10190 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13797 10190 301 301 0 13496 0 vsize: 55188 [startup+1110.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 31871 0 0 0 110907 111 0 0 25 0 1 0 908298820 56512512 10202 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13797 10202 301 301 0 13496 0 vsize: 55188 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 32017 0 0 0 111906 111 0 0 25 0 1 0 908298820 56512512 10210 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13797 10210 301 301 0 13496 0 vsize: 55188 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 32172 0 0 0 112906 112 0 0 25 0 1 0 908298820 56512512 10227 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13797 10227 301 301 0 13496 0 vsize: 55188 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 32322 0 0 0 113905 113 0 0 25 0 1 0 908298820 56647680 10239 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13830 10239 301 301 0 13529 0 vsize: 55320 [startup+1150.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 32487 0 0 0 114905 113 0 0 25 0 1 0 908298820 56647680 10266 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13830 10266 301 301 0 13529 0 vsize: 55320 [startup+1160.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 32636 0 0 0 115905 114 0 0 25 0 1 0 908298820 56647680 10277 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13830 10277 301 301 0 13529 0 vsize: 55320 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 32790 0 0 0 116904 114 0 0 25 0 1 0 908298820 56647680 10293 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13830 10293 301 301 0 13529 0 vsize: 55320 [startup+1180.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 32992 0 0 0 117904 114 0 0 25 0 1 0 908298820 56823808 10357 4294967295 134512640 135730672 3221224592 3221222880 134747644 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13873 10357 301 301 0 13572 0 vsize: 55492 [startup+1190.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 33197 0 0 0 118904 115 0 0 25 0 1 0 908298820 56823808 10424 4294967295 134512640 135730672 3221224592 3221222880 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13873 10424 301 301 0 13572 0 vsize: 55492 [startup+1200.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6088 Raw data (stat): 6029 (pb2sat-v2) R 6028 8378 8377 0 -1 0 33372 0 0 0 119903 116 0 0 25 0 1 0 908298820 56823808 10461 4294967295 134512640 135730672 3221224592 3221222880 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13873 10461 301 301 0 13572 0 vsize: 55492 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.35 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 6088 Raw data (stat): 6029 (pb2sat-v2) Z 6028 8378 8377 0 -1 12 33374 0 0 0 119934 118 0 0 25 0 1 0 908298820 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.35 CPU time (s): 1200.52 CPU user time (s): 1199.34 CPU system time (s): 1.18082 CPU usage (%): 100.015 Max. virtual memory (Kb): 55492 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 31 #### END VERIFIER DATA ####