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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUMeac61d4d68844395596b0518195dd6df
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 493056
Optimality of the best value was proved NO
Number of terms in the objective function 3024
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 839045346
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 839045346
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables3024
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint21
Maximum length of a constraint240

Trace number 8678

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-20 17:32:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5780 boxname=wulflinc3 idbench=1092 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5780
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        777184 kB
Buffers:         32032 kB
Cached:         198488 kB
SwapCached:        816 kB
Active:         101008 kB
Inactive:       132184 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776932 kB
SwapTotal:     2097136 kB
SwapFree:      2095752 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18600 kB
Committed_AS:    72364 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:52:49 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 5780 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: 3024 - #constraints read: 193
c total time              : 1189 s
s SATISFIABLE
v -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 X11_bit0 X11_bit1 X11_bit2 -X11_bit3 X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 -X24_bit_3 -X24_bit_2 -X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 X34_bit1 -X34_bit2 X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X41_bit_7 -X41_bit_6 -X41_bit_5 -X41_bit_4 -X41_bit_3 -X41_bit_2 -X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X44_bit_7 -X44_bit_6 -X44_bit_5 -X44_bit_4 -X44_bit_3 -X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 X44_bit3 X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X45_bit_7 -X45_bit_6 -X45_bit_5 -X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 -X46_bit_1 -X46_bit0 X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X48_bit_7 -X48_bit_6 -X48_bit_5 -X48_bit_4 -X48_bit_3 -X48_bit_2 -X48_bit_1 -X48_bit0 -X48_bit1 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 -X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X61_bit_7 -X61_bit_6 -X61_bit_5 -X61_bit_4 -X61_bit_3 -X61_bit_2 -X61_bit_1 -X61_bit0 -X61_bit1 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X65_bit_7 -X65_bit_6 -X65_bit_5 -X65_bit_4 -X65_bit_3 -X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 -X66_bit_1 -X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 X68_bit1 -X68_bit2 -X68_bit3 X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X72_bit_7 -X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X74_bit_7 -X74_bit_6 -X74_bit_5 -X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X75_bit_7 -X75_bit_6 -X75_bit_5 -X75_bit_4 -X75_bit_3 -X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X76_bit_7 -X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 -X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X77_bit_7 -X77_bit_6 -X77_bit_5 -X77_bit_4 -X77_bit_3 -X77_bit_2 -X77_bit_1 -X77_bit0 -X77_bit1 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 X78_bit1 -X78_bit2 X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X79_bit_7 -X79_bit_6 -X79_bit_5 -X79_bit_4 -X79_bit_3 -X79_bit_2 -X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X82_bit_7 -X82_bit_6 -X82_bit_5 -X82_bit_4 -X82_bit_3 -X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X84_bit_7 -X84_bit_6 -X84_bit_5 -X84_bit_4 -X84_bit_3 -X84_bit_2 -X84_bit_1 -X84_bit0 -X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 -X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X86_bit_7 -X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 -X86_bit_2 -X86_bit_1 -X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 -X87_bit_2 -X87_bit_1 -X87_bit0 -X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 -X88_bit_3 -X88_bit_2 -X88_bit_1 -X88_bit0 -X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X91_bit_7 -X91_bit_6 -X91_bit_5 -X91_bit_4 -X91_bit_3 -X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X92_bit_7 -X92_bit_6 -X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X94_bit_7 -X94_bit_6 -X94_bit_5 -X94_bit_4 -X94_bit_3 -X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X96_bit_7 -X96_bit_6 -X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 -X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X98_bit_7 -X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 -X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 -X99_bit_2 -X99_bit_1 -X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X100_bit_7 -X100_bit_6 -X100_bit_5 -X100_bit_4 -X100_bit_3 -X100_bit_2 -X100_bit_1 -X100_bit0 -X100_bit1 -X100_bit2 X100_bit3 X100_bit4 -X100_bit5 -X100_bit6 -X100_bit7 -X100_bit8 -X100_bit9 -X100_bit10 -X100_bit11 -X100_bit12 -X101_bit_7 -X101_bit_6 -X101_bit_5 -X101_bit_4 -X101_bit_3 -X101_bit_2 -X101_bit_1 -X101_bit0 -X101_bit1 -X101_bit2 -X101_bit3 -X101_bit4 -X101_bit5 -X101_bit6 -X101_bit7 -X101_bit8 -X101_bit9 -X101_bit10 -X101_bit11 -X101_bit12 -X102_bit_7 -X102_bit_6 -X102_bit_5 -X102_bit_4 -X102_bit_3 -X102_bit_2 -X102_bit_1 -X102_bit0 -X102_bit1 -X102_bit2 -X102_bit3 -X102_bit4 -X102_bit5 -X102_bit6 -X102_bit7 -X102_bit8 -X102_bit9 -X102_bit10 -X102_bit11 -X102_bit12 -X103_bit_7 -X103_bit_6 -X103_bit_5 -X103_bit_4 -X103_bit_3 -X103_bit_2 -X103_bit_1 -X103_bit0 -X103_bit1 -X103_bit2 -X103_bit3 -X103_bit4 -X103_bit5 -X103_bit6 -X103_bit7 -X103_bit8 -X103_bit9 -X103_bit10 -X103_bit11 -X103_bit12 -X104_bit_7 -X104_bit_6 -X104_bit_5 -X104_bit_4 -X104_bit_3 -X104_bit_2 -X104_bit_1 -X104_bit0 -X104_bit1 -X104_bit2 -X104_bit3 -X104_bit4 -X104_bit5 -X104_bit6 -X104_bit7 -X104_bit8 -X104_bit9 -X104_bit10 -X104_bit11 -X104_bit12 -X105_bit_7 -X105_bit_6 -X105_bit_5 -X105_bit_4 -X105_bit_3 -X105_bit_2 -X105_bit_1 -X105_bit0 -X105_bit1 -X105_bit2 -X105_bit3 -X105_bit4 -X105_bit5 -X105_bit6 -X105_bit7 -X105_bit8 -X105_bit9 -X105_bit10 -X105_bit11 -X105_bit12 -X106_bit_7 -X106_bit_6 -X106_bit_5 -X106_bit_4 -X106_bit_3 -X106_bit_2 -X106_bit_1 -X106_bit0 -X106_bit1 -X106_bit2 -X106_bit3 -X106_bit4 -X106_bit5 -X106_bit6 -X106_bit7 -X106_bit8 -X106_bit9 -X106_bit10 -X106_bit11 -X106_bit12 -X107_bit_7 -X107_bit_6 -X107_bit_5 -X107_bit_4 -X107_bit_3 -X107_bit_2 -X107_bit_1 -X107_bit0 -X107_bit1 -X107_bit2 -X107_bit3 -X107_bit4 -X107_bit5 -X107_bit6 -X107_bit7 -X107_bit8 -X107_bit9 -X107_bit10 -X107_bit11 -X107_bit12 -X108_bit_7 -X108_bit_6 -X108_bit_5 -X108_bit_4 -X108_bit_3 -X108_bit_2 -X108_bit_1 -X108_bit0 -X108_bit1 -X108_bit2 -X108_bit3 -X108_bit4 -X108_bit5 -X108_bit6 -X108_bit7 -X108_bit8 -X108_bit9 -X108_bit10 -X108_bit11 -X108_bit12 -X109_bit_7 -X109_bit_6 -X109_bit_5 -X109_bit_4 -X109_bit_3 -X109_bit_2 -X109_bit_1 -X109_bit0 -X109_bit1 -X109_bit2 -X109_bit3 -X109_bit4 -X109_bit5 -X109_bit6 -X109_bit7 -X109_bit8 -X109_bit9 -X109_bit10 -X109_bit11 -X109_bit12 -X110_bit_7 -X110_bit_6 -X110_bit_5 -X110_bit_4 -X110_bit_3 -X110_bit_2 -X110_bit_1 -X110_bit0 -X110_bit1 -X110_bit2 -X110_bit3 -X110_bit4 -X110_bit5 -X110_bit6 -X110_bit7 -X110_bit8 -X110_bit9 -X110_bit10 -X110_bit11 -X110_bit12 -X111_bit_7 -X111_bit_6 -X111_bit_5 -X111_bit_4 -X111_bit_3 -X111_bit_2 -X111_bit_1 -X111_bit0 -X111_bit1 X111_bit2 -X111_bit3 -X111_bit4 -X111_bit5 -X111_bit6 -X111_bit7 -X111_bit8 -X111_bit9 -X111_bit10 -X111_bit11 -X111_bit12 -X112_bit_7 -X112_bit_6 -X112_bit_5 -X112_bit_4 -X112_bit_3 -X112_bit_2 -X112_bit_1 -X112_bit0 -X112_bit1 -X112_bit2 X112_bit3 -X112_bit4 -X112_bit5 -X112_bit6 -X112_bit7 -X112_bit8 -X112_bit9 -X112_bit10 -X112_bit11 -X112_bit12 -X113_bit_7 -X113_bit_6 -X113_bit_5 -X113_bit_4 -X113_bit_3 -X113_bit_2 -X113_bit_1 -X113_bit0 -X113_bit1 X113_bit2 -X113_bit3 -X113_bit4 -X113_bit5 -X113_bit6 -X113_bit7 -X113_bit8 -X113_bit9 -X113_bit10 -X113_bit11 -X113_bit12 -X114_bit_7 -X114_bit_6 -X114_bit_5 -X114_bit_4 -X114_bit_3 -X114_bit_2 -X114_bit_1 -X114_bit0 -X114_bit1 -X114_bit2 -X114_bit3 -X114_bit4 -X114_bit5 -X114_bit6 -X114_bit7 -X114_bit8 -X114_bit9 -X114_bit10 -X114_bit11 -X114_bit12 -X115_bit_7 -X115_bit_6 -X115_bit_5 -X115_bit_4 -X115_bit_3 -X115_bit_2 -X115_bit_1 X115_bit0 -X115_bit1 -X115_bit2 -X115_bit3 -X115_bit4 -X115_bit5 -X115_bit6 -X115_bit7 -X115_bit8 -X115_bit9 -X115_bit10 -X115_bit11 -X115_bit12 -X116_bit_7 -X116_bit_6 -X116_bit_5 -X116_bit_4 -X116_bit_3 -X116_bit_2 -X116_bit_1 -X116_bit0 -X116_bit1 -X116_bit2 -X116_bit3 -X116_bit4 -X116_bit5 -X116_bit6 -X116_bit7 -X116_bit8 -X116_bit9 -X116_bit10 -X116_bit11 -X116_bit12 -X117_bit_7 -X117_bit_6 -X117_bit_5 -X117_bit_4 -X117_bit_3 -X117_bit_2 -X117_bit_1 -X117_bit0 -X117_bit1 -X117_bit2 -X117_bit3 -X117_bit4 -X117_bit5 -X117_bit6 -X117_bit7 -X117_bit8 -X117_bit9 -X117_bit10 -X117_bit11 -X117_bit12 -X118_bit_7 -X118_bit_6 -X118_bit_5 -X118_bit_4 -X118_bit_3 -X118_bit_2 -X118_bit_1 -X118_bit0 -X118_bit1 -X118_bit2 -X118_bit3 -X118_bit4 -X118_bit5 -X118_bit6 -X118_bit7 -X118_bit8 -X118_bit9 -X118_bit10 -X118_bit11 -X118_bit12 -X119_bit_7 -X119_bit_6 -X119_bit_5 -X119_bit_4 -X119_bit_3 -X119_bit_2 -X119_bit_1 -X119_bit0 -X119_bit1 -X119_bit2 -X119_bit3 -X119_bit4 -X119_bit5 -X119_bit6 -X119_bit7 -X119_bit8 -X119_bit9 -X119_bit10 -X119_bit11 -X119_bit12 -X120_bit_7 -X120_bit_6 -X120_bit_5 -X120_bit_4 -X120_bit_3 -X120_bit_2 -X120_bit_1 -X120_bit0 -X120_bit1 -X120_bit2 -X120_bit3 -X120_bit4 -X120_bit5 -X120_bit6 -X120_bit7 -X120_bit8 -X120_bit9 -X120_bit10 -X120_bit11 -X120_bit12 -X121_bit_7 -X121_bit_6 -X121_bit_5 -X121_bit_4 -X121_bit_3 -X121_bit_2 -X121_bit_1 -X121_bit0 -X121_bit1 -X121_bit2 -X121_bit3 -X121_bit4 -X121_bit5 -X121_bit6 -X121_bit7 -X121_bit8 -X121_bit9 -X121_bit10 -X121_bit11 -X121_bit12 -X122_bit_7 -X122_bit_6 -X122_bit_5 -X122_bit_4 -X122_bit_3 -X122_bit_2 -X122_bit_1 X122_bit0 -X122_bit1 -X122_bit2 -X122_bit3 X122_bit4 -X122_bit5 -X122_bit6 -X122_bit7 -X122_bit8 -X122_bit9 -X122_bit10 -X122_bit11 -X122_bit12 -X123_bit_7 -X123_bit_6 -X123_bit_5 -X123_bit_4 -X123_bit_3 -X123_bit_2 -X123_bit_1 -X123_bit0 X123_bit1 -X123_bit2 -X123_bit3 -X123_bit4 -X123_bit5 -X123_bit6 -X123_bit7 -X123_bit8 -X123_bit9 -X123_bit10 -X123_bit11 -X123_bit12 -X124_bit_7 -X124_bit_6 -X124_bit_5 -X124_bit_4 -X124_bit_3 -X124_bit_2 -X124_bit_1 -X124_bit0 -X124_bit1 -X124_bit2 -X124_bit3 -X124_bit4 -X124_bit5 -X124_bit6 -X124_bit7 -X124_bit8 -X124_bit9 -X124_bit10 -X124_bit11 -X124_bit12 -X125_bit_7 -X125_bit_6 -X125_bit_5 -X125_bit_4 -X125_bit_3 -X125_bit_2 -X125_bit_1 -X125_bit0 -X125_bit1 -X125_bit2 -X125_bit3 -X125_bit4 -X125_bit5 -X125_bit6 -X125_bit7 -X125_bit8 -X125_bit9 -X125_bit10 -X125_bit11 -X125_bit12 -X126_bit_7 -X126_bit_6 -X126_bit_5 -X126_bit_4 -X126_bit_3 -X126_bit_2 -X126_bit_1 -X126_bit0 -X126_bit1 -X126_bit2 -X126_bit3 -X126_bit4 -X126_bit5 -X126_bit6 -X126_bit7 -X126_bit8 -X126_bit9 -X126_bit10 -X126_bit11 -X126_bit12 -X127_bit_7 -X127_bit_6 -X127_bit_5 -X127_bit_4 -X127_bit_3 -X127_bit_2 -X127_bit_1 -X127_bit0 -X127_bit1 -X127_bit2 -X127_bit3 -X127_bit4 -X127_bit5 -X127_bit6 -X127_bit7 -X127_bit8 -X127_bit9 -X127_bit10 -X127_bit11 -X127_bit12 -X128_bit_7 -X128_bit_6 -X128_bit_5 -X128_bit_4 -X128_bit_3 -X128_bit_2 -X128_bit_1 -X128_bit0 -X128_bit1 -X128_bit2 -X128_bit3 -X128_bit4 -X128_bit5 -X128_bit6 -X128_bit7 -X128_bit8 -X128_bit9 -X128_bit10 -X128_bit11 -X128_bit12 -X129_bit_7 -X129_bit_6 -X129_bit_5 -X129_bit_4 -X129_bit_3 -X129_bit_2 -X129_bit_1 -X129_bit0 -X129_bit1 -X129_bit2 -X129_bit3 -X129_bit4 -X129_bit5 -X129_bit6 -X129_bit7 -X129_bit8 -X129_bit9 -X129_bit10 -X129_bit11 -X129_bit12 -X130_bit_7 -X130_bit_6 -X130_bit_5 -X130_bit_4 -X130_bit_3 -X130_bit_2 -X130_bit_1 -X130_bit0 -X130_bit1 -X130_bit2 -X130_bit3 -X130_bit4 -X130_bit5 -X130_bit6 -X130_bit7 -X130_bit8 -X130_bit9 -X130_bit10 -X130_bit11 -X130_bit12 -X131_bit_7 -X131_bit_6 -X131_bit_5 -X131_bit_4 -X131_bit_3 -X131_bit_2 -X131_bit_1 -X131_bit0 -X131_bit1 -X131_bit2 -X131_bit3 -X131_bit4 -X131_bit5 -X131_bit6 -X131_bit7 -X131_bit8 -X131_bit9 -X131_bit10 -X131_bit11 -X131_bit12 -X132_bit_7 -X132_bit_6 -X132_bit_5 -X132_bit_4 -X132_bit_3 -X132_bit_2 -X132_bit_1 X132_bit0 X132_bit1 X132_bit2 -X132_bit3 -X132_bit4 -X132_bit5 -X132_bit6 -X132_bit7 -X132_bit8 -X132_bit9 -X132_bit10 -X132_bit11 -X132_bit12 -X133_bit_7 -X133_bit_6 -X133_bit_5 -X133_bit_4 -X133_bit_3 -X133_bit_2 -X133_bit_1 -X133_bit0 X133_bit1 X133_bit2 -X133_bit3 -X133_bit4 -X133_bit5 -X133_bit6 -X133_bit7 -X133_bit8 -X133_bit9 -X133_bit10 -X133_bit11 -X133_bit12 -X134_bit_7 -X134_bit_6 -X134_bit_5 -X134_bit_4 -X134_bit_3 -X134_bit_2 -X134_bit_1 -X134_bit0 -X134_bit1 -X134_bit2 -X134_bit3 -X134_bit4 -X134_bit5 -X134_bit6 -X134_bit7 -X134_bit8 -X134_bit9 -X134_bit10 -X134_bit11 -X134_bit12 -X135_bit_7 -X135_bit_6 -X135_bit_5 -X135_bit_4 -X135_bit_3 -X135_bit_2 -X135_bit_1 -X135_bit0 -X135_bit1 -X135_bit2 -X135_bit3 -X135_bit4 -X135_bit5 -X135_bit6 -X135_bit7 -X135_bit8 -X135_bit9 -X135_bit10 -X135_bit11 -X135_bit12 -X136_bit_7 -X136_bit_6 -X136_bit_5 -X136_bit_4 -X136_bit_3 -X136_bit_2 -X136_bit_1 -X136_bit0 -X136_bit1 -X136_bit2 -X136_bit3 -X136_bit4 -X136_bit5 -X136_bit6 -X136_bit7 -X136_bit8 -X136_bit9 -X136_bit10 -X136_bit11 -X136_bit12 -X137_bit_7 -X137_bit_6 -X137_bit_5 -X137_bit_4 -X137_bit_3 -X137_bit_2 -X137_bit_1 -X137_bit0 -X137_bit1 -X137_bit2 -X137_bit3 -X137_bit4 -X137_bit5 -X137_bit6 -X137_bit7 -X137_bit8 -X137_bit9 -X137_bit10 -X137_bit11 -X137_bit12 -X138_bit_7 -X138_bit_6 -X138_bit_5 -X138_bit_4 -X138_bit_3 -X138_bit_2 -X138_bit_1 X138_bit0 -X138_bit1 -X138_bit2 -X138_bit3 -X138_bit4 -X138_bit5 -X138_bit6 -X138_bit7 -X138_bit8 -X138_bit9 -X138_bit10 -X138_bit11 -X138_bit12 -X139_bit_7 -X139_bit_6 -X139_bit_5 -X139_bit_4 -X139_bit_3 -X139_bit_2 -X139_bit_1 -X139_bit0 -X139_bit1 -X139_bit2 -X139_bit3 -X139_bit4 -X139_bit5 -X139_bit6 -X139_bit7 -X139_bit8 -X139_bit9 -X139_bit10 -X139_bit11 -X139_bit12 -X140_bit_7 -X140_bit_6 -X140_bit_5 -X140_bit_4 -X140_bit_3 -X140_bit_2 -X140_bit_1 -X140_bit0 -X140_bit1 -X140_bit2 -X140_bit3 -X140_bit4 -X140_bit5 -X140_bit6 -X140_bit7 -X140_bit8 -X140_bit9 -X140_bit10 -X140_bit11 -X140_bit12 -X141_bit_7 -X141_bit_6 -X141_bit_5 -X141_bit_4 -X141_bit_3 -X141_bit_2 -X141_bit_1 -X141_bit0 -X141_bit1 -X141_bit2 -X141_bit3 -X141_bit4 -X141_bit5 -X141_bit6 -X141_bit7 -X141_bit8 -X141_bit9 -X141_bit10 -X141_bit11 -X141_bit12 -X142_bit_7 -X142_bit_6 -X142_bit_5 -X142_bit_4 -X142_bit_3 -X142_bit_2 -X142_bit_1 -X142_bit0 -X142_bit1 -X142_bit2 -X142_bit3 -X142_bit4 -X142_bit5 -X142_bit6 -X142_bit7 -X142_bit8 -X142_bit9 -X142_bit10 -X142_bit11 -X142_bit12 -X143_bit_7 -X143_bit_6 -X143_bit_5 -X143_bit_4 -X143_bit_3 -X143_bit_2 -X143_bit_1 -X143_bit0 -X143_bit1 -X143_bit2 -X143_bit3 -X143_bit4 -X143_bit5 -X143_bit6 -X143_bit7 -X143_bit8 -X143_bit9 -X143_bit10 -X143_bit11 -X143_bit12 -Y0_bit0 -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 -Y5_bit0 -Y6_bit0 -Y7_bit0 -Y8_bit0 -Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 -Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 Y22_bit0 Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 -Y29_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 Y33_bit0 Y34_bit0 Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 Y58_bit0 -Y59_bit0 -Y60_bit0 -Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 -Y65_bit0 -Y66_bit0 Y67_bit0 Y68_bit0 -Y69_bit0 Y70_bit0 -Y71_bit0 -Y72_bit0 -Y73_bit0 -Y74_bit0 -Y75_bit0 -Y76_bit0 -Y77_bit0 Y78_bit0 -Y79_bit0 Y80_bit0 -Y81_bit0 -Y82_bit0 -Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 Y89_bit0 -Y90_bit0 -Y91_bit0 -Y92_bit0 -Y93_bit0 -Y94_bit0 -Y95_bit0 -Y96_bit0 -Y97_bit0 -Y98_bit0 -Y99_bit0 Y100_bit0 -Y101_bit0 -Y102_bit0 -Y103_bit0 -Y104_bit0 -Y105_bit0 -Y106_bit0 -Y107_bit0 -Y108_bit0 -Y109_bit0 -Y110_bit0 Y111_bit0 Y112_bit0 Y113_bit0 -Y114_bit0 Y115_bit0 -Y116_bit0 -Y117_bit0 -Y118_bit0 -Y119_bit0 -Y120_bit0 -Y121_bit0 Y122_bit0 Y123_bit0 -Y124_bit0 -Y125_bit0 -Y126_bit0 -Y127_bit0 -Y128_bit0 -Y129_bit0 -Y130_bit0 -Y131_bit0 Y132_bit0 Y133_bit0 -Y134_bit0 -Y135_bit0 -Y136_bit0 -Y137_bit0 Y138_bit0 -Y139_bit0 -Y140_bit0 -Y141_bit0 -Y142_bit0 -Y143_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/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1802124859 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 41 3 40 18 0 23 0
[pid=12938] 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.0044 s]
Raw data (loadavg): 0.87 0.94 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1224 0 0 0 954 15 0 0 25 0 1 0 1802124859 6631424 1190 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 1619 1190 566 18 0 1601 0
[pid=12938] vsize: 6476
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (Kb) 6476

