Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUMc5ca7819a7dcae16ff6045242cdd1f87
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -21
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.11
Number of variables1835
Total number of constraints3947
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)1921
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint882

Trace number 8190

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847508 kB
Buffers:         32664 kB
Cached:         125976 kB
SwapCached:       1160 kB
Active:          54148 kB
Inactive:       107328 kB
HighTotal:      131008 kB
HighFree:         6608 kB
LowTotal:       903652 kB
LowFree:        840900 kB
SwapTotal:     2097892 kB
SwapFree:      2096252 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19968 kB
Committed_AS:    64380 kB
PageTables:        340 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 16:12:57 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 5281 0 1189.03 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: 1835 - #constraints read: 3985
c total time              : 1189 s
s SATISFIABLE
v N_0x23_1_0x23_2_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_3_0x23_4_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_8_0x23_9_bit0 -N_0x23_9_0x23_10_bit0 -N_0x23_10_0x23_11_bit0 -N_0x23_11_0x23_12_bit0 -N_0x23_12_0x23_13_bit0 -N_0x23_13_0x23_14_bit0 N_0x23_15_0x23_16_bit0 N_0x23_16_0x23_17_bit0 N_0x23_17_0x23_18_bit0 -N_0x23_18_0x23_19_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_23_0x23_24_bit0 -N_0x23_24_0x23_25_bit0 -N_0x23_25_0x23_26_bit0 N_0x23_26_0x23_27_bit0 -N_0x23_27_0x23_28_bit0 -N_0x23_29_0x23_30_bit0 -N_0x23_30_0x23_31_bit0 -N_0x23_31_0x23_32_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_33_0x23_34_bit0 -N_0x23_34_0x23_35_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_37_0x23_38_bit0 N_0x23_38_0x23_39_bit0 -N_0x23_39_0x23_40_bit0 -N_0x23_40_0x23_41_bit0 -N_0x23_41_0x23_42_bit0 -N_0x23_43_0x23_44_bit0 -N_0x23_44_0x23_45_bit0 N_0x23_45_0x23_46_bit0 -N_0x23_46_0x23_47_bit0 -N_0x23_47_0x23_48_bit0 -N_0x23_48_0x23_49_bit0 -N_0x23_1_0x23_8_bit0 N_0x23_2_0x23_9_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_4_0x23_11_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 N_0x23_9_0x23_16_bit0 -N_0x23_10_0x23_17_bit0 N_0x23_11_0x23_18_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_16_0x23_23_bit0 -N_0x23_17_0x23_24_bit0 -N_0x23_18_0x23_25_bit0 -N_0x23_19_0x23_26_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_21_0x23_28_bit0 -N_0x23_22_0x23_29_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_26_0x23_33_bit0 N_0x23_27_0x23_34_bit0 -N_0x23_28_0x23_35_bit0 -N_0x23_29_0x23_36_bit0 -N_0x23_30_0x23_37_bit0 -N_0x23_31_0x23_38_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_33_0x23_40_bit0 N_0x23_34_0x23_41_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_37_0x23_44_bit0 N_0x23_38_0x23_45_bit0 N_0x23_39_0x23_46_bit0 -N_0x23_40_0x23_47_bit0 N_0x23_41_0x23_48_bit0 -N_0x23_42_0x23_49_bit0 N_0x23_1_0x23_9_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 -N_0x23_8_0x23_16_bit0 N_0x23_9_0x23_17_bit0 -N_0x23_10_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_15_0x23_23_bit0 -N_0x23_16_0x23_24_bit0 -N_0x23_17_0x23_25_bit0 N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 -N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 -N_0x23_29_0x23_37_bit0 -N_0x23_30_0x23_38_bit0 -N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 -N_0x23_33_0x23_41_bit0 -N_0x23_34_0x23_42_bit0 -N_0x23_36_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 N_0x23_38_0x23_46_bit0 -N_0x23_39_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_18_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_48_0x23_8_bit0 x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_18_bit0 -x_0x23_47_0x23_16_bit0 -x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_9_bit0 x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_30_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_13_bit0 -x_0x23_45_0x23_11_bit0 x_0x23_45_0x23_9_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_43_0x23_34_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_13_bit0 -x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_23_bit0 -x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_18_bit0 -x_0x23_42_0x23_16_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_20_bit0 -x_0x23_41_0x23_18_bit0 x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_27_bit0 -x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_20_bit0 -x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_1_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_30_bit0 -x_0x23_39_0x23_29_bit0 -x_0x23_39_0x23_27_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_16_bit0 x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_32_bit0 -x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_13_bit0 x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_16_bit0 -x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_32_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_11_bit0 -x_0x23_36_0x23_9_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_26_bit0 -x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_6_bit0 x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_1_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_20_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_1_bit0 -x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_26_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_30_0x23_34_bit0 -x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_11_bit0 -x_0x23_29_0x23_9_bit0 -x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_3_bit0 x_0x23_27_0x23_1_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_29_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_23_bit0 -x_0x23_26_0x23_20_bit0 x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_30_bit0 -x_0x23_25_0x23_29_bit0 -x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_3_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_32_bit0 -x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_9_bit0 -x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_13_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_26_bit0 -x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_27_bit0 -x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_23_bit0 x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_9_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_32_bit0 x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_3_bit0 -x_0x23_17_0x23_1_bit0 -x_0x23_16_0x23_34_bit0 x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_1_bit0 x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_23_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_15_0x23_8_bit0 -x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_26_bit0 x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_9_bit0 -x_0x23_11_0x23_8_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_6_bit0 -x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_30_bit0 x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_9_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_6_bit0 -x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_8_0x23_8_bit0 -x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_11_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_27_bit0 x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_6_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_29_bit0 x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_17_bit0 -x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_7_bit0 x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_15_bit0 -x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_10_bit0 x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_28_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_14_bit0 -x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_33_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_12_bit0 -x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_5_bit0 x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_19_bit0 -x_0x23_41_0x23_17_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_17_bit0 x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_2_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_33_bit0 -x_0x23_37_0x23_31_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_12_bit0 x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_4_bit0 x_0x23_35_0x23_2_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_22_bit0 -x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_15_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_21_bit0 -x_0x23_33_0x23_19_bit0 x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_31_bit0 -x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_15_bit0 x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_14_bit0 x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_25_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_24_bit0 -x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_14_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_2_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_21_bit0 x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_2_bit0 -x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_33_bit0 x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_21_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_23_0x23_35_bit0 x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_24_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_2_bit0 x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_10_bit0 -x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_22_bit0 x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_18_0x23_35_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_4_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_22_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_4_bit0 -x_0x23_16_0x23_2_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_12_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_24_bit0 x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_10_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_25_bit0 -x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_28_bit0 x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_7_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_5_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_31_bit0 x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_7_bit0 -x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_25_bit0 x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_5_bit0 -x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_2_bit0

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859723232 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 41 3 40 18 0 23 0
[pid=12174] 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.0038 s]
Raw data (loadavg): 0.82 0.95 0.96 2/57 12174
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 1414 0 0 0 994 4 0 0 25 0 1 0 1859723232 7303168 1375 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 1783 1375 566 18 0 1765 0
[pid=12174] vsize: 7132
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 7132

