Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pp08a.opb
MD5SUM962e64054cef66ff1ace4918a032c24a
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1983976
Optimality of the best value was proved NO
Number of terms in the objective function 2304
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 178464600
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 178464600
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables3584
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint160

Trace number 8538

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        868496 kB
Buffers:         34220 kB
Cached:         101220 kB
SwapCached:        492 kB
Active:          89444 kB
Inactive:        48592 kB
HighTotal:      131008 kB
HighFree:        28756 kB
LowTotal:       903652 kB
LowFree:        839740 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5904 kB
Slab:            22556 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 17:13:00 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 5664 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: 3584 - #constraints read: 265
c total time              : 1189 s
s SATISFIABLE
v -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 x177_bit0 x178_bit0 x179_bit0 x180_bit0 x181_bit0 x182_bit0 x183_bit0 x184_bit0 x185_bit0 x186_bit0 x187_bit0 x188_bit0 x189_bit0 x190_bit0 -x191_bit0 x192_bit0 x193_bit0 -x194_bit0 -x195_bit0 x196_bit0 x197_bit0 x198_bit0 x199_bit0 -x200_bit0 -x201_bit0 x202_bit0 x203_bit0 x204_bit0 x205_bit0 x206_bit0 x207_bit0 x208_bit0 x209_bit0 -x210_bit0 x211_bit0 x212_bit0 x213_bit0 x214_bit0 -x215_bit0 -x216_bit0 x217_bit0 x218_bit0 x219_bit0 x220_bit0 x221_bit0 x222_bit0 x223_bit0 x224_bit0 x225_bit0 x226_bit0 x227_bit0 -x228_bit0 x229_bit0 x230_bit0 x231_bit0 x232_bit0 x233_bit0 x234_bit0 -x235_bit0 -x236_bit0 x237_bit0 x238_bit0 -x239_bit0 x240_bit0 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 -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 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 x144_bit_7 -x144_bit_6 -x144_bit_5 x144_bit_4 x144_bit_3 x144_bit_2 -x144_bit_1 x144_bit0 x144_bit1 -x144_bit2 -x144_bit3 x144_bit4 x144_bit5 x144_bit6 -x144_bit7 -x144_bit8 -x144_bit9 -x144_bit10 -x144_bit11 -x144_bit12 -x145_bit_7 -x145_bit_6 -x145_bit_5 -x145_bit_4 -x145_bit_3 -x145_bit_2 -x145_bit_1 -x145_bit0 x145_bit1 x145_bit2 x145_bit3 x145_bit4 -x145_bit5 -x145_bit6 -x145_bit7 -x145_bit8 -x145_bit9 -x145_bit10 -x145_bit11 -x145_bit12 -x146_bit_7 -x146_bit_6 -x146_bit_5 -x146_bit_4 -x146_bit_3 -x146_bit_2 -x146_bit_1 -x146_bit0 -x146_bit1 -x146_bit2 -x146_bit3 -x146_bit4 -x146_bit5 -x146_bit6 -x146_bit7 -x146_bit8 -x146_bit9 -x146_bit10 -x146_bit11 -x146_bit12 -x147_bit_7 -x147_bit_6 -x147_bit_5 x147_bit_4 -x147_bit_3 -x147_bit_2 -x147_bit_1 -x147_bit0 -x147_bit1 -x147_bit2 -x147_bit3 x147_bit4 x147_bit5 -x147_bit6 -x147_bit7 -x147_bit8 -x147_bit9 -x147_bit10 -x147_bit11 -x147_bit12 x148_bit_7 -x148_bit_6 -x148_bit_5 x148_bit_4 x148_bit_3 x148_bit_2 -x148_bit_1 x148_bit0 x148_bit1 x148_bit2 x148_bit3 x148_bit4 -x148_bit5 -x148_bit6 -x148_bit7 -x148_bit8 -x148_bit9 -x148_bit10 -x148_bit11 -x148_bit12 -x149_bit_7 -x149_bit_6 -x149_bit_5 -x149_bit_4 -x149_bit_3 -x149_bit_2 x149_bit_1 -x149_bit0 x149_bit1 -x149_bit2 x149_bit3 -x149_bit4 -x149_bit5 -x149_bit6 -x149_bit7 -x149_bit8 -x149_bit9 -x149_bit10 -x149_bit11 -x149_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 x150_bit_7 x150_bit_6 x150_bit_5 x150_bit_4 x150_bit_3 x150_bit_2 x150_bit_1 x150_bit0 x150_bit1 x150_bit2 -x150_bit3 -x150_bit4 x150_bit5 -x150_bit6 -x150_bit7 -x150_bit8 -x150_bit9 -x150_bit10 -x150_bit11 -x150_bit12 -x151_bit_7 -x151_bit_6 -x151_bit_5 -x151_bit_4 -x151_bit_3 -x151_bit_2 -x151_bit_1 -x151_bit0 -x151_bit1 -x151_bit2 -x151_bit3 -x151_bit4 -x151_bit5 -x151_bit6 -x151_bit7 -x151_bit8 -x151_bit9 -x151_bit10 -x151_bit11 -x151_bit12 -x152_bit_7 -x152_bit_6 -x152_bit_5 -x152_bit_4 -x152_bit_3 -x152_bit_2 -x152_bit_1 -x152_bit0 -x152_bit1 -x152_bit2 -x152_bit3 -x152_bit4 -x152_bit5 -x152_bit6 -x152_bit7 -x152_bit8 -x152_bit9 -x152_bit10 -x152_bit11 -x152_bit12 -x153_bit_7 x153_bit_6 x153_bit_5 x153_bit_4 -x153_bit_3 x153_bit_2 x153_bit_1 x153_bit0 -x153_bit1 x153_bit2 -x153_bit3 -x153_bit4 -x153_bit5 x153_bit6 -x153_bit7 -x153_bit8 -x153_bit9 -x153_bit10 -x153_bit11 -x153_bit12 -x154_bit_7 x154_bit_6 -x154_bit_5 -x154_bit_4 x154_bit_3 -x154_bit_2 -x154_bit_1 -x154_bit0 -x154_bit1 -x154_bit2 x154_bit3 -x154_bit4 x154_bit5 -x154_bit6 -x154_bit7 -x154_bit8 -x154_bit9 -x154_bit10 -x154_bit11 -x154_bit12 -x155_bit_7 -x155_bit_6 -x155_bit_5 -x155_bit_4 -x155_bit_3 -x155_bit_2 -x155_bit_1 -x155_bit0 -x155_bit1 -x155_bit2 x155_bit3 -x155_bit4 x155_bit5 -x155_bit6 -x155_bit7 -x155_bit8 -x155_bit9 -x155_bit10 -x155_bit11 -x155_bit12 -x156_bit_7 -x156_bit_6 -x156_bit_5 -x156_bit_4 -x156_bit_3 -x156_bit_2 -x156_bit_1 -x156_bit0 -x156_bit1 -x156_bit2 x156_bit3 -x156_bit4 x156_bit5 -x156_bit6 -x156_bit7 -x156_bit8 -x156_bit9 -x156_bit10 -x156_bit11 -x156_bit12 x157_bit_7 -x157_bit_6 -x157_bit_5 -x157_bit_4 -x157_bit_3 -x157_bit_2 -x157_bit_1 -x157_bit0 -x157_bit1 -x157_bit2 -x157_bit3 -x157_bit4 -x157_bit5 -x157_bit6 x157_bit7 -x157_bit8 -x157_bit9 -x157_bit10 -x157_bit11 -x157_bit12 x158_bit_7 x158_bit_6 x158_bit_5 x158_bit_4 x158_bit_3 x158_bit_2 x158_bit_1 -x158_bit0 -x158_bit1 -x158_bit2 -x158_bit3 -x158_bit4 -x158_bit5 -x158_bit6 -x158_bit7 -x158_bit8 -x158_bit9 -x158_bit10 -x158_bit11 -x158_bit12 -x159_bit_7 -x159_bit_6 x159_bit_5 -x159_bit_4 -x159_bit_3 -x159_bit_2 -x159_bit_1 x159_bit0 x159_bit1 x159_bit2 x159_bit3 x159_bit4 -x159_bit5 -x159_bit6 -x159_bit7 -x159_bit8 -x159_bit9 -x159_bit10 -x159_bit11 -x159_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 -x160_bit_7 -x160_bit_6 x160_bit_5 x160_bit_4 x160_bit_3 x160_bit_2 x160_bit_1 x160_bit0 -x160_bit1 -x160_bit2 -x160_bit3 x160_bit4 x160_bit5 -x160_bit6 -x160_bit7 -x160_bit8 -x160_bit9 -x160_bit10 -x160_bit11 -x160_bit12 -x161_bit_7 -x161_bit_6 x161_bit_5 x161_bit_4 -x161_bit_3 x161_bit_2 -x161_bit_1 -x161_bit0 x161_bit1 -x161_bit2 x161_bit3 -x161_bit4 -x161_bit5 -x161_bit6 -x161_bit7 -x161_bit8 -x161_bit9 -x161_bit10 -x161_bit11 -x161_bit12 x162_bit_7 x162_bit_6 x162_bit_5 x162_bit_4 x162_bit_3 -x162_bit_2 x162_bit_1 x162_bit0 x162_bit1 x162_bit2 -x162_bit3 -x162_bit4 -x162_bit5 -x162_bit6 -x162_bit7 -x162_bit8 -x162_bit9 -x162_bit10 -x162_bit11 -x162_bit12 x163_bit_7 x163_bit_6 x163_bit_5 x163_bit_4 x163_bit_3 x163_bit_2 x163_bit_1 x163_bit0 x163_bit1 x163_bit2 x163_bit3 x163_bit4 x163_bit5 -x163_bit6 -x163_bit7 -x163_bit8 -x163_bit9 -x163_bit10 -x163_bit11 -x163_bit12 -x164_bit_7 -x164_bit_6 -x164_bit_5 -x164_bit_4 -x164_bit_3 -x164_bit_2 -x164_bit_1 -x164_bit0 -x164_bit1 -x164_bit2 -x164_bit3 -x164_bit4 -x164_bit5 -x164_bit6 -x164_bit7 -x164_bit8 -x164_bit9 -x164_bit10 -x164_bit11 -x164_bit12 -x165_bit_7 x165_bit_6 -x165_bit_5 -x165_bit_4 x165_bit_3 x165_bit_2 x165_bit_1 x165_bit0 -x165_bit1 -x165_bit2 -x165_bit3 x165_bit4 -x165_bit5 -x165_bit6 -x165_bit7 -x165_bit8 -x165_bit9 -x165_bit10 -x165_bit11 -x165_bit12 -x166_bit_7 -x166_bit_6 -x166_bit_5 -x166_bit_4 -x166_bit_3 -x166_bit_2 -x166_bit_1 -x166_bit0 -x166_bit1 x166_bit2 -x166_bit3 -x166_bit4 -x166_bit5 x166_bit6 -x166_bit7 -x166_bit8 -x166_bit9 -x166_bit10 -x166_bit11 -x166_bit12 x167_bit_7 -x167_bit_6 x167_bit_5 -x167_bit_4 -x167_bit_3 -x167_bit_2 -x167_bit_1 -x167_bit0 -x167_bit1 -x167_bit2 -x167_bit3 -x167_bit4 -x167_bit5 -x167_bit6 -x167_bit7 -x167_bit8 -x167_bit9 -x167_bit10 -x167_bit11 -x167_bit12 x168_bit_7 x168_bit_6 x168_bit_5 x168_bit_4 x168_bit_3 x168_bit_2 x168_bit_1 x168_bit0 x168_bit1 x168_bit2 -x168_bit3 -x168_bit4 -x168_bit5 x168_bit6 -x168_bit7 -x168_bit8 -x168_bit9 -x168_bit10 -x168_bit11 -x168_bit12 -x169_bit_7 -x169_bit_6 -x169_bit_5 -x169_bit_4 -x169_bit_3 -x169_bit_2 -x169_bit_1 -x169_bit0 x169_bit1 -x169_bit2 x169_bit3 -x169_bit4 -x169_bit5 -x169_bit6 -x169_bit7 -x169_bit8 -x169_bit9 -x169_bit10 -x169_bit11 -x169_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 -x170_bit_7 -x170_bit_6 -x170_bit_5 -x170_bit_4 -x170_bit_3 -x170_bit_2 -x170_bit_1 -x170_bit0 -x170_bit1 x170_bit2 -x170_bit3 x170_bit4 -x170_bit5 -x170_bit6 -x170_bit7 -x170_bit8 -x170_bit9 -x170_bit10 -x170_bit11 -x170_bit12 -x171_bit_7 -x171_bit_6 -x171_bit_5 -x171_bit_4 -x171_bit_3 -x171_bit_2 -x171_bit_1 -x171_bit0 -x171_bit1 -x171_bit2 -x171_bit3 -x171_bit4 -x171_bit5 -x171_bit6 -x171_bit7 -x171_bit8 -x171_bit9 -x171_bit10 -x171_bit11 -x171_bit12 -x172_bit_7 -x172_bit_6 -x172_bit_5 -x172_bit_4 -x172_bit_3 -x172_bit_2 -x172_bit_1 -x172_bit0 -x172_bit1 -x172_bit2 -x172_bit3 -x172_bit4 -x172_bit5 -x172_bit6 -x172_bit7 -x172_bit8 -x172_bit9 -x172_bit10 -x172_bit11 -x172_bit12 -x173_bit_7 -x173_bit_6 -x173_bit_5 -x173_bit_4 -x173_bit_3 -x173_bit_2 -x173_bit_1 -x173_bit0 x173_bit1 -x173_bit2 x173_bit3 -x173_bit4 -x173_bit5 -x173_bit6 -x173_bit7 -x173_bit8 -x173_bit9 -x173_bit10 -x173_bit11 -x173_bit12 -x174_bit_7 -x174_bit_6 -x174_bit_5 -x174_bit_4 -x174_bit_3 -x174_bit_2 -x174_bit_1 -x174_bit0 -x174_bit1 x174_bit2 -x174_bit3 x174_bit4 -x174_bit5 -x174_bit6 -x174_bit7 -x174_bit8 -x174_bit9 -x174_bit10 -x174_bit11 -x174_bit12 -x175_bit_7 -x175_bit_6 -x175_bit_5 -x175_bit_4 -x175_bit_3 -x175_bit_2 -x175_bit_1 -x175_bit0 -x175_bit1 -x175_bit2 -x175_bit3 -x175_bit4 -x175_bit5 -x175_bit6 -x175_bit7 -x175_bit8 -x175_bit9 -x175_bit10 -x175_bit11 -x175_bit12 -x176_bit_7 -x176_bit_6 -x176_bit_5 -x176_bit_4 -x176_bit_3 -x176_bit_2 -x176_bit_1 -x176_bit0 -x176_bit1 -x176_bit2 x176_bit3 -x176_bit4 x176_bit5 -x176_bit6 -x176_bit7 -x176_bit8 -x176_bit9 -x176_bit10 -x176_bit11 -x176_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 -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 -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 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 -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 -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 

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/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801880046 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 41 3 40 18 0 23 0
[pid=21525] 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.0033 s]
Raw data (loadavg): 0.93 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1031 0 0 0 994 3 0 0 25 0 1 0 1801880046 5824512 997 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 1422 997 566 18 0 1404 0
[pid=21525] vsize: 5688
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5688