[startup+20.0052 s]
Raw data (loadavg): 0.89 0.94 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 1374 0 0 0 1931 22 0 0 25 0 1 0 1802124859 7286784 1340 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1779 1340 566 18 0 1761 0
[pid=12938] vsize: 7116
Current children cumulated CPU time (s) 19.53
Current children cumulated vsize (Kb) 7116

[startup+30.005 s]
Raw data (loadavg): 0.91 0.94 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 1443 0 0 0 2906 32 0 0 25 0 1 0 1802124859 7553024 1409 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1844 1409 566 18 0 1826 0
[pid=12938] vsize: 7376
Current children cumulated CPU time (s) 29.38
Current children cumulated vsize (Kb) 7376

[startup+40.0059 s]
Raw data (loadavg): 0.92 0.94 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1443 0 0 0 3860 47 0 0 25 0 1 0 1802124859 7540736 1409 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 1841 1409 566 18 0 1823 0
[pid=12938] vsize: 7364
Current children cumulated CPU time (s) 39.07
Current children cumulated vsize (Kb) 7364

[startup+50.0067 s]
Raw data (loadavg): 0.93 0.94 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1443 0 0 0 4839 54 0 0 25 0 1 0 1802124859 7540736 1409 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1841 1409 566 18 0 1823 0
[pid=12938] vsize: 7364
Current children cumulated CPU time (s) 48.93
Current children cumulated vsize (Kb) 7364