[startup+20.0047 s]
Raw data (loadavg): 0.84 0.95 0.96 2/57 12174
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2048 0 0 0 1992 5 0 0 25 0 1 0 1859723232 9932800 2009 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 2425 2009 566 18 0 2407 0
[pid=12174] vsize: 9700
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 9700

[startup+30.0047 s]
Raw data (loadavg): 0.87 0.95 0.96 2/57 12174
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2634 0 0 0 2980 10 0 0 25 0 1 0 1859723232 12259328 2595 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 2993 2595 566 18 0 2975 0
[pid=12174] vsize: 11972
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 11972

[startup+40.0056 s]
Raw data (loadavg): 0.89 0.95 0.96 2/57 12174
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2634 0 0 0 3965 16 0 0 25 0 1 0 1859723232 12259328 2595 4294967295 134512640 134578447 3221224624 3221221904 134533051 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 2993 2595 566 18 0 2975 0
[pid=12174] vsize: 11972
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 11972

[startup+50.0066 s]
Raw data (loadavg): 0.90 0.96 0.96 2/57 12176
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2730 0 0 0 4948 21 0 0 25 0 1 0 1859723232 12738560 2691 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3110 2691 566 18 0 3092 0
[pid=12174] vsize: 12440
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 12440

[startup+60.0075 s]
Raw data (loadavg): 0.92 0.96 0.96 2/57 12176
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 5928 29 0 0 25 0 1 0 1859723232 13000704 2765 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 3174 2765 566 18 0 3156 0
[pid=12174] vsize: 12696
Current children cumulated CPU time (s) 59.57
Current children cumulated vsize (Kb) 12696

