Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUMffa3a55eb53181880328dd1b84f91e66
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark207.265
Number of variables201
Total number of constraints334
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)227
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 8108

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-20 15:37:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5218 boxname=wulflinc18 idbench=530 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5218
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        867560 kB
Buffers:         30568 kB
Cached:         107940 kB
SwapCached:        756 kB
Active:          60152 kB
Inactive:        80892 kB
HighTotal:      131008 kB
HighFree:        26656 kB
LowTotal:       903652 kB
LowFree:        840904 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            20424 kB
Committed_AS:    64188 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:57:36 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 5218 0 1189.01 10

Solver Data

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

Watcher Data

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/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 19 0 0 0 0 0 0 0 20 0 1 0 1859637015 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 41 3 40 18 0 23 0
[pid=2216] 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.0041 s]
Raw data (loadavg): 0.87 0.94 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 384 0 0 0 920 28 0 0 25 0 1 0 1859637015 3162112 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 772 350 566 18 0 754 0
[pid=2216] vsize: 3088
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (Kb) 3088

[startup+20.004 s]
Raw data (loadavg): 0.89 0.94 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 420 0 0 0 1870 45 0 0 25 0 1 0 1859637015 3297280 386 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 805 386 566 18 0 787 0
[pid=2216] vsize: 3220
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (Kb) 3220

[startup+30.006 s]
Raw data (loadavg): 0.91 0.94 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 420 0 0 0 2803 73 0 0 25 0 1 0 1859637015 3297280 386 4294967295 134512640 134578447 3221224624 3221223456 134558377 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 805 386 566 18 0 787 0
[pid=2216] vsize: 3220
Current children cumulated CPU time (s) 28.76
Current children cumulated vsize (Kb) 3220

[startup+40.0069 s]
Raw data (loadavg): 0.92 0.94 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 420 0 0 0 3755 90 0 0 25 0 1 0 1859637015 3297280 386 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 805 386 566 18 0 787 0
[pid=2216] vsize: 3220
Current children cumulated CPU time (s) 38.45
Current children cumulated vsize (Kb) 3220

[startup+50.0068 s]
Raw data (loadavg): 0.93 0.94 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 424 0 0 0 4696 110 0 0 25 0 1 0 1859637015 3297280 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 805 390 566 18 0 787 0
[pid=2216] vsize: 3220
Current children cumulated CPU time (s) 48.06
Current children cumulated vsize (Kb) 3220

[startup+60.0077 s]
Raw data (loadavg): 0.94 0.95 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 424 0 0 0 5635 132 0 0 25 0 1 0 1859637015 3297280 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 805 390 566 18 0 787 0
[pid=2216] vsize: 3220
Current children cumulated CPU time (s) 57.67
Current children cumulated vsize (Kb) 3220

[startup+70.0087 s]
Raw data (loadavg): 0.95 0.95 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 458 0 0 0 6579 153 0 0 25 0 1 0 1859637015 3432448 424 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 424 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 67.32
Current children cumulated vsize (Kb) 3352

[startup+80.0096 s]
Raw data (loadavg): 0.96 0.95 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 460 0 0 0 7527 172 0 0 25 0 1 0 1859637015 3432448 426 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 426 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 76.99
Current children cumulated vsize (Kb) 3352

[startup+90.0105 s]
Raw data (loadavg): 0.96 0.95 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 470 0 0 0 8487 186 0 0 25 0 1 0 1859637015 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 436 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 86.73
Current children cumulated vsize (Kb) 3352