[startup+60.0075 s]
Raw data (loadavg): 0.94 0.95 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 1528 0 0 0 5818 62 0 0 25 0 1 0 1802124859 7802880 1494 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1905 1494 566 18 0 1887 0
[pid=12938] vsize: 7620
Current children cumulated CPU time (s) 58.8
Current children cumulated vsize (Kb) 7620

[startup+70.0084 s]
Raw data (loadavg): 0.95 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1576 0 0 0 6795 70 0 0 25 0 1 0 1802124859 8060928 1542 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1968 1542 566 18 0 1950 0
[pid=12938] vsize: 7872
Current children cumulated CPU time (s) 68.65
Current children cumulated vsize (Kb) 7872

[startup+80.0082 s]
Raw data (loadavg): 0.96 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1576 0 0 0 7766 81 0 0 25 0 1 0 1802124859 8060928 1542 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1968 1542 566 18 0 1950 0
[pid=12938] vsize: 7872
Current children cumulated CPU time (s) 78.47
Current children cumulated vsize (Kb) 7872

[startup+90.008 s]
Raw data (loadavg): 0.96 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1576 0 0 0 8749 87 0 0 25 0 1 0 1802124859 8060928 1542 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1968 1542 566 18 0 1950 0
[pid=12938] vsize: 7872
Current children cumulated CPU time (s) 88.36
Current children cumulated vsize (Kb) 7872