[startup+70.0084 s]
Raw data (loadavg): 0.93 0.96 0.96 1/57 12176
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 2804 0 0 0 6839 60 0 0 23 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 68.99
Current children cumulated vsize (Kb) 12652

[startup+80.0093 s]
Raw data (loadavg): 0.94 0.96 0.96 1/57 12176
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 2804 0 0 0 7698 107 0 0 23 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 78.05
Current children cumulated vsize (Kb) 12652

[startup+90.0102 s]
Raw data (loadavg): 0.95 0.96 0.96 2/57 12176
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 8559 153 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 87.12
Current children cumulated vsize (Kb) 12652

[startup+100.01 s]
Raw data (loadavg): 0.96 0.96 0.96 2/57 12176
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 9502 173 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 96.75
Current children cumulated vsize (Kb) 12652

[startup+110.012 s]
Raw data (loadavg): 0.96 0.96 0.96 1/57 12178
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 2804 0 0 0 10442 194 0 0 23 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 106.36
Current children cumulated vsize (Kb) 12652

[startup+120.013 s]
Raw data (loadavg): 0.97 0.96 0.96 2/57 12178
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 11394 214 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527457 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 116.08
Current children cumulated vsize (Kb) 12652

[startup+130.013 s]
Raw data (loadavg): 0.97 0.96 0.96 2/57 12178
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 12345 229 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 125.74
Current children cumulated vsize (Kb) 12652

[startup+140.014 s]
Raw data (loadavg): 0.98 0.96 0.96 2/57 12178
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 13271 255 0 0 24 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 135.26
Current children cumulated vsize (Kb) 12652

[startup+150.015 s]
Raw data (loadavg): 0.98 0.97 0.96 2/57 12178
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 14160 294 0 0 19 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 144.54
Current children cumulated vsize (Kb) 12652

[startup+160.016 s]
Raw data (loadavg): 1.06 0.98 0.97 2/57 12178
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 15071 325 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 153.96
Current children cumulated vsize (Kb) 12652

[startup+170.017 s]
Raw data (loadavg): 1.05 0.98 0.97 2/57 12180
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 16042 334 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223476 134527148 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 163.76
Current children cumulated vsize (Kb) 12652

[startup+180.017 s]
Raw data (loadavg): 1.04 0.98 0.97 2/57 12180
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 17015 343 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 173.58
Current children cumulated vsize (Kb) 12652

[startup+190.018 s]
Raw data (loadavg): 1.03 0.98 0.97 2/57 12180
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 17993 350 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 183.43
Current children cumulated vsize (Kb) 12652

[startup+200.018 s]
Raw data (loadavg): 1.03 0.98 0.97 2/57 12180
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 18960 361 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 193.21
Current children cumulated vsize (Kb) 12652

[startup+210.019 s]
Raw data (loadavg): 1.02 0.98 0.97 2/57 12180
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 2804 0 0 0 19937 368 0 0 25 0 1 0 1859723232 12955648 2765 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3163 2765 566 18 0 3145 0
[pid=12174] vsize: 12652
Current children cumulated CPU time (s) 203.05
Current children cumulated vsize (Kb) 12652

[startup+220.02 s]
Raw data (loadavg): 1.02 0.98 0.97 2/57 12180
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 3116 0 0 0 20917 376 0 0 25 0 1 0 1859723232 14303232 3077 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3492 3077 566 18 0 3474 0
[pid=12174] vsize: 13968
Current children cumulated CPU time (s) 212.93
Current children cumulated vsize (Kb) 13968

[startup+230.02 s]
Raw data (loadavg): 1.02 0.98 0.97 2/57 12182
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 3493 0 0 0 21899 383 0 0 25 0 1 0 1859723232 15785984 3454 4294967295 134512640 134578447 3221224624 3221221600 134533073 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3854 3454 566 18 0 3836 0
[pid=12174] vsize: 15416
Current children cumulated CPU time (s) 222.82
Current children cumulated vsize (Kb) 15416

[startup+240.021 s]
Raw data (loadavg): 1.01 0.98 0.97 2/57 12182
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 3496 0 0 0 22879 389 0 0 25 0 1 0 1859723232 15785984 3457 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 3854 3457 566 18 0 3836 0
[pid=12174] vsize: 15416
Current children cumulated CPU time (s) 232.68
Current children cumulated vsize (Kb) 15416