[startup+20.0041 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1314 0 0 0 1993 4 0 0 25 0 1 0 1801880046 6881280 1280 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1680 1280 566 18 0 1662 0
[pid=21525] vsize: 6720
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 6720

[startup+30.005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1400 0 0 0 2993 4 0 0 25 0 1 0 1801880046 7086080 1332 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1730 1332 566 18 0 1712 0
[pid=21525] vsize: 6920
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 6920

[startup+40.0048 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1400 0 0 0 3993 4 0 0 25 0 1 0 1801880046 7086080 1332 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1730 1332 566 18 0 1712 0
[pid=21525] vsize: 6920
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 6920

[startup+50.0046 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1451 0 0 0 4992 4 0 0 25 0 1 0 1801880046 7348224 1383 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1794 1383 566 18 0 1776 0
[pid=21525] vsize: 7176
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 7176

[startup+60.0055 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1451 0 0 0 5993 4 0 0 25 0 1 0 1801880046 7348224 1383 4294967295 134512640 134578447 3221224624 3221223504 134527850 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1794 1383 566 18 0 1776 0
[pid=21525] vsize: 7176
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 7176

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1458 0 0 0 6993 4 0 0 25 0 1 0 1801880046 7348224 1390 4294967295 134512640 134578447 3221224624 3221223564 134527396 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1794 1390 566 18 0 1776 0
[pid=21525] vsize: 7176
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 7176

[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1458 0 0 0 7993 4 0 0 25 0 1 0 1801880046 7348224 1390 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1794 1390 566 18 0 1776 0
[pid=21525] vsize: 7176
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 7176

[startup+90.0069 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1458 0 0 0 8993 4 0 0 25 0 1 0 1801880046 7348224 1390 4294967295 134512640 134578447 3221224624 3221223456 134528490 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1794 1390 566 18 0 1776 0
[pid=21525] vsize: 7176
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 7176

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 1590 0 0 0 9992 5 0 0 25 0 1 0 1801880046 7925760 1522 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 1935 1522 566 18 0 1917 0
[pid=21525] vsize: 7740
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 7740

[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2010 0 0 0 10991 6 0 0 25 0 1 0 1801880046 9629696 1942 4294967295 134512640 134578447 3221224624 3221223228 1075288811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2351 1942 566 18 0 2333 0
[pid=21525] vsize: 9404
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 9404

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2035 0 0 0 11991 6 0 0 25 0 1 0 1801880046 9764864 1967 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2384 1967 566 18 0 2366 0
[pid=21525] vsize: 9536
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 9536

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2145 0 0 0 12992 7 0 0 25 0 1 0 1801880046 10158080 2077 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 2480 2077 566 18 0 2462 0
[pid=21525] vsize: 9920
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 9920

[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 13991 7 0 0 25 0 1 0 1801880046 10289152 2087 4294967295 134512640 134578447 3221224624 3221223484 1075285472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2512 2087 566 18 0 2494 0
[pid=21525] vsize: 10048
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 10048

[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 14991 7 0 0 25 0 1 0 1801880046 10280960 2087 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2510 2087 566 18 0 2492 0
[pid=21525] vsize: 10040
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 10040

[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 15991 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 9992

[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 16992 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 9992

[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 17992 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223448 1075285885 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 9992

[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 18992 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 9992

[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 19992 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 9992

[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 20992 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 9992

[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 21992 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223536 134558092 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 9992

[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 22993 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 9992

[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 23993 7 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 9992

[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 24993 8 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 250.01
Current children cumulated vsize (Kb) 9992

[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 25993 8 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223456 134528332 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 260.01
Current children cumulated vsize (Kb) 9992

[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 26993 8 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223488 134517679 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 9992

[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 27993 8 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 9992

[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 28994 8 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223504 134527739 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 290.02
Current children cumulated vsize (Kb) 9992

[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 29993 8 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223576 134559033 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 9992

[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2155 0 0 0 30993 8 0 0 25 0 1 0 1801880046 10231808 2087 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2498 2087 566 18 0 2480 0
[pid=21525] vsize: 9992
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 9992

[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2338 0 0 0 31993 8 0 0 25 0 1 0 1801880046 11018240 2270 4294967295 134512640 134578447 3221224624 3221223664 134531684 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2690 2270 566 18 0 2672 0
[pid=21525] vsize: 10760
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 10760

[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2461 0 0 0 32993 8 0 0 25 0 1 0 1801880046 11542528 2393 4294967295 134512640 134578447 3221224624 3221223456 134528444 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2818 2393 566 18 0 2800 0
[pid=21525] vsize: 11272
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 11272

[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2461 0 0 0 33993 9 0 0 25 0 1 0 1801880046 11542528 2393 4294967295 134512640 134578447 3221224624 3221223552 134516687 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 2818 2393 566 18 0 2800 0
[pid=21525] vsize: 11272
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 11272

[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 2858 0 0 0 34953 24 0 0 25 0 1 0 1801880046 13090816 2790 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3196 2790 566 18 0 3178 0
[pid=21525] vsize: 12784
Current children cumulated CPU time (s) 349.77
Current children cumulated vsize (Kb) 12784

[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 35915 38 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 359.53
Current children cumulated vsize (Kb) 13664

[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 36873 55 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223472 134520192 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 369.28
Current children cumulated vsize (Kb) 13664

[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 37823 72 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 378.95
Current children cumulated vsize (Kb) 13664

[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 38777 87 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 388.64
Current children cumulated vsize (Kb) 13664

[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 39712 111 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 398.23
Current children cumulated vsize (Kb) 13664

[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 40652 133 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223536 134558105 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (Kb) 13664

[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 41582 157 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223484 134558259 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 417.39
Current children cumulated vsize (Kb) 13664

[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 42506 186 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 426.92
Current children cumulated vsize (Kb) 13664

[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 43428 214 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 436.42
Current children cumulated vsize (Kb) 13664

[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 44340 245 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 445.85
Current children cumulated vsize (Kb) 13664

[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 45243 281 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 455.24
Current children cumulated vsize (Kb) 13664

[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 46117 326 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 464.43
Current children cumulated vsize (Kb) 13664

[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 21525
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 47025 357 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 473.82
Current children cumulated vsize (Kb) 13664

[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 21533
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 47914 396 0 0 17 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 483.1
Current children cumulated vsize (Kb) 13664

[startup+500.031 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 21580
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 48761 452 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 492.13
Current children cumulated vsize (Kb) 13664

[startup+510.032 s]
Raw data (loadavg): 1.06 0.99 0.92 1/56 21580
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 49634 500 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 501.34
Current children cumulated vsize (Kb) 13664

[startup+520.033 s]
Raw data (loadavg): 1.05 0.99 0.92 2/56 21580
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 50501 548 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 510.49
Current children cumulated vsize (Kb) 13664

[startup+530.035 s]
Raw data (loadavg): 1.04 0.99 0.92 1/56 21580
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 51369 593 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 519.62
Current children cumulated vsize (Kb) 13664

[startup+540.035 s]
Raw data (loadavg): 1.03 0.99 0.92 1/56 21580
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 52235 641 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 528.76
Current children cumulated vsize (Kb) 13664

[startup+550.035 s]
Raw data (loadavg): 1.03 0.99 0.92 1/56 21580
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 53089 690 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 537.79
Current children cumulated vsize (Kb) 13664

[startup+560.036 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 21580
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 53949 739 0 0 24 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 546.88
Current children cumulated vsize (Kb) 13664

[startup+570.037 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 54801 792 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 555.93
Current children cumulated vsize (Kb) 13664

[startup+580.038 s]
Raw data (loadavg): 1.02 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 55662 838 0 0 24 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 565
Current children cumulated vsize (Kb) 13664

[startup+590.039 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 56520 886 0 0 24 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 574.06
Current children cumulated vsize (Kb) 13664

[startup+600.039 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 57379 935 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 583.14
Current children cumulated vsize (Kb) 13664

[startup+610.04 s]
Raw data (loadavg): 1.01 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 58233 987 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 592.2
Current children cumulated vsize (Kb) 13664

[startup+620.041 s]
Raw data (loadavg): 1.01 0.99 0.92 2/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 59088 1035 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223628 134559662 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 601.23
Current children cumulated vsize (Kb) 13664

[startup+630.042 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 59944 1086 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 610.3
Current children cumulated vsize (Kb) 13664

[startup+640.043 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 60807 1132 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 619.39
Current children cumulated vsize (Kb) 13664

[startup+650.043 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 61665 1183 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 628.48
Current children cumulated vsize (Kb) 13664

[startup+660.043 s]
Raw data (loadavg): 1.08 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 62526 1231 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 637.57
Current children cumulated vsize (Kb) 13664

[startup+670.044 s]
Raw data (loadavg): 1.07 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 63381 1279 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 646.6
Current children cumulated vsize (Kb) 13664

[startup+680.045 s]
Raw data (loadavg): 1.06 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 64242 1328 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 655.7
Current children cumulated vsize (Kb) 13664

[startup+690.046 s]
Raw data (loadavg): 1.05 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 65102 1374 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 664.76
Current children cumulated vsize (Kb) 13664

[startup+700.047 s]
Raw data (loadavg): 1.04 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 65956 1425 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 673.81
Current children cumulated vsize (Kb) 13664

[startup+710.048 s]
Raw data (loadavg): 1.03 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 66806 1477 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (Kb) 13664

[startup+720.047 s]
Raw data (loadavg): 1.03 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 67665 1527 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 691.92
Current children cumulated vsize (Kb) 13664

[startup+730.048 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 68524 1575 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 700.99
Current children cumulated vsize (Kb) 13664

[startup+740.051 s]
Raw data (loadavg): 1.02 1.00 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 69381 1626 0 0 21 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 710.07
Current children cumulated vsize (Kb) 13664

[startup+750.052 s]
Raw data (loadavg): 1.08 1.02 0.93 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 70236 1678 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 13664

[startup+760.053 s]
Raw data (loadavg): 1.07 1.01 0.93 2/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 71097 1726 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223368 1075285699 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 728.23
Current children cumulated vsize (Kb) 13664

[startup+770.054 s]
Raw data (loadavg): 1.13 1.03 0.94 2/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 71955 1773 0 0 21 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 737.28
Current children cumulated vsize (Kb) 13664

[startup+780.054 s]
Raw data (loadavg): 1.11 1.03 0.94 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 72813 1820 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 746.33
Current children cumulated vsize (Kb) 13664

[startup+790.055 s]
Raw data (loadavg): 1.09 1.03 0.94 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 73682 1867 0 0 21 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 755.49
Current children cumulated vsize (Kb) 13664

[startup+800.056 s]
Raw data (loadavg): 1.08 1.03 0.94 2/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 74558 1912 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223552 134516681 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 764.7
Current children cumulated vsize (Kb) 13664

[startup+810.057 s]
Raw data (loadavg): 1.07 1.03 0.94 2/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 75415 1962 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 773.77
Current children cumulated vsize (Kb) 13664

[startup+820.058 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 76272 2011 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 782.83
Current children cumulated vsize (Kb) 13664

[startup+830.059 s]
Raw data (loadavg): 1.05 1.02 0.94 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 77137 2058 0 0 21 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 791.95
Current children cumulated vsize (Kb) 13664

[startup+840.059 s]
Raw data (loadavg): 1.04 1.02 0.94 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 78000 2105 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 801.05
Current children cumulated vsize (Kb) 13664

[startup+850.059 s]
Raw data (loadavg): 1.03 1.02 0.94 1/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 78863 2156 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 810.19
Current children cumulated vsize (Kb) 13664

[startup+860.06 s]
Raw data (loadavg): 1.03 1.02 0.94 2/56 21584
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 79718 2206 0 0 22 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 819.24
Current children cumulated vsize (Kb) 13664

[startup+870.061 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 80582 2253 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 828.35
Current children cumulated vsize (Kb) 13664

[startup+880.062 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 81440 2305 0 0 22 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 837.45
Current children cumulated vsize (Kb) 13664

[startup+890.063 s]
Raw data (loadavg): 1.02 1.02 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 82303 2352 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 846.55
Current children cumulated vsize (Kb) 13664

[startup+900.063 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 83175 2395 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 855.7
Current children cumulated vsize (Kb) 13664

[startup+910.064 s]
Raw data (loadavg): 1.01 1.02 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 84041 2443 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 864.84
Current children cumulated vsize (Kb) 13664

[startup+920.064 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 84906 2491 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 873.97
Current children cumulated vsize (Kb) 13664

[startup+930.065 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 85768 2537 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 883.05
Current children cumulated vsize (Kb) 13664

[startup+940.066 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 86636 2585 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223584 134559065 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 892.21
Current children cumulated vsize (Kb) 13664

[startup+950.066 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 87504 2630 0 0 22 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 901.34
Current children cumulated vsize (Kb) 13664

[startup+960.066 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 88371 2678 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 910.49
Current children cumulated vsize (Kb) 13664

[startup+970.066 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 89241 2721 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 919.62
Current children cumulated vsize (Kb) 13664

[startup+980.067 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 90108 2766 0 0 21 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 928.74
Current children cumulated vsize (Kb) 13664

[startup+990.068 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 90974 2815 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 937.89
Current children cumulated vsize (Kb) 13664

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 91841 2857 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 946.98
Current children cumulated vsize (Kb) 13664

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 92712 2901 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 956.13
Current children cumulated vsize (Kb) 13664

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 93586 2943 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 965.29
Current children cumulated vsize (Kb) 13664

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 94457 2989 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 974.46
Current children cumulated vsize (Kb) 13664

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 95327 3033 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 983.6
Current children cumulated vsize (Kb) 13664

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 96194 3084 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 992.78
Current children cumulated vsize (Kb) 13664

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 97067 3123 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (Kb) 13664

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 97939 3168 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1011.07
Current children cumulated vsize (Kb) 13664

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 98808 3214 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1020.22
Current children cumulated vsize (Kb) 13664

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 99679 3260 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1029.39
Current children cumulated vsize (Kb) 13664

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 100553 3304 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1038.57
Current children cumulated vsize (Kb) 13664

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 101427 3349 0 0 21 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1047.76
Current children cumulated vsize (Kb) 13664

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 102305 3391 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1056.96
Current children cumulated vsize (Kb) 13664

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 103178 3437 0 0 23 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1066.15
Current children cumulated vsize (Kb) 13664

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 104055 3482 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1075.37
Current children cumulated vsize (Kb) 13664

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 104931 3530 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1084.61
Current children cumulated vsize (Kb) 13664

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 105808 3572 0 0 22 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1093.8
Current children cumulated vsize (Kb) 13664

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 106687 3616 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223536 134556872 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1103.03
Current children cumulated vsize (Kb) 13664

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 107565 3659 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1112.24
Current children cumulated vsize (Kb) 13664

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 108441 3703 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1121.44
Current children cumulated vsize (Kb) 13664

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 109317 3746 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1130.63
Current children cumulated vsize (Kb) 13664

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 110194 3789 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1139.83
Current children cumulated vsize (Kb) 13664

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 111070 3833 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1149.03
Current children cumulated vsize (Kb) 13664

[startup+1230.08 s]
Raw data (loadavg): 1.07 1.02 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 111944 3878 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1158.22
Current children cumulated vsize (Kb) 13664

[startup+1240.09 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 112815 3922 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223536 134556775 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1167.37
Current children cumulated vsize (Kb) 13664

[startup+1250.09 s]
Raw data (loadavg): 1.05 1.01 0.94 1/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) T 21524 21525 8263 0 -1 0 3081 0 0 0 113690 3966 0 0 25 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1176.56
Current children cumulated vsize (Kb) 13664

[startup+1260.09 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 21586
Raw data (/proc/21525/stat): 21525 (Pueblo) R 21524 21525 8263 0 -1 0 3081 0 0 0 114566 4011 0 0 17 0 1 0 1801880046 13991936 3013 4294967295 134512640 134578447 3221224624 3221223564 134519712 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/21525/statm): 3416 3013 566 18 0 3398 0
[pid=21525] vsize: 13664
Current children cumulated CPU time (s) 1185.77
Current children cumulated vsize (Kb) 13664
One traced child (pid=21525) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1263.6
CPU time (s): 1189.02
CPU user time (s): 1148.74
CPU system time (s): 40.2849
CPU usage (%): 94.0975
Max. virtual memory (cumulated for all children) (Kb): 13664

Verifier Data

Verifier:	OK	1983976