Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.18 |
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 wulflinc7 THE 2005-09-20 15:27:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5193 boxname=wulflinc7 idbench=505 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 098fe473d82d5f7d4121673eb775be76 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-cracpb1.opb REAL COMMAND: Pueblo IDLAUNCH: 5193 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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: 838836 kB Buffers: 31980 kB Cached: 138500 kB SwapCached: 744 kB Active: 74956 kB Inactive: 98116 kB HighTotal: 131008 kB HighFree: 3528 kB LowTotal: 903652 kB LowFree: 835308 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5676 kB Slab: 17076 kB Committed_AS: 64136 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 15:47:41 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 5193 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/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801410312 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 41 3 40 18 0 23 0 [pid=18706] 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.71 0.72 0.80 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 901 0 0 0 953 17 0 0 25 0 1 0 1801410312 5296128 867 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1293 867 566 18 0 1275 0 [pid=18706] vsize: 5172 Current children cumulated CPU time (s) 9.7 Current children cumulated vsize (Kb) 5172 [startup+20.0038 s] Raw data (loadavg): 0.75 0.73 0.80 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 914 0 0 0 1922 27 0 0 25 0 1 0 1801410312 5296128 880 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1293 880 566 18 0 1275 0 [pid=18706] vsize: 5172 Current children cumulated CPU time (s) 19.49 Current children cumulated vsize (Kb) 5172 [startup+30.0045 s] Raw data (loadavg): 0.79 0.74 0.81 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1024 0 0 0 2897 36 0 0 25 0 1 0 1801410312 5697536 990 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1391 990 566 18 0 1373 0 [pid=18706] vsize: 5564 Current children cumulated CPU time (s) 29.33 Current children cumulated vsize (Kb) 5564 [startup+40.0041 s] Raw data (loadavg): 0.82 0.74 0.81 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1024 0 0 0 3874 44 0 0 25 0 1 0 1801410312 5697536 990 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1391 990 566 18 0 1373 0 [pid=18706] vsize: 5564 Current children cumulated CPU time (s) 39.18 Current children cumulated vsize (Kb) 5564 [startup+50.0048 s] Raw data (loadavg): 0.85 0.75 0.81 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1074 0 0 0 4850 52 0 0 25 0 1 0 1801410312 5959680 1040 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1455 1040 566 18 0 1437 0 [pid=18706] vsize: 5820 Current children cumulated CPU time (s) 49.02 Current children cumulated vsize (Kb) 5820 [startup+60.0044 s] Raw data (loadavg): 0.87 0.76 0.81 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1122 0 0 0 5830 60 0 0 25 0 1 0 1801410312 6086656 1088 4294967295 134512640 134578447 3221224624 3221223472 134520230 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1486 1088 566 18 0 1468 0 [pid=18706] vsize: 5944 Current children cumulated CPU time (s) 58.9 Current children cumulated vsize (Kb) 5944 [startup+70.005 s] Raw data (loadavg): 0.89 0.77 0.81 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1122 0 0 0 6799 72 0 0 25 0 1 0 1801410312 6086656 1088 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1486 1088 566 18 0 1468 0 [pid=18706] vsize: 5944 Current children cumulated CPU time (s) 68.71 Current children cumulated vsize (Kb) 5944 [startup+80.0056 s] Raw data (loadavg): 0.91 0.77 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1166 0 0 0 7777 81 0 0 25 0 1 0 1801410312 6348800 1132 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1550 1132 566 18 0 1532 0 [pid=18706] vsize: 6200 Current children cumulated CPU time (s) 78.58 Current children cumulated vsize (Kb) 6200 [startup+90.0053 s] Raw data (loadavg): 0.92 0.78 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1201 0 0 0 8755 89 0 0 25 0 1 0 1801410312 6479872 1167 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1582 1167 566 18 0 1564 0 [pid=18706] vsize: 6328 Current children cumulated CPU time (s) 88.44 Current children cumulated vsize (Kb) 6328 [startup+100.006 s] Raw data (loadavg): 0.93 0.79 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1243 0 0 0 9736 98 0 0 25 0 1 0 1801410312 6574080 1209 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1605 1209 566 18 0 1587 0 [pid=18706] vsize: 6420 Current children cumulated CPU time (s) 98.34 Current children cumulated vsize (Kb) 6420 [startup+110.007 s] Raw data (loadavg): 0.94 0.79 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1248 0 0 0 10718 104 0 0 25 0 1 0 1801410312 6709248 1214 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1638 1214 566 18 0 1620 0 [pid=18706] vsize: 6552 Current children cumulated CPU time (s) 108.22 Current children cumulated vsize (Kb) 6552 [startup+120.007 s] Raw data (loadavg): 0.95 0.80 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1248 0 0 0 11699 111 0 0 25 0 1 0 1801410312 6688768 1214 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1633 1214 566 18 0 1615 0 [pid=18706] vsize: 6532 Current children cumulated CPU time (s) 118.1 Current children cumulated vsize (Kb) 6532 [startup+130.008 s] Raw data (loadavg): 0.96 0.81 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1265 0 0 0 12684 116 0 0 25 0 1 0 1801410312 6684672 1231 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1632 1231 566 18 0 1614 0 [pid=18706] vsize: 6528 Current children cumulated CPU time (s) 128 Current children cumulated vsize (Kb) 6528 [startup+140.008 s] Raw data (loadavg): 0.96 0.81 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1265 0 0 0 13665 122 0 0 25 0 1 0 1801410312 6684672 1231 4294967295 134512640 134578447 3221224624 3221223228 1075288814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1632 1231 566 18 0 1614 0 [pid=18706] vsize: 6528 Current children cumulated CPU time (s) 137.87 Current children cumulated vsize (Kb) 6528 [startup+150.009 s] Raw data (loadavg): 0.97 0.82 0.82 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1265 0 0 0 14647 129 0 0 25 0 1 0 1801410312 6684672 1231 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1632 1231 566 18 0 1614 0 [pid=18706] vsize: 6528 Current children cumulated CPU time (s) 147.76 Current children cumulated vsize (Kb) 6528 [startup+160.01 s] Raw data (loadavg): 0.97 0.82 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1265 0 0 0 15629 136 0 0 25 0 1 0 1801410312 6684672 1231 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1632 1231 566 18 0 1614 0 [pid=18706] vsize: 6528 Current children cumulated CPU time (s) 157.65 Current children cumulated vsize (Kb) 6528 [startup+170.011 s] Raw data (loadavg): 0.98 0.83 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1265 0 0 0 16605 145 0 0 25 0 1 0 1801410312 6684672 1231 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1632 1231 566 18 0 1614 0 [pid=18706] vsize: 6528 Current children cumulated CPU time (s) 167.5 Current children cumulated vsize (Kb) 6528 [startup+180.011 s] Raw data (loadavg): 0.98 0.83 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1265 0 0 0 17587 150 0 0 25 0 1 0 1801410312 6684672 1231 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1632 1231 566 18 0 1614 0 [pid=18706] vsize: 6528 Current children cumulated CPU time (s) 177.37 Current children cumulated vsize (Kb) 6528 [startup+190.011 s] Raw data (loadavg): 0.98 0.84 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1265 0 0 0 18571 156 0 0 25 0 1 0 1801410312 6684672 1231 4294967295 134512640 134578447 3221224624 3221223456 134528368 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1632 1231 566 18 0 1614 0 [pid=18706] vsize: 6528 Current children cumulated CPU time (s) 187.27 Current children cumulated vsize (Kb) 6528 [startup+200.011 s] Raw data (loadavg): 0.98 0.84 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1284 0 0 0 19555 162 0 0 25 0 1 0 1801410312 6815744 1250 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1664 1250 566 18 0 1646 0 [pid=18706] vsize: 6656 Current children cumulated CPU time (s) 197.17 Current children cumulated vsize (Kb) 6656 [startup+210.011 s] Raw data (loadavg): 0.99 0.85 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 20536 169 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 207.05 Current children cumulated vsize (Kb) 6784 [startup+220.012 s] Raw data (loadavg): 0.99 0.85 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 21511 177 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 216.88 Current children cumulated vsize (Kb) 6784 [startup+230.012 s] Raw data (loadavg): 0.99 0.86 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 22487 186 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 226.73 Current children cumulated vsize (Kb) 6784 [startup+240.012 s] Raw data (loadavg): 0.99 0.86 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 23469 192 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 236.61 Current children cumulated vsize (Kb) 6784 [startup+250.012 s] Raw data (loadavg): 0.99 0.86 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 24447 200 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 246.47 Current children cumulated vsize (Kb) 6784 [startup+260.013 s] Raw data (loadavg): 0.99 0.87 0.83 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 25425 209 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 256.34 Current children cumulated vsize (Kb) 6784 [startup+270.014 s] Raw data (loadavg): 0.99 0.87 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 26402 218 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223552 134552645 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 266.2 Current children cumulated vsize (Kb) 6784 [startup+280.014 s] Raw data (loadavg): 0.99 0.88 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 27374 228 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 276.02 Current children cumulated vsize (Kb) 6784 [startup+290.015 s] Raw data (loadavg): 0.99 0.88 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 28356 235 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 285.91 Current children cumulated vsize (Kb) 6784 [startup+300.016 s] Raw data (loadavg): 0.99 0.88 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 29336 242 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 295.78 Current children cumulated vsize (Kb) 6784 [startup+310.016 s] Raw data (loadavg): 0.99 0.89 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 30318 249 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223376 134528970 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 305.67 Current children cumulated vsize (Kb) 6784 [startup+320.018 s] Raw data (loadavg): 0.99 0.89 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 31305 254 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 315.59 Current children cumulated vsize (Kb) 6784 [startup+330.019 s] Raw data (loadavg): 0.99 0.89 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 32291 259 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 325.5 Current children cumulated vsize (Kb) 6784 [startup+340.018 s] Raw data (loadavg): 0.99 0.90 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1320 0 0 0 33275 264 0 0 25 0 1 0 1801410312 6946816 1286 4294967295 134512640 134578447 3221224624 3221223456 134527045 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1286 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 335.39 Current children cumulated vsize (Kb) 6784 [startup+350.019 s] Raw data (loadavg): 0.99 0.90 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1324 0 0 0 34257 271 0 0 25 0 1 0 1801410312 6946816 1290 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1290 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 345.28 Current children cumulated vsize (Kb) 6784 [startup+360.019 s] Raw data (loadavg): 0.99 0.90 0.84 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1324 0 0 0 35242 277 0 0 25 0 1 0 1801410312 6946816 1290 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1290 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 355.19 Current children cumulated vsize (Kb) 6784 [startup+370.02 s] Raw data (loadavg): 0.99 0.90 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1324 0 0 0 36227 282 0 0 25 0 1 0 1801410312 6946816 1290 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1290 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 365.09 Current children cumulated vsize (Kb) 6784 [startup+380.021 s] Raw data (loadavg): 0.99 0.91 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1324 0 0 0 37210 288 0 0 25 0 1 0 1801410312 6946816 1290 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1290 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 374.98 Current children cumulated vsize (Kb) 6784 [startup+390.02 s] Raw data (loadavg): 0.99 0.91 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1324 0 0 0 38194 294 0 0 25 0 1 0 1801410312 6946816 1290 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1696 1290 566 18 0 1678 0 [pid=18706] vsize: 6784 Current children cumulated CPU time (s) 384.88 Current children cumulated vsize (Kb) 6784 [startup+400.021 s] Raw data (loadavg): 0.99 0.91 0.85 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1340 0 0 0 39177 300 0 0 25 0 1 0 1801410312 7057408 1306 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1723 1306 566 18 0 1705 0 [pid=18706] vsize: 6892 Current children cumulated CPU time (s) 394.77 Current children cumulated vsize (Kb) 6892 [startup+410.022 s] Raw data (loadavg): 0.99 0.91 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1385 0 0 0 40163 306 0 0 25 0 1 0 1801410312 7188480 1351 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1755 1351 566 18 0 1737 0 [pid=18706] vsize: 7020 Current children cumulated CPU time (s) 404.69 Current children cumulated vsize (Kb) 7020 [startup+420.022 s] Raw data (loadavg): 0.99 0.92 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1397 0 0 0 41139 315 0 0 25 0 1 0 1801410312 7168000 1334 4294967295 134512640 134578447 3221224624 3221223456 134527165 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1750 1334 566 18 0 1732 0 [pid=18706] vsize: 7000 Current children cumulated CPU time (s) 414.54 Current children cumulated vsize (Kb) 7000 [startup+430.023 s] Raw data (loadavg): 0.99 0.92 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1487 0 0 0 42124 321 0 0 25 0 1 0 1801410312 7557120 1424 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1845 1424 566 18 0 1827 0 [pid=18706] vsize: 7380 Current children cumulated CPU time (s) 424.45 Current children cumulated vsize (Kb) 7380 [startup+440.023 s] Raw data (loadavg): 0.99 0.92 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1539 0 0 0 43114 325 0 0 25 0 1 0 1801410312 7684096 1476 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1876 1476 566 18 0 1858 0 [pid=18706] vsize: 7504 Current children cumulated CPU time (s) 434.39 Current children cumulated vsize (Kb) 7504 [startup+450.023 s] Raw data (loadavg): 0.99 0.92 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1539 0 0 0 44100 329 0 0 25 0 1 0 1801410312 7266304 1379 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1774 1379 566 18 0 1756 0 [pid=18706] vsize: 7096 Current children cumulated CPU time (s) 444.29 Current children cumulated vsize (Kb) 7096 [startup+460.024 s] Raw data (loadavg): 0.99 0.92 0.85 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1539 0 0 0 45088 333 0 0 25 0 1 0 1801410312 7258112 1377 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1772 1377 566 18 0 1754 0 [pid=18706] vsize: 7088 Current children cumulated CPU time (s) 454.21 Current children cumulated vsize (Kb) 7088 [startup+470.024 s] Raw data (loadavg): 0.99 0.93 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1539 0 0 0 46070 338 0 0 25 0 1 0 1801410312 7249920 1375 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1770 1375 566 18 0 1752 0 [pid=18706] vsize: 7080 Current children cumulated CPU time (s) 464.08 Current children cumulated vsize (Kb) 7080 [startup+480.025 s] Raw data (loadavg): 0.99 0.93 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1563 0 0 0 47050 346 0 0 25 0 1 0 1801410312 7380992 1399 4294967295 134512640 134578447 3221224624 3221223412 1075289756 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1802 1399 566 18 0 1784 0 [pid=18706] vsize: 7208 Current children cumulated CPU time (s) 473.96 Current children cumulated vsize (Kb) 7208 [startup+490.025 s] Raw data (loadavg): 0.99 0.93 0.86 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1563 0 0 0 48034 350 0 0 25 0 1 0 1801410312 7380992 1399 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1802 1399 566 18 0 1784 0 [pid=18706] vsize: 7208 Current children cumulated CPU time (s) 483.84 Current children cumulated vsize (Kb) 7208 [startup+500.025 s] Raw data (loadavg): 0.99 0.93 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1639 0 0 0 49015 358 0 0 25 0 1 0 1801410312 7774208 1475 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1898 1475 566 18 0 1880 0 [pid=18706] vsize: 7592 Current children cumulated CPU time (s) 493.73 Current children cumulated vsize (Kb) 7592 [startup+510.025 s] Raw data (loadavg): 0.99 0.93 0.86 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1653 0 0 0 49999 363 0 0 25 0 1 0 1801410312 7774208 1489 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1898 1489 566 18 0 1880 0 [pid=18706] vsize: 7592 Current children cumulated CPU time (s) 503.62 Current children cumulated vsize (Kb) 7592 [startup+520.026 s] Raw data (loadavg): 0.99 0.94 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1653 0 0 0 50981 370 0 0 25 0 1 0 1801410312 7774208 1489 4294967295 134512640 134578447 3221224624 3221223624 134558149 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1898 1489 566 18 0 1880 0 [pid=18706] vsize: 7592 Current children cumulated CPU time (s) 513.51 Current children cumulated vsize (Kb) 7592 [startup+530.026 s] Raw data (loadavg): 0.99 0.94 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1653 0 0 0 51969 374 0 0 25 0 1 0 1801410312 7774208 1489 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1898 1489 566 18 0 1880 0 [pid=18706] vsize: 7592 Current children cumulated CPU time (s) 523.43 Current children cumulated vsize (Kb) 7592 [startup+540.026 s] Raw data (loadavg): 0.99 0.94 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1715 0 0 0 52958 379 0 0 25 0 1 0 1801410312 8040448 1551 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1963 1551 566 18 0 1945 0 [pid=18706] vsize: 7852 Current children cumulated CPU time (s) 533.37 Current children cumulated vsize (Kb) 7852 [startup+550.027 s] Raw data (loadavg): 0.99 0.94 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1722 0 0 0 53943 383 0 0 25 0 1 0 1801410312 8040448 1558 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1963 1558 566 18 0 1945 0 [pid=18706] vsize: 7852 Current children cumulated CPU time (s) 543.26 Current children cumulated vsize (Kb) 7852 [startup+560.027 s] Raw data (loadavg): 0.99 0.94 0.86 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1722 0 0 0 54927 390 0 0 25 0 1 0 1801410312 8040448 1558 4294967295 134512640 134578447 3221224624 3221223548 134527402 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1963 1558 566 18 0 1945 0 [pid=18706] vsize: 7852 Current children cumulated CPU time (s) 553.17 Current children cumulated vsize (Kb) 7852 [startup+570.028 s] Raw data (loadavg): 0.99 0.94 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1722 0 0 0 55911 397 0 0 25 0 1 0 1801410312 8040448 1558 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1963 1558 566 18 0 1945 0 [pid=18706] vsize: 7852 Current children cumulated CPU time (s) 563.08 Current children cumulated vsize (Kb) 7852 [startup+580.028 s] Raw data (loadavg): 0.99 0.94 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1722 0 0 0 56896 403 0 0 25 0 1 0 1801410312 8028160 1558 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1960 1558 566 18 0 1942 0 [pid=18706] vsize: 7840 Current children cumulated CPU time (s) 572.99 Current children cumulated vsize (Kb) 7840 [startup+590.028 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 57878 409 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 582.87 Current children cumulated vsize (Kb) 7972 [startup+600.029 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 58863 414 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527483 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 592.77 Current children cumulated vsize (Kb) 7972 [startup+610.029 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 59847 419 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 602.66 Current children cumulated vsize (Kb) 7972 [startup+620.03 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 60831 424 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 612.55 Current children cumulated vsize (Kb) 7972 [startup+630.031 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 61816 429 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223456 134527225 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 622.45 Current children cumulated vsize (Kb) 7972 [startup+640.031 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 62800 434 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 632.34 Current children cumulated vsize (Kb) 7972 [startup+650.032 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 63787 438 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (Kb) 7972 [startup+660.033 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 64770 445 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 652.15 Current children cumulated vsize (Kb) 7972 [startup+670.033 s] Raw data (loadavg): 0.99 0.95 0.87 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 65751 451 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 662.02 Current children cumulated vsize (Kb) 7972 [startup+680.034 s] Raw data (loadavg): 0.99 0.95 0.88 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 66733 457 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 671.9 Current children cumulated vsize (Kb) 7972 [startup+690.033 s] Raw data (loadavg): 0.99 0.96 0.88 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 67717 463 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 681.8 Current children cumulated vsize (Kb) 7972 [startup+700.034 s] Raw data (loadavg): 0.99 0.96 0.88 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 68698 470 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 691.68 Current children cumulated vsize (Kb) 7972 [startup+710.035 s] Raw data (loadavg): 0.99 0.96 0.88 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 69681 476 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527773 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 701.57 Current children cumulated vsize (Kb) 7972 [startup+720.035 s] Raw data (loadavg): 0.99 0.96 0.88 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 70663 482 0 0 25 0 1 0 1801410312 8163328 1576 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1993 1576 566 18 0 1975 0 [pid=18706] vsize: 7972 Current children cumulated CPU time (s) 711.45 Current children cumulated vsize (Kb) 7972 [startup+730.036 s] Raw data (loadavg): 0.99 0.96 0.88 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1740 0 0 0 71642 489 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 721.31 Current children cumulated vsize (Kb) 7812 [startup+740.036 s] Raw data (loadavg): 0.99 0.96 0.88 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 72620 497 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 731.17 Current children cumulated vsize (Kb) 7812 [startup+750.036 s] Raw data (loadavg): 0.99 0.96 0.88 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 73604 502 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 741.06 Current children cumulated vsize (Kb) 7812 [startup+760.037 s] Raw data (loadavg): 1.07 0.98 0.89 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 74585 509 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 750.94 Current children cumulated vsize (Kb) 7812 [startup+770.038 s] Raw data (loadavg): 1.06 0.98 0.89 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 75564 517 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134531696 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 760.81 Current children cumulated vsize (Kb) 7812 [startup+780.038 s] Raw data (loadavg): 1.05 0.98 0.89 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1740 0 0 0 76541 524 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 770.65 Current children cumulated vsize (Kb) 7812 [startup+790.038 s] Raw data (loadavg): 1.04 0.98 0.89 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 77518 531 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 780.49 Current children cumulated vsize (Kb) 7812 [startup+800.038 s] Raw data (loadavg): 1.03 0.98 0.89 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 78500 537 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 790.37 Current children cumulated vsize (Kb) 7812 [startup+810.039 s] Raw data (loadavg): 1.03 0.98 0.89 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 79481 545 0 0 25 0 1 0 1801410312 7999488 1558 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1953 1558 566 18 0 1935 0 [pid=18706] vsize: 7812 Current children cumulated CPU time (s) 800.26 Current children cumulated vsize (Kb) 7812 [startup+820.04 s] Raw data (loadavg): 1.02 0.98 0.89 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 80450 554 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 810.04 Current children cumulated vsize (Kb) 7800 [startup+830.04 s] Raw data (loadavg): 1.02 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 81425 563 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 819.88 Current children cumulated vsize (Kb) 7800 [startup+840.04 s] Raw data (loadavg): 1.02 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 82406 570 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 829.76 Current children cumulated vsize (Kb) 7800 [startup+850.041 s] Raw data (loadavg): 1.01 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 83390 575 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223456 134528446 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 839.65 Current children cumulated vsize (Kb) 7800 [startup+860.04 s] Raw data (loadavg): 1.01 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 84374 580 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 849.54 Current children cumulated vsize (Kb) 7800 [startup+870.041 s] Raw data (loadavg): 1.01 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 85357 588 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 859.45 Current children cumulated vsize (Kb) 7800 [startup+880.042 s] Raw data (loadavg): 1.01 0.98 0.90 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1740 0 0 0 86341 593 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 869.34 Current children cumulated vsize (Kb) 7800 [startup+890.042 s] Raw data (loadavg): 1.00 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 87326 598 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 879.24 Current children cumulated vsize (Kb) 7800 [startup+900.043 s] Raw data (loadavg): 1.00 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 88312 604 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 889.16 Current children cumulated vsize (Kb) 7800 [startup+910.043 s] Raw data (loadavg): 1.00 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 89296 610 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 899.06 Current children cumulated vsize (Kb) 7800 [startup+920.044 s] Raw data (loadavg): 1.00 0.98 0.90 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 90280 615 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 908.95 Current children cumulated vsize (Kb) 7800 [startup+930.044 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 91263 623 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 918.86 Current children cumulated vsize (Kb) 7800 [startup+940.043 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1740 0 0 0 92245 630 0 0 25 0 1 0 1801410312 7987200 1555 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 1950 1555 566 18 0 1932 0 [pid=18706] vsize: 7800 Current children cumulated CPU time (s) 928.75 Current children cumulated vsize (Kb) 7800 [startup+950.045 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1817 0 0 0 93227 638 0 0 25 0 1 0 1801410312 8380416 1632 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2046 1632 566 18 0 2028 0 [pid=18706] vsize: 8184 Current children cumulated CPU time (s) 938.65 Current children cumulated vsize (Kb) 8184 [startup+960.045 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1874 0 0 0 94211 644 0 0 25 0 1 0 1801410312 8634368 1689 4294967295 134512640 134578447 3221224624 3221223488 134517833 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2108 1689 566 18 0 2090 0 [pid=18706] vsize: 8432 Current children cumulated CPU time (s) 948.55 Current children cumulated vsize (Kb) 8432 [startup+970.045 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1874 0 0 0 95196 648 0 0 25 0 1 0 1801410312 8474624 1674 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2069 1674 566 18 0 2051 0 [pid=18706] vsize: 8276 Current children cumulated CPU time (s) 958.44 Current children cumulated vsize (Kb) 8276 [startup+980.046 s] Raw data (loadavg): 1.00 0.98 0.91 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1874 0 0 0 96184 653 0 0 25 0 1 0 1801410312 8421376 1661 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/18706/statm): 2056 1661 566 18 0 2038 0 [pid=18706] vsize: 8224 Current children cumulated CPU time (s) 968.37 Current children cumulated vsize (Kb) 8224 [startup+990.045 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1904 0 0 0 97172 658 0 0 25 0 1 0 1801410312 8548352 1691 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2087 1691 566 18 0 2069 0 [pid=18706] vsize: 8348 Current children cumulated CPU time (s) 978.3 Current children cumulated vsize (Kb) 8348 [startup+1000.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1904 0 0 0 98159 664 0 0 25 0 1 0 1801410312 8548352 1691 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2087 1691 566 18 0 2069 0 [pid=18706] vsize: 8348 Current children cumulated CPU time (s) 988.23 Current children cumulated vsize (Kb) 8348 [startup+1010.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1925 0 0 0 99148 668 0 0 25 0 1 0 1801410312 8679424 1712 4294967295 134512640 134578447 3221224624 3221223504 134527790 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2119 1712 566 18 0 2101 0 [pid=18706] vsize: 8476 Current children cumulated CPU time (s) 998.16 Current children cumulated vsize (Kb) 8476 [startup+1020.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1925 0 0 0 100136 673 0 0 25 0 1 0 1801410312 8572928 1698 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2093 1698 566 18 0 2075 0 [pid=18706] vsize: 8372 Current children cumulated CPU time (s) 1008.09 Current children cumulated vsize (Kb) 8372 [startup+1030.05 s] Raw data (loadavg): 1.00 0.98 0.91 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1925 0 0 0 101124 676 0 0 25 0 1 0 1801410312 8572928 1698 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2093 1698 566 18 0 2075 0 [pid=18706] vsize: 8372 Current children cumulated CPU time (s) 1018 Current children cumulated vsize (Kb) 8372 [startup+1040.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1925 0 0 0 102113 680 0 0 25 0 1 0 1801410312 8572928 1698 4294967295 134512640 134578447 3221224624 3221223472 134520160 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2093 1698 566 18 0 2075 0 [pid=18706] vsize: 8372 Current children cumulated CPU time (s) 1027.93 Current children cumulated vsize (Kb) 8372 [startup+1050.05 s] Raw data (loadavg): 1.00 0.98 0.91 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1925 0 0 0 103099 687 0 0 25 0 1 0 1801410312 8572928 1698 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2093 1698 566 18 0 2075 0 [pid=18706] vsize: 8372 Current children cumulated CPU time (s) 1037.86 Current children cumulated vsize (Kb) 8372 [startup+1060.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1925 0 0 0 104085 692 0 0 25 0 1 0 1801410312 8572928 1698 4294967295 134512640 134578447 3221224624 3221223456 134527203 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2093 1698 566 18 0 2075 0 [pid=18706] vsize: 8372 Current children cumulated CPU time (s) 1047.77 Current children cumulated vsize (Kb) 8372 [startup+1070.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1925 0 0 0 105075 696 0 0 25 0 1 0 1801410312 8572928 1698 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2093 1698 566 18 0 2075 0 [pid=18706] vsize: 8372 Current children cumulated CPU time (s) 1057.71 Current children cumulated vsize (Kb) 8372 [startup+1080.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1932 0 0 0 106065 700 0 0 25 0 1 0 1801410312 8699904 1705 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2124 1705 566 18 0 2106 0 [pid=18706] vsize: 8496 Current children cumulated CPU time (s) 1067.65 Current children cumulated vsize (Kb) 8496 [startup+1090.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1934 0 0 0 107055 703 0 0 25 0 1 0 1801410312 8699904 1707 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2124 1707 566 18 0 2106 0 [pid=18706] vsize: 8496 Current children cumulated CPU time (s) 1077.58 Current children cumulated vsize (Kb) 8496 [startup+1100.05 s] Raw data (loadavg): 1.00 0.98 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1936 0 0 0 108047 706 0 0 25 0 1 0 1801410312 8699904 1709 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2124 1709 566 18 0 2106 0 [pid=18706] vsize: 8496 Current children cumulated CPU time (s) 1087.53 Current children cumulated vsize (Kb) 8496 [startup+1110.05 s] Raw data (loadavg): 1.00 0.98 0.91 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1961 0 0 0 109037 710 0 0 25 0 1 0 1801410312 8826880 1734 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2155 1734 566 18 0 2137 0 [pid=18706] vsize: 8620 Current children cumulated CPU time (s) 1097.47 Current children cumulated vsize (Kb) 8620 [startup+1120.05 s] Raw data (loadavg): 1.07 1.00 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1961 0 0 0 110024 715 0 0 25 0 1 0 1801410312 8785920 1734 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2145 1734 566 18 0 2127 0 [pid=18706] vsize: 8580 Current children cumulated CPU time (s) 1107.39 Current children cumulated vsize (Kb) 8580 [startup+1130.05 s] Raw data (loadavg): 1.06 1.00 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1961 0 0 0 111013 718 0 0 25 0 1 0 1801410312 8785920 1734 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2145 1734 566 18 0 2127 0 [pid=18706] vsize: 8580 Current children cumulated CPU time (s) 1117.31 Current children cumulated vsize (Kb) 8580 [startup+1140.05 s] Raw data (loadavg): 1.05 1.00 0.91 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1961 0 0 0 112001 723 0 0 25 0 1 0 1801410312 8777728 1734 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2143 1734 566 18 0 2125 0 [pid=18706] vsize: 8572 Current children cumulated CPU time (s) 1127.24 Current children cumulated vsize (Kb) 8572 [startup+1150.05 s] Raw data (loadavg): 1.04 1.00 0.91 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1961 0 0 0 112988 727 0 0 25 0 1 0 1801410312 8761344 1734 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2139 1734 566 18 0 2121 0 [pid=18706] vsize: 8556 Current children cumulated CPU time (s) 1137.15 Current children cumulated vsize (Kb) 8556 [startup+1160.05 s] Raw data (loadavg): 1.04 1.00 0.91 1/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1961 0 0 0 113976 732 0 0 25 0 1 0 1801410312 8761344 1734 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2139 1734 566 18 0 2121 0 [pid=18706] vsize: 8556 Current children cumulated CPU time (s) 1147.08 Current children cumulated vsize (Kb) 8556 [startup+1170.05 s] Raw data (loadavg): 1.03 1.00 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) T 18705 18706 15400 0 -1 0 1961 0 0 0 114965 736 0 0 25 0 1 0 1801410312 8761344 1734 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2139 1734 566 18 0 2121 0 [pid=18706] vsize: 8556 Current children cumulated CPU time (s) 1157.01 Current children cumulated vsize (Kb) 8556 [startup+1180.05 s] Raw data (loadavg): 1.02 1.00 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1961 0 0 0 115953 742 0 0 25 0 1 0 1801410312 8749056 1734 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2136 1734 566 18 0 2118 0 [pid=18706] vsize: 8544 Current children cumulated CPU time (s) 1166.95 Current children cumulated vsize (Kb) 8544 [startup+1190.05 s] Raw data (loadavg): 1.02 1.00 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1961 0 0 0 116939 747 0 0 25 0 1 0 1801410312 8638464 1714 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2109 1714 566 18 0 2091 0 [pid=18706] vsize: 8436 Current children cumulated CPU time (s) 1176.86 Current children cumulated vsize (Kb) 8436 [startup+1200.05 s] Raw data (loadavg): 1.02 1.00 0.91 2/56 18706 Raw data (/proc/18706/stat): 18706 (Pueblo) R 18705 18706 15400 0 -1 0 1961 0 0 0 117926 751 0 0 25 0 1 0 1801410312 8577024 1699 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/18706/statm): 2094 1699 566 18 0 2076 0 [pid=18706] vsize: 8376 Current children cumulated CPU time (s) 1186.77 Current children cumulated vsize (Kb) 8376 One traced child (pid=18706) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1202.31 CPU time (s): 1189.02 CPU user time (s): 1181.49 CPU system time (s): 7.52386 CPU usage (%): 98.8942 Max. virtual memory (cumulated for all children) (Kb): 8620
Verifier: OK 127217