[startup+250.021 s]
Raw data (loadavg): 1.01 0.98 0.97 1/57 12182
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 3789 0 0 0 23856 398 0 0 25 0 1 0 1859723232 16936960 3738 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4135 3738 566 18 0 4117 0
[pid=12174] vsize: 16540
Current children cumulated CPU time (s) 242.54
Current children cumulated vsize (Kb) 16540

[startup+260.024 s]
Raw data (loadavg): 1.01 0.98 0.97 2/57 12182
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 24838 405 0 0 25 0 1 0 1859723232 18395136 4073 4294967295 134512640 134578447 3221224624 3221220992 134533183 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4491 4073 566 18 0 4473 0
[pid=12174] vsize: 17964
Current children cumulated CPU time (s) 252.43
Current children cumulated vsize (Kb) 17964

[startup+270.025 s]
Raw data (loadavg): 1.01 0.98 0.97 2/57 12182
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 25789 420 0 0 21 0 1 0 1859723232 18395136 4073 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4491 4073 566 18 0 4473 0
[pid=12174] vsize: 17964
Current children cumulated CPU time (s) 262.09
Current children cumulated vsize (Kb) 17964

[startup+280.025 s]
Raw data (loadavg): 1.00 0.98 0.97 1/57 12182
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4124 0 0 0 26711 446 0 0 25 0 1 0 1859723232 18391040 4073 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4490 4073 566 18 0 4472 0
[pid=12174] vsize: 17960
Current children cumulated CPU time (s) 271.57
Current children cumulated vsize (Kb) 17960

[startup+290.026 s]
Raw data (loadavg): 1.00 0.98 0.97 2/57 12184
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 27655 465 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 281.2
Current children cumulated vsize (Kb) 17856

[startup+300.027 s]
Raw data (loadavg): 1.00 0.98 0.97 2/57 12184
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 28588 489 0 0 24 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 290.77
Current children cumulated vsize (Kb) 17856

[startup+310.028 s]
Raw data (loadavg): 1.00 0.98 0.97 1/57 12184
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4124 0 0 0 29429 544 0 0 23 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 299.73
Current children cumulated vsize (Kb) 17856

[startup+320.029 s]
Raw data (loadavg): 1.00 0.98 0.97 2/57 12184
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 30378 562 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 309.4
Current children cumulated vsize (Kb) 17856

[startup+330.03 s]
Raw data (loadavg): 1.00 0.98 0.97 2/57 12184
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 31321 582 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223476 134555898 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 319.03
Current children cumulated vsize (Kb) 17856

[startup+340.031 s]
Raw data (loadavg): 1.00 0.98 0.97 2/57 12184
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 32293 592 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223472 134520270 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 328.85
Current children cumulated vsize (Kb) 17856

[startup+350.031 s]
Raw data (loadavg): 1.08 1.00 0.97 2/57 12186
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 33259 605 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 338.64
Current children cumulated vsize (Kb) 17856

[startup+360.033 s]
Raw data (loadavg): 1.07 1.00 0.97 2/57 12186
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 34232 613 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 348.45
Current children cumulated vsize (Kb) 17856

[startup+370.033 s]
Raw data (loadavg): 1.06 1.00 0.97 2/57 12186
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 35215 619 0 0 24 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 358.34
Current children cumulated vsize (Kb) 17856

[startup+380.033 s]
Raw data (loadavg): 1.05 1.00 0.97 2/57 12186
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 36197 625 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223536 134557270 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 368.22
Current children cumulated vsize (Kb) 17856

[startup+390.034 s]
Raw data (loadavg): 1.04 1.00 0.97 1/57 12186
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4124 0 0 0 37078 664 0 0 22 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 377.42
Current children cumulated vsize (Kb) 17856

[startup+400.035 s]
Raw data (loadavg): 1.03 1.00 0.97 2/57 12186
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 38021 683 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 387.04
Current children cumulated vsize (Kb) 17856

[startup+410.036 s]
Raw data (loadavg): 1.03 1.00 0.97 2/57 12188
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 38994 692 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221222096 134532499 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 396.86
Current children cumulated vsize (Kb) 17856

[startup+420.037 s]
Raw data (loadavg): 1.02 1.00 0.97 2/57 12188
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 39973 701 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 406.74
Current children cumulated vsize (Kb) 17856

[startup+430.038 s]
Raw data (loadavg): 1.02 1.00 0.97 2/57 12188
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 40960 706 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223580 134559030 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 416.66
Current children cumulated vsize (Kb) 17856

