Name | submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb |
MD5SUM | a8596c98551f801a6658f1ce91b33278 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1053 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 12887 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 12887 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 63.6713 |
Number of variables | 304 |
Total number of constraints | 671 |
Number of constraints which are clauses | 671 |
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 | 1 |
Maximum length of a constraint | 28 |
LAUNCH ON wulflinc2 THE 2005-09-23 15:06:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8456 boxname=wulflinc2 idbench=252 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a8596c98551f801a6658f1ce91b33278 /oldhome/oroussel/tmp/wulflinc2/normalized-cmb.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-cmb.opb IDLAUNCH: 8456 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.261 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.261 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: 905216 kB Buffers: 16284 kB Cached: 93740 kB SwapCached: 0 kB Active: 45068 kB Inactive: 67852 kB HighTotal: 131008 kB HighFree: 39956 kB LowTotal: 903652 kB LowFree: 865260 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 10924 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:26:21 (client local time) WITH STATUS 0 IN 1210.57 SECONDS stats: 8456 0 1210.57 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 12145 c small objective detected c Decision: 620717/1558693 Time: 641.309/86400 c Decision: 620717/1558693 Time: 750.032/86400 c Decision: 627652/1558693 Time: 839.508/86400 c Decision: 627652/1558693 Time: 910.237/86400 c Decision: 627652/1558693 Time: 1024.19/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 x31 x32 x33 x34 x35 x36 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
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21154932 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 373 2 364 364 0 9 0 [pid=8539] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-cmb.opb [startup+10.0023 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 31885 0 0 0 926 69 0 0 25 0 1 0 21154932 98652160 20744 4294967295 134512640 135987407 3221224576 3221187164 135480416 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 24085 20744 364 364 0 23721 0 [pid=8539] vsize: 96340 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 96340 [startup+20.003 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 63133 0 0 0 1857 135 0 0 25 0 1 0 21154932 194342912 40775 4294967295 134512640 135987407 3221224576 3221171704 134930929 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 47447 40775 364 364 0 47083 0 [pid=8539] vsize: 189788 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 189788 [startup+30.0037 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 105597 0 0 0 2764 224 0 0 25 0 1 0 21154932 359772160 61049 4294967295 134512640 135987407 3221224576 3221149744 134877710 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 87835 61049 364 364 0 87471 0 [pid=8539] vsize: 351340 Current children cumulated CPU time (s) 29.88 Current children cumulated vsize (Kb) 351340 [startup+40.0034 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 124875 0 0 0 3725 261 0 0 25 0 1 0 21154932 384643072 80095 4294967295 134512640 135987407 3221224576 3221181664 134855001 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 93907 80095 364 364 0 93543 0 [pid=8539] vsize: 375628 Current children cumulated CPU time (s) 39.86 Current children cumulated vsize (Kb) 375628 [startup+50.0031 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 158347 0 0 0 4657 326 0 0 25 0 1 0 21154932 576454656 112814 4294967295 134512640 135987407 3221224576 3221176972 135500012 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 140736 112814 364 364 0 140372 0 [pid=8539] vsize: 562944 Current children cumulated CPU time (s) 49.83 Current children cumulated vsize (Kb) 562944 [startup+60.0039 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 210791 0 0 0 5544 434 0 0 25 0 1 0 21154932 683298816 121622 4294967295 134512640 135987407 3221224576 3221182336 134877628 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 166821 121622 364 364 0 166457 0 [pid=8539] vsize: 667284 Current children cumulated CPU time (s) 59.78 Current children cumulated vsize (Kb) 667284 [startup+70.0046 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 227985 0 0 0 6506 469 0 0 25 0 1 0 21154932 705466368 138609 4294967295 134512640 135987407 3221224576 3221204392 134537317 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 172233 138609 364 364 0 171869 0 [pid=8539] vsize: 688932 Current children cumulated CPU time (s) 69.75 Current children cumulated vsize (Kb) 688932 [startup+80.0053 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 245695 0 0 0 7464 511 0 0 25 0 1 0 21154932 745549824 156179 4294967295 134512640 135987407 3221224576 3221222992 134828922 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 182019 156179 364 364 0 181655 0 [pid=8539] vsize: 728076 Current children cumulated CPU time (s) 79.75 Current children cumulated vsize (Kb) 728076 [startup+90.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 252136 0 0 0 8447 526 0 0 25 0 1 0 21154932 760786944 158479 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 185739 158479 364 364 0 185375 0 [pid=8539] vsize: 742956 Current children cumulated CPU time (s) 89.73 Current children cumulated vsize (Kb) 742956 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 252545 0 0 0 9445 527 0 0 25 0 1 0 21154932 762298368 158790 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 186108 158790 364 364 0 185744 0 [pid=8539] vsize: 744432 Current children cumulated CPU time (s) 99.72 Current children cumulated vsize (Kb) 744432 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 252926 0 0 0 10443 528 0 0 25 0 1 0 21154932 763768832 159040 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 186467 159040 364 364 0 186103 0 [pid=8539] vsize: 745868 Current children cumulated CPU time (s) 109.71 Current children cumulated vsize (Kb) 745868 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 253229 0 0 0 11441 529 0 0 25 0 1 0 21154932 765247488 159277 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 186828 159277 364 364 0 186464 0 [pid=8539] vsize: 747312 Current children cumulated CPU time (s) 119.7 Current children cumulated vsize (Kb) 747312 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 253393 0 0 0 12441 530 0 0 25 0 1 0 21154932 765779968 159375 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 186958 159375 364 364 0 186594 0 [pid=8539] vsize: 747832 Current children cumulated CPU time (s) 129.71 Current children cumulated vsize (Kb) 747832 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 253674 0 0 0 13439 531 0 0 25 0 1 0 21154932 766709760 159524 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 187185 159524 364 364 0 186821 0 [pid=8539] vsize: 748740 Current children cumulated CPU time (s) 139.7 Current children cumulated vsize (Kb) 748740 [startup+150.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 254180 0 0 0 14437 532 0 0 25 0 1 0 21154932 768028672 159768 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 187507 159768 364 364 0 187143 0 [pid=8539] vsize: 750028 Current children cumulated CPU time (s) 149.69 Current children cumulated vsize (Kb) 750028 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 255301 0 0 0 15433 536 0 0 25 0 1 0 21154932 771334144 160306 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 188314 160306 364 364 0 187950 0 [pid=8539] vsize: 753256 Current children cumulated CPU time (s) 159.69 Current children cumulated vsize (Kb) 753256 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 255761 0 0 0 16432 537 0 0 25 0 1 0 21154932 772648960 160473 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 188635 160473 364 364 0 188271 0 [pid=8539] vsize: 754540 Current children cumulated CPU time (s) 169.69 Current children cumulated vsize (Kb) 754540 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 256474 0 0 0 17429 539 0 0 25 0 1 0 21154932 774365184 160860 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 189054 160860 364 364 0 188690 0 [pid=8539] vsize: 756216 Current children cumulated CPU time (s) 179.68 Current children cumulated vsize (Kb) 756216 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 257399 0 0 0 18427 541 0 0 25 0 1 0 21154932 776732672 161264 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 189632 161264 364 364 0 189268 0 [pid=8539] vsize: 758528 Current children cumulated CPU time (s) 189.68 Current children cumulated vsize (Kb) 758528 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 257411 0 0 0 19426 541 0 0 25 0 1 0 21154932 776732672 161276 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 189632 161276 364 364 0 189268 0 [pid=8539] vsize: 758528 Current children cumulated CPU time (s) 199.67 Current children cumulated vsize (Kb) 758528 [startup+210.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258039 0 0 0 20424 543 0 0 25 0 1 0 21154932 778452992 161611 4294967295 134512640 135987407 3221224576 3221223120 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 190052 161611 364 364 0 189688 0 [pid=8539] vsize: 760208 Current children cumulated CPU time (s) 209.67 Current children cumulated vsize (Kb) 760208 [startup+220.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258225 0 0 0 21423 543 0 0 25 0 1 0 21154932 778977280 161666 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 190180 161666 364 364 0 189816 0 [pid=8539] vsize: 760720 Current children cumulated CPU time (s) 219.66 Current children cumulated vsize (Kb) 760720 [startup+230.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258364 0 0 0 22422 544 0 0 25 0 1 0 21154932 779374592 161740 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 190277 161740 364 364 0 189913 0 [pid=8539] vsize: 761108 Current children cumulated CPU time (s) 229.66 Current children cumulated vsize (Kb) 761108 [startup+240.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 258948 0 0 0 23419 546 0 0 25 0 1 0 21154932 780689408 162032 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 190598 162032 364 364 0 190234 0 [pid=8539] vsize: 762392 Current children cumulated CPU time (s) 239.65 Current children cumulated vsize (Kb) 762392 [startup+250.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259215 0 0 0 24416 547 0 0 25 0 1 0 21154932 781348864 162168 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 190759 162168 364 364 0 190395 0 [pid=8539] vsize: 763036 Current children cumulated CPU time (s) 249.63 Current children cumulated vsize (Kb) 763036 [startup+260.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259454 0 0 0 25414 548 0 0 25 0 1 0 21154932 782422016 162341 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 191021 162341 364 364 0 190657 0 [pid=8539] vsize: 764084 Current children cumulated CPU time (s) 259.62 Current children cumulated vsize (Kb) 764084 [startup+270.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259618 0 0 0 26412 549 0 0 25 0 1 0 21154932 783429632 162505 4294967295 134512640 135987407 3221224576 3221223280 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 191267 162505 364 364 0 190903 0 [pid=8539] vsize: 765068 Current children cumulated CPU time (s) 269.61 Current children cumulated vsize (Kb) 765068 [startup+280.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259798 0 0 0 27411 550 0 0 25 0 1 0 21154932 784297984 162652 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 191479 162652 364 364 0 191115 0 [pid=8539] vsize: 765916 Current children cumulated CPU time (s) 279.61 Current children cumulated vsize (Kb) 765916 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 259935 0 0 0 28409 550 0 0 25 0 1 0 21154932 784695296 162723 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 191576 162723 364 364 0 191212 0 [pid=8539] vsize: 766304 Current children cumulated CPU time (s) 289.59 Current children cumulated vsize (Kb) 766304 [startup+300.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260227 0 0 0 29407 552 0 0 25 0 1 0 21154932 785760256 162883 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 191836 162883 364 364 0 191472 0 [pid=8539] vsize: 767344 Current children cumulated CPU time (s) 299.59 Current children cumulated vsize (Kb) 767344 [startup+310.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260234 0 0 0 30405 553 0 0 25 0 1 0 21154932 785760256 162890 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 191836 162890 364 364 0 191472 0 [pid=8539] vsize: 767344 Current children cumulated CPU time (s) 309.58 Current children cumulated vsize (Kb) 767344 [startup+320.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260486 0 0 0 31403 554 0 0 25 0 1 0 21154932 786690048 163044 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192063 163044 364 364 0 191699 0 [pid=8539] vsize: 768252 Current children cumulated CPU time (s) 319.57 Current children cumulated vsize (Kb) 768252 [startup+330.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260499 0 0 0 32401 555 0 0 25 0 1 0 21154932 786690048 163057 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192063 163057 364 364 0 191699 0 [pid=8539] vsize: 768252 Current children cumulated CPU time (s) 329.56 Current children cumulated vsize (Kb) 768252 [startup+340.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260551 0 0 0 33400 555 0 0 25 0 1 0 21154932 786960384 163109 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192129 163109 364 364 0 191765 0 [pid=8539] vsize: 768516 Current children cumulated CPU time (s) 339.55 Current children cumulated vsize (Kb) 768516 [startup+350.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260565 0 0 0 34398 556 0 0 25 0 1 0 21154932 786960384 163123 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192129 163123 364 364 0 191765 0 [pid=8539] vsize: 768516 Current children cumulated CPU time (s) 349.54 Current children cumulated vsize (Kb) 768516 [startup+360.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260608 0 0 0 35396 557 0 0 25 0 1 0 21154932 787091456 163133 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192161 163133 364 364 0 191797 0 [pid=8539] vsize: 768644 Current children cumulated CPU time (s) 359.53 Current children cumulated vsize (Kb) 768644 [startup+370.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260657 0 0 0 36394 557 0 0 25 0 1 0 21154932 787361792 163182 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192227 163182 364 364 0 191863 0 [pid=8539] vsize: 768908 Current children cumulated CPU time (s) 369.51 Current children cumulated vsize (Kb) 768908 [startup+380.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260756 0 0 0 37393 559 0 0 25 0 1 0 21154932 787623936 163215 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192291 163215 364 364 0 191927 0 [pid=8539] vsize: 769164 Current children cumulated CPU time (s) 379.52 Current children cumulated vsize (Kb) 769164 [startup+390.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260758 0 0 0 38391 559 0 0 25 0 1 0 21154932 787623936 163217 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192291 163217 364 364 0 191927 0 [pid=8539] vsize: 769164 Current children cumulated CPU time (s) 389.5 Current children cumulated vsize (Kb) 769164 [startup+400.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260850 0 0 0 39389 560 0 0 25 0 1 0 21154932 787886080 163243 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192355 163243 364 364 0 191991 0 [pid=8539] vsize: 769420 Current children cumulated CPU time (s) 399.49 Current children cumulated vsize (Kb) 769420 [startup+410.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260856 0 0 0 40388 560 0 0 25 0 1 0 21154932 787886080 163249 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192355 163249 364 364 0 191991 0 [pid=8539] vsize: 769420 Current children cumulated CPU time (s) 409.48 Current children cumulated vsize (Kb) 769420 [startup+420.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260919 0 0 0 41386 561 0 0 25 0 1 0 21154932 788017152 163279 4294967295 134512640 135987407 3221224576 3221223120 134811933 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192387 163279 364 364 0 192023 0 [pid=8539] vsize: 769548 Current children cumulated CPU time (s) 419.47 Current children cumulated vsize (Kb) 769548 [startup+430.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260922 0 0 0 42385 562 0 0 25 0 1 0 21154932 788017152 163282 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192387 163282 364 364 0 192023 0 [pid=8539] vsize: 769548 Current children cumulated CPU time (s) 429.47 Current children cumulated vsize (Kb) 769548 [startup+440.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260927 0 0 0 43383 563 0 0 25 0 1 0 21154932 788017152 163287 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192387 163287 364 364 0 192023 0 [pid=8539] vsize: 769548 Current children cumulated CPU time (s) 439.46 Current children cumulated vsize (Kb) 769548 [startup+450.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260930 0 0 0 44381 563 0 0 25 0 1 0 21154932 788017152 163290 4294967295 134512640 135987407 3221224576 3221223120 134811942 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192387 163290 364 364 0 192023 0 [pid=8539] vsize: 769548 Current children cumulated CPU time (s) 449.44 Current children cumulated vsize (Kb) 769548 [startup+460.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260959 0 0 0 45379 564 0 0 25 0 1 0 21154932 788152320 163319 4294967295 134512640 135987407 3221224576 3221223280 134790054 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192420 163319 364 364 0 192056 0 [pid=8539] vsize: 769680 Current children cumulated CPU time (s) 459.43 Current children cumulated vsize (Kb) 769680 [startup+470.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260986 0 0 0 46378 565 0 0 25 0 1 0 21154932 788287488 163346 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192453 163346 364 364 0 192089 0 [pid=8539] vsize: 769812 Current children cumulated CPU time (s) 469.43 Current children cumulated vsize (Kb) 769812 [startup+480.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 260989 0 0 0 47376 565 0 0 25 0 1 0 21154932 788287488 163349 4294967295 134512640 135987407 3221224576 3221223280 134789987 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192453 163349 364 364 0 192089 0 [pid=8539] vsize: 769812 Current children cumulated CPU time (s) 479.41 Current children cumulated vsize (Kb) 769812 [startup+490.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261031 0 0 0 48375 566 0 0 25 0 1 0 21154932 788422656 163391 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163391 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 489.41 Current children cumulated vsize (Kb) 769944 [startup+500.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261035 0 0 0 49373 566 0 0 25 0 1 0 21154932 788422656 163395 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163395 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 499.39 Current children cumulated vsize (Kb) 769944 [startup+510.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261044 0 0 0 50371 567 0 0 25 0 1 0 21154932 788422656 163404 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163404 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 509.38 Current children cumulated vsize (Kb) 769944 [startup+520.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261048 0 0 0 51369 568 0 0 25 0 1 0 21154932 788422656 163408 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163408 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 519.37 Current children cumulated vsize (Kb) 769944 [startup+530.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261052 0 0 0 52368 569 0 0 25 0 1 0 21154932 788422656 163412 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163412 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 529.37 Current children cumulated vsize (Kb) 769944 [startup+540.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261057 0 0 0 53366 569 0 0 25 0 1 0 21154932 788422656 163417 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163417 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 539.35 Current children cumulated vsize (Kb) 769944 [startup+550.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261072 0 0 0 54364 570 0 0 25 0 1 0 21154932 788422656 163432 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163432 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 549.34 Current children cumulated vsize (Kb) 769944 [startup+560.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261078 0 0 0 55362 571 0 0 25 0 1 0 21154932 788422656 163438 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 192486 163438 364 364 0 192122 0 [pid=8539] vsize: 769944 Current children cumulated CPU time (s) 559.33 Current children cumulated vsize (Kb) 769944 [startup+570.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261376 0 0 0 56360 572 0 0 25 0 1 0 21154932 789213184 163572 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192679 163572 364 364 0 192315 0 [pid=8539] vsize: 770716 Current children cumulated CPU time (s) 569.32 Current children cumulated vsize (Kb) 770716 [startup+580.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261696 0 0 0 57356 574 0 0 25 0 1 0 21154932 790196224 163698 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 192919 163698 364 364 0 192555 0 [pid=8539] vsize: 771676 Current children cumulated CPU time (s) 579.3 Current children cumulated vsize (Kb) 771676 [startup+590.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 261956 0 0 0 58352 575 0 0 25 0 1 0 21154932 791597056 163958 4294967295 134512640 135987407 3221224576 3221222996 134788428 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 193261 163958 364 364 0 192897 0 [pid=8539] vsize: 773044 Current children cumulated CPU time (s) 589.27 Current children cumulated vsize (Kb) 773044 [startup+600.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 262209 0 0 0 59350 576 0 0 25 0 1 0 21154932 792539136 164178 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 193491 164178 364 364 0 193127 0 [pid=8539] vsize: 773964 Current children cumulated CPU time (s) 599.26 Current children cumulated vsize (Kb) 773964 [startup+610.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 264194 0 0 0 60343 581 0 0 25 0 1 0 21154932 798068736 164993 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 194841 164993 364 364 0 194477 0 [pid=8539] vsize: 779364 Current children cumulated CPU time (s) 609.24 Current children cumulated vsize (Kb) 779364 [startup+620.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 264725 0 0 0 61340 583 0 0 25 0 1 0 21154932 799727616 165232 4294967295 134512640 135987407 3221224576 3221223216 134812349 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 195246 165232 364 364 0 194882 0 [pid=8539] vsize: 780984 Current children cumulated CPU time (s) 619.23 Current children cumulated vsize (Kb) 780984 [startup+630.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265132 0 0 0 62339 585 0 0 25 0 1 0 21154932 800780288 165445 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 195503 165445 364 364 0 195139 0 [pid=8539] vsize: 782012 Current children cumulated CPU time (s) 629.24 Current children cumulated vsize (Kb) 782012 [startup+640.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265826 0 0 0 63335 587 0 0 25 0 1 0 21154932 803016704 165717 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 196049 165717 364 364 0 195685 0 [pid=8539] vsize: 784196 Current children cumulated CPU time (s) 639.22 Current children cumulated vsize (Kb) 784196 [startup+650.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265925 0 0 0 64334 587 0 0 25 0 1 0 21154932 803278848 165750 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 196113 165750 364 364 0 195749 0 [pid=8539] vsize: 784452 Current children cumulated CPU time (s) 649.21 Current children cumulated vsize (Kb) 784452 [startup+660.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 265992 0 0 0 65332 589 0 0 25 0 1 0 21154932 803409920 165784 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 196145 165784 364 364 0 195781 0 [pid=8539] vsize: 784580 Current children cumulated CPU time (s) 659.21 Current children cumulated vsize (Kb) 784580 [startup+670.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 266063 0 0 0 66331 589 0 0 25 0 1 0 21154932 803540992 165822 4294967295 134512640 135987407 3221224576 3221223120 134788799 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 196177 165822 364 364 0 195813 0 [pid=8539] vsize: 784708 Current children cumulated CPU time (s) 669.2 Current children cumulated vsize (Kb) 784708 [startup+680.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 266168 0 0 0 67329 590 0 0 25 0 1 0 21154932 803803136 165861 4294967295 134512640 135987407 3221224576 3221223120 134811927 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 196241 165861 364 364 0 195877 0 [pid=8539] vsize: 784964 Current children cumulated CPU time (s) 679.19 Current children cumulated vsize (Kb) 784964 [startup+690.015 s] Raw data (loadavg): 0.99 0.98 0.99 1/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) T 8538 8539 4070 0 -1 0 267040 0 0 0 68325 592 0 0 25 0 1 0 21154932 806572032 166310 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/8539/statm): 196917 166310 364 364 0 196553 0 [pid=8539] vsize: 787668 Current children cumulated CPU time (s) 689.17 Current children cumulated vsize (Kb) 787668 [startup+700.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 267626 0 0 0 69321 594 0 0 25 0 1 0 21154932 807882752 166569 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 197237 166569 364 364 0 196873 0 [pid=8539] vsize: 788948 Current children cumulated CPU time (s) 699.15 Current children cumulated vsize (Kb) 788948 [startup+710.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 267651 0 0 0 70320 594 0 0 25 0 1 0 21154932 807882752 166594 4294967295 134512640 135987407 3221224576 3221223072 134789452 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 197237 166594 364 364 0 196873 0 [pid=8539] vsize: 788948 Current children cumulated CPU time (s) 709.14 Current children cumulated vsize (Kb) 788948 [startup+720.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 270967 0 0 0 71312 602 0 0 25 0 1 0 21154932 808542208 166767 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197398 166767 364 364 0 197034 0 [pid=8539] vsize: 789592 Current children cumulated CPU time (s) 719.14 Current children cumulated vsize (Kb) 789592 [startup+730.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271533 0 0 0 72310 603 0 0 25 0 1 0 21154932 810119168 167011 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197783 167011 364 364 0 197419 0 [pid=8539] vsize: 791132 Current children cumulated CPU time (s) 729.13 Current children cumulated vsize (Kb) 791132 [startup+740.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271583 0 0 0 73306 604 0 0 25 0 1 0 21154932 810250240 167028 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197815 167028 364 364 0 197451 0 [pid=8539] vsize: 791260 Current children cumulated CPU time (s) 739.1 Current children cumulated vsize (Kb) 791260 [startup+750.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271685 0 0 0 74303 605 0 0 25 0 1 0 21154932 810512384 167065 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197879 167065 364 364 0 197515 0 [pid=8539] vsize: 791516 Current children cumulated CPU time (s) 749.08 Current children cumulated vsize (Kb) 791516 [startup+760.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271697 0 0 0 75299 606 0 0 25 0 1 0 21154932 810512384 167077 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197879 167077 364 364 0 197515 0 [pid=8539] vsize: 791516 Current children cumulated CPU time (s) 759.05 Current children cumulated vsize (Kb) 791516 [startup+770.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271698 0 0 0 76297 607 0 0 25 0 1 0 21154932 810512384 167078 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197879 167078 364 364 0 197515 0 [pid=8539] vsize: 791516 Current children cumulated CPU time (s) 769.04 Current children cumulated vsize (Kb) 791516 [startup+780.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271698 0 0 0 77296 608 0 0 25 0 1 0 21154932 810512384 167078 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197879 167078 364 364 0 197515 0 [pid=8539] vsize: 791516 Current children cumulated CPU time (s) 779.04 Current children cumulated vsize (Kb) 791516 [startup+790.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271698 0 0 0 78294 609 0 0 25 0 1 0 21154932 810512384 167078 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197879 167078 364 364 0 197515 0 [pid=8539] vsize: 791516 Current children cumulated CPU time (s) 789.03 Current children cumulated vsize (Kb) 791516 [startup+800.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271704 0 0 0 79293 609 0 0 25 0 1 0 21154932 810512384 167084 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 197879 167084 364 364 0 197515 0 [pid=8539] vsize: 791516 Current children cumulated CPU time (s) 799.02 Current children cumulated vsize (Kb) 791516 [startup+810.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 271994 0 0 0 80292 610 0 0 25 0 1 0 21154932 811036672 167245 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 198007 167245 364 364 0 197643 0 [pid=8539] vsize: 792028 Current children cumulated CPU time (s) 809.02 Current children cumulated vsize (Kb) 792028 [startup+820.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 272141 0 0 0 81289 611 0 0 25 0 1 0 21154932 811298816 167327 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 198071 167327 364 364 0 197707 0 [pid=8539] vsize: 792284 Current children cumulated CPU time (s) 819 Current children cumulated vsize (Kb) 792284 [startup+830.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 275508 0 0 0 82280 620 0 0 25 0 1 0 21154932 812085248 167455 4294967295 134512640 135987407 3221224576 3221223048 134775385 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 198263 167455 364 364 0 197899 0 [pid=8539] vsize: 793052 Current children cumulated CPU time (s) 829 Current children cumulated vsize (Kb) 793052 [startup+840.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 276579 0 0 0 83276 622 0 0 25 0 1 0 21154932 815235072 167815 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199032 167815 364 364 0 198668 0 [pid=8539] vsize: 796128 Current children cumulated CPU time (s) 838.98 Current children cumulated vsize (Kb) 796128 [startup+850.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277016 0 0 0 84273 623 0 0 25 0 1 0 21154932 816283648 167993 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199288 167993 364 364 0 198924 0 [pid=8539] vsize: 797152 Current children cumulated CPU time (s) 848.96 Current children cumulated vsize (Kb) 797152 [startup+860.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277026 0 0 0 85271 624 0 0 25 0 1 0 21154932 816283648 168003 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199288 168003 364 364 0 198924 0 [pid=8539] vsize: 797152 Current children cumulated CPU time (s) 858.95 Current children cumulated vsize (Kb) 797152 [startup+870.022 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277115 0 0 0 86268 625 0 0 25 0 1 0 21154932 816545792 168027 4294967295 134512640 135987407 3221224576 3221223244 135479985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199352 168027 364 364 0 198988 0 [pid=8539] vsize: 797408 Current children cumulated CPU time (s) 868.93 Current children cumulated vsize (Kb) 797408 [startup+880.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277122 0 0 0 87265 626 0 0 25 0 1 0 21154932 816545792 168034 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199352 168034 364 364 0 198988 0 [pid=8539] vsize: 797408 Current children cumulated CPU time (s) 878.91 Current children cumulated vsize (Kb) 797408 [startup+890.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277126 0 0 0 88263 628 0 0 25 0 1 0 21154932 816545792 168038 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199352 168038 364 364 0 198988 0 [pid=8539] vsize: 797408 Current children cumulated CPU time (s) 888.91 Current children cumulated vsize (Kb) 797408 [startup+900.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277130 0 0 0 89260 628 0 0 25 0 1 0 21154932 816545792 168042 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199352 168042 364 364 0 198988 0 [pid=8539] vsize: 797408 Current children cumulated CPU time (s) 898.88 Current children cumulated vsize (Kb) 797408 [startup+910.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 277384 0 0 0 90258 630 0 0 25 0 1 0 21154932 816939008 168198 4294967295 134512640 135987407 3221224576 3221223120 134811768 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199448 168198 364 364 0 199084 0 [pid=8539] vsize: 797792 Current children cumulated CPU time (s) 908.88 Current children cumulated vsize (Kb) 797792 [startup+920.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280629 0 0 0 91248 639 0 0 25 0 1 0 21154932 817201152 168333 4294967295 134512640 135987407 3221224576 3221223120 134811842 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199512 168333 364 364 0 199148 0 [pid=8539] vsize: 798048 Current children cumulated CPU time (s) 918.87 Current children cumulated vsize (Kb) 798048 [startup+930.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280631 0 0 0 92245 640 0 0 25 0 1 0 21154932 817201152 168335 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199512 168335 364 364 0 199148 0 [pid=8539] vsize: 798048 Current children cumulated CPU time (s) 928.85 Current children cumulated vsize (Kb) 798048 [startup+940.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280673 0 0 0 93243 641 0 0 25 0 1 0 21154932 817467392 168377 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199577 168377 364 364 0 199213 0 [pid=8539] vsize: 798308 Current children cumulated CPU time (s) 938.84 Current children cumulated vsize (Kb) 798308 [startup+950.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280676 0 0 0 94242 641 0 0 25 0 1 0 21154932 817467392 168380 4294967295 134512640 135987407 3221224576 3221223120 134812028 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199577 168380 364 364 0 199213 0 [pid=8539] vsize: 798308 Current children cumulated CPU time (s) 948.83 Current children cumulated vsize (Kb) 798308 [startup+960.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280677 0 0 0 95240 642 0 0 25 0 1 0 21154932 817467392 168381 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199577 168381 364 364 0 199213 0 [pid=8539] vsize: 798308 Current children cumulated CPU time (s) 958.82 Current children cumulated vsize (Kb) 798308 [startup+970.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280688 0 0 0 96237 643 0 0 25 0 1 0 21154932 817467392 168392 4294967295 134512640 135987407 3221224576 3221223280 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199577 168392 364 364 0 199213 0 [pid=8539] vsize: 798308 Current children cumulated CPU time (s) 968.8 Current children cumulated vsize (Kb) 798308 [startup+980.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 280694 0 0 0 97235 644 0 0 25 0 1 0 21154932 817467392 168398 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199577 168398 364 364 0 199213 0 [pid=8539] vsize: 798308 Current children cumulated CPU time (s) 978.79 Current children cumulated vsize (Kb) 798308 [startup+990.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284226 0 0 0 98225 654 0 0 25 0 1 0 21154932 818647040 168593 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199865 168593 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 988.79 Current children cumulated vsize (Kb) 799460 [startup+1000.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284226 0 0 0 99222 654 0 0 25 0 1 0 21154932 818647040 168593 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199865 168593 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 998.76 Current children cumulated vsize (Kb) 799460 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284240 0 0 0 100219 655 0 0 25 0 1 0 21154932 818647040 168607 4294967295 134512640 135987407 3221224576 3221223120 134812197 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199865 168607 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1008.74 Current children cumulated vsize (Kb) 799460 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284256 0 0 0 101215 656 0 0 25 0 1 0 21154932 818647040 168623 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199865 168623 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1018.71 Current children cumulated vsize (Kb) 799460 [startup+1030.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284257 0 0 0 102212 658 0 0 25 0 1 0 21154932 818647040 168624 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199865 168624 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1028.7 Current children cumulated vsize (Kb) 799460 [startup+1040.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284258 0 0 0 103209 659 0 0 25 0 1 0 21154932 818647040 168625 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199865 168625 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1038.68 Current children cumulated vsize (Kb) 799460 [startup+1050.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284260 0 0 0 104206 660 0 0 25 0 1 0 21154932 818647040 168627 4294967295 134512640 135987407 3221224576 3221223280 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 199865 168627 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1048.66 Current children cumulated vsize (Kb) 799460 [startup+1060.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284264 0 0 0 105203 661 0 0 25 0 1 0 21154932 818647040 168631 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 199865 168631 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1058.64 Current children cumulated vsize (Kb) 799460 [startup+1070.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284292 0 0 0 106199 662 0 0 25 0 1 0 21154932 818647040 168659 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 199865 168659 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1068.61 Current children cumulated vsize (Kb) 799460 [startup+1080.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284294 0 0 0 107195 664 0 0 25 0 1 0 21154932 818647040 168661 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 199865 168661 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1078.59 Current children cumulated vsize (Kb) 799460 [startup+1090.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 284302 0 0 0 108192 664 0 0 25 0 1 0 21154932 818647040 168669 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 199865 168669 364 364 0 199501 0 [pid=8539] vsize: 799460 Current children cumulated CPU time (s) 1088.56 Current children cumulated vsize (Kb) 799460 [startup+1100.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287349 0 0 0 109182 673 0 0 25 0 1 0 21154932 831119360 171716 4294967295 134512640 135987407 3221224576 3221222800 134829294 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 202910 171716 364 364 0 202546 0 [pid=8539] vsize: 811640 Current children cumulated CPU time (s) 1098.55 Current children cumulated vsize (Kb) 811640 [startup+1110.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287622 0 0 0 110178 676 0 0 25 0 1 0 21154932 819302400 168782 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 200025 168782 364 364 0 199661 0 [pid=8539] vsize: 800100 Current children cumulated CPU time (s) 1108.54 Current children cumulated vsize (Kb) 800100 [startup+1120.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287712 0 0 0 111174 677 0 0 25 0 1 0 21154932 819568640 168839 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 200090 168839 364 364 0 199726 0 [pid=8539] vsize: 800360 Current children cumulated CPU time (s) 1118.51 Current children cumulated vsize (Kb) 800360 [startup+1130.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287713 0 0 0 112169 680 0 0 25 0 1 0 21154932 819568640 168840 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200090 168840 364 364 0 199726 0 [pid=8539] vsize: 800360 Current children cumulated CPU time (s) 1128.49 Current children cumulated vsize (Kb) 800360 [startup+1140.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287714 0 0 0 113163 682 0 0 25 0 1 0 21154932 819568640 168841 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200090 168841 364 364 0 199726 0 [pid=8539] vsize: 800360 Current children cumulated CPU time (s) 1138.45 Current children cumulated vsize (Kb) 800360 [startup+1150.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287715 0 0 0 114160 684 0 0 25 0 1 0 21154932 819568640 168842 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200090 168842 364 364 0 199726 0 [pid=8539] vsize: 800360 Current children cumulated CPU time (s) 1148.44 Current children cumulated vsize (Kb) 800360 [startup+1160.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287718 0 0 0 115156 685 0 0 25 0 1 0 21154932 819568640 168845 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200090 168845 364 364 0 199726 0 [pid=8539] vsize: 800360 Current children cumulated CPU time (s) 1158.41 Current children cumulated vsize (Kb) 800360 [startup+1170.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 287856 0 0 0 116154 686 0 0 25 0 1 0 21154932 819830784 168918 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200154 168918 364 364 0 199790 0 [pid=8539] vsize: 800616 Current children cumulated CPU time (s) 1168.4 Current children cumulated vsize (Kb) 800616 [startup+1180.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288019 0 0 0 117152 687 0 0 25 0 1 0 21154932 820092928 169016 4294967295 134512640 135987407 3221224576 3221222892 135480681 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200218 169016 364 364 0 199854 0 [pid=8539] vsize: 800872 Current children cumulated CPU time (s) 1178.39 Current children cumulated vsize (Kb) 800872 [startup+1190.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288206 0 0 0 118149 689 0 0 25 0 1 0 21154932 820617216 169074 4294967295 134512640 135987407 3221224576 3221222992 134788469 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200346 169074 364 364 0 199982 0 [pid=8539] vsize: 801384 Current children cumulated CPU time (s) 1188.38 Current children cumulated vsize (Kb) 801384 [startup+1200.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288229 0 0 0 119146 690 0 0 25 0 1 0 21154932 820617216 169097 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8539/statm): 200346 169097 364 364 0 199982 0 [pid=8539] vsize: 801384 Current children cumulated CPU time (s) 1198.36 Current children cumulated vsize (Kb) 801384 [startup+1210.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288439 0 0 0 120145 691 0 0 25 0 1 0 21154932 821010432 169209 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 200442 169209 364 364 0 200078 0 [pid=8539] vsize: 801768 Current children cumulated CPU time (s) 1208.36 Current children cumulated vsize (Kb) 801768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 8539 Raw data (/proc/8539/stat): 8539 (pb2sat) R 8538 8539 4070 0 -1 0 288439 0 0 0 120145 691 0 0 25 0 1 0 21154932 821010432 169209 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8539/statm): 200442 169209 364 364 0 200078 0 [pid=8539] vsize: 801768 Current children cumulated CPU time (s) 1208.36 Current children cumulated vsize (Kb) 801768 Sending SIGTERM to -8539 Sleeping 2 seconds Sending SIGKILL to -8539 One traced child (pid=8539) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 1212.24 CPU time (s): 1210.57 CPU user time (s): 1203.3 CPU system time (s): 7.2659 CPU usage (%): 99.8616 Max. virtual memory (cumulated for all children) (Kb): 811640
Verifier: OK 12145