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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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 benchmark209.173
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 8474

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        837540 kB
Buffers:         32860 kB
Cached:         139320 kB
SwapCached:        744 kB
Active:          76184 kB
Inactive:        98608 kB
HighTotal:      131008 kB
HighFree:         2968 kB
LowTotal:       903652 kB
LowFree:        834572 kB
SwapTotal:     2097136 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            16644 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 16:49:53 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 5602 0 1189.02 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/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801781256 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19322/statm): 41 3 40 18 0 23 0
[pid=19322] 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.0031 s]
Raw data (loadavg): 0.99 1.00 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 384 0 0 0 919 30 0 0 25 0 1 0 1801781256 3162112 350 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 772 350 566 18 0 754 0
[pid=19322] vsize: 3088
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (Kb) 3088

[startup+20.0037 s]
Raw data (loadavg): 0.99 1.00 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 420 0 0 0 1860 50 0 0 23 0 1 0 1801781256 3297280 386 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 805 386 566 18 0 787 0
[pid=19322] vsize: 3220
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (Kb) 3220

[startup+30.0043 s]
Raw data (loadavg): 0.99 1.00 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 420 0 0 0 2798 71 0 0 25 0 1 0 1801781256 3297280 386 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 805 386 566 18 0 787 0
[pid=19322] vsize: 3220
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (Kb) 3220

[startup+40.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 420 0 0 0 3747 90 0 0 25 0 1 0 1801781256 3297280 386 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19322/statm): 805 386 566 18 0 787 0
[pid=19322] vsize: 3220
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (Kb) 3220

[startup+50.0056 s]
Raw data (loadavg): 0.99 1.00 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 424 0 0 0 4689 110 0 0 25 0 1 0 1801781256 3297280 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 805 390 566 18 0 787 0
[pid=19322] vsize: 3220
Current children cumulated CPU time (s) 47.99
Current children cumulated vsize (Kb) 3220

[startup+60.0052 s]
Raw data (loadavg): 0.99 1.00 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 424 0 0 0 5621 136 0 0 25 0 1 0 1801781256 3297280 390 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 805 390 566 18 0 787 0
[pid=19322] vsize: 3220
Current children cumulated CPU time (s) 57.57
Current children cumulated vsize (Kb) 3220

[startup+70.0059 s]
Raw data (loadavg): 0.99 1.00 0.94 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 458 0 0 0 6565 154 0 0 25 0 1 0 1801781256 3432448 424 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 424 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 67.19
Current children cumulated vsize (Kb) 3352

[startup+80.0065 s]
Raw data (loadavg): 0.99 1.00 0.94 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 460 0 0 0 7507 174 0 0 25 0 1 0 1801781256 3432448 426 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 426 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 76.81
Current children cumulated vsize (Kb) 3352

[startup+90.0071 s]
Raw data (loadavg): 0.99 1.00 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 470 0 0 0 8464 189 0 0 25 0 1 0 1801781256 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 436 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 86.53
Current children cumulated vsize (Kb) 3352

[startup+100.008 s]
Raw data (loadavg): 0.99 1.00 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 470 0 0 0 9419 204 0 0 25 0 1 0 1801781256 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 436 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 96.23
Current children cumulated vsize (Kb) 3352