[startup+440.039 s]
Raw data (loadavg): 1.02 1.00 0.97 2/57 12188
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4124 0 0 0 41944 711 0 0 25 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 426.55
Current children cumulated vsize (Kb) 17856

[startup+450.04 s]
Raw data (loadavg): 1.01 1.00 0.97 1/58 12189
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4124 0 0 0 42922 719 0 0 17 0 1 0 1859723232 18284544 4069 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4464 4069 566 18 0 4446 0
[pid=12174] vsize: 17856
Current children cumulated CPU time (s) 436.41
Current children cumulated vsize (Kb) 17856

[startup+460.041 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 12243
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4226 0 0 0 43853 751 0 0 25 0 1 0 1859723232 18792448 4171 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4588 4171 566 18 0 4570 0
[pid=12174] vsize: 18352
Current children cumulated CPU time (s) 446.04
Current children cumulated vsize (Kb) 18352

[startup+470.042 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 12245
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4299 0 0 0 44830 758 0 0 25 0 1 0 1859723232 19042304 4244 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4649 4244 566 18 0 4631 0
[pid=12174] vsize: 18596
Current children cumulated CPU time (s) 455.88
Current children cumulated vsize (Kb) 18596

[startup+480.043 s]
Raw data (loadavg): 1.01 1.00 0.97 2/57 12245
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4299 0 0 0 45818 762 0 0 25 0 1 0 1859723232 19042304 4244 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4649 4244 566 18 0 4631 0
[pid=12174] vsize: 18596
Current children cumulated CPU time (s) 465.8
Current children cumulated vsize (Kb) 18596

[startup+490.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12245
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4299 0 0 0 46798 770 0 0 25 0 1 0 1859723232 19042304 4244 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4649 4244 566 18 0 4631 0
[pid=12174] vsize: 18596
Current children cumulated CPU time (s) 475.68
Current children cumulated vsize (Kb) 18596

[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12245
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4299 0 0 0 47781 777 0 0 25 0 1 0 1859723232 19042304 4244 4294967295 134512640 134578447 3221224624 3221223504 134528161 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4649 4244 566 18 0 4631 0
[pid=12174] vsize: 18596
Current children cumulated CPU time (s) 485.58
Current children cumulated vsize (Kb) 18596

[startup+510.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12245
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4299 0 0 0 48762 784 0 0 25 0 1 0 1859723232 19042304 4244 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4649 4244 566 18 0 4631 0
[pid=12174] vsize: 18596
Current children cumulated CPU time (s) 495.46
Current children cumulated vsize (Kb) 18596

[startup+520.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12247
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4299 0 0 0 49696 808 0 0 23 0 1 0 1859723232 19042304 4244 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4649 4244 566 18 0 4631 0
[pid=12174] vsize: 18596
Current children cumulated CPU time (s) 505.04
Current children cumulated vsize (Kb) 18596

[startup+530.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12251
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4299 0 0 0 50646 824 0 0 25 0 1 0 1859723232 19042304 4244 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4649 4244 566 18 0 4631 0
[pid=12174] vsize: 18596
Current children cumulated CPU time (s) 514.7
Current children cumulated vsize (Kb) 18596

[startup+540.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12251
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 51633 829 0 0 25 0 1 0 1859723232 19124224 4266 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4669 4266 566 18 0 4651 0
[pid=12174] vsize: 18676
Current children cumulated CPU time (s) 524.62
Current children cumulated vsize (Kb) 18676

[startup+550.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12251
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 52614 835 0 0 25 0 1 0 1859723232 19124224 4266 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4669 4266 566 18 0 4651 0
[pid=12174] vsize: 18676
Current children cumulated CPU time (s) 534.49
Current children cumulated vsize (Kb) 18676

[startup+560.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12251
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 53539 861 0 0 25 0 1 0 1859723232 19124224 4266 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4669 4266 566 18 0 4651 0
[pid=12174] vsize: 18676
Current children cumulated CPU time (s) 544
Current children cumulated vsize (Kb) 18676

[startup+570.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12251
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 54485 877 0 0 25 0 1 0 1859723232 19120128 4266 4294967295 134512640 134578447 3221224624 3221221040 134533073 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4668 4266 566 18 0 4650 0
[pid=12174] vsize: 18672
Current children cumulated CPU time (s) 553.62
Current children cumulated vsize (Kb) 18672

[startup+580.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12251
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 55459 885 0 0 25 0 1 0 1859723232 19120128 4266 4294967295 134512640 134578447 3221224624 3221223476 134555792 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4668 4266 566 18 0 4650 0
[pid=12174] vsize: 18672
Current children cumulated CPU time (s) 563.44
Current children cumulated vsize (Kb) 18672

[startup+590.051 s]
Raw data (loadavg): 1.00 1.00 0.97 1/57 12253
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4321 0 0 0 56425 897 0 0 25 0 1 0 1859723232 19120128 4266 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4668 4266 566 18 0 4650 0
[pid=12174] vsize: 18672
Current children cumulated CPU time (s) 573.22
Current children cumulated vsize (Kb) 18672

[startup+600.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12253
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 57378 914 0 0 25 0 1 0 1859723232 19120128 4266 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4668 4266 566 18 0 4650 0
[pid=12174] vsize: 18672
Current children cumulated CPU time (s) 582.92
Current children cumulated vsize (Kb) 18672

[startup+610.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12253
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 58345 926 0 0 25 0 1 0 1859723232 19120128 4266 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 4668 4266 566 18 0 4650 0
[pid=12174] vsize: 18672
Current children cumulated CPU time (s) 592.71
Current children cumulated vsize (Kb) 18672

[startup+620.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12253
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 59321 935 0 0 25 0 1 0 1859723232 19111936 4266 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4666 4266 566 18 0 4648 0
[pid=12174] vsize: 18664
Current children cumulated CPU time (s) 602.56
Current children cumulated vsize (Kb) 18664

[startup+630.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12253
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 60304 939 0 0 25 0 1 0 1859723232 19111936 4266 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4666 4266 566 18 0 4648 0
[pid=12174] vsize: 18664
Current children cumulated CPU time (s) 612.43
Current children cumulated vsize (Kb) 18664

[startup+640.094 s]
Raw data (loadavg): 1.00 1.00 0.97 2/57 12253
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4321 0 0 0 61292 944 0 0 25 0 1 0 1859723232 19111936 4266 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4666 4266 566 18 0 4648 0
[pid=12174] vsize: 18664
Current children cumulated CPU time (s) 622.36
Current children cumulated vsize (Kb) 18664

[startup+650.095 s]
Raw data (loadavg): 1.16 1.03 0.98 2/57 12255
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4474 0 0 0 62280 949 0 0 25 0 1 0 1859723232 19800064 4419 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 4834 4419 566 18 0 4816 0
[pid=12174] vsize: 19336
Current children cumulated CPU time (s) 632.29
Current children cumulated vsize (Kb) 19336

[startup+660.096 s]
Raw data (loadavg): 1.13 1.03 0.98 2/57 12255
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4801 0 0 0 63236 965 0 0 22 0 1 0 1859723232 21028864 4739 4294967295 134512640 134578447 3221224624 3221223364 1075289714 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5134 4739 566 18 0 5116 0
[pid=12174] vsize: 20536
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (Kb) 20536

[startup+670.097 s]
Raw data (loadavg): 1.11 1.03 0.98 2/57 12255
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4801 0 0 0 64201 977 0 0 25 0 1 0 1859723232 21028864 4739 4294967295 134512640 134578447 3221224624 3221223248 134526986 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5134 4739 566 18 0 5116 0
[pid=12174] vsize: 20536
Current children cumulated CPU time (s) 651.78
Current children cumulated vsize (Kb) 20536

[startup+680.097 s]
Raw data (loadavg): 1.10 1.03 0.98 2/57 12255
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4801 0 0 0 65186 983 0 0 25 0 1 0 1859723232 21028864 4739 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 5134 4739 566 18 0 5116 0
[pid=12174] vsize: 20536
Current children cumulated CPU time (s) 661.69
Current children cumulated vsize (Kb) 20536

[startup+690.098 s]
Raw data (loadavg): 1.08 1.03 0.98 2/57 12255
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 66175 988 0 0 25 0 1 0 1859723232 21266432 4768 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 5192 4768 566 18 0 5174 0
[pid=12174] vsize: 20768
Current children cumulated CPU time (s) 671.63
Current children cumulated vsize (Kb) 20768

[startup+700.098 s]
Raw data (loadavg): 1.07 1.03 0.98 2/57 12255
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 67163 991 0 0 25 0 1 0 1859723232 21266432 4768 4294967295 134512640 134578447 3221224624 3221221188 134533263 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 5192 4768 566 18 0 5174 0
[pid=12174] vsize: 20768
Current children cumulated CPU time (s) 681.54
Current children cumulated vsize (Kb) 20768

[startup+710.099 s]
Raw data (loadavg): 1.06 1.02 0.98 2/57 12257
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 68005 1039 0 0 25 0 1 0 1859723232 21229568 4768 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5183 4768 566 18 0 5165 0
[pid=12174] vsize: 20732
Current children cumulated CPU time (s) 690.44
Current children cumulated vsize (Kb) 20732

[startup+720.1 s]
Raw data (loadavg): 1.05 1.02 0.98 2/57 12257
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 68951 1056 0 0 25 0 1 0 1859723232 21229568 4768 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5183 4768 566 18 0 5165 0
[pid=12174] vsize: 20732
Current children cumulated CPU time (s) 700.07
Current children cumulated vsize (Kb) 20732

[startup+730.1 s]
Raw data (loadavg): 1.04 1.02 0.98 2/57 12257
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 69893 1076 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 709.69
Current children cumulated vsize (Kb) 20648

[startup+740.101 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 12257
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 70843 1092 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 719.35
Current children cumulated vsize (Kb) 20648

[startup+750.101 s]
Raw data (loadavg): 1.03 1.02 0.98 2/57 12257
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 71778 1113 0 0 22 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 728.91
Current children cumulated vsize (Kb) 20648

[startup+760.102 s]
Raw data (loadavg): 1.02 1.02 0.98 2/57 12257
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 72673 1146 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223536 134556756 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 738.19
Current children cumulated vsize (Kb) 20648

[startup+770.102 s]
Raw data (loadavg): 1.02 1.02 0.98 2/57 12261
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 73627 1162 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223536 134557049 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 747.89
Current children cumulated vsize (Kb) 20648

[startup+780.103 s]
Raw data (loadavg): 1.02 1.02 0.98 2/57 12261
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 74591 1175 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 757.66
Current children cumulated vsize (Kb) 20648

[startup+790.104 s]
Raw data (loadavg): 1.01 1.02 0.98 2/57 12261
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 75557 1187 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 767.44
Current children cumulated vsize (Kb) 20648

[startup+800.105 s]
Raw data (loadavg): 1.01 1.02 0.98 2/57 12261
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 76504 1206 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 777.1
Current children cumulated vsize (Kb) 20648

[startup+810.106 s]
Raw data (loadavg): 1.01 1.02 0.98 2/57 12261
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 77477 1215 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 786.92
Current children cumulated vsize (Kb) 20648

[startup+820.107 s]
Raw data (loadavg): 1.01 1.01 0.98 1/57 12261
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4830 0 0 0 78429 1231 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 796.6
Current children cumulated vsize (Kb) 20648

[startup+830.108 s]
Raw data (loadavg): 1.00 1.01 0.98 2/57 12263
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 79398 1243 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 806.41
Current children cumulated vsize (Kb) 20648

[startup+840.109 s]
Raw data (loadavg): 1.08 1.03 0.99 2/57 12263
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 80311 1270 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527609 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 815.81
Current children cumulated vsize (Kb) 20648

[startup+850.11 s]
Raw data (loadavg): 1.07 1.03 0.99 2/57 12263
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 81236 1295 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221220448 134533075 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 825.31
Current children cumulated vsize (Kb) 20648

[startup+860.111 s]
Raw data (loadavg): 1.06 1.03 0.99 2/57 12263
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 82192 1310 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 835.02
Current children cumulated vsize (Kb) 20648

[startup+870.111 s]
Raw data (loadavg): 1.05 1.03 0.99 2/57 12263
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 83144 1327 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223456 134558451 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 844.71
Current children cumulated vsize (Kb) 20648

[startup+880.112 s]
Raw data (loadavg): 1.04 1.02 0.99 2/57 12263
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 84063 1355 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 854.18
Current children cumulated vsize (Kb) 20648

[startup+890.113 s]
Raw data (loadavg): 1.04 1.02 0.99 2/57 12265
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 85020 1370 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 863.9
Current children cumulated vsize (Kb) 20648

[startup+900.114 s]
Raw data (loadavg): 1.03 1.02 0.99 2/57 12265
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 85978 1385 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 873.63
Current children cumulated vsize (Kb) 20648

[startup+910.115 s]
Raw data (loadavg): 1.02 1.02 0.99 2/57 12265
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 86923 1403 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 883.26
Current children cumulated vsize (Kb) 20648

[startup+920.115 s]
Raw data (loadavg): 1.02 1.02 0.99 2/57 12265
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 87886 1415 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221222080 134532391 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 893.01
Current children cumulated vsize (Kb) 20648

[startup+930.115 s]
Raw data (loadavg): 1.02 1.02 0.99 2/57 12265
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 88836 1431 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 902.67
Current children cumulated vsize (Kb) 20648

[startup+940.116 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 12265
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 89800 1443 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223376 134528863 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 912.43
Current children cumulated vsize (Kb) 20648

[startup+950.117 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 12267
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 90761 1457 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 922.18
Current children cumulated vsize (Kb) 20648

[startup+960.118 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 12267
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 91726 1468 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 931.94
Current children cumulated vsize (Kb) 20648

[startup+970.119 s]
Raw data (loadavg): 1.01 1.02 0.99 1/57 12267
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4830 0 0 0 92692 1480 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (Kb) 20648

[startup+980.12 s]
Raw data (loadavg): 1.01 1.02 0.99 2/57 12267
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 93657 1492 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223456 134558389 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 951.49
Current children cumulated vsize (Kb) 20648

[startup+990.121 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12267
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 94618 1507 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518983 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 961.25
Current children cumulated vsize (Kb) 20648

[startup+1000.12 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12267
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 95596 1514 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 971.1
Current children cumulated vsize (Kb) 20648

[startup+1010.12 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12269
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 96568 1523 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 980.91
Current children cumulated vsize (Kb) 20648

[startup+1020.12 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12269
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 97540 1532 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221221792 134532501 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 990.72
Current children cumulated vsize (Kb) 20648

[startup+1030.12 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12269
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 98504 1544 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134528148 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1000.48
Current children cumulated vsize (Kb) 20648

[startup+1040.12 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12269
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 99473 1553 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1010.26
Current children cumulated vsize (Kb) 20648

[startup+1050.12 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12269
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 100448 1562 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1020.1
Current children cumulated vsize (Kb) 20648

[startup+1060.13 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12269
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 101421 1572 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1029.93
Current children cumulated vsize (Kb) 20648

[startup+1070.13 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12271
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 102394 1581 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1039.75
Current children cumulated vsize (Kb) 20648

[startup+1080.13 s]
Raw data (loadavg): 1.00 1.01 0.99 2/57 12271
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 103368 1590 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1049.58
Current children cumulated vsize (Kb) 20648

[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12271
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 104344 1598 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1059.42
Current children cumulated vsize (Kb) 20648

[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12271
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 105318 1605 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1069.23
Current children cumulated vsize (Kb) 20648

[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12271
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 106295 1613 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1079.08
Current children cumulated vsize (Kb) 20648

[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 12271
Raw data (/proc/12174/stat): 12174 (Pueblo) T 12173 12174 9102 0 -1 0 4830 0 0 0 107282 1616 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1088.98
Current children cumulated vsize (Kb) 20648

[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12273
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 108259 1626 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1098.85
Current children cumulated vsize (Kb) 20648

[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12273
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 109233 1636 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1108.69
Current children cumulated vsize (Kb) 20648

[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12273
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 110199 1648 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1118.47
Current children cumulated vsize (Kb) 20648

[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12273
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 111161 1660 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1128.21
Current children cumulated vsize (Kb) 20648

[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12273
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 112139 1668 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518991 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1138.07
Current children cumulated vsize (Kb) 20648

[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12273
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 113108 1678 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134522790 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1147.86
Current children cumulated vsize (Kb) 20648

[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12275
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 114081 1688 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1157.69
Current children cumulated vsize (Kb) 20648

[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12275
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 115052 1698 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1167.5
Current children cumulated vsize (Kb) 20648

[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 12275
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 116027 1707 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1177.34
Current children cumulated vsize (Kb) 20648

[startup+1220.14 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 12275
Raw data (/proc/12174/stat): 12174 (Pueblo) R 12173 12174 9102 0 -1 0 4830 0 0 0 117005 1716 0 0 25 0 1 0 1859723232 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/12174/statm): 5162 4767 566 18 0 5144 0
[pid=12174] vsize: 20648
Current children cumulated CPU time (s) 1187.21
Current children cumulated vsize (Kb) 20648
One traced child (pid=12174) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1221.98
CPU time (s): 1189.03
CPU user time (s): 1171.83
CPU system time (s): 17.1924
CPU usage (%): 97.3028
Max. virtual memory (cumulated for all children) (Kb): 20768

Verifier Data

Verifier:	OK	-20