[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 470 0 0 0 9445 201 0 0 25 0 1 0 1859637015 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 436 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 96.46
Current children cumulated vsize (Kb) 3352

[startup+110.011 s]
Raw data (loadavg): 0.97 0.95 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 470 0 0 0 10406 215 0 0 25 0 1 0 1859637015 3432448 436 4294967295 134512640 134578447 3221224624 3221221920 134533036 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 436 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 106.21
Current children cumulated vsize (Kb) 3352

[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 470 0 0 0 11359 232 0 0 25 0 1 0 1859637015 3432448 436 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 436 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 115.91
Current children cumulated vsize (Kb) 3352

[startup+130.013 s]
Raw data (loadavg): 0.98 0.95 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 470 0 0 0 12302 255 0 0 25 0 1 0 1859637015 3432448 436 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 436 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 125.57
Current children cumulated vsize (Kb) 3352

[startup+140.013 s]
Raw data (loadavg): 0.98 0.95 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 470 0 0 0 13255 272 0 0 25 0 1 0 1859637015 3432448 436 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 436 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 135.27
Current children cumulated vsize (Kb) 3352

[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 473 0 0 0 14206 288 0 0 25 0 1 0 1859637015 3432448 439 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 439 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 144.94
Current children cumulated vsize (Kb) 3352

[startup+160.014 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 478 0 0 0 15162 304 0 0 25 0 1 0 1859637015 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 444 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 154.66
Current children cumulated vsize (Kb) 3352

[startup+170.014 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 478 0 0 0 16109 323 0 0 25 0 1 0 1859637015 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 444 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 164.32
Current children cumulated vsize (Kb) 3352

[startup+180.015 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 478 0 0 0 17060 340 0 0 25 0 1 0 1859637015 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 444 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 174
Current children cumulated vsize (Kb) 3352

[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 478 0 0 0 18010 358 0 0 25 0 1 0 1859637015 3432448 444 4294967295 134512640 134578447 3221224624 3221223532 1075285472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 444 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 183.68
Current children cumulated vsize (Kb) 3352

[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 478 0 0 0 18953 379 0 0 25 0 1 0 1859637015 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 444 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 193.32
Current children cumulated vsize (Kb) 3352

[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 478 0 0 0 19900 399 0 0 25 0 1 0 1859637015 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 838 444 566 18 0 820 0
[pid=2216] vsize: 3352
Current children cumulated CPU time (s) 202.99
Current children cumulated vsize (Kb) 3352

[startup+220.018 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 494 0 0 0 20850 416 0 0 25 0 1 0 1859637015 3567616 460 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 460 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 212.66
Current children cumulated vsize (Kb) 3484

[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 512 0 0 0 21808 430 0 0 25 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 222.38
Current children cumulated vsize (Kb) 3484

[startup+240.019 s]
Raw data (loadavg): 0.99 0.96 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 512 0 0 0 22766 445 0 0 25 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223192 1075289641 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 232.11
Current children cumulated vsize (Kb) 3484

[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 512 0 0 0 23717 463 0 0 24 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 241.8
Current children cumulated vsize (Kb) 3484

[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 512 0 0 0 24664 482 0 0 25 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 251.46
Current children cumulated vsize (Kb) 3484

[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 512 0 0 0 25613 501 0 0 25 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 261.14
Current children cumulated vsize (Kb) 3484

[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 512 0 0 0 26556 524 0 0 25 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 270.8
Current children cumulated vsize (Kb) 3484

[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 512 0 0 0 27504 544 0 0 25 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 280.48
Current children cumulated vsize (Kb) 3484

[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 512 0 0 0 28458 562 0 0 22 0 1 0 1859637015 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 871 478 566 18 0 853 0
[pid=2216] vsize: 3484
Current children cumulated CPU time (s) 290.2
Current children cumulated vsize (Kb) 3484

[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 513 0 0 0 29401 580 0 0 25 0 1 0 1859637015 3661824 479 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 894 479 566 18 0 876 0
[pid=2216] vsize: 3576
Current children cumulated CPU time (s) 299.81
Current children cumulated vsize (Kb) 3576

[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 513 0 0 0 30347 599 0 0 25 0 1 0 1859637015 3661824 479 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 894 479 566 18 0 876 0
[pid=2216] vsize: 3576
Current children cumulated CPU time (s) 309.46
Current children cumulated vsize (Kb) 3576

[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 513 0 0 0 31293 619 0 0 25 0 1 0 1859637015 3661824 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 894 479 566 18 0 876 0
[pid=2216] vsize: 3576
Current children cumulated CPU time (s) 319.12
Current children cumulated vsize (Kb) 3576

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 544 0 0 0 32238 638 0 0 25 0 1 0 1859637015 3792896 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 926 510 566 18 0 908 0
[pid=2216] vsize: 3704
Current children cumulated CPU time (s) 328.76
Current children cumulated vsize (Kb) 3704

[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 544 0 0 0 33187 657 0 0 25 0 1 0 1859637015 3756032 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 917 510 566 18 0 899 0
[pid=2216] vsize: 3668
Current children cumulated CPU time (s) 338.44
Current children cumulated vsize (Kb) 3668

[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 544 0 0 0 34137 675 0 0 25 0 1 0 1859637015 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 510 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 348.12
Current children cumulated vsize (Kb) 3664

[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 544 0 0 0 35090 692 0 0 25 0 1 0 1859637015 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 510 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 357.82
Current children cumulated vsize (Kb) 3664

[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 544 0 0 0 36034 712 0 0 25 0 1 0 1859637015 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 510 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 367.46
Current children cumulated vsize (Kb) 3664

[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 544 0 0 0 36985 729 0 0 25 0 1 0 1859637015 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 510 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 377.14
Current children cumulated vsize (Kb) 3664

[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 544 0 0 0 37941 744 0 0 25 0 1 0 1859637015 3751936 510 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 510 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 386.85
Current children cumulated vsize (Kb) 3664

[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 38908 755 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 396.63
Current children cumulated vsize (Kb) 3664

[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 39867 770 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 406.37
Current children cumulated vsize (Kb) 3664

[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 40827 783 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 416.1
Current children cumulated vsize (Kb) 3664

[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 41794 795 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 425.89
Current children cumulated vsize (Kb) 3664

[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 42758 809 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 435.67
Current children cumulated vsize (Kb) 3664

[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 43721 822 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 445.43
Current children cumulated vsize (Kb) 3664

[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 44673 840 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 455.13
Current children cumulated vsize (Kb) 3664

[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 45630 855 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 464.85
Current children cumulated vsize (Kb) 3664

[startup+490.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 46589 870 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 474.59
Current children cumulated vsize (Kb) 3664

[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 47549 887 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 484.36
Current children cumulated vsize (Kb) 3664

[startup+510.036 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 48508 903 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 494.11
Current children cumulated vsize (Kb) 3664

[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 49466 920 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 503.86
Current children cumulated vsize (Kb) 3664

[startup+530.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 50430 934 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 513.64
Current children cumulated vsize (Kb) 3664

[startup+540.039 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 51392 948 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 523.4
Current children cumulated vsize (Kb) 3664

[startup+550.039 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 52348 964 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 533.12
Current children cumulated vsize (Kb) 3664

[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 53306 979 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 542.85
Current children cumulated vsize (Kb) 3664

[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 54264 995 0 0 22 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 552.59
Current children cumulated vsize (Kb) 3664

[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 55223 1010 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 562.33
Current children cumulated vsize (Kb) 3664

[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 56182 1025 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 572.07
Current children cumulated vsize (Kb) 3664

[startup+600.043 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 57142 1040 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (Kb) 3664

[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 58099 1056 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 591.55
Current children cumulated vsize (Kb) 3664

[startup+620.044 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 59051 1074 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 601.25
Current children cumulated vsize (Kb) 3664

[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 60009 1090 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 610.99
Current children cumulated vsize (Kb) 3664

[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 60966 1106 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 620.72
Current children cumulated vsize (Kb) 3664

[startup+650.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 61923 1122 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 630.45
Current children cumulated vsize (Kb) 3664

[startup+660.046 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 62884 1136 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 640.2
Current children cumulated vsize (Kb) 3664

[startup+670.064 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 63847 1148 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 649.95
Current children cumulated vsize (Kb) 3664

[startup+680.065 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 64805 1164 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 659.69
Current children cumulated vsize (Kb) 3664

[startup+690.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 65750 1183 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 669.33
Current children cumulated vsize (Kb) 3664

[startup+700.067 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 66711 1196 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 679.07
Current children cumulated vsize (Kb) 3664

[startup+710.068 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 67668 1212 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 688.8
Current children cumulated vsize (Kb) 3664

[startup+720.068 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 68624 1228 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 698.52
Current children cumulated vsize (Kb) 3664

[startup+730.069 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 69579 1245 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 708.24
Current children cumulated vsize (Kb) 3664

[startup+740.07 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 70531 1260 0 0 19 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 717.91
Current children cumulated vsize (Kb) 3664

[startup+750.07 s]
Raw data (loadavg): 0.99 0.97 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 554 0 0 0 71487 1276 0 0 24 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 727.63
Current children cumulated vsize (Kb) 3664

[startup+760.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 72446 1291 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 737.37
Current children cumulated vsize (Kb) 3664

[startup+770.071 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 73397 1309 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527438 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 747.06
Current children cumulated vsize (Kb) 3664

[startup+780.072 s]
Raw data (loadavg): 0.99 0.97 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 74342 1328 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 756.7
Current children cumulated vsize (Kb) 3664

[startup+790.073 s]
Raw data (loadavg): 1.07 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 75294 1346 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 766.4
Current children cumulated vsize (Kb) 3664

[startup+800.074 s]
Raw data (loadavg): 1.06 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 76247 1363 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 776.1
Current children cumulated vsize (Kb) 3664

[startup+810.075 s]
Raw data (loadavg): 1.05 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 77193 1382 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 785.75
Current children cumulated vsize (Kb) 3664

[startup+820.075 s]
Raw data (loadavg): 1.04 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 78138 1402 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 795.4
Current children cumulated vsize (Kb) 3664

[startup+830.076 s]
Raw data (loadavg): 1.03 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 79080 1422 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 805.02
Current children cumulated vsize (Kb) 3664

[startup+840.077 s]
Raw data (loadavg): 1.03 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 554 0 0 0 80040 1436 0 0 25 0 1 0 1859637015 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 916 520 566 18 0 898 0
[pid=2216] vsize: 3664
Current children cumulated CPU time (s) 814.76
Current children cumulated vsize (Kb) 3664

[startup+850.077 s]
Raw data (loadavg): 1.02 0.99 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 562 0 0 0 80999 1450 0 0 25 0 1 0 1859637015 3878912 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 947 528 566 18 0 929 0
[pid=2216] vsize: 3788
Current children cumulated CPU time (s) 824.49
Current children cumulated vsize (Kb) 3788

[startup+860.078 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 562 0 0 0 81957 1465 0 0 25 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223548 134527402 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 834.22
Current children cumulated vsize (Kb) 3772

[startup+870.079 s]
Raw data (loadavg): 1.02 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 562 0 0 0 82915 1480 0 0 25 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 843.95
Current children cumulated vsize (Kb) 3772

[startup+880.08 s]
Raw data (loadavg): 1.01 0.99 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 562 0 0 0 83870 1497 0 0 25 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 853.67
Current children cumulated vsize (Kb) 3772

[startup+890.081 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 562 0 0 0 84820 1513 0 0 25 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 863.33
Current children cumulated vsize (Kb) 3772

[startup+900.081 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 562 0 0 0 85787 1525 0 0 25 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 873.12
Current children cumulated vsize (Kb) 3772

[startup+910.081 s]
Raw data (loadavg): 1.01 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 562 0 0 0 86750 1539 0 0 18 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 882.89
Current children cumulated vsize (Kb) 3772

[startup+920.081 s]
Raw data (loadavg): 1.00 0.99 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 562 0 0 0 87710 1553 0 0 25 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 892.63
Current children cumulated vsize (Kb) 3772

[startup+930.082 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 562 0 0 0 88671 1567 0 0 25 0 1 0 1859637015 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 528 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 902.38
Current children cumulated vsize (Kb) 3772

[startup+940.083 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 89638 1576 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 912.14
Current children cumulated vsize (Kb) 3772

[startup+950.083 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 90600 1589 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223488 134517551 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 921.89
Current children cumulated vsize (Kb) 3772

[startup+960.084 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 91562 1602 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 931.64
Current children cumulated vsize (Kb) 3772

[startup+970.084 s]
Raw data (loadavg): 1.00 0.99 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 92523 1615 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 941.38
Current children cumulated vsize (Kb) 3772

[startup+980.085 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 93476 1633 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 951.09
Current children cumulated vsize (Kb) 3772

[startup+990.086 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 94431 1649 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 960.8
Current children cumulated vsize (Kb) 3772

[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 95387 1663 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 970.5
Current children cumulated vsize (Kb) 3772

[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 96342 1680 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 980.22
Current children cumulated vsize (Kb) 3772

[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 97298 1694 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 989.92
Current children cumulated vsize (Kb) 3772

[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 98262 1708 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 999.7
Current children cumulated vsize (Kb) 3772

[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 99216 1726 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1009.42
Current children cumulated vsize (Kb) 3772

[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.93 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 100177 1740 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1019.17
Current children cumulated vsize (Kb) 3772

[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.93 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 101138 1755 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1028.93
Current children cumulated vsize (Kb) 3772

[startup+1070.09 s]
Raw data (loadavg): 1.07 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 102098 1771 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223508 1075285548 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1038.69
Current children cumulated vsize (Kb) 3772

[startup+1080.09 s]
Raw data (loadavg): 1.06 1.00 0.94 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 103056 1785 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1048.41
Current children cumulated vsize (Kb) 3772

[startup+1090.09 s]
Raw data (loadavg): 1.05 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 104012 1800 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1058.12
Current children cumulated vsize (Kb) 3772

[startup+1100.09 s]
Raw data (loadavg): 1.04 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 104971 1814 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1067.85
Current children cumulated vsize (Kb) 3772

[startup+1110.09 s]
Raw data (loadavg): 1.04 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 105927 1830 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1077.57
Current children cumulated vsize (Kb) 3772

[startup+1120.09 s]
Raw data (loadavg): 1.03 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 106887 1844 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1087.31
Current children cumulated vsize (Kb) 3772

[startup+1130.1 s]
Raw data (loadavg): 1.02 1.00 0.94 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 107840 1860 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1097
Current children cumulated vsize (Kb) 3772

[startup+1140.1 s]
Raw data (loadavg): 1.02 1.00 0.94 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 108799 1875 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1106.74
Current children cumulated vsize (Kb) 3772

[startup+1150.1 s]
Raw data (loadavg): 1.02 1.00 0.94 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 109759 1890 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1116.49
Current children cumulated vsize (Kb) 3772

[startup+1160.1 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 110709 1907 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1126.16
Current children cumulated vsize (Kb) 3772

[startup+1170.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 111661 1924 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1135.85
Current children cumulated vsize (Kb) 3772

[startup+1180.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 112611 1942 0 0 17 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1145.53
Current children cumulated vsize (Kb) 3772

[startup+1190.1 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 113568 1958 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1155.26
Current children cumulated vsize (Kb) 3772

[startup+1200.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 114521 1977 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1164.98
Current children cumulated vsize (Kb) 3772

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) R 2215 2216 31027 0 -1 0 571 0 0 0 115473 1993 0 0 17 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1174.66
Current children cumulated vsize (Kb) 3772

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 2216
Raw data (/proc/2216/stat): 2216 (Pueblo) T 2215 2216 31027 0 -1 0 571 0 0 0 116430 2008 0 0 25 0 1 0 1859637015 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/2216/statm): 943 537 566 18 0 925 0
[pid=2216] vsize: 3772
Current children cumulated CPU time (s) 1184.38
Current children cumulated vsize (Kb) 3772
One traced child (pid=2216) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1224.87
CPU time (s): 1189.01
CPU user time (s): 1168.84
CPU system time (s): 20.1649
CPU usage (%): 97.072
Max. virtual memory (cumulated for all children) (Kb): 3788

Verifier Data

Verifier:	OK	1523