Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-cracpb1.opb |
MD5SUM | 098fe473d82d5f7d4121673eb775be76 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26015 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 572 |
Biggest coefficient in the objective function | 5000 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 547769 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 5000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 547769 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.08 |
Number of variables | 572 |
Total number of constraints | 716 |
Number of constraints which are clauses | 3 |
Number of constraints which are cardinality constraints (but not clauses) | 644 |
Number of constraints which are nor clauses,nor cardinality constraints | 69 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 518 |
LAUNCH ON wulflinc25 THE 2005-09-20 16:39:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5623 boxname=wulflinc25 idbench=935 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 098fe473d82d5f7d4121673eb775be76 /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-cracpb1.opb REAL COMMAND: Pueblo IDLAUNCH: 5623 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 821988 kB Buffers: 33944 kB Cached: 151080 kB SwapCached: 888 kB Active: 77300 kB Inactive: 110364 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 821708 kB SwapTotal: 2097892 kB SwapFree: 2096524 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 19204 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 16:59:15 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 5623 0 1189.02 10
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 572 - #constraints read: 806 c total time : 1189 s s SATISFIABLE v GPT00001_bit0 -GPT00002_bit0 -GPT00003_bit0 -GPT00004_bit0 -GPT00005_bit0 GPT00006_bit0 -GPT00007_bit0 -GPT00008_bit0 GPT00009_bit0 -GPT00010_bit0 -GPT00011_bit0 -GPT00012_bit0 -GPT00013_bit0 -GPT00014_bit0 -GPT00015_bit0 GPT00016_bit0 -GPT00017_bit0 -GPT00018_bit0 -GPT00019_bit0 -GPT00020_bit0 -GPT00021_bit0 -GPT00022_bit0 -GPT00023_bit0 -GPT00024_bit0 -GPT00025_bit0 -GPT00026_bit0 -GPT00027_bit0 -GPT00028_bit0 -GPT00029_bit0 -GPT00030_bit0 -GPT00031_bit0 -GPT00032_bit0 -GPT00033_bit0 -GPT00034_bit0 -GPT00035_bit0 -GPT00036_bit0 -GPT00037_bit0 -GPT00038_bit0 -GPT00039_bit0 -GPT00040_bit0 -GPT00041_bit0 -GPT00042_bit0 -GPT00043_bit0 -GPT00044_bit0 -GPT00045_bit0 -GPT00046_bit0 -GPT00047_bit0 -GPT00048_bit0 -GPT00049_bit0 -GPT00050_bit0 -GPT00051_bit0 -GPT00052_bit0 -GPT00053_bit0 -GPT00054_bit0 -GPT00055_bit0 -GPT00056_bit0 -GPT00057_bit0 -GPT00058_bit0 -GPT00059_bit0 -GPT00060_bit0 -GPT00061_bit0 -GPT00062_bit0 -GPT00063_bit0 GPT00064_bit0 -GPT00065_bit0 -GPT00066_bit0 -GPT00067_bit0 -GPT00068_bit0 -GPT00069_bit0 -GPT00070_bit0 -GPT00071_bit0 -GPT00072_bit0 -GPT00073_bit0 -GPT00074_bit0 -GPT00075_bit0 -GPT00076_bit0 -GPT00077_bit0 -GPT00078_bit0 -GPT00079_bit0 -GPT00080_bit0 GPT00081_bit0 GPT00082_bit0 -GPT00083_bit0 -GPT00084_bit0 -GPT00085_bit0 -GPT00086_bit0 -GPT00087_bit0 -GPT00088_bit0 -GPT00089_bit0 -GPT00090_bit0 -GPT00091_bit0 -GPT00092_bit0 -GPT00093_bit0 -GPT00094_bit0 -GPT00095_bit0 -GPT00096_bit0 -GPT00097_bit0 -GPT00098_bit0 -GPT00099_bit0 -GPT00100_bit0 -GPT00101_bit0 -GPT00102_bit0 -GPT00103_bit0 -GPT00104_bit0 -GPT00105_bit0 -GPT00106_bit0 -GPT00107_bit0 -GPT00108_bit0 -GPT00109_bit0 -GPT00110_bit0 GPT00111_bit0 -GPT00112_bit0 -GPT00113_bit0 -GPT00114_bit0 -GPT00115_bit0 -GPT00116_bit0 -GPT00117_bit0 -GPT00118_bit0 -GPT00119_bit0 -GPT00120_bit0 -GPT00121_bit0 -GPT00122_bit0 -GPT00123_bit0 -GPT00124_bit0 -GPT00125_bit0 -GPT00126_bit0 -GPT00127_bit0 -GPT00128_bit0 -GPT00129_bit0 GPT00130_bit0 -GPT00131_bit0 -GPT00132_bit0 -GPT00133_bit0 -GPT00134_bit0 -GPT00135_bit0 -GPT00136_bit0 -GPT00137_bit0 -GPT00138_bit0 -GPT00139_bit0 -GPT00140_bit0 -GPT00141_bit0 -GPT00142_bit0 -GPT00143_bit0 -GPT00144_bit0 -GPT00145_bit0 -GPT00146_bit0 -GPT00147_bit0 -GPT00148_bit0 -GPT00149_bit0 -GPT00150_bit0 -GPT00151_bit0 -GPT00152_bit0 -GPT00153_bit0 -GPT00154_bit0 -GPT00155_bit0 -GPT00156_bit0 -GPT00157_bit0 -GPT00158_bit0 -GPT00159_bit0 -GPT00160_bit0 GPT00161_bit0 -GPT00162_bit0 -GPT00163_bit0 -GPT00164_bit0 -GPT00165_bit0 -GPT00166_bit0 -GPT00167_bit0 -GPT00168_bit0 -GPT00169_bit0 -GPT00170_bit0 -GPT00171_bit0 -GPT00172_bit0 -GPT00173_bit0 -GPT00174_bit0 -GPT00175_bit0 GPT00176_bit0 -GPT00177_bit0 -GPT00178_bit0 -GPT00179_bit0 -GPT00180_bit0 -GPT00181_bit0 GPT00182_bit0 -GPT00183_bit0 -GPT00184_bit0 -GPT00185_bit0 -GPT00186_bit0 -GPT00187_bit0 -GPT00188_bit0 GPT00189_bit0 -GPT00190_bit0 GPT00191_bit0 -GPT00192_bit0 -GPT00193_bit0 -GPT00194_bit0 -GPT00195_bit0 -GPT00196_bit0 -GPT00197_bit0 -GPT00198_bit0 -GPT00199_bit0 -GPT00200_bit0 -GPT00201_bit0 GPT00202_bit0 -GPT00203_bit0 -GPT00204_bit0 -GPT00205_bit0 -GPT00206_bit0 -GPT00207_bit0 -GPT00208_bit0 -GPT00209_bit0 -GPT00210_bit0 -GPT00211_bit0 -GPT00212_bit0 -GPT00213_bit0 GPT00214_bit0 -GPT00215_bit0 -GPT00216_bit0 -GPT00217_bit0 -GPT00218_bit0 -GPT00219_bit0 -GPT00220_bit0 GPT00221_bit0 -GPT00222_bit0 -GPT00223_bit0 -GPT00224_bit0 -GPT00225_bit0 -GPT00226_bit0 -GPT00227_bit0 -GPT00228_bit0 -GPT00229_bit0 -GPT00230_bit0 -GPT00231_bit0 -GPT00232_bit0 GPT00233_bit0 -GPT00234_bit0 -GPT00235_bit0 -GPT00236_bit0 -GPT00237_bit0 -GPT00238_bit0 -GPT00239_bit0 -GPT00240_bit0 -GPT00241_bit0 -GPT00242_bit0 -GPT00243_bit0 -GPT00244_bit0 -GPT00245_bit0 -GPT00246_bit0 -GPT00247_bit0 -GPT00248_bit0 -GPT00249_bit0 -GPT00250_bit0 -GPT00251_bit0 -GPT00252_bit0 -GPT00253_bit0 -GPT00254_bit0 -GPT00255_bit0 -GPT00256_bit0 -GPT00257_bit0 -GPT00258_bit0 -GPT00259_bit0 -GPT00260_bit0 -GPT00261_bit0 -GPT00262_bit0 -GPT00263_bit0 -GPT00264_bit0 -GPT00265_bit0 GPT00266_bit0 -GPT00267_bit0 -GPT00268_bit0 -GPT00269_bit0 -GPT00270_bit0 -GPT00271_bit0 -GPT00272_bit0 GPT00273_bit0 -GPT00274_bit0 -GPT00275_bit0 -GPT00276_bit0 -GPT00277_bit0 -GPT00278_bit0 -GPT00279_bit0 -GPT00280_bit0 -GPT00281_bit0 -GPT00282_bit0 -GPT00283_bit0 -GPT00284_bit0 GPT00285_bit0 -GPT00286_bit0 -GPT00287_bit0 -GPT00288_bit0 -GPT00289_bit0 -GPT00290_bit0 -GPT00291_bit0 -GPT00292_bit0 -GPT00293_bit0 -GPT00294_bit0 -GPT00295_bit0 -GPT00296_bit0 -GPT00297_bit0 -GPT00298_bit0 -GPT00299_bit0 -GPT00300_bit0 -GPT00301_bit0 -GPT00302_bit0 -GPT00303_bit0 -GPT00304_bit0 -GPT00305_bit0 -GPT00306_bit0 -GPT00307_bit0 -GPT00308_bit0 -GPT00309_bit0 -GPT00310_bit0 -GPT00311_bit0 -GPT00312_bit0 -GPT00313_bit0 -GPT00314_bit0 -GPT00315_bit0 -GPT00316_bit0 -GPT00317_bit0 -GPT00318_bit0 -GPT00319_bit0 -GPT00320_bit0 -GPT00321_bit0 -GPT00322_bit0 -GPT00323_bit0 -GPT00324_bit0 -GPT00325_bit0 GPT00326_bit0 -GPT00327_bit0 -GPT00328_bit0 -GPT00329_bit0 GPT00330_bit0 -GPT00331_bit0 -GPT00332_bit0 -GPT00333_bit0 -GPT00334_bit0 -GPT00335_bit0 -GPT00336_bit0 -GPT00337_bit0 -GPT00338_bit0 -GPT00339_bit0 -GPT00340_bit0 -GPT00341_bit0 -GPT00342_bit0 -GPT00343_bit0 -GPT00344_bit0 -GPT00345_bit0 GPT00346_bit0 -GPT00347_bit0 -GPT00348_bit0 -GPT00349_bit0 -GPT00350_bit0 -GPT00351_bit0 -GPT00352_bit0 -GPT00353_bit0 -GPT00354_bit0 -GPT00355_bit0 -GPT00356_bit0 -GPT00357_bit0 -GPT00358_bit0 -GPT00359_bit0 -GPT00360_bit0 -GPT00361_bit0 -GPT00362_bit0 -GPT00363_bit0 -GPT00364_bit0 -GPT00365_bit0 -GPT00366_bit0 -GPT00367_bit0 -GPT00368_bit0 -GPT00369_bit0 -GPT00370_bit0 -GPT00371_bit0 -GPT00372_bit0 -GPT00373_bit0 -GPT00374_bit0 -GPT00375_bit0 -GPT00376_bit0 -GPT00377_bit0 -GPT00378_bit0 -GPT00379_bit0 -GPT00380_bit0 -GPT00381_bit0 -GPT00382_bit0 -GPT00383_bit0 -GPT00384_bit0 -GPT00385_bit0 -GPT00386_bit0 -GPT00387_bit0 -GPT00388_bit0 -GPT00389_bit0 -GPT00390_bit0 -GPT00391_bit0 -GPT00392_bit0 -GPT00393_bit0 -GPT00394_bit0 -GPT00395_bit0 GPT00396_bit0 -GPT00397_bit0 -GPT00398_bit0 -GPT00399_bit0 -GPT00400_bit0 -GPT00401_bit0 -GPT00402_bit0 -GPT00403_bit0 -GPT00404_bit0 -GPT00405_bit0 -GPT00406_bit0 -GPT00407_bit0 -GPT00408_bit0 -GPT00409_bit0 -GPT00410_bit0 -GPT00411_bit0 -GPT00412_bit0 -GPT00413_bit0 -GPT00414_bit0 -GPT00415_bit0 -GPT00416_bit0 -GPT00417_bit0 -GPT00418_bit0 -GPT00419_bit0 -GPT00420_bit0 GPT00421_bit0 -GPT00422_bit0 -GPT00423_bit0 -GPT00424_bit0 -GPT00425_bit0 -GPT00426_bit0 -GPT00427_bit0 -GPT00428_bit0 -GPT00429_bit0 -GPT00430_bit0 -GPT00431_bit0 -GPT00432_bit0 -GPT00433_bit0 -GPT00434_bit0 -GPT00435_bit0 -GPT00436_bit0 -GPT00437_bit0 -GPT00438_bit0 -GPT00439_bit0 -GPT00440_bit0 -GPT00441_bit0 -GPT00442_bit0 -GPT00443_bit0 -GPT00444_bit0 -GPT00445_bit0 -GPT00446_bit0 -GPT00447_bit0 -GPT00448_bit0 -GPT00449_bit0 -GPT00450_bit0 -GPT00451_bit0 -GPT00452_bit0 -GPT00453_bit0 -GPT00454_bit0 -GPT00455_bit0 -GPT00456_bit0 -GPT00457_bit0 -GPT00458_bit0 -GPT00459_bit0 -GPT00460_bit0 -GPT00461_bit0 -GPT00462_bit0 -GPT00463_bit0 -GPT00464_bit0 -GPT00465_bit0 -GPT00466_bit0 -GPT00467_bit0 -GPT00468_bit0 -GPT00469_bit0 -GPT00470_bit0 -GPT00471_bit0 -GPT00472_bit0 -GPT00473_bit0 -GPT00474_bit0 -GPT00475_bit0 -GPT00476_bit0 GPT00477_bit0 -GPT00478_bit0 -GPT00479_bit0 -GPT00480_bit0 -GPT00481_bit0 -GPT00482_bit0 -GPT00483_bit0 -GPT00484_bit0 -GPT00485_bit0 -GPT00486_bit0 -GPT00487_bit0 -GPT00488_bit0 -GPT00489_bit0 -GPT00490_bit0 -GPT00491_bit0 -GPT00492_bit0 -GPT00493_bit0 -GPT00494_bit0 -GPT00495_bit0 -GPT00496_bit0 -GPT00497_bit0 -GPT00498_bit0 -GPT00499_bit0 -GPT00500_bit0 -GPT00501_bit0 -GPT00502_bit0 -GPT00503_bit0 -GPT00504_bit0 -GPT00505_bit0 -GPT00506_bit0 -GPT00507_bit0 -GPT00508_bit0 -GPT00509_bit0 -GPT00510_bit0 GPT00511_bit0 -GPT00512_bit0 -GPT00513_bit0 -GPT00514_bit0 -GPT00515_bit0 -GPT00516_bit0 -GPT00517_bit0 -GPT00518_bit0 ECAR0001_bit0 -ECAR0002_bit0 -ECAR0003_bit0 ECAR0004_bit0 -ECAR0005_bit0 ECAR0006_bit0 ECAR0007_bit0 -ECAR0008_bit0 -ECAR0009_bit0 ECAR0010_bit0 ECAR0011_bit0 -ECAR0012_bit0 -ECAR0013_bit0 -ECAR0014_bit0 ECAR0015_bit0 ECAR0016_bit0 -ECAR0017_bit0 ECAR0018_bit0 -ECAR0019_bit0 -ECAR0020_bit0 -ECAR0021_bit0 ECAR0022_bit0 ECAR0023_bit0 -ECAR0024_bit0 ECAR0025_bit0 -ECAR0026_bit0 -ECAR0027_bit0 ECAR0028_bit0 ECAR0029_bit0 -ECAR0030_bit0 -ECAR0031_bit0 -ECAR0032_bit0 ECAR0033_bit0 ECAR0034_bit0 -ECAR0035_bit0 ECAR0036_bit0 ECAR0037_bit0 ECAR0038_bit0 -ECAR0039_bit0 ECAR0040_bit0 -ECAR0041_bit0 -ECAR0042_bit0 -ECAR0043_bit0 -ECAR0044_bit0 -ECAR0045_bit0 -ECAR0046_bit0 ECAR0047_bit0 -ECAR0048_bit0 ECAR0049_bit0 ECAR0050_bit0 -ECAR0051_bit0 -ECAR0052_bit0 -ECAR0053_bit0 -ECAR0054_bit0
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/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860070622 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 41 3 40 18 0 23 0 [pid=6808] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.0032 s] Raw data (loadavg): 0.93 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 901 0 0 0 956 17 0 0 25 0 1 0 1860070622 5296128 867 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1293 867 566 18 0 1275 0 [pid=6808] vsize: 5172 Current children cumulated CPU time (s) 9.73 Current children cumulated vsize (Kb) 5172 [startup+20.0038 s] Raw data (loadavg): 0.94 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 914 0 0 0 1930 25 0 0 25 0 1 0 1860070622 5296128 880 4294967295 134512640 134578447 3221224624 3221223504 134527757 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1293 880 566 18 0 1275 0 [pid=6808] vsize: 5172 Current children cumulated CPU time (s) 19.55 Current children cumulated vsize (Kb) 5172 [startup+30.0044 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1024 0 0 0 2903 34 0 0 25 0 1 0 1860070622 5697536 990 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1391 990 566 18 0 1373 0 [pid=6808] vsize: 5564 Current children cumulated CPU time (s) 29.37 Current children cumulated vsize (Kb) 5564 [startup+40.005 s] Raw data (loadavg): 0.96 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1024 0 0 0 3881 43 0 0 25 0 1 0 1860070622 5697536 990 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1391 990 566 18 0 1373 0 [pid=6808] vsize: 5564 Current children cumulated CPU time (s) 39.24 Current children cumulated vsize (Kb) 5564 [startup+50.0056 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1074 0 0 0 4861 49 0 0 25 0 1 0 1860070622 5959680 1040 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1455 1040 566 18 0 1437 0 [pid=6808] vsize: 5820 Current children cumulated CPU time (s) 49.1 Current children cumulated vsize (Kb) 5820 [startup+60.0052 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1122 0 0 0 5840 57 0 0 25 0 1 0 1860070622 6086656 1088 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1486 1088 566 18 0 1468 0 [pid=6808] vsize: 5944 Current children cumulated CPU time (s) 58.97 Current children cumulated vsize (Kb) 5944 [startup+70.0058 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1122 0 0 0 6807 68 0 0 25 0 1 0 1860070622 6086656 1088 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1486 1088 566 18 0 1468 0 [pid=6808] vsize: 5944 Current children cumulated CPU time (s) 68.75 Current children cumulated vsize (Kb) 5944 [startup+80.0064 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1166 0 0 0 7789 74 0 0 25 0 1 0 1860070622 6348800 1132 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1550 1132 566 18 0 1532 0 [pid=6808] vsize: 6200 Current children cumulated CPU time (s) 78.63 Current children cumulated vsize (Kb) 6200 [startup+90.006 s] Raw data (loadavg): 0.98 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1201 0 0 0 8766 84 0 0 25 0 1 0 1860070622 6479872 1167 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1582 1167 566 18 0 1564 0 [pid=6808] vsize: 6328 Current children cumulated CPU time (s) 88.5 Current children cumulated vsize (Kb) 6328 [startup+100.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1243 0 0 0 9745 92 0 0 25 0 1 0 1860070622 6574080 1209 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1605 1209 566 18 0 1587 0 [pid=6808] vsize: 6420 Current children cumulated CPU time (s) 98.37 Current children cumulated vsize (Kb) 6420 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1248 0 0 0 10729 98 0 0 25 0 1 0 1860070622 6709248 1214 4294967295 134512640 134578447 3221224624 3221223504 134518522 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1638 1214 566 18 0 1620 0 [pid=6808] vsize: 6552 Current children cumulated CPU time (s) 108.27 Current children cumulated vsize (Kb) 6552 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1248 0 0 0 11710 104 0 0 25 0 1 0 1860070622 6688768 1214 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1633 1214 566 18 0 1615 0 [pid=6808] vsize: 6532 Current children cumulated CPU time (s) 118.14 Current children cumulated vsize (Kb) 6532 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1265 0 0 0 12692 110 0 0 25 0 1 0 1860070622 6684672 1231 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1632 1231 566 18 0 1614 0 [pid=6808] vsize: 6528 Current children cumulated CPU time (s) 128.02 Current children cumulated vsize (Kb) 6528 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1265 0 0 0 13675 115 0 0 25 0 1 0 1860070622 6684672 1231 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1632 1231 566 18 0 1614 0 [pid=6808] vsize: 6528 Current children cumulated CPU time (s) 137.9 Current children cumulated vsize (Kb) 6528 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1265 0 0 0 14654 123 0 0 25 0 1 0 1860070622 6684672 1231 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1632 1231 566 18 0 1614 0 [pid=6808] vsize: 6528 Current children cumulated CPU time (s) 147.77 Current children cumulated vsize (Kb) 6528 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1265 0 0 0 15636 130 0 0 25 0 1 0 1860070622 6684672 1231 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1632 1231 566 18 0 1614 0 [pid=6808] vsize: 6528 Current children cumulated CPU time (s) 157.66 Current children cumulated vsize (Kb) 6528 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1265 0 0 0 16615 139 0 0 25 0 1 0 1860070622 6684672 1231 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1632 1231 566 18 0 1614 0 [pid=6808] vsize: 6528 Current children cumulated CPU time (s) 167.54 Current children cumulated vsize (Kb) 6528 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1265 0 0 0 17600 144 0 0 25 0 1 0 1860070622 6684672 1231 4294967295 134512640 134578447 3221224624 3221223456 134528429 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1632 1231 566 18 0 1614 0 [pid=6808] vsize: 6528 Current children cumulated CPU time (s) 177.44 Current children cumulated vsize (Kb) 6528 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1265 0 0 0 18585 149 0 0 25 0 1 0 1860070622 6684672 1231 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1632 1231 566 18 0 1614 0 [pid=6808] vsize: 6528 Current children cumulated CPU time (s) 187.34 Current children cumulated vsize (Kb) 6528 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1303 0 0 0 19571 154 0 0 25 0 1 0 1860070622 6815744 1269 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1664 1269 566 18 0 1646 0 [pid=6808] vsize: 6656 Current children cumulated CPU time (s) 197.25 Current children cumulated vsize (Kb) 6656 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 20550 162 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 207.12 Current children cumulated vsize (Kb) 6784 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 21529 169 0 0 22 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223296 134522790 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 216.98 Current children cumulated vsize (Kb) 6784 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1320 0 0 0 22508 176 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 226.84 Current children cumulated vsize (Kb) 6784 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 23487 183 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 236.7 Current children cumulated vsize (Kb) 6784 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 24468 190 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 246.58 Current children cumulated vsize (Kb) 6784 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1320 0 0 0 25447 197 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 256.44 Current children cumulated vsize (Kb) 6784 [startup+270.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 26422 204 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 266.26 Current children cumulated vsize (Kb) 6784 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 27403 212 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 276.15 Current children cumulated vsize (Kb) 6784 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 28380 220 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 286 Current children cumulated vsize (Kb) 6784 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1320 0 0 0 29364 227 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 295.91 Current children cumulated vsize (Kb) 6784 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 30350 232 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 305.82 Current children cumulated vsize (Kb) 6784 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 31339 237 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527768 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 315.76 Current children cumulated vsize (Kb) 6784 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 32326 243 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 325.69 Current children cumulated vsize (Kb) 6784 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1320 0 0 0 33310 248 0 0 25 0 1 0 1860070622 6946816 1286 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1286 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 335.58 Current children cumulated vsize (Kb) 6784 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1324 0 0 0 34295 254 0 0 25 0 1 0 1860070622 6946816 1290 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1290 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 345.49 Current children cumulated vsize (Kb) 6784 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1324 0 0 0 35281 259 0 0 25 0 1 0 1860070622 6946816 1290 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1696 1290 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 355.4 Current children cumulated vsize (Kb) 6784 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1324 0 0 0 36266 265 0 0 25 0 1 0 1860070622 6946816 1290 4294967295 134512640 134578447 3221224624 3221223504 134528068 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1290 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 365.31 Current children cumulated vsize (Kb) 6784 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1324 0 0 0 37252 272 0 0 25 0 1 0 1860070622 6946816 1290 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1290 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 375.24 Current children cumulated vsize (Kb) 6784 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1335 0 0 0 38238 276 0 0 25 0 1 0 1860070622 6946816 1301 4294967295 134512640 134578447 3221224624 3221223536 134557627 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1696 1301 566 18 0 1678 0 [pid=6808] vsize: 6784 Current children cumulated CPU time (s) 385.14 Current children cumulated vsize (Kb) 6784 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1369 0 0 0 39223 281 0 0 25 0 1 0 1860070622 7196672 1335 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1757 1335 566 18 0 1739 0 [pid=6808] vsize: 7028 Current children cumulated CPU time (s) 395.04 Current children cumulated vsize (Kb) 7028 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1385 0 0 0 40206 288 0 0 25 0 1 0 1860070622 7032832 1322 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1717 1322 566 18 0 1699 0 [pid=6808] vsize: 6868 Current children cumulated CPU time (s) 404.94 Current children cumulated vsize (Kb) 6868 [startup+420.013 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1397 0 0 0 41179 299 0 0 25 0 1 0 1860070622 7168000 1334 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1750 1334 566 18 0 1732 0 [pid=6808] vsize: 7000 Current children cumulated CPU time (s) 414.78 Current children cumulated vsize (Kb) 7000 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1539 0 0 0 42168 303 0 0 25 0 1 0 1860070622 7684096 1476 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1876 1476 566 18 0 1858 0 [pid=6808] vsize: 7504 Current children cumulated CPU time (s) 424.71 Current children cumulated vsize (Kb) 7504 [startup+440.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1539 0 0 0 43157 307 0 0 25 0 1 0 1860070622 7684096 1476 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1876 1476 566 18 0 1858 0 [pid=6808] vsize: 7504 Current children cumulated CPU time (s) 434.64 Current children cumulated vsize (Kb) 7504 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1539 0 0 0 44142 312 0 0 25 0 1 0 1860070622 7262208 1378 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1773 1378 566 18 0 1755 0 [pid=6808] vsize: 7092 Current children cumulated CPU time (s) 444.54 Current children cumulated vsize (Kb) 7092 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1539 0 0 0 45127 318 0 0 25 0 1 0 1860070622 7258112 1377 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1772 1377 566 18 0 1754 0 [pid=6808] vsize: 7088 Current children cumulated CPU time (s) 454.45 Current children cumulated vsize (Kb) 7088 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1563 0 0 0 46108 325 0 0 25 0 1 0 1860070622 7380992 1399 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1802 1399 566 18 0 1784 0 [pid=6808] vsize: 7208 Current children cumulated CPU time (s) 464.33 Current children cumulated vsize (Kb) 7208 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1563 0 0 0 47094 332 0 0 25 0 1 0 1860070622 7380992 1399 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1802 1399 566 18 0 1784 0 [pid=6808] vsize: 7208 Current children cumulated CPU time (s) 474.26 Current children cumulated vsize (Kb) 7208 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1636 0 0 0 48080 336 0 0 25 0 1 0 1860070622 7774208 1472 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1898 1472 566 18 0 1880 0 [pid=6808] vsize: 7592 Current children cumulated CPU time (s) 484.16 Current children cumulated vsize (Kb) 7592 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1653 0 0 0 49063 341 0 0 25 0 1 0 1860070622 7774208 1489 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1898 1489 566 18 0 1880 0 [pid=6808] vsize: 7592 Current children cumulated CPU time (s) 494.04 Current children cumulated vsize (Kb) 7592 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1653 0 0 0 50047 348 0 0 25 0 1 0 1860070622 7774208 1489 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1898 1489 566 18 0 1880 0 [pid=6808] vsize: 7592 Current children cumulated CPU time (s) 503.95 Current children cumulated vsize (Kb) 7592 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1653 0 0 0 51032 353 0 0 25 0 1 0 1860070622 7774208 1489 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1898 1489 566 18 0 1880 0 [pid=6808] vsize: 7592 Current children cumulated CPU time (s) 513.85 Current children cumulated vsize (Kb) 7592 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1679 0 0 0 52022 356 0 0 25 0 1 0 1860070622 7905280 1515 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1930 1515 566 18 0 1912 0 [pid=6808] vsize: 7720 Current children cumulated CPU time (s) 523.78 Current children cumulated vsize (Kb) 7720 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1721 0 0 0 53009 361 0 0 25 0 1 0 1860070622 8040448 1557 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1963 1557 566 18 0 1945 0 [pid=6808] vsize: 7852 Current children cumulated CPU time (s) 533.7 Current children cumulated vsize (Kb) 7852 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1722 0 0 0 53992 367 0 0 25 0 1 0 1860070622 8040448 1558 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1963 1558 566 18 0 1945 0 [pid=6808] vsize: 7852 Current children cumulated CPU time (s) 543.59 Current children cumulated vsize (Kb) 7852 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1722 0 0 0 54980 372 0 0 25 0 1 0 1860070622 8040448 1558 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1963 1558 566 18 0 1945 0 [pid=6808] vsize: 7852 Current children cumulated CPU time (s) 553.52 Current children cumulated vsize (Kb) 7852 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1722 0 0 0 55969 377 0 0 25 0 1 0 1860070622 8032256 1558 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1961 1558 566 18 0 1943 0 [pid=6808] vsize: 7844 Current children cumulated CPU time (s) 563.46 Current children cumulated vsize (Kb) 7844 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1723 0 0 0 56954 382 0 0 25 0 1 0 1860070622 8028160 1559 4294967295 134512640 134578447 3221224624 3221223280 1075288483 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1960 1559 566 18 0 1942 0 [pid=6808] vsize: 7840 Current children cumulated CPU time (s) 573.36 Current children cumulated vsize (Kb) 7840 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 57938 387 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 583.25 Current children cumulated vsize (Kb) 7972 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 58921 393 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 593.14 Current children cumulated vsize (Kb) 7972 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 59904 399 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 603.03 Current children cumulated vsize (Kb) 7972 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 60887 405 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 612.92 Current children cumulated vsize (Kb) 7972 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 61871 411 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 622.82 Current children cumulated vsize (Kb) 7972 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 62859 415 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223280 1075288441 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 632.74 Current children cumulated vsize (Kb) 7972 [startup+650.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 63843 422 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223228 1075288589 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 642.65 Current children cumulated vsize (Kb) 7972 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 64829 427 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 652.56 Current children cumulated vsize (Kb) 7972 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 65809 434 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 662.43 Current children cumulated vsize (Kb) 7972 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 66793 440 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 672.33 Current children cumulated vsize (Kb) 7972 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 67774 447 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 682.21 Current children cumulated vsize (Kb) 7972 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 68754 455 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 692.09 Current children cumulated vsize (Kb) 7972 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 69735 461 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223456 134527053 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 701.96 Current children cumulated vsize (Kb) 7972 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1740 0 0 0 70717 468 0 0 25 0 1 0 1860070622 8163328 1576 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1993 1576 566 18 0 1975 0 [pid=6808] vsize: 7972 Current children cumulated CPU time (s) 711.85 Current children cumulated vsize (Kb) 7972 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 71699 474 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 721.73 Current children cumulated vsize (Kb) 7812 [startup+740.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1740 0 0 0 72680 481 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 731.61 Current children cumulated vsize (Kb) 7812 [startup+750.017 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1740 0 0 0 73663 486 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 741.49 Current children cumulated vsize (Kb) 7812 [startup+760.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 74641 495 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 751.36 Current children cumulated vsize (Kb) 7812 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 75618 504 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 761.22 Current children cumulated vsize (Kb) 7812 [startup+780.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 76597 512 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 771.09 Current children cumulated vsize (Kb) 7812 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 77578 519 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 780.97 Current children cumulated vsize (Kb) 7812 [startup+800.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 78559 526 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 790.85 Current children cumulated vsize (Kb) 7812 [startup+810.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 79531 535 0 0 25 0 1 0 1860070622 7999488 1558 4294967295 134512640 134578447 3221224624 3221223456 134528492 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1953 1558 566 18 0 1935 0 [pid=6808] vsize: 7812 Current children cumulated CPU time (s) 800.66 Current children cumulated vsize (Kb) 7812 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 80507 543 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 810.5 Current children cumulated vsize (Kb) 7800 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 81486 550 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 820.36 Current children cumulated vsize (Kb) 7800 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 82469 557 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 830.26 Current children cumulated vsize (Kb) 7800 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 83454 562 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 840.16 Current children cumulated vsize (Kb) 7800 [startup+860.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 84442 567 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527810 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 850.09 Current children cumulated vsize (Kb) 7800 [startup+870.019 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1740 0 0 0 85428 572 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 860 Current children cumulated vsize (Kb) 7800 [startup+880.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 86411 578 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 869.89 Current children cumulated vsize (Kb) 7800 [startup+890.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 87395 585 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 879.8 Current children cumulated vsize (Kb) 7800 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 88379 590 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 889.69 Current children cumulated vsize (Kb) 7800 [startup+910.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 89367 596 0 0 18 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 899.63 Current children cumulated vsize (Kb) 7800 [startup+920.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 90354 600 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 909.54 Current children cumulated vsize (Kb) 7800 [startup+930.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 91338 608 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 919.46 Current children cumulated vsize (Kb) 7800 [startup+940.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1740 0 0 0 92327 612 0 0 25 0 1 0 1860070622 7987200 1555 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 1950 1555 566 18 0 1932 0 [pid=6808] vsize: 7800 Current children cumulated CPU time (s) 929.39 Current children cumulated vsize (Kb) 7800 [startup+950.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1874 0 0 0 93310 618 0 0 25 0 1 0 1860070622 8634368 1689 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2108 1689 566 18 0 2090 0 [pid=6808] vsize: 8432 Current children cumulated CPU time (s) 939.28 Current children cumulated vsize (Kb) 8432 [startup+960.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1874 0 0 0 94294 624 0 0 25 0 1 0 1860070622 8474624 1674 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2069 1674 566 18 0 2051 0 [pid=6808] vsize: 8276 Current children cumulated CPU time (s) 949.18 Current children cumulated vsize (Kb) 8276 [startup+970.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1874 0 0 0 95281 630 0 0 25 0 1 0 1860070622 8421376 1661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2056 1661 566 18 0 2038 0 [pid=6808] vsize: 8224 Current children cumulated CPU time (s) 959.11 Current children cumulated vsize (Kb) 8224 [startup+980.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1895 0 0 0 96268 635 0 0 25 0 1 0 1860070622 8548352 1682 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2087 1682 566 18 0 2069 0 [pid=6808] vsize: 8348 Current children cumulated CPU time (s) 969.03 Current children cumulated vsize (Kb) 8348 [startup+990.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1904 0 0 0 97257 639 0 0 25 0 1 0 1860070622 8548352 1691 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2087 1691 566 18 0 2069 0 [pid=6808] vsize: 8348 Current children cumulated CPU time (s) 978.96 Current children cumulated vsize (Kb) 8348 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1925 0 0 0 98248 642 0 0 25 0 1 0 1860070622 8679424 1712 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2119 1712 566 18 0 2101 0 [pid=6808] vsize: 8476 Current children cumulated CPU time (s) 988.9 Current children cumulated vsize (Kb) 8476 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1925 0 0 0 99236 647 0 0 25 0 1 0 1860070622 8572928 1698 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2093 1698 566 18 0 2075 0 [pid=6808] vsize: 8372 Current children cumulated CPU time (s) 998.83 Current children cumulated vsize (Kb) 8372 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1925 0 0 0 100225 651 0 0 25 0 1 0 1860070622 8572928 1698 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2093 1698 566 18 0 2075 0 [pid=6808] vsize: 8372 Current children cumulated CPU time (s) 1008.76 Current children cumulated vsize (Kb) 8372 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1925 0 0 0 101213 655 0 0 25 0 1 0 1860070622 8572928 1698 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2093 1698 566 18 0 2075 0 [pid=6808] vsize: 8372 Current children cumulated CPU time (s) 1018.68 Current children cumulated vsize (Kb) 8372 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1925 0 0 0 102202 659 0 0 25 0 1 0 1860070622 8572928 1698 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2093 1698 566 18 0 2075 0 [pid=6808] vsize: 8372 Current children cumulated CPU time (s) 1028.61 Current children cumulated vsize (Kb) 8372 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1925 0 0 0 103186 665 0 0 25 0 1 0 1860070622 8572928 1698 4294967295 134512640 134578447 3221224624 3221223536 134557415 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2093 1698 566 18 0 2075 0 [pid=6808] vsize: 8372 Current children cumulated CPU time (s) 1038.51 Current children cumulated vsize (Kb) 8372 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1925 0 0 0 104176 669 0 0 25 0 1 0 1860070622 8572928 1698 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2093 1698 566 18 0 2075 0 [pid=6808] vsize: 8372 Current children cumulated CPU time (s) 1048.45 Current children cumulated vsize (Kb) 8372 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1932 0 0 0 105167 673 0 0 25 0 1 0 1860070622 8699904 1705 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2124 1705 566 18 0 2106 0 [pid=6808] vsize: 8496 Current children cumulated CPU time (s) 1058.4 Current children cumulated vsize (Kb) 8496 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1934 0 0 0 106157 677 0 0 25 0 1 0 1860070622 8699904 1707 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2124 1707 566 18 0 2106 0 [pid=6808] vsize: 8496 Current children cumulated CPU time (s) 1068.34 Current children cumulated vsize (Kb) 8496 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 107148 681 0 0 25 0 1 0 1860070622 8826880 1734 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2155 1734 566 18 0 2137 0 [pid=6808] vsize: 8620 Current children cumulated CPU time (s) 1078.29 Current children cumulated vsize (Kb) 8620 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 108140 685 0 0 25 0 1 0 1860070622 8826880 1734 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2155 1734 566 18 0 2137 0 [pid=6808] vsize: 8620 Current children cumulated CPU time (s) 1088.25 Current children cumulated vsize (Kb) 8620 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) T 6807 6808 4419 0 -1 0 1961 0 0 0 109127 688 0 0 25 0 1 0 1860070622 8785920 1734 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2145 1734 566 18 0 2127 0 [pid=6808] vsize: 8580 Current children cumulated CPU time (s) 1098.15 Current children cumulated vsize (Kb) 8580 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 110116 692 0 0 25 0 1 0 1860070622 8785920 1734 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6808/statm): 2145 1734 566 18 0 2127 0 [pid=6808] vsize: 8580 Current children cumulated CPU time (s) 1108.08 Current children cumulated vsize (Kb) 8580 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 111106 696 0 0 20 0 1 0 1860070622 8769536 1734 4294967295 134512640 134578447 3221224624 3221223536 134557043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2141 1734 566 18 0 2123 0 [pid=6808] vsize: 8564 Current children cumulated CPU time (s) 1118.02 Current children cumulated vsize (Kb) 8564 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 112093 701 0 0 25 0 1 0 1860070622 8761344 1734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2139 1734 566 18 0 2121 0 [pid=6808] vsize: 8556 Current children cumulated CPU time (s) 1127.94 Current children cumulated vsize (Kb) 8556 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 113080 705 0 0 25 0 1 0 1860070622 8761344 1734 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2139 1734 566 18 0 2121 0 [pid=6808] vsize: 8556 Current children cumulated CPU time (s) 1137.85 Current children cumulated vsize (Kb) 8556 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 114068 710 0 0 25 0 1 0 1860070622 8761344 1734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2139 1734 566 18 0 2121 0 [pid=6808] vsize: 8556 Current children cumulated CPU time (s) 1147.78 Current children cumulated vsize (Kb) 8556 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 115058 713 0 0 25 0 1 0 1860070622 8749056 1734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2136 1734 566 18 0 2118 0 [pid=6808] vsize: 8544 Current children cumulated CPU time (s) 1157.71 Current children cumulated vsize (Kb) 8544 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 116046 718 0 0 25 0 1 0 1860070622 8577024 1699 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2094 1699 566 18 0 2076 0 [pid=6808] vsize: 8376 Current children cumulated CPU time (s) 1167.64 Current children cumulated vsize (Kb) 8376 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1961 0 0 0 117035 722 0 0 25 0 1 0 1860070622 8577024 1699 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2094 1699 566 18 0 2076 0 [pid=6808] vsize: 8376 Current children cumulated CPU time (s) 1177.57 Current children cumulated vsize (Kb) 8376 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 6808 Raw data (/proc/6808/stat): 6808 (Pueblo) R 6807 6808 4419 0 -1 0 1967 0 0 0 118023 726 0 0 25 0 1 0 1860070622 8708096 1705 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6808/statm): 2126 1705 566 18 0 2108 0 [pid=6808] vsize: 8504 Current children cumulated CPU time (s) 1187.49 Current children cumulated vsize (Kb) 8504 One traced child (pid=6808) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1201.56 CPU time (s): 1189.02 CPU user time (s): 1181.74 CPU system time (s): 7.27189 CPU usage (%): 98.956 Max. virtual memory (cumulated for all children) (Kb): 8620
Verifier: OK 127217