[startup+110.008 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 470 0 0 0 10379 219 0 0 25 0 1 0 1801781256 3432448 436 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 436 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 105.98
Current children cumulated vsize (Kb) 3352

[startup+120.009 s]
Raw data (loadavg): 1.06 1.01 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 470 0 0 0 11333 236 0 0 25 0 1 0 1801781256 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 436 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 115.69
Current children cumulated vsize (Kb) 3352

[startup+130.01 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 470 0 0 0 12271 257 0 0 25 0 1 0 1801781256 3432448 436 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 436 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 125.28
Current children cumulated vsize (Kb) 3352

[startup+140.01 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 470 0 0 0 13221 274 0 0 25 0 1 0 1801781256 3432448 436 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 436 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 134.95
Current children cumulated vsize (Kb) 3352

[startup+150.011 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 470 0 0 0 14169 293 0 0 25 0 1 0 1801781256 3432448 436 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 436 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 144.62
Current children cumulated vsize (Kb) 3352

[startup+160.011 s]
Raw data (loadavg): 1.03 1.01 0.94 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 478 0 0 0 15119 312 0 0 25 0 1 0 1801781256 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 444 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 154.31
Current children cumulated vsize (Kb) 3352

[startup+170.011 s]
Raw data (loadavg): 1.10 1.03 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 478 0 0 0 16065 332 0 0 25 0 1 0 1801781256 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 444 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 163.97
Current children cumulated vsize (Kb) 3352

[startup+180.011 s]
Raw data (loadavg): 1.09 1.03 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 478 0 0 0 17015 351 0 0 25 0 1 0 1801781256 3432448 444 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 444 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 173.66
Current children cumulated vsize (Kb) 3352

[startup+190.011 s]
Raw data (loadavg): 1.07 1.02 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 478 0 0 0 17963 370 0 0 25 0 1 0 1801781256 3432448 444 4294967295 134512640 134578447 3221224624 3221223504 134527875 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 444 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 183.33
Current children cumulated vsize (Kb) 3352

[startup+200.012 s]
Raw data (loadavg): 1.06 1.02 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 478 0 0 0 18904 389 0 0 25 0 1 0 1801781256 3432448 444 4294967295 134512640 134578447 3221224624 3221223536 134556632 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 444 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 192.93
Current children cumulated vsize (Kb) 3352

[startup+210.012 s]
Raw data (loadavg): 1.05 1.02 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 478 0 0 0 19851 409 0 0 25 0 1 0 1801781256 3432448 444 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 838 444 566 18 0 820 0
[pid=19322] vsize: 3352
Current children cumulated CPU time (s) 202.6
Current children cumulated vsize (Kb) 3352

[startup+220.012 s]
Raw data (loadavg): 1.04 1.02 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 491 0 0 0 20802 429 0 0 25 0 1 0 1801781256 3567616 457 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 457 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 212.31
Current children cumulated vsize (Kb) 3484

[startup+230.012 s]
Raw data (loadavg): 1.04 1.02 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 512 0 0 0 21757 444 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (Kb) 3484

[startup+240.013 s]
Raw data (loadavg): 1.03 1.02 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 512 0 0 0 22712 458 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 231.7
Current children cumulated vsize (Kb) 3484

[startup+250.013 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 512 0 0 0 23665 477 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 241.42
Current children cumulated vsize (Kb) 3484

[startup+260.014 s]
Raw data (loadavg): 1.02 1.02 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 512 0 0 0 24616 494 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 251.1
Current children cumulated vsize (Kb) 3484

[startup+270.015 s]
Raw data (loadavg): 1.02 1.02 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 512 0 0 0 25572 513 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 260.85
Current children cumulated vsize (Kb) 3484

[startup+280.014 s]
Raw data (loadavg): 1.01 1.02 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 512 0 0 0 26520 530 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 270.5
Current children cumulated vsize (Kb) 3484

[startup+290.015 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 512 0 0 0 27466 551 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 280.17
Current children cumulated vsize (Kb) 3484

[startup+300.015 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 512 0 0 0 28419 566 0 0 25 0 1 0 1801781256 3567616 478 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 871 478 566 18 0 853 0
[pid=19322] vsize: 3484
Current children cumulated CPU time (s) 289.85
Current children cumulated vsize (Kb) 3484

[startup+310.015 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 513 0 0 0 29371 585 0 0 25 0 1 0 1801781256 3661824 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 894 479 566 18 0 876 0
[pid=19322] vsize: 3576
Current children cumulated CPU time (s) 299.56
Current children cumulated vsize (Kb) 3576

[startup+320.016 s]
Raw data (loadavg): 1.01 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 513 0 0 0 30313 606 0 0 25 0 1 0 1801781256 3661824 479 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 894 479 566 18 0 876 0
[pid=19322] vsize: 3576
Current children cumulated CPU time (s) 309.19
Current children cumulated vsize (Kb) 3576

[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 513 0 0 0 31260 625 0 0 25 0 1 0 1801781256 3661824 479 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 894 479 566 18 0 876 0
[pid=19322] vsize: 3576
Current children cumulated CPU time (s) 318.85
Current children cumulated vsize (Kb) 3576

[startup+340.017 s]
Raw data (loadavg): 1.00 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 544 0 0 0 32202 646 0 0 25 0 1 0 1801781256 3792896 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 926 510 566 18 0 908 0
[pid=19322] vsize: 3704
Current children cumulated CPU time (s) 328.48
Current children cumulated vsize (Kb) 3704

[startup+350.018 s]
Raw data (loadavg): 1.00 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 544 0 0 0 33153 663 0 0 25 0 1 0 1801781256 3760128 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 918 510 566 18 0 900 0
[pid=19322] vsize: 3672
Current children cumulated CPU time (s) 338.16
Current children cumulated vsize (Kb) 3672

[startup+360.018 s]
Raw data (loadavg): 1.00 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 544 0 0 0 34098 682 0 0 25 0 1 0 1801781256 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 510 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 347.8
Current children cumulated vsize (Kb) 3664

[startup+370.019 s]
Raw data (loadavg): 1.00 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 544 0 0 0 35053 698 0 0 25 0 1 0 1801781256 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 510 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 357.51
Current children cumulated vsize (Kb) 3664

[startup+380.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 544 0 0 0 35998 717 0 0 25 0 1 0 1801781256 3751936 510 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 510 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 367.15
Current children cumulated vsize (Kb) 3664

[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 544 0 0 0 36946 734 0 0 25 0 1 0 1801781256 3751936 510 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 510 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 376.8
Current children cumulated vsize (Kb) 3664

[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 544 0 0 0 37899 753 0 0 25 0 1 0 1801781256 3751936 510 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 510 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 386.52
Current children cumulated vsize (Kb) 3664

[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 38861 763 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223552 134516662 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 396.24
Current children cumulated vsize (Kb) 3664

[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 39821 779 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 406
Current children cumulated vsize (Kb) 3664

[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 40779 793 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 415.72
Current children cumulated vsize (Kb) 3664

[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 41741 808 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 425.49
Current children cumulated vsize (Kb) 3664

[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 42703 822 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134528079 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 435.25
Current children cumulated vsize (Kb) 3664

[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 43666 835 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 445.01
Current children cumulated vsize (Kb) 3664

[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 44621 853 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 454.74
Current children cumulated vsize (Kb) 3664

[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 45580 868 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 464.48
Current children cumulated vsize (Kb) 3664

[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 46541 882 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 474.23
Current children cumulated vsize (Kb) 3664

[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 47501 895 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223536 134557268 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 483.96
Current children cumulated vsize (Kb) 3664

[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 48462 908 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 493.7
Current children cumulated vsize (Kb) 3664

[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 49416 924 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 503.4
Current children cumulated vsize (Kb) 3664

[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 50378 939 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 513.17
Current children cumulated vsize (Kb) 3664

[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 51339 953 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 522.92
Current children cumulated vsize (Kb) 3664

[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 52300 968 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 532.68
Current children cumulated vsize (Kb) 3664

[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 53257 985 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 542.42
Current children cumulated vsize (Kb) 3664

[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 54212 1001 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 552.13
Current children cumulated vsize (Kb) 3664

[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 55171 1016 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 561.87
Current children cumulated vsize (Kb) 3664

[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 56134 1029 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 571.63
Current children cumulated vsize (Kb) 3664

[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 57096 1041 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223192 1075289825 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 581.37
Current children cumulated vsize (Kb) 3664

[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 58054 1055 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 591.09
Current children cumulated vsize (Kb) 3664

[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 59010 1071 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223484 134527144 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 600.81
Current children cumulated vsize (Kb) 3664

[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 59965 1086 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 610.51
Current children cumulated vsize (Kb) 3664

[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 60923 1102 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 620.25
Current children cumulated vsize (Kb) 3664

[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 61880 1115 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 629.95
Current children cumulated vsize (Kb) 3664

[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 62839 1128 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (Kb) 3664

[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 63793 1145 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 649.38
Current children cumulated vsize (Kb) 3664

[startup+680.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 64747 1160 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 659.07
Current children cumulated vsize (Kb) 3664

[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 65691 1179 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 668.7
Current children cumulated vsize (Kb) 3664

[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 66643 1198 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 678.41
Current children cumulated vsize (Kb) 3664

[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 67598 1214 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223480 134527276 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 688.12
Current children cumulated vsize (Kb) 3664

[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 68553 1228 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527818 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 697.81
Current children cumulated vsize (Kb) 3664

[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 69512 1243 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 707.55
Current children cumulated vsize (Kb) 3664

[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 70464 1262 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 717.26
Current children cumulated vsize (Kb) 3664

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 71426 1274 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 727
Current children cumulated vsize (Kb) 3664

[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 72385 1289 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223456 134527207 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 736.74
Current children cumulated vsize (Kb) 3664

[startup+770.042 s]
Raw data (loadavg): 1.08 1.02 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 73338 1305 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223536 134557033 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 746.43
Current children cumulated vsize (Kb) 3664

[startup+780.042 s]
Raw data (loadavg): 1.07 1.02 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 74286 1325 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 756.11
Current children cumulated vsize (Kb) 3664

[startup+790.043 s]
Raw data (loadavg): 1.06 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 75236 1343 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 765.79
Current children cumulated vsize (Kb) 3664

[startup+800.043 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 76189 1359 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 775.48
Current children cumulated vsize (Kb) 3664

[startup+810.044 s]
Raw data (loadavg): 1.04 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 77143 1375 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 785.18
Current children cumulated vsize (Kb) 3664

[startup+820.044 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 78083 1396 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 794.79
Current children cumulated vsize (Kb) 3664

[startup+830.045 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 554 0 0 0 79028 1415 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 804.43
Current children cumulated vsize (Kb) 3664

[startup+840.046 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 554 0 0 0 79985 1429 0 0 25 0 1 0 1801781256 3751936 520 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 916 520 566 18 0 898 0
[pid=19322] vsize: 3664
Current children cumulated CPU time (s) 814.14
Current children cumulated vsize (Kb) 3664

[startup+850.046 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 562 0 0 0 80946 1443 0 0 25 0 1 0 1801781256 3883008 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 948 528 566 18 0 930 0
[pid=19322] vsize: 3792
Current children cumulated CPU time (s) 823.89
Current children cumulated vsize (Kb) 3792

[startup+860.046 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 562 0 0 0 81899 1461 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 833.6
Current children cumulated vsize (Kb) 3772

[startup+870.047 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 562 0 0 0 82857 1476 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 843.33
Current children cumulated vsize (Kb) 3772

[startup+880.047 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 562 0 0 0 83814 1491 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 853.05
Current children cumulated vsize (Kb) 3772

[startup+890.048 s]
Raw data (loadavg): 1.01 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 562 0 0 0 84762 1511 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 862.73
Current children cumulated vsize (Kb) 3772

[startup+900.049 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 562 0 0 0 85722 1524 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 872.46
Current children cumulated vsize (Kb) 3772

[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 562 0 0 0 86683 1539 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223504 134527782 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (Kb) 3772

[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 562 0 0 0 87645 1552 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 891.97
Current children cumulated vsize (Kb) 3772

[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 562 0 0 0 88602 1568 0 0 25 0 1 0 1801781256 3862528 528 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 528 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 901.7
Current children cumulated vsize (Kb) 3772

[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 89560 1583 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 911.43
Current children cumulated vsize (Kb) 3772

[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 90522 1597 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 921.19
Current children cumulated vsize (Kb) 3772

[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 91476 1615 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 930.91
Current children cumulated vsize (Kb) 3772

[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 92434 1631 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 940.65
Current children cumulated vsize (Kb) 3772

[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 93393 1645 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 950.38
Current children cumulated vsize (Kb) 3772

[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 94347 1663 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 960.1
Current children cumulated vsize (Kb) 3772

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 95299 1682 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 969.81
Current children cumulated vsize (Kb) 3772

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 96250 1698 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 979.48
Current children cumulated vsize (Kb) 3772

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 97200 1714 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 989.14
Current children cumulated vsize (Kb) 3772

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 98162 1729 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 998.91
Current children cumulated vsize (Kb) 3772

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 99119 1744 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527751 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1008.63
Current children cumulated vsize (Kb) 3772

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 100082 1757 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1018.39
Current children cumulated vsize (Kb) 3772

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 101041 1772 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223500 134528134 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1028.13
Current children cumulated vsize (Kb) 3772

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 102002 1786 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1037.88
Current children cumulated vsize (Kb) 3772

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 102959 1802 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1047.61
Current children cumulated vsize (Kb) 3772

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 103919 1816 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1057.35
Current children cumulated vsize (Kb) 3772

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 104873 1832 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223584 134558999 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1067.05
Current children cumulated vsize (Kb) 3772

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 105833 1845 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1076.78
Current children cumulated vsize (Kb) 3772

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 106793 1859 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1086.52
Current children cumulated vsize (Kb) 3772

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 107749 1875 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1096.24
Current children cumulated vsize (Kb) 3772

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 108702 1892 0 0 19 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1105.94
Current children cumulated vsize (Kb) 3772

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 109661 1907 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1115.68
Current children cumulated vsize (Kb) 3772

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 110616 1922 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1125.38
Current children cumulated vsize (Kb) 3772

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 111571 1938 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1135.09
Current children cumulated vsize (Kb) 3772

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 112519 1955 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1144.74
Current children cumulated vsize (Kb) 3772

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 113474 1972 0 0 17 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223504 134527861 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1154.46
Current children cumulated vsize (Kb) 3772

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 114436 1985 0 0 23 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1164.21
Current children cumulated vsize (Kb) 3772

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) T 19321 19322 15400 0 -1 0 571 0 0 0 115383 2002 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1173.85
Current children cumulated vsize (Kb) 3772

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/56 19322
Raw data (/proc/19322/stat): 19322 (Pueblo) R 19321 19322 15400 0 -1 0 571 0 0 0 116340 2017 0 0 25 0 1 0 1801781256 3862528 537 4294967295 134512640 134578447 3221224624 3221223524 1075289623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/19322/statm): 943 537 566 18 0 925 0
[pid=19322] vsize: 3772
Current children cumulated CPU time (s) 1183.57
Current children cumulated vsize (Kb) 3772
One traced child (pid=19322) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1225.69
CPU time (s): 1189.02
CPU user time (s): 1168.75
CPU system time (s): 20.2609
CPU usage (%): 97.0078
Max. virtual memory (cumulated for all children) (Kb): 3792

Verifier Data

Verifier:	OK	1523