[startup+100.008 s]
Raw data (loadavg): 0.97 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1576 0 0 0 9732 93 0 0 25 0 1 0 1802124859 8060928 1542 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1968 1542 566 18 0 1950 0
[pid=12938] vsize: 7872
Current children cumulated CPU time (s) 98.25
Current children cumulated vsize (Kb) 7872

[startup+110.009 s]
Raw data (loadavg): 0.97 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1584 0 0 0 10712 100 0 0 25 0 1 0 1802124859 8060928 1550 4294967295 134512640 134578447 3221224624 3221223456 134528423 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1968 1550 566 18 0 1950 0
[pid=12938] vsize: 7872
Current children cumulated CPU time (s) 108.12
Current children cumulated vsize (Kb) 7872

[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1584 0 0 0 11683 109 0 0 25 0 1 0 1802124859 8060928 1550 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 1968 1550 566 18 0 1950 0
[pid=12938] vsize: 7872
Current children cumulated CPU time (s) 117.92
Current children cumulated vsize (Kb) 7872

[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1918 0 0 0 12664 115 0 0 25 0 1 0 1802124859 9388032 1884 4294967295 134512640 134578447 3221224624 3221223456 134528418 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2292 1884 566 18 0 2274 0
[pid=12938] vsize: 9168
Current children cumulated CPU time (s) 127.79
Current children cumulated vsize (Kb) 9168

[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 13643 121 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 137.64
Current children cumulated vsize (Kb) 9300

[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 14624 127 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 147.51
Current children cumulated vsize (Kb) 9300

[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 15608 131 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223456 134528454 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 157.39
Current children cumulated vsize (Kb) 9300

[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 16590 136 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 167.26
Current children cumulated vsize (Kb) 9300

[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 1948 0 0 0 17545 150 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 176.95
Current children cumulated vsize (Kb) 9300

[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 18495 167 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 186.62
Current children cumulated vsize (Kb) 9300

[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 19476 173 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 196.49
Current children cumulated vsize (Kb) 9300

[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 20443 185 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223456 134528371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 206.28
Current children cumulated vsize (Kb) 9300

[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 21426 191 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 216.17
Current children cumulated vsize (Kb) 9300

[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 22418 194 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 226.12
Current children cumulated vsize (Kb) 9300

[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 1948 0 0 0 23412 196 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 236.08
Current children cumulated vsize (Kb) 9300

[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 24406 198 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 246.04
Current children cumulated vsize (Kb) 9300

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 25402 200 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 256.02
Current children cumulated vsize (Kb) 9300

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 26380 208 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 265.88
Current children cumulated vsize (Kb) 9300

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 27362 215 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 275.77
Current children cumulated vsize (Kb) 9300

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 28338 225 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223456 134528410 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 285.63
Current children cumulated vsize (Kb) 9300

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 29316 233 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223536 134556908 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 295.49
Current children cumulated vsize (Kb) 9300

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 30305 237 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223568 134558746 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 305.42
Current children cumulated vsize (Kb) 9300

[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 1948 0 0 0 31286 245 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 315.31
Current children cumulated vsize (Kb) 9300

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 32248 258 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 325.06
Current children cumulated vsize (Kb) 9300

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 33233 263 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 334.96
Current children cumulated vsize (Kb) 9300

[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 1948 0 0 0 34217 268 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223504 134527526 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 344.85
Current children cumulated vsize (Kb) 9300

[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 1948 0 0 0 35202 273 0 0 25 0 1 0 1802124859 9523200 1914 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2325 1914 566 18 0 2307 0
[pid=12938] vsize: 9300
Current children cumulated CPU time (s) 354.75
Current children cumulated vsize (Kb) 9300

[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2007 0 0 0 36163 286 0 0 25 0 1 0 1802124859 9785344 1973 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2389 1973 566 18 0 2371 0
[pid=12938] vsize: 9556
Current children cumulated CPU time (s) 364.49
Current children cumulated vsize (Kb) 9556

[startup+380.02 s]
Raw data (loadavg): 1.07 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 37138 296 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 374.34
Current children cumulated vsize (Kb) 9936

[startup+390.021 s]
Raw data (loadavg): 1.06 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 38093 313 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 384.06
Current children cumulated vsize (Kb) 9936

[startup+400.022 s]
Raw data (loadavg): 1.05 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 39059 324 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 393.83
Current children cumulated vsize (Kb) 9936

[startup+410.023 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 40035 331 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 403.66
Current children cumulated vsize (Kb) 9936

[startup+420.023 s]
Raw data (loadavg): 1.04 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 41023 335 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223504 134527784 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 413.58
Current children cumulated vsize (Kb) 9936

[startup+430.024 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 42015 339 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 423.54
Current children cumulated vsize (Kb) 9936

[startup+440.024 s]
Raw data (loadavg): 1.03 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 42994 345 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 433.39
Current children cumulated vsize (Kb) 9936

[startup+450.024 s]
Raw data (loadavg): 1.02 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 43979 350 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 443.29
Current children cumulated vsize (Kb) 9936

[startup+460.025 s]
Raw data (loadavg): 1.02 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 44961 357 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223536 134558098 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 453.18
Current children cumulated vsize (Kb) 9936

[startup+470.026 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 45945 362 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 463.07
Current children cumulated vsize (Kb) 9936

[startup+480.026 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 46912 373 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 472.85
Current children cumulated vsize (Kb) 9936

[startup+490.026 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 47870 386 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 482.56
Current children cumulated vsize (Kb) 9936

[startup+500.027 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2093 0 0 0 48827 401 0 0 25 0 1 0 1802124859 10174464 2059 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2484 2059 566 18 0 2466 0
[pid=12938] vsize: 9936
Current children cumulated CPU time (s) 492.28
Current children cumulated vsize (Kb) 9936

[startup+510.028 s]
Raw data (loadavg): 1.01 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2227 0 0 0 49813 406 0 0 25 0 1 0 1802124859 10698752 2193 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2612 2193 566 18 0 2594 0
[pid=12938] vsize: 10448
Current children cumulated CPU time (s) 502.19
Current children cumulated vsize (Kb) 10448

[startup+520.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 50798 411 0 0 25 0 1 0 1802124859 10829824 2210 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2644 2210 566 18 0 2626 0
[pid=12938] vsize: 10576
Current children cumulated CPU time (s) 512.09
Current children cumulated vsize (Kb) 10576

[startup+530.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 51786 416 0 0 25 0 1 0 1802124859 10821632 2210 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2642 2210 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (Kb) 10568

[startup+540.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 52772 422 0 0 25 0 1 0 1802124859 10821632 2210 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2642 2210 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 531.94
Current children cumulated vsize (Kb) 10568

[startup+550.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 53755 427 0 0 25 0 1 0 1802124859 10821632 2210 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2642 2210 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 541.82
Current children cumulated vsize (Kb) 10568

[startup+560.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 54740 432 0 0 25 0 1 0 1802124859 10821632 2210 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2642 2210 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 551.72
Current children cumulated vsize (Kb) 10568

[startup+570.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 55720 439 0 0 25 0 1 0 1802124859 10821632 2210 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2642 2210 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 561.59
Current children cumulated vsize (Kb) 10568

[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 56705 444 0 0 25 0 1 0 1802124859 10821632 2210 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2642 2210 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 571.49
Current children cumulated vsize (Kb) 10568

[startup+590.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2244 0 0 0 57695 447 0 0 25 0 1 0 1802124859 10821632 2210 4294967295 134512640 134578447 3221224624 3221223456 134528344 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2642 2210 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 581.42
Current children cumulated vsize (Kb) 10568

[startup+600.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2258 0 0 0 58683 451 0 0 25 0 1 0 1802124859 10821632 2224 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2642 2224 566 18 0 2624 0
[pid=12938] vsize: 10568
Current children cumulated CPU time (s) 591.34
Current children cumulated vsize (Kb) 10568

[startup+610.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2343 0 0 0 59675 454 0 0 25 0 1 0 1802124859 11218944 2309 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2739 2309 566 18 0 2721 0
[pid=12938] vsize: 10956
Current children cumulated CPU time (s) 601.29
Current children cumulated vsize (Kb) 10956

[startup+620.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2343 0 0 0 60666 458 0 0 25 0 1 0 1802124859 11218944 2309 4294967295 134512640 134578447 3221224624 3221223504 134527720 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2739 2309 566 18 0 2721 0
[pid=12938] vsize: 10956
Current children cumulated CPU time (s) 611.24
Current children cumulated vsize (Kb) 10956

[startup+630.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2343 0 0 0 61658 461 0 0 25 0 1 0 1802124859 11218944 2309 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2739 2309 566 18 0 2721 0
[pid=12938] vsize: 10956
Current children cumulated CPU time (s) 621.19
Current children cumulated vsize (Kb) 10956

[startup+640.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2343 0 0 0 62647 464 0 0 25 0 1 0 1802124859 11218944 2309 4294967295 134512640 134578447 3221224624 3221223484 1074910621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2739 2309 566 18 0 2721 0
[pid=12938] vsize: 10956
Current children cumulated CPU time (s) 631.11
Current children cumulated vsize (Kb) 10956

[startup+650.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2343 0 0 0 63636 468 0 0 25 0 1 0 1802124859 11218944 2309 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2739 2309 566 18 0 2721 0
[pid=12938] vsize: 10956
Current children cumulated CPU time (s) 641.04
Current children cumulated vsize (Kb) 10956

[startup+660.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2343 0 0 0 64623 473 0 0 25 0 1 0 1802124859 11218944 2309 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2739 2309 566 18 0 2721 0
[pid=12938] vsize: 10956
Current children cumulated CPU time (s) 650.96
Current children cumulated vsize (Kb) 10956

[startup+670.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2343 0 0 0 65611 477 0 0 25 0 1 0 1802124859 11218944 2309 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 2739 2309 566 18 0 2721 0
[pid=12938] vsize: 10956
Current children cumulated CPU time (s) 660.88
Current children cumulated vsize (Kb) 10956

[startup+680.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2489 0 0 0 66600 481 0 0 25 0 1 0 1802124859 11747328 2455 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2868 2455 566 18 0 2850 0
[pid=12938] vsize: 11472
Current children cumulated CPU time (s) 670.81
Current children cumulated vsize (Kb) 11472

[startup+690.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2489 0 0 0 67590 485 0 0 25 0 1 0 1802124859 11747328 2455 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2868 2455 566 18 0 2850 0
[pid=12938] vsize: 11472
Current children cumulated CPU time (s) 680.75
Current children cumulated vsize (Kb) 11472

[startup+700.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2489 0 0 0 68579 488 0 0 25 0 1 0 1802124859 11747328 2455 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2868 2455 566 18 0 2850 0
[pid=12938] vsize: 11472
Current children cumulated CPU time (s) 690.67
Current children cumulated vsize (Kb) 11472

[startup+710.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2509 0 0 0 69569 493 0 0 25 0 1 0 1802124859 11882496 2475 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2901 2475 566 18 0 2883 0
[pid=12938] vsize: 11604
Current children cumulated CPU time (s) 700.62
Current children cumulated vsize (Kb) 11604

[startup+720.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2510 0 0 0 70556 497 0 0 25 0 1 0 1802124859 11882496 2476 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2901 2476 566 18 0 2883 0
[pid=12938] vsize: 11604
Current children cumulated CPU time (s) 710.53
Current children cumulated vsize (Kb) 11604

[startup+730.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2510 0 0 0 71531 505 0 0 25 0 1 0 1802124859 11829248 2476 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2888 2476 566 18 0 2870 0
[pid=12938] vsize: 11552
Current children cumulated CPU time (s) 720.36
Current children cumulated vsize (Kb) 11552

[startup+740.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2510 0 0 0 72506 516 0 0 25 0 1 0 1802124859 11829248 2476 4294967295 134512640 134578447 3221224624 3221223456 134528365 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2888 2476 566 18 0 2870 0
[pid=12938] vsize: 11552
Current children cumulated CPU time (s) 730.22
Current children cumulated vsize (Kb) 11552

[startup+750.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2510 0 0 0 73486 523 0 0 25 0 1 0 1802124859 11829248 2476 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2888 2476 566 18 0 2870 0
[pid=12938] vsize: 11552
Current children cumulated CPU time (s) 740.09
Current children cumulated vsize (Kb) 11552

[startup+760.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2510 0 0 0 74474 527 0 0 25 0 1 0 1802124859 11829248 2476 4294967295 134512640 134578447 3221224624 3221223504 134527759 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2888 2476 566 18 0 2870 0
[pid=12938] vsize: 11552
Current children cumulated CPU time (s) 750.01
Current children cumulated vsize (Kb) 11552

[startup+770.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2510 0 0 0 75459 533 0 0 25 0 1 0 1802124859 11829248 2476 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2888 2476 566 18 0 2870 0
[pid=12938] vsize: 11552
Current children cumulated CPU time (s) 759.92
Current children cumulated vsize (Kb) 11552

[startup+780.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2518 0 0 0 76439 539 0 0 25 0 1 0 1802124859 11964416 2484 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2921 2484 566 18 0 2903 0
[pid=12938] vsize: 11684
Current children cumulated CPU time (s) 769.78
Current children cumulated vsize (Kb) 11684

[startup+790.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2518 0 0 0 77422 545 0 0 25 0 1 0 1802124859 11964416 2484 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2921 2484 566 18 0 2903 0
[pid=12938] vsize: 11684
Current children cumulated CPU time (s) 779.67
Current children cumulated vsize (Kb) 11684

[startup+800.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2518 0 0 0 78404 552 0 0 25 0 1 0 1802124859 11841536 2484 4294967295 134512640 134578447 3221224624 3221223504 134528123 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2891 2484 566 18 0 2873 0
[pid=12938] vsize: 11564
Current children cumulated CPU time (s) 789.56
Current children cumulated vsize (Kb) 11564

[startup+810.043 s]
Raw data (loadavg): 1.00 0.99 0.96 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2518 0 0 0 79393 556 0 0 25 0 1 0 1802124859 11829248 2481 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 2888 2481 566 18 0 2870 0
[pid=12938] vsize: 11552
Current children cumulated CPU time (s) 799.49
Current children cumulated vsize (Kb) 11552

[startup+820.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 80373 563 0 0 25 0 1 0 1802124859 12365824 2585 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3019 2585 566 18 0 3001 0
[pid=12938] vsize: 12076
Current children cumulated CPU time (s) 809.36
Current children cumulated vsize (Kb) 12076

[startup+830.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 81342 573 0 0 25 0 1 0 1802124859 12341248 2585 4294967295 134512640 134578447 3221224624 3221223456 134528448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3013 2585 566 18 0 2995 0
[pid=12938] vsize: 12052
Current children cumulated CPU time (s) 819.15
Current children cumulated vsize (Kb) 12052

[startup+840.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 82313 583 0 0 25 0 1 0 1802124859 12328960 2585 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3010 2585 566 18 0 2992 0
[pid=12938] vsize: 12040
Current children cumulated CPU time (s) 828.96
Current children cumulated vsize (Kb) 12040

[startup+850.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 83300 588 0 0 25 0 1 0 1802124859 12316672 2585 4294967295 134512640 134578447 3221224624 3221223456 134528412 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3007 2585 566 18 0 2989 0
[pid=12938] vsize: 12028
Current children cumulated CPU time (s) 838.88
Current children cumulated vsize (Kb) 12028

[startup+860.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 84290 591 0 0 25 0 1 0 1802124859 12316672 2585 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3007 2585 566 18 0 2989 0
[pid=12938] vsize: 12028
Current children cumulated CPU time (s) 848.81
Current children cumulated vsize (Kb) 12028

[startup+870.045 s]
Raw data (loadavg): 1.07 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 85281 594 0 0 25 0 1 0 1802124859 12312576 2585 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3006 2585 566 18 0 2988 0
[pid=12938] vsize: 12024
Current children cumulated CPU time (s) 858.75
Current children cumulated vsize (Kb) 12024

[startup+880.046 s]
Raw data (loadavg): 1.06 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 86261 601 0 0 25 0 1 0 1802124859 12312576 2585 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3006 2585 566 18 0 2988 0
[pid=12938] vsize: 12024
Current children cumulated CPU time (s) 868.62
Current children cumulated vsize (Kb) 12024

[startup+890.047 s]
Raw data (loadavg): 1.05 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 87254 603 0 0 25 0 1 0 1802124859 12312576 2585 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3006 2585 566 18 0 2988 0
[pid=12938] vsize: 12024
Current children cumulated CPU time (s) 878.57
Current children cumulated vsize (Kb) 12024

[startup+900.048 s]
Raw data (loadavg): 1.04 1.00 0.97 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2622 0 0 0 88246 606 0 0 25 0 1 0 1802124859 12312576 2585 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3006 2585 566 18 0 2988 0
[pid=12938] vsize: 12024
Current children cumulated CPU time (s) 888.52
Current children cumulated vsize (Kb) 12024

[startup+910.048 s]
Raw data (loadavg): 1.04 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 89239 608 0 0 25 0 1 0 1802124859 12312576 2585 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3006 2585 566 18 0 2988 0
[pid=12938] vsize: 12024
Current children cumulated CPU time (s) 898.47
Current children cumulated vsize (Kb) 12024

[startup+920.048 s]
Raw data (loadavg): 1.03 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2622 0 0 0 90225 613 0 0 25 0 1 0 1802124859 12312576 2585 4294967295 134512640 134578447 3221224624 3221223488 134517715 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3006 2585 566 18 0 2988 0
[pid=12938] vsize: 12024
Current children cumulated CPU time (s) 908.38
Current children cumulated vsize (Kb) 12024

[startup+930.048 s]
Raw data (loadavg): 1.02 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2677 0 0 0 91212 616 0 0 25 0 1 0 1802124859 12574720 2640 4294967295 134512640 134578447 3221224624 3221223488 134517700 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3070 2640 566 18 0 3052 0
[pid=12938] vsize: 12280
Current children cumulated CPU time (s) 918.28
Current children cumulated vsize (Kb) 12280

[startup+940.049 s]
Raw data (loadavg): 1.02 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2822 0 0 0 92197 622 0 0 25 0 1 0 1802124859 13099008 2785 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3198 2785 566 18 0 3180 0
[pid=12938] vsize: 12792
Current children cumulated CPU time (s) 928.19
Current children cumulated vsize (Kb) 12792

[startup+950.049 s]
Raw data (loadavg): 1.02 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2841 0 0 0 93184 627 0 0 25 0 1 0 1802124859 13230080 2804 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3230 2804 566 18 0 3212 0
[pid=12938] vsize: 12920
Current children cumulated CPU time (s) 938.11
Current children cumulated vsize (Kb) 12920

[startup+960.049 s]
Raw data (loadavg): 1.01 1.00 0.97 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2867 0 0 0 94170 632 0 0 25 0 1 0 1802124859 13357056 2830 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3261 2830 566 18 0 3243 0
[pid=12938] vsize: 13044
Current children cumulated CPU time (s) 948.02
Current children cumulated vsize (Kb) 13044

[startup+970.05 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 95154 639 0 0 25 0 1 0 1802124859 13357056 2830 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3261 2830 566 18 0 3243 0
[pid=12938] vsize: 13044
Current children cumulated CPU time (s) 957.93
Current children cumulated vsize (Kb) 13044

[startup+980.049 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 96134 646 0 0 25 0 1 0 1802124859 13357056 2830 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3261 2830 566 18 0 3243 0
[pid=12938] vsize: 13044
Current children cumulated CPU time (s) 967.8
Current children cumulated vsize (Kb) 13044

[startup+990.05 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 97113 655 0 0 25 0 1 0 1802124859 13344768 2830 4294967295 134512640 134578447 3221224624 3221223504 134527748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3258 2830 566 18 0 3240 0
[pid=12938] vsize: 13032
Current children cumulated CPU time (s) 977.68
Current children cumulated vsize (Kb) 13032

[startup+1000.05 s]
Raw data (loadavg): 1.01 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 98091 661 0 0 25 0 1 0 1802124859 13336576 2830 4294967295 134512640 134578447 3221224624 3221223536 134556909 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3256 2830 566 18 0 3238 0
[pid=12938] vsize: 13024
Current children cumulated CPU time (s) 987.52
Current children cumulated vsize (Kb) 13024

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 99068 668 0 0 25 0 1 0 1802124859 13328384 2830 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3254 2830 566 18 0 3236 0
[pid=12938] vsize: 13016
Current children cumulated CPU time (s) 997.36
Current children cumulated vsize (Kb) 13016

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2867 0 0 0 100046 676 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1007.22
Current children cumulated vsize (Kb) 13008

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 101022 685 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223456 134528362 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1017.07
Current children cumulated vsize (Kb) 13008

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2867 0 0 0 102003 691 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1026.94
Current children cumulated vsize (Kb) 13008

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 102990 695 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134528071 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1036.85
Current children cumulated vsize (Kb) 13008

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 103965 704 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1046.69
Current children cumulated vsize (Kb) 13008

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 104935 715 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1056.5
Current children cumulated vsize (Kb) 13008

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2867 0 0 0 105917 721 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1066.38
Current children cumulated vsize (Kb) 13008

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2867 0 0 0 106893 729 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1076.22
Current children cumulated vsize (Kb) 13008

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 107860 741 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1086.01
Current children cumulated vsize (Kb) 13008

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2867 0 0 0 108826 753 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1095.79
Current children cumulated vsize (Kb) 13008

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 109789 766 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1105.55
Current children cumulated vsize (Kb) 13008

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 110753 780 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1115.33
Current children cumulated vsize (Kb) 13008

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) T 12937 12938 31915 0 -1 0 2867 0 0 0 111736 786 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1125.22
Current children cumulated vsize (Kb) 13008

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 112704 797 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1135.01
Current children cumulated vsize (Kb) 13008

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 113687 802 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1144.89
Current children cumulated vsize (Kb) 13008

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 114668 808 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1154.76
Current children cumulated vsize (Kb) 13008

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 115654 813 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223456 134528348 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1164.67
Current children cumulated vsize (Kb) 13008

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 116638 818 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1174.56
Current children cumulated vsize (Kb) 13008

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/56 12938
Raw data (/proc/12938/stat): 12938 (Pueblo) R 12937 12938 31915 0 -1 0 2867 0 0 0 117625 822 0 0 25 0 1 0 1802124859 13320192 2830 4294967295 134512640 134578447 3221224624 3221223504 134528059 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12938/statm): 3252 2830 566 18 0 3234 0
[pid=12938] vsize: 13008
Current children cumulated CPU time (s) 1184.47
Current children cumulated vsize (Kb) 13008
One traced child (pid=12938) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1204.65
CPU time (s): 1189.02
CPU user time (s): 1180.76
CPU system time (s): 8.25874
CPU usage (%): 98.703
Max. virtual memory (cumulated for all children) (Kb): 13044

Verifier Data

Verifier:	OK	493056