Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb |
MD5SUM | 8c361d02d5162bb0b133ab6ed38f9294 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 208.773 |
Number of variables | 201 |
Total number of constraints | 334 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 227 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 67 |
LAUNCH ON wulflinc2 THE 2005-09-20 17:12:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5724 boxname=wulflinc2 idbench=1036 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 8c361d02d5162bb0b133ab6ed38f9294 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb REAL COMMAND: Pueblo IDLAUNCH: 5724 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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: 880264 kB Buffers: 32888 kB Cached: 95988 kB SwapCached: 1004 kB Active: 56844 kB Inactive: 74724 kB HighTotal: 131008 kB HighFree: 33432 kB LowTotal: 903652 kB LowFree: 846832 kB SwapTotal: 2097136 kB SwapFree: 2095552 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 17024 kB Committed_AS: 72496 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 17:32:37 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 5724 0 1189.01 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: 201 - #constraints read: 335 c total time : 1189 s s SATISFIABLE v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 C1009_bit0 -C1010_bit0 C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 C1093_bit0 -C1094_bit0 C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 C1111_bit0 C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_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/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1802025924 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 41 3 40 18 0 23 0 [pid=14674] 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.003 s] Raw data (loadavg): 0.77 0.94 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 384 0 0 0 921 26 0 0 25 0 1 0 1802025924 3162112 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 772 350 566 18 0 754 0 [pid=14674] vsize: 3088 Current children cumulated CPU time (s) 9.47 Current children cumulated vsize (Kb) 3088 [startup+20.0027 s] Raw data (loadavg): 0.80 0.94 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 420 0 0 0 1870 43 0 0 25 0 1 0 1802025924 3297280 386 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 805 386 566 18 0 787 0 [pid=14674] vsize: 3220 Current children cumulated CPU time (s) 19.13 Current children cumulated vsize (Kb) 3220 [startup+30.0034 s] Raw data (loadavg): 0.83 0.94 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 420 0 0 0 2811 64 0 0 25 0 1 0 1802025924 3297280 386 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 805 386 566 18 0 787 0 [pid=14674] vsize: 3220 Current children cumulated CPU time (s) 28.75 Current children cumulated vsize (Kb) 3220 [startup+40.0031 s] Raw data (loadavg): 0.86 0.94 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 420 0 0 0 3763 82 0 0 25 0 1 0 1802025924 3297280 386 4294967295 134512640 134578447 3221224624 3221223488 134517966 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 805 386 566 18 0 787 0 [pid=14674] vsize: 3220 Current children cumulated CPU time (s) 38.45 Current children cumulated vsize (Kb) 3220 [startup+50.0038 s] Raw data (loadavg): 0.88 0.94 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 424 0 0 0 4705 103 0 0 25 0 1 0 1802025924 3297280 390 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 805 390 566 18 0 787 0 [pid=14674] vsize: 3220 Current children cumulated CPU time (s) 48.08 Current children cumulated vsize (Kb) 3220 [startup+60.0045 s] Raw data (loadavg): 0.90 0.94 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 424 0 0 0 5640 127 0 0 17 0 1 0 1802025924 3297280 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14674/statm): 805 390 566 18 0 787 0 [pid=14674] vsize: 3220 Current children cumulated CPU time (s) 57.67 Current children cumulated vsize (Kb) 3220 [startup+70.0042 s] Raw data (loadavg): 0.91 0.95 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 458 0 0 0 6582 148 0 0 25 0 1 0 1802025924 3432448 424 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 424 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 67.3 Current children cumulated vsize (Kb) 3352 [startup+80.0049 s] Raw data (loadavg): 0.93 0.95 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 460 0 0 0 7530 166 0 0 25 0 1 0 1802025924 3432448 426 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 426 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 76.96 Current children cumulated vsize (Kb) 3352 [startup+90.0056 s] Raw data (loadavg): 0.94 0.95 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 470 0 0 0 8485 182 0 0 25 0 1 0 1802025924 3432448 436 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 838 436 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 86.67 Current children cumulated vsize (Kb) 3352 [startup+100.006 s] Raw data (loadavg): 0.95 0.95 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 470 0 0 0 9443 197 0 0 25 0 1 0 1802025924 3432448 436 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 436 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 96.4 Current children cumulated vsize (Kb) 3352 [startup+110.007 s] Raw data (loadavg): 0.95 0.95 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 470 0 0 0 10407 208 0 0 25 0 1 0 1802025924 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 436 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 106.15 Current children cumulated vsize (Kb) 3352 [startup+120.008 s] Raw data (loadavg): 0.96 0.95 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 470 0 0 0 11359 225 0 0 25 0 1 0 1802025924 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 436 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 115.84 Current children cumulated vsize (Kb) 3352 [startup+130.007 s] Raw data (loadavg): 0.97 0.95 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 470 0 0 0 12296 245 0 0 25 0 1 0 1802025924 3432448 436 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 436 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 125.41 Current children cumulated vsize (Kb) 3352 [startup+140.007 s] Raw data (loadavg): 0.97 0.95 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 470 0 0 0 13250 261 0 0 25 0 1 0 1802025924 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 436 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 135.11 Current children cumulated vsize (Kb) 3352 [startup+150.009 s] Raw data (loadavg): 0.97 0.95 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 478 0 0 0 14201 278 0 0 25 0 1 0 1802025924 3432448 444 4294967295 134512640 134578447 3221224624 3221223536 134556855 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 838 444 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 144.79 Current children cumulated vsize (Kb) 3352 [startup+160.009 s] Raw data (loadavg): 0.98 0.95 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 478 0 0 0 15151 295 0 0 25 0 1 0 1802025924 3432448 444 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 444 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 154.46 Current children cumulated vsize (Kb) 3352 [startup+170.008 s] Raw data (loadavg): 0.98 0.95 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 478 0 0 0 16099 314 0 0 25 0 1 0 1802025924 3432448 444 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 444 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 164.13 Current children cumulated vsize (Kb) 3352 [startup+180.009 s] Raw data (loadavg): 0.98 0.96 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 478 0 0 0 17052 332 0 0 25 0 1 0 1802025924 3432448 444 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 444 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 173.84 Current children cumulated vsize (Kb) 3352 [startup+190.009 s] Raw data (loadavg): 0.99 0.96 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 478 0 0 0 17996 351 0 0 25 0 1 0 1802025924 3432448 444 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 444 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 183.47 Current children cumulated vsize (Kb) 3352 [startup+200.009 s] Raw data (loadavg): 0.99 0.96 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 478 0 0 0 18940 371 0 0 25 0 1 0 1802025924 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 444 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 193.11 Current children cumulated vsize (Kb) 3352 [startup+210.01 s] Raw data (loadavg): 0.99 0.96 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 478 0 0 0 19892 389 0 0 25 0 1 0 1802025924 3432448 444 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 838 444 566 18 0 820 0 [pid=14674] vsize: 3352 Current children cumulated CPU time (s) 202.81 Current children cumulated vsize (Kb) 3352 [startup+220.01 s] Raw data (loadavg): 0.99 0.96 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 495 0 0 0 20845 405 0 0 25 0 1 0 1802025924 3567616 461 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 871 461 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 212.5 Current children cumulated vsize (Kb) 3484 [startup+230.009 s] Raw data (loadavg): 0.99 0.96 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 512 0 0 0 21800 420 0 0 25 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (Kb) 3484 [startup+240.01 s] Raw data (loadavg): 0.99 0.96 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 512 0 0 0 22754 437 0 0 25 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 231.91 Current children cumulated vsize (Kb) 3484 [startup+250.011 s] Raw data (loadavg): 0.99 0.96 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 512 0 0 0 23708 452 0 0 25 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 241.6 Current children cumulated vsize (Kb) 3484 [startup+260.011 s] Raw data (loadavg): 0.99 0.96 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 512 0 0 0 24660 469 0 0 17 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 251.29 Current children cumulated vsize (Kb) 3484 [startup+270.011 s] Raw data (loadavg): 0.99 0.96 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 512 0 0 0 25609 487 0 0 25 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 260.96 Current children cumulated vsize (Kb) 3484 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 512 0 0 0 26556 504 0 0 25 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 270.6 Current children cumulated vsize (Kb) 3484 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 512 0 0 0 27503 523 0 0 18 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 280.26 Current children cumulated vsize (Kb) 3484 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 512 0 0 0 28461 537 0 0 25 0 1 0 1802025924 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 871 478 566 18 0 853 0 [pid=14674] vsize: 3484 Current children cumulated CPU time (s) 289.98 Current children cumulated vsize (Kb) 3484 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 513 0 0 0 29405 555 0 0 25 0 1 0 1802025924 3661824 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 894 479 566 18 0 876 0 [pid=14674] vsize: 3576 Current children cumulated CPU time (s) 299.6 Current children cumulated vsize (Kb) 3576 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 513 0 0 0 30352 572 0 0 25 0 1 0 1802025924 3661824 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14674/statm): 894 479 566 18 0 876 0 [pid=14674] vsize: 3576 Current children cumulated CPU time (s) 309.24 Current children cumulated vsize (Kb) 3576 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 513 0 0 0 31301 590 0 0 25 0 1 0 1802025924 3661824 479 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 894 479 566 18 0 876 0 [pid=14674] vsize: 3576 Current children cumulated CPU time (s) 318.91 Current children cumulated vsize (Kb) 3576 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 544 0 0 0 32248 609 0 0 25 0 1 0 1802025924 3792896 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 926 510 566 18 0 908 0 [pid=14674] vsize: 3704 Current children cumulated CPU time (s) 328.57 Current children cumulated vsize (Kb) 3704 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 544 0 0 0 33200 626 0 0 23 0 1 0 1802025924 3751936 510 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 510 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 338.26 Current children cumulated vsize (Kb) 3664 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 544 0 0 0 34149 642 0 0 25 0 1 0 1802025924 3751936 510 4294967295 134512640 134578447 3221224624 3221223632 134563233 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 510 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 347.91 Current children cumulated vsize (Kb) 3664 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 544 0 0 0 35105 657 0 0 25 0 1 0 1802025924 3751936 510 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 510 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 357.62 Current children cumulated vsize (Kb) 3664 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 544 0 0 0 36046 677 0 0 25 0 1 0 1802025924 3751936 510 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 510 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 367.23 Current children cumulated vsize (Kb) 3664 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 544 0 0 0 36997 694 0 0 25 0 1 0 1802025924 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 510 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 376.91 Current children cumulated vsize (Kb) 3664 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.93 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 544 0 0 0 37952 709 0 0 25 0 1 0 1802025924 3751936 510 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 510 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 386.61 Current children cumulated vsize (Kb) 3664 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.93 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 38918 721 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 396.39 Current children cumulated vsize (Kb) 3664 [startup+420.016 s] Raw data (loadavg): 1.07 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 39880 734 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 406.14 Current children cumulated vsize (Kb) 3664 [startup+430.017 s] Raw data (loadavg): 1.06 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 40841 747 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 415.88 Current children cumulated vsize (Kb) 3664 [startup+440.016 s] Raw data (loadavg): 1.05 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 41806 759 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223228 1075288465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 425.65 Current children cumulated vsize (Kb) 3664 [startup+450.018 s] Raw data (loadavg): 1.04 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 42771 772 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 435.43 Current children cumulated vsize (Kb) 3664 [startup+460.018 s] Raw data (loadavg): 1.04 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 43736 785 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 445.21 Current children cumulated vsize (Kb) 3664 [startup+470.017 s] Raw data (loadavg): 1.03 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 44687 803 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 454.9 Current children cumulated vsize (Kb) 3664 [startup+480.018 s] Raw data (loadavg): 1.03 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 45647 819 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 464.66 Current children cumulated vsize (Kb) 3664 [startup+490.018 s] Raw data (loadavg): 1.02 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 46605 833 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 474.38 Current children cumulated vsize (Kb) 3664 [startup+500.018 s] Raw data (loadavg): 1.02 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 47564 847 0 0 17 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 484.11 Current children cumulated vsize (Kb) 3664 [startup+510.019 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 48524 863 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 493.87 Current children cumulated vsize (Kb) 3664 [startup+520.019 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 49484 876 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 503.6 Current children cumulated vsize (Kb) 3664 [startup+530.019 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 50447 889 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223520 134519975 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 513.36 Current children cumulated vsize (Kb) 3664 [startup+540.019 s] Raw data (loadavg): 1.01 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 51411 903 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 523.14 Current children cumulated vsize (Kb) 3664 [startup+550.02 s] Raw data (loadavg): 1.01 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 52372 917 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 532.89 Current children cumulated vsize (Kb) 3664 [startup+560.021 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 53332 931 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 542.63 Current children cumulated vsize (Kb) 3664 [startup+570.02 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 54291 946 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 552.37 Current children cumulated vsize (Kb) 3664 [startup+580.021 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 55248 961 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 562.09 Current children cumulated vsize (Kb) 3664 [startup+590.022 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 56212 974 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 571.86 Current children cumulated vsize (Kb) 3664 [startup+600.022 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 57173 987 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 581.6 Current children cumulated vsize (Kb) 3664 [startup+610.023 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 58134 1002 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 591.36 Current children cumulated vsize (Kb) 3664 [startup+620.023 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 59087 1018 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223556 134519841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 601.05 Current children cumulated vsize (Kb) 3664 [startup+630.024 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 60045 1033 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 610.78 Current children cumulated vsize (Kb) 3664 [startup+640.025 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 61004 1046 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 620.5 Current children cumulated vsize (Kb) 3664 [startup+650.026 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 61960 1063 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223568 134558742 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 630.23 Current children cumulated vsize (Kb) 3664 [startup+660.027 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 62919 1077 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223556 134527386 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 639.96 Current children cumulated vsize (Kb) 3664 [startup+670.026 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 63873 1092 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 649.65 Current children cumulated vsize (Kb) 3664 [startup+680.026 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 64827 1108 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 659.35 Current children cumulated vsize (Kb) 3664 [startup+690.027 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 65771 1127 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 668.98 Current children cumulated vsize (Kb) 3664 [startup+700.027 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 66732 1141 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 678.73 Current children cumulated vsize (Kb) 3664 [startup+710.027 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 67685 1158 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 688.43 Current children cumulated vsize (Kb) 3664 [startup+720.027 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 68643 1173 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 698.16 Current children cumulated vsize (Kb) 3664 [startup+730.028 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 69600 1188 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 707.88 Current children cumulated vsize (Kb) 3664 [startup+740.027 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 70555 1203 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 717.58 Current children cumulated vsize (Kb) 3664 [startup+750.028 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 71515 1218 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 727.33 Current children cumulated vsize (Kb) 3664 [startup+760.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 72472 1232 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 737.04 Current children cumulated vsize (Kb) 3664 [startup+770.028 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 73429 1246 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 746.75 Current children cumulated vsize (Kb) 3664 [startup+780.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 74375 1266 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 756.41 Current children cumulated vsize (Kb) 3664 [startup+790.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 75326 1283 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 766.09 Current children cumulated vsize (Kb) 3664 [startup+800.03 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 76284 1297 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 775.81 Current children cumulated vsize (Kb) 3664 [startup+810.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 77229 1317 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 785.46 Current children cumulated vsize (Kb) 3664 [startup+820.031 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 554 0 0 0 78167 1340 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 795.07 Current children cumulated vsize (Kb) 3664 [startup+830.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 79120 1355 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223456 134527039 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 804.75 Current children cumulated vsize (Kb) 3664 [startup+840.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 554 0 0 0 80073 1372 0 0 25 0 1 0 1802025924 3751936 520 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 916 520 566 18 0 898 0 [pid=14674] vsize: 3664 Current children cumulated CPU time (s) 814.45 Current children cumulated vsize (Kb) 3664 [startup+850.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 562 0 0 0 81028 1388 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527635 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 824.16 Current children cumulated vsize (Kb) 3772 [startup+860.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 562 0 0 0 81984 1405 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 833.89 Current children cumulated vsize (Kb) 3772 [startup+870.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 562 0 0 0 82939 1422 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 843.61 Current children cumulated vsize (Kb) 3772 [startup+880.035 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 562 0 0 0 83889 1441 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 853.3 Current children cumulated vsize (Kb) 3772 [startup+890.036 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 562 0 0 0 84845 1456 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134528082 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 863.01 Current children cumulated vsize (Kb) 3772 [startup+900.037 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 562 0 0 0 85814 1467 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134528043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 872.81 Current children cumulated vsize (Kb) 3772 [startup+910.037 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 562 0 0 0 86777 1479 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 882.56 Current children cumulated vsize (Kb) 3772 [startup+920.037 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 562 0 0 0 87733 1494 0 0 25 0 1 0 1802025924 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 528 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 892.27 Current children cumulated vsize (Kb) 3772 [startup+930.039 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 88695 1507 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 902.02 Current children cumulated vsize (Kb) 3772 [startup+940.038 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 89659 1519 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 911.78 Current children cumulated vsize (Kb) 3772 [startup+950.039 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 90616 1534 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 921.5 Current children cumulated vsize (Kb) 3772 [startup+960.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 91576 1547 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 931.23 Current children cumulated vsize (Kb) 3772 [startup+970.039 s] Raw data (loadavg): 1.00 0.99 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 92539 1559 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 940.98 Current children cumulated vsize (Kb) 3772 [startup+980.039 s] Raw data (loadavg): 1.00 0.99 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 93495 1576 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 950.71 Current children cumulated vsize (Kb) 3772 [startup+990.04 s] Raw data (loadavg): 1.07 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 94444 1594 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 960.38 Current children cumulated vsize (Kb) 3772 [startup+1000.04 s] Raw data (loadavg): 1.06 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 95398 1609 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 970.07 Current children cumulated vsize (Kb) 3772 [startup+1010.04 s] Raw data (loadavg): 1.05 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 96348 1627 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 979.75 Current children cumulated vsize (Kb) 3772 [startup+1020.04 s] Raw data (loadavg): 1.04 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 97307 1642 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 989.49 Current children cumulated vsize (Kb) 3772 [startup+1030.04 s] Raw data (loadavg): 1.04 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 98268 1657 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 999.25 Current children cumulated vsize (Kb) 3772 [startup+1040.04 s] Raw data (loadavg): 1.03 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 99228 1671 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1008.99 Current children cumulated vsize (Kb) 3772 [startup+1050.04 s] Raw data (loadavg): 1.02 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 100191 1686 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1018.77 Current children cumulated vsize (Kb) 3772 [startup+1060.04 s] Raw data (loadavg): 1.02 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 101148 1702 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1028.5 Current children cumulated vsize (Kb) 3772 [startup+1070.04 s] Raw data (loadavg): 1.02 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 102108 1715 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1038.23 Current children cumulated vsize (Kb) 3772 [startup+1080.04 s] Raw data (loadavg): 1.01 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 103068 1731 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1047.99 Current children cumulated vsize (Kb) 3772 [startup+1090.04 s] Raw data (loadavg): 1.01 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 104027 1745 0 0 18 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1057.72 Current children cumulated vsize (Kb) 3772 [startup+1100.04 s] Raw data (loadavg): 1.01 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 104977 1764 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1067.41 Current children cumulated vsize (Kb) 3772 [startup+1110.04 s] Raw data (loadavg): 1.01 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 105936 1777 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1077.13 Current children cumulated vsize (Kb) 3772 [startup+1120.04 s] Raw data (loadavg): 1.01 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 106897 1793 0 0 18 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223556 134527386 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1086.9 Current children cumulated vsize (Kb) 3772 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 107856 1806 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1096.62 Current children cumulated vsize (Kb) 3772 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 108815 1820 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1106.35 Current children cumulated vsize (Kb) 3772 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 109770 1837 0 0 17 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1116.07 Current children cumulated vsize (Kb) 3772 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 110725 1854 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223456 134528392 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1125.79 Current children cumulated vsize (Kb) 3772 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 111676 1871 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1135.47 Current children cumulated vsize (Kb) 3772 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.94 1/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 112631 1886 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1145.17 Current children cumulated vsize (Kb) 3772 [startup+1190.04 s] Raw data (loadavg): 1.08 1.02 0.95 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 113590 1900 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1154.9 Current children cumulated vsize (Kb) 3772 [startup+1200.05 s] Raw data (loadavg): 1.07 1.02 0.95 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 114541 1919 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1164.6 Current children cumulated vsize (Kb) 3772 [startup+1210.05 s] Raw data (loadavg): 1.06 1.01 0.95 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) R 14673 14674 6872 0 -1 0 571 0 0 0 115499 1932 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1174.31 Current children cumulated vsize (Kb) 3772 [startup+1220.05 s] Raw data (loadavg): 1.05 1.01 0.95 2/56 14674 Raw data (/proc/14674/stat): 14674 (Pueblo) T 14673 14674 6872 0 -1 0 571 0 0 0 116456 1948 0 0 25 0 1 0 1802025924 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/14674/statm): 943 537 566 18 0 925 0 [pid=14674] vsize: 3772 Current children cumulated CPU time (s) 1184.04 Current children cumulated vsize (Kb) 3772 One traced child (pid=14674) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1225.16 CPU time (s): 1189.01 CPU user time (s): 1169.44 CPU system time (s): 19.565 CPU usage (%): 97.0491 Max. virtual memory (cumulated for all children) (Kb): 3772
Verifier: OK 1523