Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-roll3000.opb
MD5SUM8932ff592f10c4a440d98245533252f1
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000000
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 265438953471
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables7611
Total number of constraints3459
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)626
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint1
Maximum length of a constraint2047

Trace number 9262

Launcher Data

LAUNCH ON wulflinc25 THE 2005-09-23 12:09:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8012 boxname=wulflinc25 idbench=980 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8932ff592f10c4a440d98245533252f1  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-roll3000.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-roll3000.opb 0
IDLAUNCH: 8012
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.002
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.002
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:        938324 kB
Buffers:         12596 kB
Cached:          65196 kB
SwapCached:          0 kB
Active:          41508 kB
Inactive:        39204 kB
HighTotal:      131008 kB
HighFree:        61880 kB
LowTotal:       903652 kB
LowFree:        876444 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10080 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:19:55 (client local time) WITH STATUS 30 IN 615.663 SECONDS
stats: 8012 6 615.663 30

Solver Data

1:
seed: 0
Nr of vars set: 2932  (#equs: 0)
Nr of vars set: 2971  (#equs: 0)
#decisions: 456408;  #end-nodes: 39927;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 152 (151)
#axs: 2926, #non-axs: 6182
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 3041  (#equs: 9)
Time taken: 7 min, 5 sec

2:
seed: 0
Nr of vars set: 3041  (#equs: 0)
Nr of vars set: 3041  (#equs: 0)
#decisions: 168097;  #end-nodes: 24389;
#proof improvement attempts: 0;  #restarts: 159
Current batch, end-nodes: 56 / 159 (159)
#axs: 2182, #non-axs: 6760
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 29, end (keep): 48
result: model found (1)
Model found with constant:  2097150 (0:>=*);
Model found with constant:
  (pushed:) 4294967295 (2097151:>=*)

With an increment of the last pushed constant, a proof of false was found.
result: proof of false found (0)
seed: 0
Nr of vars set: 3044  (#equs: 3)
Time taken: 3 min, 5 sec
times:
0m0.020s 0m0.020s
10m1.295s 0m10.525s
v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 -x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x1_bit13  x2_bit_7  x2_bit_6  x2_bit_5  x2_bit_4  x2_bit_3  x2_bit_2  x2_bit_1  x2_bit0  x2_bit1  x2_bit2  x2_bit3  x2_bit4  x2_bit5  x2_bit6  x2_bit7  x2_bit8  x2_bit9  x2_bit10 -x2_bit11  x2_bit12  x2_bit13  x2_bit14  x2_bit15  x2_bit16  x2_bit17  x2_bit18  x2_bit19  x2_bit20  x2_bit21  x2_bit22 -x2_bit23  x2_bit24  x2_bit25  x2_bit26  x2_bit27  x2_bit28  x2_bit29  x3_bit_7  x3_bit_6 -x3_bit_5 -x3_bit_4  x3_bit_3  x3_bit_2 -x3_bit_1  x3_bit0  x3_bit1  x3_bit2  x3_bit3 -x3_bit4 -x3_bit5  x3_bit6  x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x4_bit_7 -x4_bit_6 -x4_bit_5 -x4_bit_4 -x4_bit_3 -x4_bit_2 -x4_bit_1 -x4_bit0 -x4_bit1 -x4_bit2 -x4_bit3 -x4_bit4 -x4_bit5 -x4_bit6 -x4_bit7  x4_bit8 -x4_bit9 -x4_bit10 -x4_bit11 -x4_bit12  x4_bit13 -x4_bit14 -x4_bit15 -x4_bit16 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 -x5_bit1 -x5_bit2 -x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8  x5_bit9 -x5_bit10  x5_bit11 -x5_bit12 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x6_bit_7 -x6_bit_6 -x6_bit_5 -x6_bit_4 -x6_bit_3  x6_bit_2  x6_bit_1 -x6_bit0 -x6_bit1 -x6_bit2 -x6_bit3 -x6_bit4 -x6_bit5 -x6_bit6 -x6_bit7 -x6_bit8 -x6_bit9 -x7_bit_7  x7_bit_6 -x7_bit_5  x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 -x7_bit0 -x7_bit1 -x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9  x8_bit_7  x8_bit_6 -x8_bit_5 -x8_bit_4 -x8_bit_3 -x8_bit_2 -x8_bit_1 -x8_bit0 -x8_bit1  x8_bit2 -x8_bit3 -x8_bit4 -x8_bit5 -x8_bit6 -x8_bit7 -x8_bit8 -x8_bit9 -x9_bit_7 -x9_bit_6  x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 -x9_bit2 -x9_bit3 -x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x10_bit_7 -x10_bit_6 -x10_bit_5 -x10_bit_4 -x10_bit_3 -x10_bit_2 -x10_bit_1 -x10_bit0 -x10_bit1 -x10_bit2 -x10_bit3 -x10_bit4 -x10_bit5 -x10_bit6 -x10_bit7 -x10_bit8 -x10_bit9 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 -x11_bit1 -x11_bit2 -x11_bit3 -x11_bit4 -x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x12_bit_7 -x12_bit_6  x12_bit_5  x12_bit_4 -x12_bit_3 -x12_bit_2 -x12_bit_1 -x12_bit0 -x12_bit1 -x12_bit2  x12_bit3 -x12_bit4 -x12_bit5 -x12_bit6 -x12_bit7 -x12_bit8 -x12_bit9  x13_bit_7 -x13_bit_6 -x13_bit_5 -x13_bit_4 -x13_bit_3  x13_bit_2 -x13_bit_1 -x13_bit0 -x13_bit1 -x13_bit2 -x13_bit3 -x13_bit4 -x13_bit5 -x13_bit6 -x13_bit7 -x13_bit8 -x13_bit9 -x14_bit_7 -x14_bit_6 -x14_bit_5  x14_bit_4 -x14_bit_3 -x14_bit_2  x14_bit_1 -x14_bit0  x14_bit1 -x14_bit2 -x14_bit3 -x14_bit4 -x14_bit5 -x14_bit6 -x14_bit7 -x14_bit8 -x14_bit9 -x15_bit_7 -x15_bit_6 -x15_bit_5 -x15_bit_4 -x15_bit_3 -x15_bit_2 -x15_bit_1 -x15_bit0 -x15_bit1 -x15_bit2 -x15_bit3 -x15_bit4 -x15_bit5 -x15_bit6 -x15_bit7 -x15_bit8 -x15_bit9 -x16_bit_7 -x16_bit_6 -x16_bit_5 -x16_bit_4 -x16_bit_3 -x16_bit_2 -x16_bit_1 -x16_bit0 -x16_bit1 -x16_bit2 -x16_bit3 -x16_bit4 -x16_bit5 -x16_bit6 -x16_bit7 -x16_bit8 -x16_bit9 -x17_bit_7 -x17_bit_6 -x17_bit_5 -x17_bit_4 -x17_bit_3 -x17_bit_2 -x17_bit_1 -x17_bit0 -x17_bit1 -x17_bit2 -x17_bit3 -x17_bit4 -x17_bit5 -x17_bit6 -x17_bit7 -x17_bit8 -x17_bit9 -x18_bit_7  x18_bit_6 -x18_bit_5  x18_bit_4  x18_bit_3  x18_bit_2 -x18_bit_1 -x18_bit0 -x18_bit1 -x18_bit2 -x18_bit3 -x18_bit4 -x18_bit5 -x18_bit6 -x18_bit7 -x18_bit8 -x18_bit9 -x19_bit_7 -x19_bit_6 -x19_bit_5 -x19_bit_4 -x19_bit_3 -x19_bit_2 -x19_bit_1 -x19_bit0 -x19_bit1 -x19_bit2 -x19_bit3 -x19_bit4 -x19_bit5 -x19_bit6 -x19_bit7 -x19_bit8 -x19_bit9 -x20_bit_7 -x20_bit_6  x20_bit_5  x20_bit_4 -x20_bit_3 -x20_bit_2 -x20_bit_1  x20_bit0 -x20_bit1 -x20_bit2 -x20_bit3 -x20_bit4 -x20_bit5 -x20_bit6 -x20_bit7 -x20_bit8 -x20_bit9 -x21_bit_7 -x21_bit_6 -x21_bit_5 -x21_bit_4 -x21_bit_3 -x21_bit_2 -x21_bit_1 -x21_bit0 -x21_bit1 -x21_bit2 -x21_bit3 -x21_bit4 -x21_bit5 -x21_bit6 -x21_bit7 -x21_bit8 -x21_bit9 -x22_bit_7 -x22_bit_6 -x22_bit_5 -x22_bit_4 -x22_bit_3 -x22_bit_2 -x22_bit_1 -x22_bit0 -x22_bit1 -x22_bit2 -x22_bit3 -x22_bit4 -x22_bit5 -x22_bit6 -x22_bit7 -x22_bit8 -x22_bit9 -x23_bit_7 -x23_bit_6 -x23_bit_5 -x23_bit_4 -x23_bit_3 -x23_bit_2 -x23_bit_1 -x23_bit0 -x23_bit1 -x23_bit2  x23_bit3 -x23_bit4 -x23_bit5 -x23_bit6 -x23_bit7 -x23_bit8 -x23_bit9 -x24_bit_7 -x24_bit_6 -x24_bit_5  x24_bit_4  x24_bit_3 -x24_bit_2 -x24_bit_1 -x24_bit0 -x24_bit1 -x24_bit2 -x24_bit3 -x24_bit4 -x24_bit5 -x24_bit6 -x24_bit7 -x24_bit8 -x24_bit9 -x25_bit_7 -x25_bit_6 -x25_bit_5 -x25_bit_4 -x25_bit_3 -x25_bit_2 -x25_bit_1 -x25_bit0 -x25_bit1 -x25_bit2 -x25_bit3 -x25_bit4 -x25_bit5 -x25_bit6 -x25_bit7 -x25_bit8 -x25_bit9 -x26_bit_7 -x26_bit_6 -x26_bit_5 -x26_bit_4 -x26_bit_3 -x26_bit_2 -x26_bit_1 -x26_bit0 -x26_bit1 -x26_bit2 -x26_bit3 -x26_bit4 -x26_bit5 -x26_bit6 -x26_bit7 -x26_bit8 -x26_bit9 -x27_bit_7 -x27_bit_6 -x27_bit_5 -x27_bit_4 -x27_bit_3 -x27_bit_2 -x27_bit_1 -x27_bit0 -x27_bit1 -x27_bit2 -x27_bit3 -x27_bit4 -x27_bit5 -x27_bit6 -x27_bit7 -x27_bit8 -x27_bit9 -x28_bit_7 -x28_bit_6  x28_bit_5 -x28_bit_4 -x28_bit_3 -x28_bit_2 -x28_bit_1 -x28_bit0 -x28_bit1 -x28_bit2 -x28_bit3 -x28_bit4 -x28_bit5 -x28_bit6 -x28_bit7 -x28_bit8 -x28_bit9  x29_bit_7 -x29_bit_6  x29_bit_5  x29_bit_4 -x29_bit_3  x29_bit_2  x29_bit_1 -x29_bit0  x29_bit1 -x29_bit2 -x29_bit3 -x29_bit4 -x29_bit5 -x29_bit6 -x29_bit7 -x29_bit8 -x29_bit9  x30_bit_7  x30_bit_6 -x30_bit_5 -x30_bit_4  x30_bit_3  x30_bit_2  x30_bit_1 -x30_bit0  x30_bit1 -x30_bit2 -x30_bit3 -x30_bit4 -x30_bit5 -x30_bit6 -x30_bit7 -x30_bit8 -x30_bit9 -x31_bit_7 -x31_bit_6 -x31_bit_5 -x31_bit_4 -x31_bit_3 -x31_bit_2 -x31_bit_1 -x31_bit0 -x31_bit1 -x31_bit2 -x31_bit3 -x31_bit4 -x31_bit5 -x31_bit6 -x31_bit7 -x31_bit8 -x31_bit9 -x32_bit_7 -x32_bit_6 -x32_bit_5 -x32_bit_4 -x32_bit_3 -x32_bit_2 -x32_bit_1 -x32_bit0 -x32_bit1 -x32_bit2 -x32_bit3 -x32_bit4 -x32_bit5 -x32_bit6 -x32_bit7 -x32_bit8 -x32_bit9 -x33_bit_7 -x33_bit_6 -x33_bit_5 -x33_bit_4 -x33_bit_3 -x33_bit_2  x33_bit_1  x33_bit0 -x33_bit1 -x33_bit2  x33_bit3 -x33_bit4 -x33_bit5 -x33_bit6 -x33_bit7 -x33_bit8 -x33_bit9 -x34_bit_7 -x34_bit_6 -x34_bit_5 -x34_bit_4  x34_bit_3 -x34_bit_2 -x34_bit_1 -x34_bit0 -x34_bit1  x34_bit2 -x34_bit3 -x34_bit4 -x34_bit5 -x34_bit6 -x34_bit7 -x34_bit8 -x34_bit9 -x35_bit_7 -x35_bit_6 -x35_bit_5 -x35_bit_4 -x35_bit_3 -x35_bit_2 -x35_bit_1 -x35_bit0 -x35_bit1 -x35_bit2 -x35_bit3 -x35_bit4 -x35_bit5 -x35_bit6 -x35_bit7 -x35_bit8 -x35_bit9 -x36_bit_7 -x36_bit_6 -x36_bit_5 -x36_bit_4 -x36_bit_3 -x36_bit_2 -x36_bit_1 -x36_bit0 -x36_bit1 -x36_bit2 -x36_bit3 -x36_bit4 -x36_bit5 -x36_bit6 -x36_bit7 -x36_bit8 -x36_bit9 -x37_bit_7 -x37_bit_6 -x37_bit_5 -x37_bit_4 -x37_bit_3 -x37_bit_2 -x37_bit_1 -x37_bit0 -x37_bit1 -x37_bit2 -x37_bit3 -x37_bit4 -x37_bit5 -x37_bit6 -x37_bit7 -x37_bit8 -x37_bit9 -x38_bit_7 -x38_bit_6 -x38_bit_5 -x38_bit_4 -x38_bit_3 -x38_bit_2 -x38_bit_1 -x38_bit0 -x38_bit1 -x38_bit2 -x38_bit3 -x38_bit4 -x38_bit5 -x38_bit6 -x38_bit7 -x38_bit8 -x38_bit9  x39_bit_7 -x39_bit_6 -x39_bit_5 -x39_bit_4 -x39_bit_3  x39_bit_2 -x39_bit_1 -x39_bit0 -x39_bit1 -x39_bit2 -x39_bit3 -x39_bit4 -x39_bit5 -x39_bit6 -x39_bit7 -x39_bit8 -x39_bit9 -x40_bit_7 -x40_bit_6 -x40_bit_5 -x40_bit_4 -x40_bit_3  x40_bit_2 -x40_bit_1  x40_bit0 -x40_bit1 -x40_bit2 -x40_bit3  x40_bit4 -x40_bit5 -x40_bit6 -x40_bit7 -x40_bit8 -x40_bit9 -x41_bit_7 -x41_bit_6 -x41_bit_5 -x41_bit_4 -x41_bit_3 -x41_bit_2 -x41_bit_1 -x41_bit0 -x41_bit1 -x41_bit2 -x41_bit3 -x41_bit4 -x41_bit5 -x41_bit6 -x41_bit7 -x41_bit8 -x41_bit9 -x42_bit_7 -x42_bit_6 -x42_bit_5 -x42_bit_4 -x42_bit_3 -x42_bit_2 -x42_bit_1 -x42_bit0 -x42_bit1 -x42_bit2 -x42_bit3 -x42_bit4 -x42_bit5 -x42_bit6 -x42_bit7 -x42_bit8 -x42_bit9  x43_bit_7 -x43_bit_6  x43_bit_5 -x43_bit_4 -x43_bit_3 -x43_bit_2  x43_bit_1  x43_bit0 -x43_bit1 -x43_bit2 -x43_bit3 -x43_bit4 -x43_bit5 -x43_bit6 -x43_bit7 -x43_bit8 -x43_bit9 -x44_bit_7 -x44_bit_6 -x44_bit_5 -x44_bit_4 -x44_bit_3 -x44_bit_2 -x44_bit_1 -x44_bit0  x44_bit1 -x44_bit2 -x44_bit3 -x44_bit4 -x44_bit5 -x44_bit6 -x44_bit7 -x44_bit8 -x44_bit9 -x45_bit_7  x45_bit_6 -x45_bit_5 -x45_bit_4 -x45_bit_3 -x45_bit_2  x45_bit_1  x45_bit0 -x45_bit1 -x45_bit2 -x45_bit3 -x45_bit4 -x45_bit5 -x45_bit6 -x45_bit7 -x45_bit8 -x45_bit9 -x46_bit_7 -x46_bit_6 -x46_bit_5 -x46_bit_4 -x46_bit_3 -x46_bit_2 -x46_bit_1 -x46_bit0 -x46_bit1 -x46_bit2 -x46_bit3 -x46_bit4 -x46_bit5 -x46_bit6 -x46_bit7 -x46_bit8 -x46_bit9 -x47_bit_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 -x47_bit_1 -x47_bit0 -x47_bit1 -x47_bit2 -x47_bit3 -x47_bit4 -x47_bit5 -x47_bit6 -x47_bit7 -x47_bit8 -x47_bit9 -x48_bit_7 -x48_bit_6 -x48_bit_5 -x48_bit_4 -x48_bit_3 -x48_bit_2 -x48_bit_1 -x48_bit0 -x48_bit1 -x48_bit2 -x48_bit3 -x48_bit4 -x48_bit5 -x48_bit6 -x48_bit7 -x48_bit8 -x48_bit9 -x49_bit_7  x49_bit_6  x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1  x49_bit0 -x49_bit1 -x49_bit2 -x49_bit3 -x49_bit4 -x49_bit5 -x49_bit6 -x49_bit7 -x49_bit8 -x49_bit9  x50_bit_7  x50_bit_6  x50_bit_5  x50_bit_4  x50_bit_3  x50_bit_2  x50_bit_1  x50_bit0 -x50_bit1  x50_bit2 -x50_bit3 -x50_bit4 -x50_bit5 -x50_bit6 -x50_bit7 -x50_bit8 -x50_bit9 -x51_bit_7 -x51_bit_6 -x51_bit_5 -x51_bit_4 -x51_bit_3 -x51_bit_2 -x51_bit_1 -x51_bit0 -x51_bit1 -x51_bit2 -x51_bit3 -x51_bit4 -x51_bit5 -x51_bit6 -x51_bit7 -x51_bit8 -x51_bit9 -x52_bit_7 -x52_bit_6 -x52_bit_5 -x52_bit_4 -x52_bit_3 -x52_bit_2 -x52_bit_1 -x52_bit0 -x52_bit1 -x52_bit2 -x52_bit3 -x52_bit4 -x52_bit5 -x52_bit6 -x52_bit7 -x52_bit8 -x52_bit9 -x53_bit_7 -x53_bit_6 -x53_bit_5 -x53_bit_4 -x53_bit_3  x53_bit_2  x53_bit_1  x53_bit0 -x53_bit1 -x53_bit2 -x53_bit3 -x53_bit4 -x53_bit5 -x53_bit6 -x53_bit7 -x53_bit8 -x53_bit9  x54_bit_7  x54_bit_6 -x54_bit_5 -x54_bit_4  x54_bit_3  x54_bit_2  x54_bit_1  x54_bit0  x54_bit1  x54_bit2 -x54_bit3 -x54_bit4 -x54_bit5 -x54_bit6 -x54_bit7 -x54_bit8 -x54_bit9 -x55_bit_7  x55_bit_6 -x55_bit_5 -x55_bit_4  x55_bit_3 -x55_bit_2 -x55_bit_1 -x55_bit0 -x55_bit1 -x55_bit2 -x55_bit3 -x55_bit4 -x55_bit5 -x55_bit6 -x55_bit7 -x55_bit8 -x55_bit9 -x56_bit_7 -x56_bit_6 -x56_bit_5 -x56_bit_4 -x56_bit_3 -x56_bit_2 -x56_bit_1 -x56_bit0 -x56_bit1 -x56_bit2 -x56_bit3 -x56_bit4 -x56_bit5 -x56_bit6 -x56_bit7 -x56_bit8 -x56_bit9 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 -x57_bit0 -x57_bit1 -x57_bit2 -x57_bit3 -x57_bit4 -x57_bit5 -x57_bit6 -x57_bit7 -x57_bit8 -x57_bit9 -x58_bit_7  x58_bit_6  x58_bit_5 -x58_bit_4 -x58_bit_3  x58_bit_2 -x58_bit_1  x58_bit0 -x58_bit1 -x58_bit2 -x58_bit3 -x58_bit4 -x58_bit5 -x58_bit6 -x58_bit7 -x58_bit8 -x58_bit9 -x59_bit_7 -x59_bit_6 -x59_bit_5 -x59_bit_4 -x59_bit_3 -x59_bit_2  x59_bit_1 -x59_bit0 -x59_bit1  x59_bit2 -x59_bit3 -x59_bit4 -x59_bit5 -x59_bit6 -x59_bit7 -x59_bit8 -x59_bit9 -x60_bit_7 -x60_bit_6 -x60_bit_5 -x60_bit_4 -x60_bit_3 -x60_bit_2 -x60_bit_1 -x60_bit0 -x60_bit1 -x60_bit2 -x60_bit3 -x60_bit4 -x60_bit5 -x60_bit6 -x60_bit7 -x60_bit8 -x60_bit9 -x61_bit_7 -x61_bit_6 -x61_bit_5 -x61_bit_4 -x61_bit_3 -x61_bit_2 -x61_bit_1 -x61_bit0 -x61_bit1 -x61_bit2 -x61_bit3 -x61_bit4 -x61_bit5 -x61_bit6 -x61_bit7 -x61_bit8 -x61_bit9 -x62_bit_7 -x62_bit_6 -x62_bit_5 -x62_bit_4  x62_bit_3 -x62_bit_2 -x62_bit_1 -x62_bit0 -x62_bit1 -x62_bit2 -x62_bit3 -x62_bit4 -x62_bit5 -x62_bit6 -x62_bit7 -x62_bit8 -x62_bit9  x63_bit_7 -x63_bit_6 -x63_bit_5 -x63_bit_4 -x63_bit_3 -x63_bit_2 -x63_bit_1 -x63_bit0 -x63_bit1  x63_bit2  x63_bit3 -x63_bit4 -x63_bit5 -x63_bit6 -x63_bit7 -x63_bit8 -x63_bit9 -x64_bit_7 -x64_bit_6 -x64_bit_5 -x64_bit_4 -x64_bit_3 -x64_bit_2 -x64_bit_1 -x64_bit0 -x64_bit1 -x64_bit2 -x64_bit3 -x64_bit4 -x64_bit5 -x64_bit6 -x64_bit7 -x64_bit8 -x64_bit9 -x65_bit_7 -x65_bit_6 -x65_bit_5 -x65_bit_4 -x65_bit_3 -x65_bit_2 -x65_bit_1 -x65_bit0 -x65_bit1 -x65_bit2 -x65_bit3 -x65_bit4 -x65_bit5 -x65_bit6 -x65_bit7 -x65_bit8 -x65_bit9 -x66_bit_7 -x66_bit_6 -x66_bit_5 -x66_bit_4 -x66_bit_3 -x66_bit_2 -x66_bit_1 -x66_bit0 -x66_bit1 -x66_bit2 -x66_bit3 -x66_bit4 -x66_bit5 -x66_bit6 -x66_bit7 -x66_bit8 -x66_bit9 -x67_bit_7 -x67_bit_6 -x67_bit_5 -x67_bit_4 -x67_bit_3 -x67_bit_2 -x67_bit_1 -x67_bit0 -x67_bit1 -x67_bit2 -x67_bit3 -x67_bit4 -x67_bit5 -x67_bit6 -x67_bit7 -x67_bit8 -x67_bit9 -x68_bit_7  x68_bit_6 -x68_bit_5 -x68_bit_4 -x68_bit_3 -x68_bit_2 -x68_bit_1 -x68_bit0 -x68_bit1 -x68_bit2 -x68_bit3 -x68_bit4 -x68_bit5 -x68_bit6 -x68_bit7 -x68_bit8 -x68_bit9 -x69_bit_7 -x69_bit_6 -x69_bit_5 -x69_bit_4 -x69_bit_3  x69_bit_2 -x69_bit_1  x69_bit0 -x69_bit1 -x69_bit2 -x69_bit3 -x69_bit4 -x69_bit5 -x69_bit6 -x69_bit7 -x69_bit8 -x69_bit9 -x70_bit_7 -x70_bit_6  x70_bit_5 -x70_bit_4 -x70_bit_3  x70_bit_2 -x70_bit_1 -x70_bit0 -x70_bit1  x70_bit2 -x70_bit3 -x70_bit4 -x70_bit5 -x70_bit6 -x70_bit7 -x70_bit8 -x70_bit9 -x71_bit_7 -x71_bit_6 -x71_bit_5 -x71_bit_4 -x71_bit_3 -x71_bit_2 -x71_bit_1 -x71_bit0 -x71_bit1 -x71_bit2 -x71_bit3 -x71_bit4 -x71_bit5 -x71_bit6 -x71_bit7 -x71_bit8 -x71_bit9 -x72_bit_7 -x72_bit_6 -x72_bit_5 -x72_bit_4 -x72_bit_3 -x72_bit_2 -x72_bit_1 -x72_bit0 -x72_bit1 -x72_bit2 -x72_bit3 -x72_bit4 -x72_bit5 -x72_bit6 -x72_bit7 -x72_bit8 -x72_bit9 -x73_bit_7 -x73_bit_6  x73_bit_5 -x73_bit_4 -x73_bit_3 -x73_bit_2  x73_bit_1 -x73_bit0 -x73_bit1 -x73_bit2 -x73_bit3 -x73_bit4 -x73_bit5 -x73_bit6 -x73_bit7 -x73_bit8 -x73_bit9  x74_bit_7 -x74_bit_6 -x74_bit_5 -x74_bit_4 -x74_bit_3 -x74_bit_2 -x74_bit_1 -x74_bit0 -x74_bit1 -x74_bit2  x74_bit3 -x74_bit4 -x74_bit5 -x74_bit6 -x74_bit7 -x74_bit8 -x74_bit9 -x75_bit_7 -x75_bit_6 -x75_bit_5 -x75_bit_4 -x75_bit_3 -x75_bit_2 -x75_bit_1 -x75_bit0 -x75_bit1 -x75_bit2 -x75_bit3 -x75_bit4 -x75_bit5 -x75_bit6 -x75_bit7 -x75_bit8 -x75_bit9 -x76_bit_7 -x76_bit_6 -x76_bit_5 -x76_bit_4 -x76_bit_3 -x76_bit_2 -x76_bit_1 -x76_bit0 -x76_bit1 -x76_bit2 -x76_bit3 -x76_bit4 -x76_bit5 -x76_bit6 -x76_bit7 -x76_bit8 -x76_bit9 -x77_bit_7 -x77_bit_6 -x77_bit_5 -x77_bit_4 -x77_bit_3 -x77_bit_2 -x77_bit_1 -x77_bit0 -x77_bit1 -x77_bit2 -x77_bit3 -x77_bit4 -x77_bit5 -x77_bit6 -x77_bit7 -x77_bit8 -x77_bit9 -x78_bit_7 -x78_bit_6 -x78_bit_5 -x78_bit_4 -x78_bit_3 -x78_bit_2 -x78_bit_1  x78_bit0 -x78_bit1 -x78_bit2 -x78_bit3 -x78_bit4 -x78_bit5 -x78_bit6 -x78_bit7 -x78_bit8 -x78_bit9  x79_bit_7  x79_bit_6 -x79_bit_5 -x79_bit_4  x79_bit_3  x79_bit_2 -x79_bit_1 -x79_bit0 -x79_bit1 -x79_bit2 -x79_bit3 -x79_bit4 -x79_bit5 -x79_bit6 -x79_bit7 -x79_bit8 -x79_bit9 -x80_bit_7 -x80_bit_6 -x80_bit_5 -x80_bit_4 -x80_bit_3 -x80_bit_2 -x80_bit_1 -x80_bit0 -x80_bit1 -x80_bit2 -x80_bit3 -x80_bit4 -x80_bit5 -x80_bit6 -x80_bit7 -x80_bit8 -x80_bit9 -x81_bit_7 -x81_bit_6 -x81_bit_5 -x81_bit_4 -x81_bit_3 -x81_bit_2 -x81_bit_1 -x81_bit0 -x81_bit1 -x81_bit2 -x81_bit3 -x81_bit4 -x81_bit5 -x81_bit6 -x81_bit7 -x81_bit8 -x81_bit9 -x82_bit_7 -x82_bit_6  x82_bit_5  x82_bit_4 -x82_bit_3 -x82_bit_2 -x82_bit_1 -x82_bit0 -x82_bit1 -x82_bit2 -x82_bit3 -x82_bit4 -x82_bit5 -x82_bit6 -x82_bit7 -x82_bit8 -x82_bit9  x83_bit_7 -x83_bit_6  x83_bit_5 -x83_bit_4  x83_bit_3 -x83_bit_2 -x83_bit_1 -x83_bit0 -x83_bit1 -x83_bit2 -x83_bit3 -x83_bit4 -x83_bit5 -x83_bit6 -x83_bit7 -x83_bit8 -x83_bit9  x84_bit_7 -x84_bit_6 -x84_bit_5  x84_bit_4 -x84_bit_3 -x84_bit_2 -x84_bit_1  x84_bit0 -x84_bit1 -x84_bit2 -x84_bit3 -x84_bit4 -x84_bit5 -x84_bit6 -x84_bit7 -x84_bit8 -x84_bit9 -x85_bit_7 -x85_bit_6 -x85_bit_5 -x85_bit_4 -x85_bit_3 -x85_bit_2 -x85_bit_1 -x85_bit0 -x85_bit1 -x85_bit2 -x85_bit3 -x85_bit4 -x85_bit5 -x85_bit6 -x85_bit7 -x85_bit8 -x85_bit9 -x86_bit_7 -x86_bit_6 -x86_bit_5 -x86_bit_4 -x86_bit_3 -x86_bit_2 -x86_bit_1 -x86_bit0 -x86_bit1 -x86_bit2 -x86_bit3 -x86_bit4 -x86_bit5 -x86_bit6 -x86_bit7 -x86_bit8 -x86_bit9  x87_bit_7 -x87_bit_6 -x87_bit_5  x87_bit_4 -x87_bit_3 -x87_bit_2 -x87_bit_1  x87_bit0 -x87_bit1 -x87_bit2  x87_bit3 -x87_bit4 -x87_bit5 -x87_bit6 -x87_bit7 -x87_bit8 -x87_bit9  x88_bit_7  x88_bit_6 -x88_bit_5 -x88_bit_4 -x88_bit_3 -x88_bit_2  x88_bit_1  x88_bit0 -x88_bit1 -x88_bit2 -x88_bit3 -x88_bit4 -x88_bit5 -x88_bit6 -x88_bit7 -x88_bit8 -x88_bit9 -x89_bit_7 -x89_bit_6 -x89_bit_5 -x89_bit_4 -x89_bit_3 -x89_bit_2 -x89_bit_1 -x89_bit0 -x89_bit1 -x89_bit2 -x89_bit3 -x89_bit4 -x89_bit5 -x89_bit6 -x89_bit7 -x89_bit8 -x89_bit9 -x90_bit_7 -x90_bit_6 -x90_bit_5 -x90_bit_4 -x90_bit_3 -x90_bit_2 -x90_bit_1 -x90_bit0 -x90_bit1 -x90_bit2 -x90_bit3 -x90_bit4 -x90_bit5 -x90_bit6 -x90_bit7 -x90_bit8 -x90_bit9 -x91_bit_7 -x91_bit_6 -x91_bit_5  x91_bit_4  x91_bit_3 -x91_bit_2 -x91_bit_1 -x91_bit0 -x91_bit1 -x91_bit2 -x91_bit3 -x91_bit4 -x91_bit5 -x91_bit6 -x91_bit7 -x91_bit8 -x91_bit9 -x92_bit_7 -x92_bit_6 -x92_bit_5  x92_bit_4 -x92_bit_3 -x92_bit_2 -x92_bit_1 -x92_bit0 -x92_bit1 -x92_bit2  x92_bit3 -x92_bit4 -x92_bit5 -x92_bit6 -x92_bit7 -x92_bit8 -x92_bit9  x93_bit_7  x93_bit_6  x93_bit_5  x93_bit_4 -x93_bit_3 -x93_bit_2 -x93_bit_1 -x93_bit0 -x93_bit1 -x93_bit2 -x93_bit3 -x93_bit4 -x93_bit5 -x93_bit6 -x93_bit7 -x93_bit8 -x93_bit9 -x94_bit_7 -x94_bit_6 -x94_bit_5 -x94_bit_4 -x94_bit_3 -x94_bit_2 -x94_bit_1 -x94_bit0 -x94_bit1 -x94_bit2 -x94_bit3 -x94_bit4 -x94_bit5 -x94_bit6 -x94_bit7 -x94_bit8 -x94_bit9 -x95_bit_7 -x95_bit_6 -x95_bit_5 -x95_bit_4 -x95_bit_3 -x95_bit_2 -x95_bit_1 -x95_bit0 -x95_bit1 -x95_bit2 -x95_bit3 -x95_bit4 -x95_bit5 -x95_bit6 -x95_bit7 -x95_bit8 -x95_bit9 -x96_bit_7  x96_bit_6  x96_bit_5  x96_bit_4  x96_bit_3  x96_bit_2  x96_bit_1  x96_bit0  x96_bit1 -x96_bit2  x96_bit3 -x96_bit4 -x96_bit5 -x96_bit6 -x96_bit7 -x96_bit8 -x96_bit9 -x97_bit_7  x97_bit_6 -x97_bit_5 -x97_bit_4 -x97_bit_3 -x97_bit_2  x97_bit_1 -x97_bit0  x97_bit1 -x97_bit2 -x97_bit3 -x97_bit4 -x97_bit5 -x97_bit6 -x97_bit7 -x97_bit8 -x97_bit9 -x98_bit_7 -x98_bit_6 -x98_bit_5 -x98_bit_4 -x98_bit_3 -x98_bit_2 -x98_bit_1 -x98_bit0 -x98_bit1 -x98_bit2 -x98_bit3 -x98_bit4 -x98_bit5 -x98_bit6 -x98_bit7 -x98_bit8 -x98_bit9 -x99_bit_7 -x99_bit_6 -x99_bit_5 -x99_bit_4 -x99_bit_3 -x99_bit_2 -x99_bit_1 -x99_bit0 -x99_bit1 -x99_bit2 -x99_bit3 -x99_bit4 -x99_bit5 -x99_bit6 -x99_bit7 -x99_bit8 -x99_bit9  x100_bit_7  x100_bit_6 -x100_bit_5 -x100_bit_4  x100_bit_3 -x100_bit_2  x100_bit_1 -x100_bit0 -x100_bit1 -x100_bit2 -x100_bit3 -x100_bit4 -x100_bit5 -x100_bit6 -x100_bit7 -x100_bit8 -x100_bit9  x101_bit_7  x101_bit_6  x101_bit_5  x101_bit_4  x101_bit_3 -x101_bit_2 -x101_bit_1 -x101_bit0 -x101_bit1  x101_bit2  x101_bit3 -x101_bit4 -x101_bit5 -x101_bit6 -x101_bit7 -x101_bit8 -x101_bit9 -x102_bit_7 -x102_bit_6 -x102_bit_5 -x102_bit_4 -x102_bit_3 -x102_bit_2 -x102_bit_1 -x102_bit0 -x102_bit1 -x102_bit2 -x102_bit3 -x102_bit4 -x102_bit5 -x102_bit6 -x102_bit7 -x102_bit8 -x102_bit9 -x103_bit_7 -x103_bit_6 -x103_bit_5 -x103_bit_4 -x103_bit_3 -x103_bit_2 -x103_bit_1 -x103_bit0 -x103_bit1 -x103_bit2 -x103_bit3 -x103_bit4 -x103_bit5 -x103_bit6 -x103_bit7 -x103_bit8 -x103_bit9 -x104_bit_7 -x104_bit_6 -x104_bit_5 -x104_bit_4 -x104_bit_3 -x104_bit_2 -x104_bit_1 -x104_bit0 -x104_bit1 -x104_bit2 -x104_bit3 -x104_bit4 -x104_bit5 -x104_bit6 -x104_bit7 -x104_bit8 -x104_bit9 -x105_bit_7  x105_bit_6 -x105_bit_5 -x105_bit_4  x105_bit_3 -x105_bit_2  x105_bit_1 -x105_bit0 -x105_bit1  x105_bit2  x105_bit3 -x105_bit4 -x105_bit5 -x105_bit6 -x105_bit7 -x105_bit8 -x105_bit9 -x106_bit_7 -x106_bit_6 -x106_bit_5 -x106_bit_4 -x106_bit_3  x106_bit_2 -x106_bit_1  x106_bit0 -x106_bit1 -x106_bit2 -x106_bit3 -x106_bit4 -x106_bit5 -x106_bit6 -x106_bit7 -x106_bit8 -x106_bit9 -x107_bit_7 -x107_bit_6 -x107_bit_5 -x107_bit_4 -x107_bit_3 -x107_bit_2 -x107_bit_1 -x107_bit0 -x107_bit1 -x107_bit2 -x107_bit3 -x107_bit4 -x107_bit5 -x107_bit6 -x107_bit7 -x107_bit8 -x107_bit9 -x108_bit_7 -x108_bit_6 -x108_bit_5 -x108_bit_4 -x108_bit_3 -x108_bit_2 -x108_bit_1 -x108_bit0 -x108_bit1 -x108_bit2 -x108_bit3 -x108_bit4 -x108_bit5 -x108_bit6 -x108_bit7 -x108_bit8 -x108_bit9  x109_bit_7  x109_bit_6 -x109_bit_5 -x109_bit_4 -x109_bit_3  x109_bit_2 -x109_bit_1 -x109_bit0  x109_bit1 -x109_bit2 -x109_bit3 -x109_bit4 -x109_bit5 -x109_bit6 -x109_bit7 -x109_bit8 -x109_bit9 -x110_bit_7 -x110_bit_6 -x110_bit_5  x110_bit_4  x110_bit_3  x110_bit_2 -x110_bit_1 -x110_bit0  x110_bit1  x110_bit2 -x110_bit3 -x110_bit4 -x110_bit5 -x110_bit6 -x110_bit7 -x110_bit8 -x110_bit9 -x111_bit_7 -x111_bit_6 -x111_bit_5 -x111_bit_4 -x111_bit_3 -x111_bit_2 -x111_bit_1 -x111_bit0 -x111_bit1 -x111_bit2 -x111_bit3 -x111_bit4 -x111_bit5 -x111_bit6 -x111_bit7 -x111_bit8 -x111_bit9 -x112_bit_7 -x112_bit_6 -x112_bit_5 -x112_bit_4 -x112_bit_3 -x112_bit_2 -x112_bit_1 -x112_bit0 -x112_bit1 -x112_bit2 -x112_bit3 -x112_bit4 -x112_bit5 -x112_bit6 -x112_bit7 -x112_bit8 -x112_bit9 -x113_bit_7 -x113_bit_6 -x113_bit_5 -x113_bit_4 -x113_bit_3 -x113_bit_2 -x113_bit_1 -x113_bit0 -x113_bit1 -x113_bit2 -x113_bit3 -x113_bit4 -x113_bit5 -x113_bit6 -x113_bit7 -x113_bit8 -x113_bit9 -x114_bit_7 -x114_bit_6  x114_bit_5 -x114_bit_4 -x114_bit_3 -x114_bit_2 -x114_bit_1 -x114_bit0 -x114_bit1 -x114_bit2  x114_bit3 -x114_bit4 -x114_bit5 -x114_bit6 -x114_bit7 -x114_bit8 -x114_bit9 -x115_bit_7 -x115_bit_6 -x115_bit_5 -x115_bit_4 -x115_bit_3 -x115_bit_2 -x115_bit_1 -x115_bit0 -x115_bit1 -x115_bit2 -x115_bit3 -x115_bit4 -x115_bit5 -x115_bit6 -x115_bit7 -x115_bit8 -x115_bit9 -x116_bit_7 -x116_bit_6 -x116_bit_5 -x116_bit_4 -x116_bit_3 -x116_bit_2 -x116_bit_1 -x116_bit0 -x116_bit1 -x116_bit2 -x116_bit3 -x116_bit4 -x116_bit5 -x116_bit6 -x116_bit7 -x116_bit8 -x116_bit9 -x117_bit_7 -x117_bit_6 -x117_bit_5 -x117_bit_4 -x117_bit_3  x117_bit_2 -x117_bit_1 -x117_bit0 -x117_bit1 -x117_bit2 -x117_bit3 -x117_bit4 -x117_bit5 -x117_bit6 -x117_bit7 -x117_bit8 -x117_bit9 -x118_bit_7 -x118_bit_6 -x118_bit_5  x118_bit_4 -x118_bit_3 -x118_bit_2 -x118_bit_1 -x118_bit0 -x118_bit1 -x118_bit2 -x118_bit3 -x118_bit4 -x118_bit5 -x118_bit6 -x118_bit7 -x118_bit8 -x118_bit9 -x119_bit_7 -x119_bit_6  x119_bit_5 -x119_bit_4 -x119_bit_3 -x119_bit_2 -x119_bit_1  x119_bit0  x119_bit1 -x119_bit2  x119_bit3 -x119_bit4 -x119_bit5 -x119_bit6 -x119_bit7 -x119_bit8 -x119_bit9 -x120_bit_7 -x120_bit_6 -x120_bit_5 -x120_bit_4 -x120_bit_3 -x120_bit_2 -x120_bit_1 -x120_bit0 -x120_bit1 -x120_bit2 -x120_bit3 -x120_bit4 -x120_bit5 -x120_bit6 -x120_bit7 -x120_bit8 -x120_bit9 -x121_bit_7 -x121_bit_6 -x121_bit_5 -x121_bit_4 -x121_bit_3 -x121_bit_2 -x121_bit_1 -x121_bit0 -x121_bit1 -x121_bit2 -x121_bit3 -x121_bit4 -x121_bit5 -x121_bit6 -x121_bit7 -x121_bit8 -x121_bit9 -x122_bit_7 -x122_bit_6 -x122_bit_5 -x122_bit_4 -x122_bit_3 -x122_bit_2 -x122_bit_1 -x122_bit0 -x122_bit1 -x122_bit2 -x122_bit3 -x122_bit4 -x122_bit5 -x122_bit6 -x122_bit7 -x122_bit8 -x122_bit9 -x123_bit_7 -x123_bit_6 -x123_bit_5 -x123_bit_4 -x123_bit_3 -x123_bit_2 -x123_bit_1 -x123_bit0 -x123_bit1 -x123_bit2 -x123_bit3 -x123_bit4 -x123_bit5 -x123_bit6 -x123_bit7 -x123_bit8 -x123_bit9 -x124_bit_7 -x124_bit_6 -x124_bit_5 -x124_bit_4 -x124_bit_3 -x124_bit_2 -x124_bit_1 -x124_bit0 -x124_bit1 -x124_bit2 -x124_bit3 -x124_bit4 -x124_bit5 -x124_bit6 -x124_bit7 -x124_bit8 -x124_bit9 -x125_bit_7  x125_bit_6 -x125_bit_5 -x125_bit_4  x125_bit_3 -x125_bit_2  x125_bit_1 -x125_bit0 -x125_bit1  x125_bit2 -x125_bit3 -x125_bit4  x125_bit5 -x125_bit6 -x125_bit7 -x125_bit8 -x125_bit9  x126_bit_7  x126_bit_6  x126_bit_5  x126_bit_4  x126_bit_3  x126_bit_2  x126_bit_1  x126_bit0  x126_bit1  x126_bit2  x126_bit3  x126_bit4 -x126_bit5  x126_bit6 -x126_bit7 -x126_bit8 -x126_bit9 -x127_bit_7 -x127_bit_6 -x127_bit_5  x127_bit_4 -x127_bit_3  x127_bit_2  x127_bit_1  x127_bit0 -x127_bit1  x127_bit2  x127_bit3 -x127_bit4 -x127_bit5  x127_bit6 -x127_bit7 -x127_bit8 -x127_bit9 -x128_bit_7  x128_bit_6  x128_bit_5 -x128_bit_4 -x128_bit_3 -x128_bit_2  x128_bit_1  x128_bit0  x128_bit1 -x128_bit2 -x128_bit3  x128_bit4 -x128_bit5  x128_bit6 -x128_bit7 -x128_bit8 -x128_bit9 -x129_bit_7 -x129_bit_6 -x129_bit_5 -x129_bit_4 -x129_bit_3 -x129_bit_2 -x129_bit_1 -x129_bit0 -x129_bit1 -x129_bit2 -x129_bit3 -x129_bit4 -x129_bit5 -x129_bit6 -x129_bit7 -x129_bit8 -x129_bit9 -x130_bit_7 -x130_bit_6 -x130_bit_5 -x130_bit_4 -x130_bit_3 -x130_bit_2 -x130_bit_1 -x130_bit0 -x130_bit1 -x130_bit2 -x130_bit3 -x130_bit4 -x130_bit5 -x130_bit6 -x130_bit7 -x130_bit8 -x130_bit9  x131_bit_7  x131_bit_6  x131_bit_5 -x131_bit_4  x131_bit_3  x131_bit_2  x131_bit_1 -x131_bit0  x131_bit1 -x131_bit2 -x131_bit3  x131_bit4  x131_bit5  x131_bit6 -x131_bit7 -x131_bit8 -x131_bit9 -x132_bit_7  x132_bit_6  x132_bit_5  x132_bit_4  x132_bit_3  x132_bit_2  x132_bit_1  x132_bit0  x132_bit1 -x132_bit2 -x132_bit3  x132_bit4 -x132_bit5 -x132_bit6  x132_bit7 -x132_bit8 -x132_bit9  x133_bit_7  x133_bit_6 -x133_bit_5  x133_bit_4 -x133_bit_3  x133_bit_2  x133_bit_1  x133_bit0  x133_bit1  x133_bit2  x133_bit3  x133_bit4  x133_bit5  x133_bit6 -x133_bit7 -x133_bit8 -x133_bit9 -x134_bit_7 -x134_bit_6 -x134_bit_5 -x134_bit_4 -x134_bit_3 -x134_bit_2 -x134_bit_1 -x134_bit0 -x134_bit1 -x134_bit2 -x134_bit3 -x134_bit4 -x134_bit5 -x134_bit6 -x134_bit7 -x134_bit8 -x134_bit9 -x135_bit_7 -x135_bit_6 -x135_bit_5 -x135_bit_4 -x135_bit_3 -x135_bit_2 -x135_bit_1 -x135_bit0 -x135_bit1 -x135_bit2 -x135_bit3 -x135_bit4 -x135_bit5 -x135_bit6 -x135_bit7 -x135_bit8 -x135_bit9 -x136_bit_7 -x136_bit_6 -x136_bit_5 -x136_bit_4 -x136_bit_3 -x136_bit_2 -x136_bit_1 -x136_bit0 -x136_bit1 -x136_bit2 -x136_bit3 -x136_bit4 -x136_bit5 -x136_bit6 -x136_bit7 -x136_bit8 -x136_bit9  x137_bit_7  x137_bit_6  x137_bit_5 -x137_bit_4  x137_bit_3  x137_bit_2 -x137_bit_1  x137_bit0  x137_bit1 -x137_bit2 -x137_bit3 -x137_bit4 -x137_bit5  x137_bit6 -x137_bit7 -x137_bit8 -x137_bit9 -x138_bit_7 -x138_bit_6 -x138_bit_5 -x138_bit_4 -x138_bit_3 -x138_bit_2 -x138_bit_1 -x138_bit0 -x138_bit1 -x138_bit2 -x138_bit3  x138_bit4 -x138_bit5 -x138_bit6  x138_bit7 -x138_bit8 -x138_bit9  x139_bit_7  x139_bit_6  x139_bit_5  x139_bit_4 -x139_bit_3 -x139_bit_2  x139_bit_1  x139_bit0  x139_bit1  x139_bit2  x139_bit3  x139_bit4  x139_bit5  x139_bit6 -x139_bit7 -x139_bit8 -x139_bit9 -x140_bit_7 -x140_bit_6 -x140_bit_5 -x140_bit_4 -x140_bit_3 -x140_bit_2 -x140_bit_1 -x140_bit0 -x140_bit1 -x140_bit2 -x140_bit3 -x140_bit4 -x140_bit5 -x140_bit6 -x140_bit7 -x140_bit8 -x140_bit9 -x141_bit_7 -x141_bit_6 -x141_bit_5 -x141_bit_4 -x141_bit_3 -x141_bit_2 -x141_bit_1 -x141_bit0 -x141_bit1 -x141_bit2 -x141_bit3 -x141_bit4 -x141_bit5 -x141_bit6 -x141_bit7 -x141_bit8 -x141_bit9  x142_bit_7 -x142_bit_6 -x142_bit_5  x142_bit_4  x142_bit_3 -x142_bit_2 -x142_bit_1 -x142_bit0  x142_bit1 -x142_bit2  x142_bit3  x142_bit4  x142_bit5 -x142_bit6  x142_bit7 -x142_bit8 -x142_bit9 -x143_bit_7  x143_bit_6  x143_bit_5  x143_bit_4 -x143_bit_3  x143_bit_2  x143_bit_1  x143_bit0  x143_bit1  x143_bit2  x143_bit3  x143_bit4 -x143_bit5 -x143_bit6 -x143_bit7 -x143_bit8 -x143_bit9 -x144_bit_7 -x144_bit_6 -x144_bit_5 -x144_bit_4 -x144_bit_3 -x144_bit_2 -x144_bit_1 -x144_bit0 -x144_bit1 -x144_bit2 -x144_bit3 -x144_bit4 -x144_bit5 -x144_bit6 -x144_bit7 -x144_bit8 -x144_bit9 -x145_bit_7 -x145_bit_6 -x145_bit_5 -x145_bit_4 -x145_bit_3 -x145_bit_2 -x145_bit_1 -x145_bit0 -x145_bit1 -x145_bit2 -x145_bit3 -x145_bit4 -x145_bit5 -x145_bit6 -x145_bit7 -x145_bit8 -x145_bit9 -x146_bit_7 -x146_bit_6 -x146_bit_5 -x146_bit_4 -x146_bit_3 -x146_bit_2 -x146_bit_1 -x146_bit0 -x146_bit1 -x146_bit2 -x146_bit3 -x146_bit4 -x146_bit5 -x146_bit6 -x146_bit7 -x146_bit8 -x146_bit9  x147_bit_7  x147_bit_6  x147_bit_5  x147_bit_4  x147_bit_3  x147_bit_2 -x147_bit_1  x147_bit0  x147_bit1  x147_bit2  x147_bit3  x147_bit4  x147_bit5  x147_bit6 -x147_bit7 -x147_bit8 -x147_bit9 -x148_bit_7  x148_bit_6  x148_bit_5  x148_bit_4 -x148_bit_3 -x148_bit_2  x148_bit_1 -x148_bit0 -x148_bit1  x148_bit2  x148_bit3 -x148_bit4  x148_bit5 -x148_bit6  x148_bit7 -x148_bit8 -x148_bit9 -x149_bit_7 -x149_bit_6 -x149_bit_5  x149_bit_4 -x149_bit_3 -x149_bit_2 -x149_bit_1  x149_bit0 -x149_bit1 -x149_bit2 -x149_bit3  x149_bit4 -x149_bit5 -x149_bit6  x149_bit7 -x149_bit8 -x149_bit9 -x150_bit_7 -x150_bit_6 -x150_bit_5 -x150_bit_4 -x150_bit_3 -x150_bit_2 -x150_bit_1 -x150_bit0 -x150_bit1 -x150_bit2 -x150_bit3 -x150_bit4 -x150_bit5 -x150_bit6 -x150_bit7 -x150_bit8 -x150_bit9 -x151_bit_7 -x151_bit_6 -x151_bit_5 -x151_bit_4 -x151_bit_3 -x151_bit_2 -x151_bit_1 -x151_bit0 -x151_bit1 -x151_bit2 -x151_bit3 -x151_bit4 -x151_bit5 -x151_bit6 -x151_bit7 -x151_bit8 -x151_bit9  x152_bit_7  x152_bit_6  x152_bit_5  x152_bit_4  x152_bit_3 -x152_bit_2  x152_bit_1  x152_bit0 -x152_bit1  x152_bit2  x152_bit3  x152_bit4 -x152_bit5 -x152_bit6  x152_bit7 -x152_bit8 -x152_bit9  x153_bit_7  x153_bit_6 -x153_bit_5 -x153_bit_4  x153_bit_3  x153_bit_2  x153_bit_1 -x153_bit0  x153_bit1 -x153_bit2 -x153_bit3  x153_bit4  x153_bit5  x153_bit6 -x153_bit7 -x153_bit8 -x153_bit9 -x154_bit_7 -x154_bit_6 -x154_bit_5 -x154_bit_4 -x154_bit_3 -x154_bit_2 -x154_bit_1 -x154_bit0 -x154_bit1 -x154_bit2 -x154_bit3 -x154_bit4 -x154_bit5 -x154_bit6 -x154_bit7 -x154_bit8 -x154_bit9 -x155_bit_7 -x155_bit_6 -x155_bit_5 -x155_bit_4 -x155_bit_3 -x155_bit_2 -x155_bit_1 -x155_bit0 -x155_bit1 -x155_bit2 -x155_bit3 -x155_bit4 -x155_bit5 -x155_bit6 -x155_bit7 -x155_bit8 -x155_bit9 -x156_bit_7 -x156_bit_6 -x156_bit_5 -x156_bit_4 -x156_bit_3 -x156_bit_2 -x156_bit_1 -x156_bit0 -x156_bit1 -x156_bit2 -x156_bit3 -x156_bit4 -x156_bit5 -x156_bit6 -x156_bit7 -x156_bit8 -x156_bit9 -x157_bit_7 -x157_bit_6 -x157_bit_5 -x157_bit_4 -x157_bit_3 -x157_bit_2 -x157_bit_1 -x157_bit0 -x157_bit1 -x157_bit2 -x157_bit3 -x157_bit4 -x157_bit5 -x157_bit6 -x157_bit7 -x157_bit8 -x157_bit9 -x158_bit_7 -x158_bit_6  x158_bit_5 -x158_bit_4 -x158_bit_3 -x158_bit_2 -x158_bit_1 -x158_bit0 -x158_bit1  x158_bit2  x158_bit3 -x158_bit4 -x158_bit5 -x158_bit6 -x158_bit7 -x158_bit8 -x158_bit9 -x159_bit_7 -x159_bit_6 -x159_bit_5 -x159_bit_4 -x159_bit_3 -x159_bit_2 -x159_bit_1 -x159_bit0 -x159_bit1 -x159_bit2  x159_bit3 -x159_bit4 -x159_bit5  x159_bit6 -x159_bit7  x159_bit8 -x159_bit9 -x160_bit_7 -x160_bit_6 -x160_bit_5 -x160_bit_4 -x160_bit_3 -x160_bit_2 -x160_bit_1 -x160_bit0 -x160_bit1 -x160_bit2 -x160_bit3 -x160_bit4 -x160_bit5 -x160_bit6 -x160_bit7 -x160_bit8 -x160_bit9 -x161_bit_7 -x161_bit_6 -x161_bit_5 -x161_bit_4 -x161_bit_3 -x161_bit_2 -x161_bit_1 -x161_bit0 -x161_bit1 -x161_bit2 -x161_bit3 -x161_bit4 -x161_bit5 -x161_bit6 -x161_bit7 -x161_bit8 -x161_bit9 -x162_bit_7  x162_bit_6 -x162_bit_5  x162_bit_4 -x162_bit_3 -x162_bit_2 -x162_bit_1 -x162_bit0  x162_bit1  x162_bit2  x162_bit3 -x162_bit4  x162_bit5 -x162_bit6  x162_bit7 -x162_bit8 -x162_bit9  x163_bit_7  x163_bit_6  x163_bit_5  x163_bit_4 -x163_bit_3 -x163_bit_2  x163_bit_1  x163_bit0  x163_bit1  x163_bit2  x163_bit3 -x163_bit4  x163_bit5  x163_bit6  x163_bit7 -x163_bit8 -x163_bit9  x164_bit_7  x164_bit_6  x164_bit_5 -x164_bit_4  x164_bit_3  x164_bit_2  x164_bit_1  x164_bit0  x164_bit1  x164_bit2  x164_bit3  x164_bit4  x164_bit5  x164_bit6 -x164_bit7 -x164_bit8 -x164_bit9 -x165_bit_7 -x165_bit_6 -x165_bit_5 -x165_bit_4 -x165_bit_3 -x165_bit_2 -x165_bit_1 -x165_bit0 -x165_bit1 -x165_bit2 -x165_bit3 -x165_bit4 -x165_bit5 -x165_bit6 -x165_bit7 -x165_bit8 -x165_bit9 -x166_bit_7 -x166_bit_6 -x166_bit_5 -x166_bit_4 -x166_bit_3 -x166_bit_2 -x166_bit_1 -x166_bit0 -x166_bit1 -x166_bit2 -x166_bit3 -x166_bit4 -x166_bit5 -x166_bit6 -x166_bit7 -x166_bit8 -x166_bit9 -x167_bit_7 -x167_bit_6 -x167_bit_5 -x167_bit_4 -x167_bit_3 -x167_bit_2 -x167_bit_1 -x167_bit0 -x167_bit1 -x167_bit2 -x167_bit3 -x167_bit4 -x167_bit5 -x167_bit6 -x167_bit7 -x167_bit8 -x167_bit9 -x168_bit_7  x168_bit_6 -x168_bit_5 -x168_bit_4 -x168_bit_3 -x168_bit_2 -x168_bit_1 -x168_bit0 -x168_bit1 -x168_bit2 -x168_bit3  x168_bit4 -x168_bit5  x168_bit6 -x168_bit7 -x168_bit8 -x168_bit9 -x169_bit_7  x169_bit_6 -x169_bit_5 -x169_bit_4 -x169_bit_3 -x169_bit_2 -x169_bit_1 -x169_bit0 -x169_bit1  x169_bit2 -x169_bit3  x169_bit4  x169_bit5  x169_bit6 -x169_bit7  x169_bit8 -x169_bit9 -x170_bit_7 -x170_bit_6 -x170_bit_5 -x170_bit_4 -x170_bit_3 -x170_bit_2 -x170_bit_1 -x170_bit0 -x170_bit1 -x170_bit2 -x170_bit3 -x170_bit4 -x170_bit5 -x170_bit6 -x170_bit7 -x170_bit8 -x170_bit9 -x171_bit_7 -x171_bit_6 -x171_bit_5 -x171_bit_4 -x171_bit_3 -x171_bit_2 -x171_bit_1 -x171_bit0 -x171_bit1 -x171_bit2 -x171_bit3 -x171_bit4 -x171_bit5 -x171_bit6 -x171_bit7 -x171_bit8 -x171_bit9 -x172_bit_7  x172_bit_6  x172_bit_5  x172_bit_4  x172_bit_3  x172_bit_2 -x172_bit_1  x172_bit0  x172_bit1  x172_bit2  x172_bit3 -x172_bit4  x172_bit5 -x172_bit6  x172_bit7 -x172_bit8 -x172_bit9  x173_bit_7  x173_bit_6  x173_bit_5  x173_bit_4  x173_bit_3  x173_bit_2  x173_bit_1  x173_bit0  x173_bit1  x173_bit2  x173_bit3  x173_bit4  x173_bit5 -x173_bit6 -x173_bit7  x173_bit8 -x173_bit9 -x174_bit_7  x174_bit_6  x174_bit_5  x174_bit_4  x174_bit_3  x174_bit_2  x174_bit_1  x174_bit0  x174_bit1  x174_bit2  x174_bit3  x174_bit4  x174_bit5  x174_bit6 -x174_bit7 -x174_bit8 -x174_bit9 -x175_bit_7 -x175_bit_6 -x175_bit_5 -x175_bit_4 -x175_bit_3 -x175_bit_2 -x175_bit_1 -x175_bit0 -x175_bit1 -x175_bit2 -x175_bit3 -x175_bit4 -x175_bit5 -x175_bit6 -x175_bit7 -x175_bit8 -x175_bit9 -x176_bit_7 -x176_bit_6 -x176_bit_5 -x176_bit_4 -x176_bit_3 -x176_bit_2 -x176_bit_1 -x176_bit0 -x176_bit1 -x176_bit2 -x176_bit3 -x176_bit4 -x176_bit5 -x176_bit6 -x176_bit7 -x176_bit8 -x176_bit9  x177_bit_7  x177_bit_6  x177_bit_5  x177_bit_4  x177_bit_3 -x177_bit_2 -x177_bit_1  x177_bit0  x177_bit1  x177_bit2  x177_bit3 -x177_bit4  x177_bit5  x177_bit6 -x177_bit7 -x177_bit8 -x177_bit9  x178_bit_7  x178_bit_6  x178_bit_5  x178_bit_4  x178_bit_3  x178_bit_2  x178_bit_1  x178_bit0  x178_bit1  x178_bit2  x178_bit3  x178_bit4  x178_bit5  x178_bit6 -x178_bit7 -x178_bit8 -x178_bit9 -x179_bit_7 -x179_bit_6 -x179_bit_5 -x179_bit_4 -x179_bit_3 -x179_bit_2 -x179_bit_1 -x179_bit0 -x179_bit1 -x179_bit2 -x179_bit3 -x179_bit4 -x179_bit5 -x179_bit6 -x179_bit7 -x179_bit8 -x179_bit9 -x180_bit_7 -x180_bit_6 -x180_bit_5 -x180_bit_4 -x180_bit_3 -x180_bit_2 -x180_bit_1 -x180_bit0 -x180_bit1 -x180_bit2 -x180_bit3 -x180_bit4 -x180_bit5 -x180_bit6 -x180_bit7 -x180_bit8 -x180_bit9 -x181_bit_7 -x181_bit_6  x181_bit_5 -x181_bit_4  x181_bit_3  x181_bit_2 -x181_bit_1 -x181_bit0  x181_bit1  x181_bit2  x181_bit3 -x181_bit4  x181_bit5 -x181_bit6  x181_bit7 -x181_bit8 -x181_bit9  x182_bit_7  x182_bit_6  x182_bit_5 -x182_bit_4  x182_bit_3 -x182_bit_2  x182_bit_1 -x182_bit0 -x182_bit1 -x182_bit2 -x182_bit3 -x182_bit4 -x182_bit5 -x182_bit6 -x182_bit7  x182_bit8 -x182_bit9 -x183_bit_7 -x183_bit_6 -x183_bit_5 -x183_bit_4 -x183_bit_3 -x183_bit_2 -x183_bit_1 -x183_bit0 -x183_bit1 -x183_bit2 -x183_bit3 -x183_bit4 -x183_bit5 -x183_bit6 -x183_bit7 -x183_bit8 -x183_bit9 -x184_bit_7 -x184_bit_6 -x184_bit_5 -x184_bit_4 -x184_bit_3 -x184_bit_2 -x184_bit_1 -x184_bit0 -x184_bit1 -x184_bit2 -x184_bit3 -x184_bit4 -x184_bit5 -x184_bit6 -x184_bit7 -x184_bit8 -x184_bit9 -x185_bit_7 -x185_bit_6 -x185_bit_5 -x185_bit_4 -x185_bit_3 -x185_bit_2 -x185_bit_1 -x185_bit0 -x185_bit1 -x185_bit2 -x185_bit3 -x185_bit4 -x185_bit5 -x185_bit6 -x185_bit7 -x185_bit8 -x185_bit9 -x186_bit_7 -x186_bit_6 -x186_bit_5 -x186_bit_4 -x186_bit_3 -x186_bit_2 -x186_bit_1 -x186_bit0 -x186_bit1 -x186_bit2 -x186_bit3 -x186_bit4 -x186_bit5 -x186_bit6 -x186_bit7 -x186_bit8 -x186_bit9  x187_bit_7  x187_bit_6 -x187_bit_5  x187_bit_4  x187_bit_3  x187_bit_2  x187_bit_1  x187_bit0  x187_bit1  x187_bit2  x187_bit3 -x187_bit4 -x187_bit5 -x187_bit6 -x187_bit7 -x187_bit8 -x187_bit9  x188_bit_7  x188_bit_6  x188_bit_5  x188_bit_4  x188_bit_3  x188_bit_2  x188_bit_1  x188_bit0  x188_bit1  x188_bit2  x188_bit3 -x188_bit4  x188_bit5  x188_bit6 -x188_bit7 -x188_bit8 -x188_bit9  x189_bit_7  x189_bit_6  x189_bit_5  x189_bit_4  x189_bit_3  x189_bit_2  x189_bit_1  x189_bit0  x189_bit1 -x189_bit2  x189_bit3  x189_bit4  x189_bit5 -x189_bit6  x189_bit7 -x189_bit8 -x189_bit9 -x190_bit_7 -x190_bit_6 -x190_bit_5 -x190_bit_4 -x190_bit_3 -x190_bit_2 -x190_bit_1 -x190_bit0 -x190_bit1 -x190_bit2 -x190_bit3 -x190_bit4 -x190_bit5 -x190_bit6 -x190_bit7 -x190_bit8 -x190_bit9 -x191_bit_7 -x191_bit_6 -x191_bit_5 -x191_bit_4 -x191_bit_3 -x191_bit_2 -x191_bit_1 -x191_bit0 -x191_bit1 -x191_bit2 -x191_bit3 -x191_bit4 -x191_bit5 -x191_bit6 -x191_bit7 -x191_bit8 -x191_bit9  x192_bit_7  x192_bit_6  x192_bit_5  x192_bit_4  x192_bit_3  x192_bit_2  x192_bit_1 -x192_bit0  x192_bit1  x192_bit2  x192_bit3  x192_bit4 -x192_bit5  x192_bit6  x192_bit7 -x192_bit8 -x192_bit9 -x193_bit_7  x193_bit_6 -x193_bit_5  x193_bit_4 -x193_bit_3  x193_bit_2  x193_bit_1  x193_bit0 -x193_bit1  x193_bit2  x193_bit3 -x193_bit4  x193_bit5  x193_bit6  x193_bit7 -x193_bit8 -x193_bit9 -x194_bit_7 -x194_bit_6 -x194_bit_5 -x194_bit_4 -x194_bit_3 -x194_bit_2 -x194_bit_1 -x194_bit0 -x194_bit1 -x194_bit2 -x194_bit3 -x194_bit4 -x194_bit5 -x194_bit6 -x194_bit7 -x194_bit8 -x194_bit9 -x195_bit_7 -x195_bit_6 -x195_bit_5 -x195_bit_4 -x195_bit_3 -x195_bit_2 -x195_bit_1 -x195_bit0 -x195_bit1 -x195_bit2 -x195_bit3 -x195_bit4 -x195_bit5 -x195_bit6 -x195_bit7 -x195_bit8 -x195_bit9 -x196_bit_7 -x196_bit_6 -x196_bit_5 -x196_bit_4 -x196_bit_3 -x196_bit_2 -x196_bit_1 -x196_bit0 -x196_bit1 -x196_bit2 -x196_bit3 -x196_bit4 -x196_bit5 -x196_bit6 -x196_bit7 -x196_bit8 -x196_bit9  x197_bit_7  x197_bit_6  x197_bit_5 -x197_bit_4 -x197_bit_3  x197_bit_2  x197_bit_1  x197_bit0  x197_bit1  x197_bit2  x197_bit3  x197_bit4  x197_bit5 -x197_bit6 -x197_bit7 -x197_bit8 -x197_bit9  x198_bit_7  x198_bit_6  x198_bit_5  x198_bit_4  x198_bit_3  x198_bit_2  x198_bit_1  x198_bit0  x198_bit1  x198_bit2  x198_bit3  x198_bit4 -x198_bit5 -x198_bit6 -x198_bit7 -x198_bit8 -x198_bit9  x199_bit_7  x199_bit_6 -x199_bit_5  x199_bit_4  x199_bit_3  x199_bit_2  x199_bit_1 -x199_bit0 -x199_bit1  x199_bit2  x199_bit3  x199_bit4  x199_bit5  x199_bit6 -x199_bit7 -x199_bit8 -x199_bit9 -x200_bit_7 -x200_bit_6 -x200_bit_5 -x200_bit_4 -x200_bit_3 -x200_bit_2 -x200_bit_1 -x200_bit0 -x200_bit1 -x200_bit2 -x200_bit3 -x200_bit4 -x200_bit5 -x200_bit6 -x200_bit7 -x200_bit8 -x200_bit9  x201_bit_7  x201_bit_6 -x201_bit_5  x201_bit_4 -x201_bit_3  x201_bit_2  x201_bit_1  x201_bit0 -x201_bit1  x201_bit2 -x201_bit3  x201_bit4  x201_bit5 -x201_bit6 -x201_bit7 -x201_bit8 -x201_bit9 -x202_bit_7 -x202_bit_6 -x202_bit_5 -x202_bit_4 -x202_bit_3  x202_bit_2 -x202_bit_1 -x202_bit0 -x202_bit1 -x202_bit2 -x202_bit3 -x202_bit4 -x202_bit5 -x202_bit6 -x202_bit7  x202_bit8 -x202_bit9 -x203_bit_7 -x203_bit_6 -x203_bit_5  x203_bit_4  x203_bit_3 -x203_bit_2  x203_bit_1 -x203_bit0 -x203_bit1 -x203_bit2 -x203_bit3  x203_bit4 -x203_bit5 -x203_bit6  x203_bit7 -x203_bit8 -x203_bit9 -x204_bit_7 -x204_bit_6 -x204_bit_5 -x204_bit_4 -x204_bit_3 -x204_bit_2 -x204_bit_1 -x204_bit0 -x204_bit1 -x204_bit2 -x204_bit3 -x204_bit4 -x204_bit5 -x204_bit6 -x204_bit7 -x204_bit8 -x204_bit9 -x205_bit_7 -x205_bit_6 -x205_bit_5 -x205_bit_4 -x205_bit_3 -x205_bit_2 -x205_bit_1 -x205_bit0 -x205_bit1 -x205_bit2 -x205_bit3 -x205_bit4 -x205_bit5 -x205_bit6 -x205_bit7 -x205_bit8 -x205_bit9 -x206_bit_7 -x206_bit_6 -x206_bit_5 -x206_bit_4 -x206_bit_3 -x206_bit_2 -x206_bit_1 -x206_bit0 -x206_bit1  x206_bit2 -x206_bit3 -x206_bit4  x206_bit5 -x206_bit6 -x206_bit7 -x206_bit8 -x206_bit9 -x207_bit_7 -x207_bit_6  x207_bit_5 -x207_bit_4  x207_bit_3 -x207_bit_2 -x207_bit_1 -x207_bit0 -x207_bit1  x207_bit2 -x207_bit3  x207_bit4  x207_bit5 -x207_bit6 -x207_bit7 -x207_bit8 -x207_bit9 -x208_bit_7 -x208_bit_6 -x208_bit_5 -x208_bit_4 -x208_bit_3 -x208_bit_2 -x208_bit_1 -x208_bit0 -x208_bit1 -x208_bit2 -x208_bit3 -x208_bit4 -x208_bit5 -x208_bit6 -x208_bit7 -x208_bit8 -x208_bit9 -x209_bit_7 -x209_bit_6 -x209_bit_5 -x209_bit_4 -x209_bit_3 -x209_bit_2 -x209_bit_1 -x209_bit0 -x209_bit1 -x209_bit2 -x209_bit3 -x209_bit4 -x209_bit5 -x209_bit6 -x209_bit7 -x209_bit8 -x209_bit9  x210_bit_7  x210_bit_6  x210_bit_5  x210_bit_4 -x210_bit_3 -x210_bit_2  x210_bit_1  x210_bit0  x210_bit1  x210_bit2  x210_bit3 -x210_bit4  x210_bit5  x210_bit6 -x210_bit7 -x210_bit8 -x210_bit9 -x211_bit_7 -x211_bit_6 -x211_bit_5  x211_bit_4  x211_bit_3  x211_bit_2 -x211_bit_1 -x211_bit0 -x211_bit1 -x211_bit2 -x211_bit3 -x211_bit4 -x211_bit5  x211_bit6 -x211_bit7  x211_bit8 -x211_bit9 -x212_bit_7 -x212_bit_6  x212_bit_5 -x212_bit_4 -x212_bit_3 -x212_bit_2 -x212_bit_1 -x212_bit0  x212_bit1 -x212_bit2 -x212_bit3 -x212_bit4 -x212_bit5  x212_bit6 -x212_bit7 -x212_bit8 -x212_bit9 -x213_bit_7 -x213_bit_6 -x213_bit_5 -x213_bit_4 -x213_bit_3 -x213_bit_2 -x213_bit_1 -x213_bit0 -x213_bit1 -x213_bit2 -x213_bit3 -x213_bit4 -x213_bit5 -x213_bit6 -x213_bit7 -x213_bit8 -x213_bit9 -x214_bit_7 -x214_bit_6 -x214_bit_5 -x214_bit_4 -x214_bit_3 -x214_bit_2 -x214_bit_1 -x214_bit0 -x214_bit1 -x214_bit2 -x214_bit3 -x214_bit4 -x214_bit5 -x214_bit6 -x214_bit7 -x214_bit8 -x214_bit9  x215_bit_7 -x215_bit_6 -x215_bit_5  x215_bit_4 -x215_bit_3 -x215_bit_2  x215_bit_1  x215_bit0  x215_bit1 -x215_bit2  x215_bit3  x215_bit4  x215_bit5 -x215_bit6  x215_bit7 -x215_bit8 -x215_bit9 -x216_bit_7  x216_bit_6 -x216_bit_5  x216_bit_4 -x216_bit_3  x216_bit_2  x216_bit_1  x216_bit0  x216_bit1  x216_bit2  x216_bit3  x216_bit4  x216_bit5 -x216_bit6 -x216_bit7 -x216_bit8 -x216_bit9 -x217_bit_7 -x217_bit_6 -x217_bit_5 -x217_bit_4 -x217_bit_3 -x217_bit_2 -x217_bit_1 -x217_bit0 -x217_bit1 -x217_bit2 -x217_bit3 -x217_bit4 -x217_bit5 -x217_bit6 -x217_bit7 -x217_bit8 -x217_bit9 -x218_bit_7 -x218_bit_6 -x218_bit_5 -x218_bit_4 -x218_bit_3 -x218_bit_2 -x218_bit_1 -x218_bit0 -x218_bit1 -x218_bit2 -x218_bit3 -x218_bit4 -x218_bit5 -x218_bit6 -x218_bit7 -x218_bit8 -x218_bit9 -x219_bit_7 -x219_bit_6  x219_bit_5 -x219_bit_4 -x219_bit_3  x219_bit_2  x219_bit_1 -x219_bit0  x219_bit1 -x219_bit2  x219_bit3  x219_bit4  x219_bit5 -x219_bit6 -x219_bit7 -x219_bit8 -x219_bit9  x220_bit_7  x220_bit_6  x220_bit_5  x220_bit_4  x220_bit_3  x220_bit_2 -x220_bit_1  x220_bit0  x220_bit1  x220_bit2  x220_bit3  x220_bit4  x220_bit5 -x220_bit6 -x220_bit7  x220_bit8 -x220_bit9 -x221_bit_7 -x221_bit_6 -x221_bit_5 -x221_bit_4 -x221_bit_3 -x221_bit_2 -x221_bit_1 -x221_bit0 -x221_bit1 -x221_bit2 -x221_bit3 -x221_bit4 -x221_bit5 -x221_bit6 -x221_bit7 -x221_bit8 -x221_bit9 -x222_bit_7 -x222_bit_6 -x222_bit_5 -x222_bit_4 -x222_bit_3 -x222_bit_2 -x222_bit_1 -x222_bit0 -x222_bit1 -x222_bit2 -x222_bit3 -x222_bit4 -x222_bit5 -x222_bit6 -x222_bit7 -x222_bit8 -x222_bit9 -x223_bit_7 -x223_bit_6 -x223_bit_5 -x223_bit_4 -x223_bit_3 -x223_bit_2 -x223_bit_1 -x223_bit0 -x223_bit1 -x223_bit2 -x223_bit3 -x223_bit4 -x223_bit5 -x223_bit6 -x223_bit7 -x223_bit8 -x223_bit9  x224_bit_7 -x224_bit_6  x224_bit_5 -x224_bit_4 -x224_bit_3  x224_bit_2 -x224_bit_1  x224_bit0  x224_bit1  x224_bit2  x224_bit3 -x224_bit4  x224_bit5  x224_bit6  x224_bit7 -x224_bit8 -x224_bit9  x225_bit_7  x225_bit_6  x225_bit_5  x225_bit_4  x225_bit_3  x225_bit_2  x225_bit_1  x225_bit0  x225_bit1 -x225_bit2  x225_bit3  x225_bit4  x225_bit5 -x225_bit6 -x225_bit7 -x225_bit8 -x225_bit9 -x226_bit_7 -x226_bit_6 -x226_bit_5 -x226_bit_4 -x226_bit_3 -x226_bit_2 -x226_bit_1 -x226_bit0 -x226_bit1 -x226_bit2 -x226_bit3 -x226_bit4 -x226_bit5 -x226_bit6 -x226_bit7 -x226_bit8 -x226_bit9 -x227_bit_7 -x227_bit_6 -x227_bit_5 -x227_bit_4 -x227_bit_3 -x227_bit_2 -x227_bit_1 -x227_bit0 -x227_bit1 -x227_bit2 -x227_bit3 -x227_bit4 -x227_bit5 -x227_bit6 -x227_bit7 -x227_bit8 -x227_bit9  x228_bit_7  x228_bit_6  x228_bit_5 -x228_bit_4  x228_bit_3  x228_bit_2  x228_bit_1  x228_bit0 -x228_bit1 -x228_bit2 -x228_bit3  x228_bit4  x228_bit5 -x228_bit6 -x228_bit7 -x228_bit8 -x228_bit9  x229_bit_7 -x229_bit_6 -x229_bit_5 -x229_bit_4  x229_bit_3 -x229_bit_2  x229_bit_1 -x229_bit0 -x229_bit1 -x229_bit2  x229_bit3 -x229_bit4 -x229_bit5 -x229_bit6 -x229_bit7  x229_bit8 -x229_bit9 -x230_bit_7 -x230_bit_6 -x230_bit_5 -x230_bit_4 -x230_bit_3 -x230_bit_2 -x230_bit_1 -x230_bit0 -x230_bit1 -x230_bit2 -x230_bit3 -x230_bit4 -x230_bit5 -x230_bit6 -x230_bit7 -x230_bit8 -x230_bit9 -x231_bit_7 -x231_bit_6 -x231_bit_5 -x231_bit_4 -x231_bit_3 -x231_bit_2 -x231_bit_1 -x231_bit0 -x231_bit1 -x231_bit2 -x231_bit3 -x231_bit4 -x231_bit5 -x231_bit6 -x231_bit7 -x231_bit8 -x231_bit9 -x232_bit_7 -x232_bit_6 -x232_bit_5 -x232_bit_4 -x232_bit_3 -x232_bit_2 -x232_bit_1 -x232_bit0 -x232_bit1 -x232_bit2 -x232_bit3 -x232_bit4 -x232_bit5 -x232_bit6 -x232_bit7 -x232_bit8 -x232_bit9  x233_bit_7  x233_bit_6  x233_bit_5  x233_bit_4  x233_bit_3 -x233_bit_2 -x233_bit_1  x233_bit0  x233_bit1  x233_bit2 -x233_bit3 -x233_bit4 -x233_bit5 -x233_bit6 -x233_bit7  x233_bit8 -x233_bit9 -x234_bit_7 -x234_bit_6 -x234_bit_5 -x234_bit_4 -x234_bit_3 -x234_bit_2 -x234_bit_1 -x234_bit0 -x234_bit1 -x234_bit2 -x234_bit3 -x234_bit4 -x234_bit5 -x234_bit6 -x234_bit7 -x234_bit8 -x234_bit9 -x235_bit_7 -x235_bit_6 -x235_bit_5 -x235_bit_4 -x235_bit_3 -x235_bit_2 -x235_bit_1 -x235_bit0 -x235_bit1 -x235_bit2 -x235_bit3 -x235_bit4 -x235_bit5 -x235_bit6 -x235_bit7 -x235_bit8 -x235_bit9  x236_bit_7 -x236_bit_6  x236_bit_5 -x236_bit_4  x236_bit_3 -x236_bit_2  x236_bit_1 -x236_bit0  x236_bit1  x236_bit2  x236_bit3  x236_bit4 -x236_bit5  x236_bit6 -x236_bit7 -x236_bit8 -x236_bit9  x237_bit_7  x237_bit_6 -x237_bit_5  x237_bit_4  x237_bit_3  x237_bit_2  x237_bit_1 -x237_bit0  x237_bit1  x237_bit2  x237_bit3  x237_bit4 -x237_bit5  x237_bit6 -x237_bit7 -x237_bit8 -x237_bit9  x238_bit_7  x238_bit_6 -x238_bit_5  x238_bit_4  x238_bit_3  x238_bit_2  x238_bit_1  x238_bit0 -x238_bit1  x238_bit2  x238_bit3  x238_bit4  x238_bit5  x238_bit6 -x238_bit7 -x238_bit8 -x238_bit9 -x239_bit_7 -x239_bit_6 -x239_bit_5 -x239_bit_4 -x239_bit_3 -x239_bit_2 -x239_bit_1 -x239_bit0 -x239_bit1 -x239_bit2 -x239_bit3 -x239_bit4 -x239_bit5 -x239_bit6 -x239_bit7 -x239_bit8 -x239_bit9 -x240_bit_7 -x240_bit_6 -x240_bit_5 -x240_bit_4 -x240_bit_3 -x240_bit_2 -x240_bit_1 -x240_bit0 -x240_bit1 -x240_bit2 -x240_bit3 -x240_bit4 -x240_bit5 -x240_bit6 -x240_bit7 -x240_bit8 -x240_bit9 -x241_bit_7 -x241_bit_6 -x241_bit_5 -x241_bit_4 -x241_bit_3 -x241_bit_2 -x241_bit_1 -x241_bit0 -x241_bit1 -x241_bit2 -x241_bit3 -x241_bit4 -x241_bit5 -x241_bit6 -x241_bit7 -x241_bit8 -x241_bit9 -x242_bit_7 -x242_bit_6 -x242_bit_5 -x242_bit_4 -x242_bit_3 -x242_bit_2 -x242_bit_1 -x242_bit0 -x242_bit1 -x242_bit2 -x242_bit3 -x242_bit4 -x242_bit5 -x242_bit6 -x242_bit7 -x242_bit8 -x242_bit9 -x243_bit_7 -x243_bit_6 -x243_bit_5 -x243_bit_4 -x243_bit_3 -x243_bit_2 -x243_bit_1 -x243_bit0 -x243_bit1 -x243_bit2 -x243_bit3 -x243_bit4 -x243_bit5 -x243_bit6 -x243_bit7 -x243_bit8 -x243_bit9 -x244_bit0 -x244_bit1 -x245_bit0 -x245_bit1 -x246_bit0 -x246_bit1 -x247_bit0 -x247_bit1 -x248_bit0 -x248_bit1 -x249_bit0 -x249_bit1 -x250_bit0 -x250_bit1 -x251_bit0 -x251_bit1 -x252_bit0 -x252_bit1 -x253_bit0 -x253_bit1 -x254_bit0 -x254_bit1 -x255_bit0 -x255_bit1 -x256_bit0 -x256_bit1 -x257_bit0 -x257_bit1 -x258_bit0  x258_bit1 -x259_bit0 -x259_bit1 -x260_bit0 -x260_bit1  x261_bit0 -x261_bit1 -x262_bit0 -x262_bit1 -x263_bit0 -x263_bit1 -x264_bit0 -x264_bit1 -x265_bit0 -x265_bit1 -x266_bit0 -x266_bit1 -x267_bit0 -x267_bit1 -x268_bit0 -x268_bit1 -x269_bit0 -x269_bit1 -x270_bit0 -x270_bit1 -x271_bit0 -x271_bit1 -x272_bit0 -x272_bit1 -x273_bit0 -x273_bit1 -x274_bit0 -x274_bit1 -x275_bit0 -x275_bit1 -x276_bit0 -x276_bit1 -x277_bit0 -x277_bit1 -x278_bit0 -x278_bit1 -x279_bit0 -x279_bit1 -x280_bit0 -x280_bit1 -x281_bit0 -x281_bit1 -x282_bit0 -x282_bit1 -x283_bit0 -x283_bit1 -x284_bit0 -x284_bit1 -x285_bit0 -x285_bit1 -x286_bit0 -x286_bit1  x287_bit0 -x287_bit1 -x288_bit0 -x288_bit1 -x289_bit0 -x289_bit1 -x290_bit0 -x290_bit1 -x291_bit0 -x291_bit1 -x292_bit0 -x292_bit1 -x293_bit0 -x293_bit1 -x294_bit0 -x294_bit1 -x295_bit0 -x295_bit1 -x296_bit0 -x296_bit1 -x297_bit0 -x297_bit1 -x298_bit0 -x298_bit1 -x299_bit0 -x299_bit1 -x300_bit0 -x300_bit1 -x301_bit0 -x301_bit1 -x302_bit0 -x302_bit1 -x303_bit0 -x303_bit1 -x304_bit0 -x304_bit1 -x305_bit0 -x305_bit1 -x306_bit0 -x306_bit1 -x307_bit0 -x307_bit1 -x308_bit0 -x308_bit1 -x309_bit0 -x309_bit1 -x310_bit0 -x310_bit1  x311_bit0 -x311_bit1 -x312_bit0 -x312_bit1 -x313_bit0 -x313_bit1 -x314_bit0 -x314_bit1 -x315_bit0 -x315_bit1 -x316_bit0 -x316_bit1 -x317_bit0 -x317_bit1 -x318_bit0 -x318_bit1 -x319_bit0 -x319_bit1 -x320_bit0 -x320_bit1 -x321_bit0 -x321_bit1 -x322_bit0 -x322_bit1 -x323_bit0 -x323_bit1 -x324_bit0 -x324_bit1 -x325_bit0 -x325_bit1 -x326_bit0 -x326_bit1  x327_bit0 -x327_bit1 -x328_bit0 -x328_bit1 -x329_bit0 -x329_bit1 -x330_bit0 -x330_bit1 -x331_bit0 -x331_bit1 -x332_bit0 -x332_bit1 -x333_bit0 -x333_bit1 -x334_bit0 -x334_bit1 -x335_bit0 -x335_bit1  x336_bit0 -x336_bit1 -x337_bit0 -x337_bit1 -x338_bit0 -x338_bit1 -x339_bit0 -x339_bit1 -x340_bit0 -x340_bit1 -x341_bit0 -x341_bit1 -x342_bit0 -x342_bit1 -x343_bit0 -x343_bit1 -x344_bit0 -x344_bit1 -x345_bit0 -x345_bit1 -x346_bit0 -x346_bit1 -x347_bit0 -x347_bit1 -x348_bit0 -x348_bit1 -x349_bit0 -x349_bit1 -x350_bit0 -x350_bit1 -x351_bit0 -x351_bit1 -x352_bit0 -x352_bit1 -x353_bit0 -x353_bit1 -x354_bit0 -x354_bit1 -x355_bit0 -x355_bit1 -x356_bit0 -x356_bit1 -x357_bit0 -x357_bit1 -x358_bit0 -x358_bit1 -x359_bit0  x359_bit1 -x360_bit0 -x360_bit1 -x361_bit0 -x361_bit1 -x362_bit0 -x362_bit1 -x363_bit0 -x363_bit1 -x364_bit0 -x364_bit1 -x365_bit0 -x365_bit1 -x366_bit0 -x366_bit1  x367_bit0 -x367_bit1 -x368_bit0 -x368_bit1 -x369_bit0 -x369_bit1 -x370_bit0 -x370_bit1 -x371_bit0 -x371_bit1 -x372_bit0 -x372_bit1 -x373_bit0 -x373_bit1 -x374_bit0 -x374_bit1 -x375_bit0 -x375_bit1 -x376_bit0 -x376_bit1 -x377_bit0 -x377_bit1 -x378_bit0 -x378_bit1 -x379_bit0 -x379_bit1 -x380_bit0 -x380_bit1 -x381_bit0 -x381_bit1 -x382_bit0 -x382_bit1 -x383_bit0 -x383_bit1 -x384_bit0 -x384_bit1 -x385_bit0 -x385_bit1 -x386_bit0 -x386_bit1 -x387_bit0 -x387_bit1 -x388_bit0 -x388_bit1 -x389_bit0 -x389_bit1 -x390_bit0 -x390_bit1 -x391_bit0 -x391_bit1 -x392_bit0 -x392_bit1 -x393_bit0 -x393_bit1 -x394_bit0 -x394_bit1 -x395_bit0 -x395_bit1 -x396_bit0 -x396_bit1 -x397_bit0 -x397_bit1 -x398_bit0 -x398_bit1 -x399_bit0 -x399_bit1 -x400_bit0 -x400_bit1 -x401_bit0 -x401_bit1 -x402_bit0 -x402_bit1  x403_bit0 -x403_bit1 -x404_bit0 -x404_bit1 -x405_bit0 -x405_bit1 -x406_bit0 -x406_bit1 -x407_bit0 -x407_bit1 -x408_bit0 -x408_bit1 -x409_bit0 -x409_bit1 -x410_bit0 -x410_bit1 -x411_bit0 -x411_bit1 -x412_bit0 -x412_bit1 -x413_bit0 -x413_bit1 -x414_bit0 -x414_bit1  x415_bit0 -x415_bit1 -x416_bit0 -x416_bit1 -x417_bit0 -x417_bit1 -x418_bit0 -x418_bit1  x419_bit0 -x419_bit1 -x420_bit0 -x420_bit1 -x421_bit0 -x421_bit1  x422_bit0 -x422_bit1 -x423_bit0 -x423_bit1 -x424_bit0 -x424_bit1 -x425_bit0 -x425_bit1 -x426_bit0 -x426_bit1 -x427_bit0 -x427_bit1 -x428_bit0 -x428_bit1 -x429_bit0 -x429_bit1 -x430_bit0 -x430_bit1 -x431_bit0 -x431_bit1 -x432_bit0 -x432_bit1 -x433_bit0 -x433_bit1 -x434_bit0 -x434_bit1 -x435_bit0 -x435_bit1 -x436_bit0 -x436_bit1 -x437_bit0 -x437_bit1 -x438_bit0 -x438_bit1 -x439_bit0 -x439_bit1 -x440_bit0 -x440_bit1 -x441_bit0 -x441_bit1 -x442_bit0 -x442_bit1 -x443_bit0 -x443_bit1 -x444_bit0 -x444_bit1  x445_bit0 -x445_bit1 -x446_bit0 -x446_bit1 -x447_bit0 -x447_bit1 -x448_bit0 -x448_bit1 -x449_bit0 -x449_bit1 -x450_bit0 -x450_bit1  x451_bit0 -x451_bit1 -x452_bit0 -x452_bit1  x453_bit0 -x453_bit1 -x454_bit0 -x454_bit1 -x455_bit0 -x455_bit1 -x456_bit0 -x456_bit1 -x457_bit0 -x457_bit1 -x458_bit0 -x458_bit1 -x459_bit0 -x459_bit1 -x460_bit0 -x460_bit1 -x461_bit0 -x461_bit1 -x462_bit0 -x462_bit1  x463_bit0 -x463_bit1  x464_bit0 -x464_bit1 -x465_bit0 -x465_bit1 -x466_bit0 -x466_bit1 -x467_bit0 -x467_bit1 -x468_bit0 -x468_bit1 -x469_bit0 -x469_bit1 -x470_bit0 -x470_bit1 -x471_bit0 -x471_bit1 -x472_bit0 -x472_bit1 -x473_bit0 -x473_bit1 -x474_bit0 -x474_bit1 -x475_bit0 -x475_bit1 -x476_bit0 -x476_bit1  x477_bit0 -x477_bit1 -x478_bit0 -x478_bit1 -x479_bit0 -x479_bit1  x480_bit0 -x480_bit1 -x481_bit0 -x481_bit1 -x482_bit0 -x482_bit1 -x483_bit0 -x483_bit1 -x484_bit0 -x484_bit1  x485_bit0 -x485_bit1 -x486_bit0 -x486_bit1 -x487_bit0 -x487_bit1 -x488_bit0 -x488_bit1 -x489_bit0 -x489_bit1 -x490_bit0 -x490_bit1 -x491_bit0 -x491_bit1 -x492_bit0 -x492_bit1 -x493_bit0 -x493_bit1 -x494_bit0 -x494_bit1 -x495_bit0 -x495_bit1 -x496_bit0 -x496_bit1 -x497_bit0  x497_bit1 -x498_bit0 -x498_bit1 -x499_bit0 -x499_bit1 -x500_bit0 -x500_bit1  x501_bit0 -x501_bit1 -x502_bit0 -x502_bit1 -x503_bit0 -x503_bit1 -x504_bit0 -x504_bit1 -x505_bit0 -x505_bit1 -x506_bit0 -x506_bit1 -x507_bit0 -x507_bit1 -x508_bit0 -x508_bit1 -x509_bit0 -x509_bit1 -x510_bit0 -x510_bit1 -x511_bit0 -x511_bit1 -x512_bit0 -x512_bit1 -x513_bit0 -x513_bit1 -x514_bit0 -x514_bit1 -x515_bit0 -x515_bit1 -x516_bit0 -x516_bit1 -x517_bit0 -x517_bit1 -x518_bit0 -x518_bit1 -x519_bit0 -x519_bit1 -x520_bit0 -x520_bit1 -x521_bit0 -x521_bit1 -x522_bit0 -x522_bit1 -x523_bit0 -x523_bit1 -x524_bit0 -x524_bit1 -x525_bit0 -x525_bit1 -x526_bit0 -x526_bit1 -x527_bit0 -x527_bit1 -x528_bit0 -x528_bit1  x529_bit0 -x529_bit1 -x530_bit0 -x530_bit1 -x531_bit0 -x531_bit1 -x532_bit0 -x532_bit1 -x533_bit0 -x533_bit1  x534_bit0 -x534_bit1 -x535_bit0 -x535_bit1 -x536_bit0 -x536_bit1 -x537_bit0 -x537_bit1 -x538_bit0 -x538_bit1 -x539_bit0 -x539_bit1 -x540_bit0 -x540_bit1 -x541_bit0 -x541_bit1  x542_bit0 -x542_bit1 -x543_bit0 -x543_bit1 -x544_bit0 -x544_bit1 -x545_bit0 -x545_bit1 -x546_bit0 -x546_bit1 -x547_bit0 -x547_bit1 -x548_bit0 -x548_bit1 -x549_bit0 -x549_bit1 -x550_bit0 -x550_bit1 -x551_bit0 -x551_bit1 -x552_bit0 -x552_bit1 -x553_bit0 -x553_bit1 -x554_bit0 -x554_bit1 -x555_bit0 -x555_bit1 -x556_bit0 -x556_bit1 -x557_bit0 -x557_bit1 -x558_bit0 -x558_bit1 -x559_bit0 -x559_bit1 -x560_bit0 -x560_bit1  x561_bit0 -x561_bit1 -x562_bit0 -x562_bit1 -x563_bit0 -x563_bit1  x564_bit0 -x564_bit1 -x565_bit0 -x565_bit1 -x566_bit0 -x566_bit1 -x567_bit0 -x567_bit1 -x568_bit0 -x568_bit1 -x569_bit0 -x569_bit1 -x570_bit0 -x570_bit1 -x571_bit0 -x571_bit1 -x572_bit0 -x572_bit1  x573_bit0 -x573_bit1 -x574_bit0 -x574_bit1 -x575_bit0 -x575_bit1 -x576_bit0 -x576_bit1 -x577_bit0 -x577_bit1 -x578_bit0 -x578_bit1 -x579_bit0 -x579_bit1 -x580_bit0 -x580_bit1  x581_bit0 -x581_bit1 -x582_bit0 -x582_bit1 -x583_bit0 -x583_bit1  x584_bit0 -x584_bit1 -x585_bit0 -x585_bit1 -x586_bit0 -x586_bit1 -x587_bit0 -x587_bit1 -x588_bit0 -x588_bit1 -x589_bit0 -x589_bit1 -x590_bit0 -x590_bit1 -x591_bit0 -x591_bit1 -x592_bit0 -x592_bit1 -x593_bit0 -x593_bit1 -x594_bit0 -x594_bit1 -x595_bit0 -x595_bit1 -x596_bit0 -x596_bit1 -x597_bit0 -x597_bit1  x598_bit0 -x598_bit1 -x599_bit0 -x599_bit1 -x600_bit0 -x600_bit1 -x601_bit0 -x601_bit1  x602_bit0 -x602_bit1 -x603_bit0 -x603_bit1 -x604_bit0 -x604_bit1 -x605_bit0 -x605_bit1  x606_bit0 -x606_bit1 -x607_bit0 -x607_bit1 -x608_bit0 -x608_bit1 -x609_bit0 -x609_bit1 -x610_bit0 -x610_bit1 -x611_bit0 -x611_bit1  x612_bit0 -x612_bit1 -x613_bit0 -x613_bit1  x614_bit0 -x614_bit1 -x615_bit0 -x615_bit1  x616_bit0 -x616_bit1 -x617_bit0 -x617_bit1 -x618_bit0 -x618_bit1 -x619_bit0 -x619_bit1 -x620_bit0 -x620_bit1 -x621_bit0 -x621_bit1 -x622_bit0 -x622_bit1 -x623_bit0 -x623_bit1 -x624_bit0 -x624_bit1 -x625_bit0 -x625_bit1 -x626_bit0 -x626_bit1  x627_bit0 -x627_bit1 -x628_bit0 -x628_bit1 -x629_bit0 -x629_bit1 -x630_bit0 -x630_bit1 -x631_bit0 -x631_bit1  x632_bit0 -x632_bit1  x633_bit0 -x633_bit1  x634_bit0 -x634_bit1 -x635_bit0 -x635_bit1 -x636_bit0 -x636_bit1 -x637_bit0 -x637_bit1 -x638_bit0 -x638_bit1 -x639_bit0 -x639_bit1 -x640_bit0 -x640_bit1 -x641_bit0 -x641_bit1 -x642_bit0 -x642_bit1 -x643_bit0 -x643_bit1 -x644_bit0  x644_bit1 -x645_bit0 -x645_bit1 -x646_bit0 -x646_bit1 -x647_bit0 -x647_bit1  x648_bit0 -x648_bit1 -x649_bit0 -x649_bit1 -x650_bit0 -x650_bit1 -x651_bit0 -x651_bit1 -x652_bit0 -x652_bit1 -x653_bit0 -x653_bit1 -x654_bit0 -x654_bit1 -x655_bit0 -x655_bit1  x656_bit0 -x656_bit1 -x657_bit0 -x657_bit1 -x658_bit0 -x658_bit1 -x659_bit0 -x659_bit1 -x660_bit0 -x660_bit1 -x661_bit0 -x661_bit1  x662_bit0 -x662_bit1 -x663_bit0 -x663_bit1  x664_bit0 -x664_bit1 -x665_bit0 -x665_bit1 -x666_bit0 -x666_bit1 -x667_bit0 -x667_bit1 -x668_bit0 -x668_bit1 -x669_bit0 -x669_bit1 -x670_bit0 -x670_bit1 -x671_bit0 -x671_bit1 -x672_bit0 -x672_bit1 -x673_bit0 -x673_bit1 -x674_bit0 -x674_bit1 -x675_bit0  x675_bit1 -x676_bit0 -x676_bit1  x677_bit0 -x677_bit1 -x678_bit0 -x678_bit1 -x679_bit0 -x679_bit1 -x680_bit0 -x680_bit1 -x681_bit0 -x681_bit1 -x682_bit0 -x682_bit1 -x683_bit0 -x683_bit1 -x684_bit0 -x684_bit1 -x685_bit0 -x685_bit1 -x686_bit0 -x686_bit1  x687_bit0 -x687_bit1 -x688_bit0 -x688_bit1 -x689_bit0 -x689_bit1 -x690_bit0 -x690_bit1 -x691_bit0 -x691_bit1 -x692_bit0 -x692_bit1 -x693_bit0 -x693_bit1 -x694_bit0 -x694_bit1 -x695_bit0 -x695_bit1 -x696_bit0 -x696_bit1 -x697_bit0 -x697_bit1 -x698_bit0 -x698_bit1 -x699_bit0 -x699_bit1 -x700_bit0 -x700_bit1 -x701_bit0  x701_bit1 -x702_bit0 -x702_bit1 -x703_bit0 -x703_bit1 -x704_bit0 -x704_bit1 -x705_bit0 -x705_bit1 -x706_bit0 -x706_bit1 -x707_bit0 -x707_bit1 -x708_bit0 -x708_bit1 -x709_bit0 -x709_bit1 -x710_bit0 -x710_bit1 -x711_bit0 -x711_bit1 -x712_bit0 -x712_bit1 -x713_bit0 -x713_bit1 -x714_bit0 -x714_bit1 -x715_bit0 -x715_bit1 -x716_bit0 -x716_bit1 -x717_bit0 -x717_bit1 -x718_bit0 -x718_bit1 -x719_bit0 -x719_bit1 -x720_bit0 -x720_bit1 -x721_bit0 -x721_bit1 -x722_bit0 -x722_bit1 -x723_bit0 -x723_bit1 -x724_bit0 -x724_bit1 -x725_bit0 -x725_bit1 -x726_bit0 -x726_bit1 -x727_bit0 -x727_bit1 -x728_bit0 -x728_bit1 -x729_bit0 -x729_bit1 -x730_bit0 -x730_bit1  x731_bit0 -x731_bit1  x732_bit0 -x732_bit1 -x733_bit0 -x733_bit1 -x734_bit0 -x735_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0  x741_bit0  x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0  x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0  x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0  x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0  x780_bit0 -x781_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0  x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0  x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0  x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0  x819_bit0 -x820_bit0  x821_bit0 -x822_bit0  x823_bit0 -x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0  x834_bit0 -x835_bit0 -x836_bit0  x837_bit0  x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0  x843_bit0  x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0  x850_bit0 -x851_bit0  x852_bit0 -x853_bit0  x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0  x860_bit0 -x861_bit0  x862_bit0 -x863_bit0 -x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x874_bit0 -x875_bit0  x876_bit0 -x877_bit0 -x878_bit0  x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0  x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0  x892_bit0 -x893_bit0  x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0  x898_bit0 -x899_bit0 -x900_bit0 -x901_bit0  x902_bit0 -x903_bit0  x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0  x911_bit0 -x912_bit0  x913_bit0 -x914_bit0  x915_bit0 -x916_bit0 -x917_bit0  x918_bit0  x919_bit0  x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0  x925_bit0 -x926_bit0 -x927_bit0  x928_bit0  x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x933_bit0  x934_bit0 -x935_bit0  x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0  x940_bit0 -x941_bit0 -x942_bit0  x943_bit0  x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0  x949_bit0  x950_bit0 -x951_bit0 -x952_bit0 -x953_bit0 -x954_bit0  x955_bit0 -x956_bit0 -x957_bit0  x958_bit0  x959_bit0 -x959_bit1 -x960_bit0 -x960_bit1 -x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0  x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0  x980_bit0  x981_bit0 -x982_bit_7 -x982_bit_6 -x982_bit_5 -x982_bit_4 -x982_bit_3 -x982_bit_2 -x982_bit_1 -x982_bit0  x982_bit1 -x982_bit2 -x982_bit3 -x982_bit4 -x983_bit_7 -x983_bit_6 -x983_bit_5 -x983_bit_4 -x983_bit_3 -x983_bit_2 -x983_bit_1 -x983_bit0  x983_bit1 -x983_bit2 -x983_bit3 -x983_bit4 -x984_bit_7 -x984_bit_6 -x984_bit_5 -x984_bit_4 -x984_bit_3 -x984_bit_2 -x984_bit_1 -x984_bit0 -x984_bit1 -x984_bit2 -x984_bit3 -x984_bit4 -x985_bit_7 -x985_bit_6 -x985_bit_5 -x985_bit_4 -x985_bit_3 -x985_bit_2 -x985_bit_1 -x985_bit0 -x985_bit1 -x985_bit2 -x985_bit3 -x985_bit4 -x986_bit_7 -x986_bit_6 -x986_bit_5 -x986_bit_4 -x986_bit_3 -x986_bit_2 -x986_bit_1 -x986_bit0 -x986_bit1 -x986_bit2 -x986_bit3 -x986_bit4 -x987_bit_7 -x987_bit_6 -x987_bit_5 -x987_bit_4 -x987_bit_3 -x987_bit_2 -x987_bit_1 -x987_bit0 -x987_bit1 -x987_bit2 -x987_bit3 -x987_bit4 -x988_bit_7 -x988_bit_6 -x988_bit_5 -x988_bit_4 -x988_bit_3 -x988_bit_2 -x988_bit_1 -x988_bit0 -x988_bit1 -x988_bit2 -x988_bit3 -x988_bit4 -x989_bit_7 -x989_bit_6 -x989_bit_5 -x989_bit_4 -x989_bit_3 -x989_bit_2 -x989_bit_1 -x989_bit0  x989_bit1 -x989_bit2 -x989_bit3 -x989_bit4 -x990_bit_7 -x990_bit_6 -x990_bit_5 -x990_bit_4 -x990_bit_3 -x990_bit_2 -x990_bit_1 -x990_bit0 -x990_bit1 -x990_bit2 -x990_bit3 -x990_bit4 -x991_bit_7 -x991_bit_6 -x991_bit_5 -x991_bit_4 -x991_bit_3 -x991_bit_2 -x991_bit_1 -x991_bit0 -x991_bit1 -x991_bit2  x991_bit3 -x991_bit4 -x992_bit_7 -x992_bit_6 -x992_bit_5 -x992_bit_4 -x992_bit_3 -x992_bit_2 -x992_bit_1  x992_bit0 -x992_bit1 -x992_bit2 -x992_bit3 -x992_bit4 -x993_bit_7 -x993_bit_6 -x993_bit_5 -x993_bit_4 -x993_bit_3 -x993_bit_2 -x993_bit_1 -x993_bit0 -x993_bit1 -x993_bit2 -x993_bit3 -x993_bit4 -x994_bit_7 -x994_bit_6 -x994_bit_5 -x994_bit_4 -x994_bit_3 -x994_bit_2 -x994_bit_1 -x994_bit0  x994_bit1 -x994_bit2 -x994_bit3 -x994_bit4 -x995_bit_7 -x995_bit_6 -x995_bit_5 -x995_bit_4 -x995_bit_3 -x995_bit_2 -x995_bit_1 -x995_bit0 -x995_bit1 -x995_bit2 -x995_bit3 -x995_bit4 -x996_bit_7 -x996_bit_6 -x996_bit_5 -x996_bit_4 -x996_bit_3 -x996_bit_2 -x996_bit_1 -x996_bit0 -x996_bit1 -x996_bit2 -x996_bit3 -x996_bit4 -x997_bit_7 -x997_bit_6 -x997_bit_5 -x997_bit_4 -x997_bit_3 -x997_bit_2 -x997_bit_1 -x997_bit0 -x997_bit1 -x997_bit2 -x997_bit3 -x997_bit4 -x998_bit_7 -x998_bit_6 -x998_bit_5 -x998_bit_4 -x998_bit_3 -x998_bit_2 -x998_bit_1 -x998_bit0 -x998_bit1 -x998_bit2 -x998_bit3 -x998_bit4 -x999_bit_7 -x999_bit_6 -x999_bit_5 -x999_bit_4 -x999_bit_3 -x999_bit_2 -x999_bit_1  x999_bit0 -x999_bit1 -x999_bit2 -x999_bit3 -x999_bit4 -x1000_bit_7 -x1000_bit_6 -x1000_bit_5 -x1000_bit_4 -x1000_bit_3 -x1000_bit_2 -x1000_bit_1 -x1000_bit0 -x1000_bit1 -x1000_bit2 -x1000_bit3 -x1000_bit4 -x1001_bit_7 -x1001_bit_6 -x1001_bit_5 -x1001_bit_4 -x1001_bit_3 -x1001_bit_2 -x1001_bit_1 -x1001_bit0  x1001_bit1 -x1001_bit2 -x1001_bit3 -x1001_bit4 -x1002_bit_7 -x1002_bit_6 -x1002_bit_5 -x1002_bit_4 -x1002_bit_3 -x1002_bit_2 -x1002_bit_1  x1002_bit0 -x1002_bit1 -x1002_bit2 -x1002_bit3 -x1002_bit4 -x1003_bit_7 -x1003_bit_6 -x1003_bit_5 -x1003_bit_4 -x1003_bit_3 -x1003_bit_2 -x1003_bit_1 -x1003_bit0 -x1003_bit1 -x1003_bit2 -x1003_bit3 -x1003_bit4 -x1004_bit_7 -x1004_bit_6 -x1004_bit_5 -x1004_bit_4 -x1004_bit_3 -x1004_bit_2 -x1004_bit_1 -x1004_bit0 -x1004_bit1 -x1004_bit2 -x1004_bit3 -x1004_bit4 -x1005_bit_7 -x1005_bit_6 -x1005_bit_5 -x1005_bit_4 -x1005_bit_3 -x1005_bit_2 -x1005_bit_1 -x1005_bit0 -x1005_bit1 -x1005_bit2 -x1005_bit3 -x1005_bit4 -x1006_bit_7 -x1006_bit_6 -x1006_bit_5 -x1006_bit_4 -x1006_bit_3 -x1006_bit_2 -x1006_bit_1  x1006_bit0 -x1006_bit1 -x1006_bit2 -x1006_bit3 -x1006_bit4 -x1007_bit_7 -x1007_bit_6 -x1007_bit_5 -x1007_bit_4 -x1007_bit_3 -x1007_bit_2 -x1007_bit_1 -x1007_bit0 -x1007_bit1 -x1007_bit2 -x1007_bit3 -x1007_bit4 -x1008_bit_7 -x1008_bit_6 -x1008_bit_5 -x1008_bit_4 -x1008_bit_3 -x1008_bit_2 -x1008_bit_1  x1008_bit0 -x1008_bit1 -x1008_bit2 -x1008_bit3 -x1008_bit4 -x1009_bit_7 -x1009_bit_6 -x1009_bit_5 -x1009_bit_4 -x1009_bit_3 -x1009_bit_2 -x1009_bit_1  x1009_bit0 -x1009_bit1 -x1009_bit2 -x1009_bit3 -x1009_bit4 -x1010_bit_7 -x1010_bit_6 -x1010_bit_5 -x1010_bit_4 -x1010_bit_3 -x1010_bit_2 -x1010_bit_1 -x1010_bit0 -x1010_bit1 -x1010_bit2 -x1010_bit3 -x1010_bit4 -x1011_bit_7 -x1011_bit_6 -x1011_bit_5 -x1011_bit_4 -x1011_bit_3 -x1011_bit_2 -x1011_bit_1 -x1011_bit0 -x1011_bit1 -x1011_bit2 -x1011_bit3 -x1011_bit4 -x1012_bit_7 -x1012_bit_6 -x1012_bit_5 -x1012_bit_4 -x1012_bit_3 -x1012_bit_2 -x1012_bit_1 -x1012_bit0 -x1012_bit1 -x1012_bit2 -x1012_bit3 -x1012_bit4 -x1013_bit_7 -x1013_bit_6 -x1013_bit_5 -x1013_bit_4 -x1013_bit_3 -x1013_bit_2 -x1013_bit_1  x1013_bit0 -x1013_bit1 -x1013_bit2 -x1013_bit3 -x1013_bit4 -x1014_bit_7 -x1014_bit_6 -x1014_bit_5 -x1014_bit_4 -x1014_bit_3 -x1014_bit_2 -x1014_bit_1 -x1014_bit0 -x1014_bit1 -x1014_bit2 -x1014_bit3 -x1014_bit4 -x1015_bit_7 -x1015_bit_6 -x1015_bit_5 -x1015_bit_4 -x1015_bit_3 -x1015_bit_2 -x1015_bit_1 -x1015_bit0  x1015_bit1 -x1015_bit2 -x1015_bit3 -x1015_bit4 -x1016_bit_7 -x1016_bit_6 -x1016_bit_5 -x1016_bit_4 -x1016_bit_3 -x1016_bit_2 -x1016_bit_1 -x1016_bit0 -x1016_bit1 -x1016_bit2 -x1016_bit3 -x1016_bit4 -x1017_bit_7 -x1017_bit_6 -x1017_bit_5 -x1017_bit_4 -x1017_bit_3 -x1017_bit_2 -x1017_bit_1 -x1017_bit0  x1017_bit1 -x1017_bit2 -x1017_bit3 -x1017_bit4 -x1018_bit_7 -x1018_bit_6 -x1018_bit_5 -x1018_bit_4 -x1018_bit_3 -x1018_bit_2 -x1018_bit_1  x1018_bit0 -x1018_bit1 -x1018_bit2 -x1018_bit3 -x1018_bit4 -x1019_bit_7 -x1019_bit_6 -x1019_bit_5 -x1019_bit_4 -x1019_bit_3 -x1019_bit_2 -x1019_bit_1 -x1019_bit0 -x1019_bit1 -x1019_bit2 -x1019_bit3 -x1019_bit4 -x1020_bit_7 -x1020_bit_6 -x1020_bit_5 -x1020_bit_4 -x1020_bit_3 -x1020_bit_2 -x1020_bit_1 -x1020_bit0 -x1020_bit1 -x1020_bit2 -x1020_bit3 -x1020_bit4 -x1021_bit_7 -x1021_bit_6 -x1021_bit_5 -x1021_bit_4 -x1021_bit_3 -x1021_bit_2 -x1021_bit_1 -x1021_bit0 -x1021_bit1 -x1021_bit2 -x1021_bit3 -x1021_bit4 -x1022_bit_7 -x1022_bit_6 -x1022_bit_5 -x1022_bit_4 -x1022_bit_3 -x1022_bit_2 -x1022_bit_1 -x1022_bit0  x1022_bit1 -x1022_bit2 -x1022_bit3 -x1022_bit4 -x1023_bit_7 -x1023_bit_6 -x1023_bit_5 -x1023_bit_4 -x1023_bit_3 -x1023_bit_2 -x1023_bit_1 -x1023_bit0 -x1023_bit1 -x1023_bit2 -x1023_bit3 -x1023_bit4 -x1024_bit_7 -x1024_bit_6 -x1024_bit_5 -x1024_bit_4 -x1024_bit_3 -x1024_bit_2 -x1024_bit_1 -x1024_bit0  x1024_bit1 -x1024_bit2 -x1024_bit3 -x1024_bit4 -x1025_bit_7 -x1025_bit_6 -x1025_bit_5 -x1025_bit_4 -x1025_bit_3 -x1025_bit_2 -x1025_bit_1  x1025_bit0 -x1025_bit1 -x1025_bit2 -x1025_bit3 -x1025_bit4 -x1026_bit_7 -x1026_bit_6 -x1026_bit_5 -x1026_bit_4 -x1026_bit_3 -x1026_bit_2 -x1026_bit_1 -x1026_bit0 -x1026_bit1 -x1026_bit2 -x1026_bit3 -x1026_bit4 -x1027_bit_7 -x1027_bit_6 -x1027_bit_5 -x1027_bit_4 -x1027_bit_3 -x1027_bit_2 -x1027_bit_1 -x1027_bit0 -x1027_bit1 -x1027_bit2 -x1027_bit3 -x1027_bit4 -x1028_bit_7 -x1028_bit_6 -x1028_bit_5 -x1028_bit_4 -x1028_bit_3 -x1028_bit_2 -x1028_bit_1  x1028_bit0 -x1028_bit1 -x1028_bit2 -x1028_bit3 -x1028_bit4 -x1029_bit_7 -x1029_bit_6 -x1029_bit_5 -x1029_bit_4 -x1029_bit_3 -x1029_bit_2 -x1029_bit_1 -x1029_bit0 -x1029_bit1 -x1029_bit2 -x1029_bit3 -x1029_bit4 -x1030_bit_7 -x1030_bit_6 -x1030_bit_5 -x1030_bit_4 -x1030_bit_3 -x1030_bit_2 -x1030_bit_1 -x1030_bit0 -x1030_bit1 -x1030_bit2 -x1030_bit3 -x1030_bit4 -x1031_bit_7 -x1031_bit_6 -x1031_bit_5 -x1031_bit_4 -x1031_bit_3 -x1031_bit_2 -x1031_bit_1 -x1031_bit0  x1031_bit1 -x1031_bit2 -x1031_bit3 -x1031_bit4 -x1032_bit_7 -x1032_bit_6 -x1032_bit_5 -x1032_bit_4 -x1032_bit_3 -x1032_bit_2 -x1032_bit_1 -x1032_bit0  x1032_bit1 -x1032_bit2 -x1032_bit3 -x1032_bit4 -x1033_bit_7 -x1033_bit_6 -x1033_bit_5 -x1033_bit_4 -x1033_bit_3 -x1033_bit_2 -x1033_bit_1 -x1033_bit0 -x1033_bit1 -x1033_bit2 -x1033_bit3 -x1033_bit4 -x1034_bit_7 -x1034_bit_6 -x1034_bit_5 -x1034_bit_4 -x1034_bit_3 -x1034_bit_2 -x1034_bit_1 -x1034_bit0 -x1034_bit1 -x1034_bit2 -x1034_bit3 -x1034_bit4 -x1035_bit_7 -x1035_bit_6 -x1035_bit_5 -x1035_bit_4 -x1035_bit_3 -x1035_bit_2 -x1035_bit_1  x1035_bit0 -x1035_bit1 -x1035_bit2 -x1035_bit3 -x1035_bit4 -x1036_bit_7 -x1036_bit_6 -x1036_bit_5 -x1036_bit_4 -x1036_bit_3 -x1036_bit_2 -x1036_bit_1 -x1036_bit0 -x1036_bit1 -x1036_bit2 -x1036_bit3 -x1036_bit4 -x1037_bit_7 -x1037_bit_6 -x1037_bit_5 -x1037_bit_4 -x1037_bit_3 -x1037_bit_2 -x1037_bit_1 -x1037_bit0  x1037_bit1 -x1037_bit2 -x1037_bit3 -x1037_bit4 -x1038_bit_7 -x1038_bit_6 -x1038_bit_5 -x1038_bit_4 -x1038_bit_3 -x1038_bit_2 -x1038_bit_1  x1038_bit0 -x1038_bit1 -x1038_bit2 -x1038_bit3 -x1038_bit4 -x1039_bit_7 -x1039_bit_6 -x1039_bit_5 -x1039_bit_4 -x1039_bit_3 -x1039_bit_2 -x1039_bit_1  x1039_bit0 -x1039_bit1 -x1039_bit2 -x1039_bit3 -x1039_bit4 -x1040_bit_7 -x1040_bit_6 -x1040_bit_5 -x1040_bit_4 -x1040_bit_3 -x1040_bit_2 -x1040_bit_1  x1040_bit0  x1040_bit1 -x1040_bit2 -x1040_bit3 -x1040_bit4 -x1041_bit_7 -x1041_bit_6 -x1041_bit_5 -x1041_bit_4 -x1041_bit_3 -x1041_bit_2 -x1041_bit_1  x1041_bit0  x1041_bit1  x1041_bit2 -x1041_bit3 -x1041_bit4 -x1042_bit_7 -x1042_bit_6 -x1042_bit_5 -x1042_bit_4 -x1042_bit_3 -x1042_bit_2 -x1042_bit_1 -x1042_bit0 -x1042_bit1 -x1042_bit2 -x1042_bit3 -x1042_bit4 -x1043_bit_7 -x1043_bit_6 -x1043_bit_5 -x1043_bit_4 -x1043_bit_3 -x1043_bit_2 -x1043_bit_1 -x1043_bit0 -x1043_bit1 -x1043_bit2 -x1043_bit3 -x1043_bit4 -x1044_bit_7 -x1044_bit_6 -x1044_bit_5 -x1044_bit_4 -x1044_bit_3 -x1044_bit_2 -x1044_bit_1  x1044_bit0 -x1044_bit1 -x1044_bit2 -x1044_bit3 -x1044_bit4 -x1045_bit_7 -x1045_bit_6 -x1045_bit_5 -x1045_bit_4 -x1045_bit_3 -x1045_bit_2 -x1045_bit_1  x1045_bit0 -x1045_bit1 -x1045_bit2 -x1045_bit3 -x1045_bit4 -x1046_bit_7 -x1046_bit_6 -x1046_bit_5 -x1046_bit_4 -x1046_bit_3 -x1046_bit_2 -x1046_bit_1 -x1046_bit0  x1046_bit1 -x1046_bit2 -x1046_bit3 -x1046_bit4 -x1047_bit_7 -x1047_bit_6 -x1047_bit_5 -x1047_bit_4 -x1047_bit_3 -x1047_bit_2 -x1047_bit_1 -x1047_bit0 -x1047_bit1  x1047_bit2 -x1047_bit3 -x1047_bit4 -x1048_bit_7 -x1048_bit_6 -x1048_bit_5 -x1048_bit_4 -x1048_bit_3 -x1048_bit_2 -x1048_bit_1 -x1048_bit0 -x1048_bit1 -x1048_bit2 -x1048_bit3 -x1048_bit4 -x1049_bit_7 -x1049_bit_6 -x1049_bit_5 -x1049_bit_4 -x1049_bit_3 -x1049_bit_2 -x1049_bit_1 -x1049_bit0 -x1049_bit1 -x1049_bit2 -x1049_bit3 -x1049_bit4 -x1050_bit_7 -x1050_bit_6 -x1050_bit_5 -x1050_bit_4 -x1050_bit_3 -x1050_bit_2 -x1050_bit_1 -x1050_bit0 -x1050_bit1 -x1050_bit2 -x1050_bit3 -x1050_bit4 -x1051_bit_7 -x1051_bit_6 -x1051_bit_5 -x1051_bit_4 -x1051_bit_3 -x1051_bit_2 -x1051_bit_1 -x1051_bit0 -x1051_bit1 -x1051_bit2 -x1051_bit3 -x1051_bit4 -x1052_bit_7 -x1052_bit_6 -x1052_bit_5 -x1052_bit_4 -x1052_bit_3 -x1052_bit_2 -x1052_bit_1  x1052_bit0 -x1052_bit1 -x1052_bit2 -x1052_bit3 -x1052_bit4 -x1053_bit_7 -x1053_bit_6 -x1053_bit_5 -x1053_bit_4 -x1053_bit_3 -x1053_bit_2 -x1053_bit_1  x1053_bit0 -x1053_bit1 -x1053_bit2 -x1053_bit3 -x1053_bit4 -x1054_bit_7 -x1054_bit_6 -x1054_bit_5 -x1054_bit_4 -x1054_bit_3 -x1054_bit_2 -x1054_bit_1  x1054_bit0 -x1054_bit1 -x1054_bit2 -x1054_bit3 -x1054_bit4 -x1055_bit_7 -x1055_bit_6 -x1055_bit_5 -x1055_bit_4 -x1055_bit_3 -x1055_bit_2 -x1055_bit_1 -x1055_bit0 -x1055_bit1 -x1055_bit2 -x1055_bit3 -x1055_bit4 -x1056_bit_7 -x1056_bit_6 -x1056_bit_5 -x1056_bit_4 -x1056_bit_3 -x1056_bit_2 -x1056_bit_1 -x1056_bit0 -x1056_bit1 -x1056_bit2 -x1056_bit3 -x1056_bit4 -x1057_bit_7 -x1057_bit_6 -x1057_bit_5 -x1057_bit_4 -x1057_bit_3 -x1057_bit_2 -x1057_bit_1 -x1057_bit0 -x1057_bit1 -x1057_bit2 -x1057_bit3 -x1057_bit4 -x1058_bit_7 -x1058_bit_6 -x1058_bit_5 -x1058_bit_4 -x1058_bit_3 -x1058_bit_2 -x1058_bit_1  x1058_bit0 -x1058_bit1 -x1058_bit2 -x1058_bit3 -x1058_bit4 -x1059_bit_7 -x1059_bit_6 -x1059_bit_5 -x1059_bit_4 -x1059_bit_3 -x1059_bit_2 -x1059_bit_1 -x1059_bit0 -x1059_bit1 -x1059_bit2 -x1059_bit3 -x1059_bit4 -x1060_bit_7 -x1060_bit_6 -x1060_bit_5 -x1060_bit_4 -x1060_bit_3 -x1060_bit_2 -x1060_bit_1  x1060_bit0 -x1060_bit1 -x1060_bit2 -x1060_bit3 -x1060_bit4 -x1061_bit_7 -x1061_bit_6 -x1061_bit_5 -x1061_bit_4 -x1061_bit_3 -x1061_bit_2 -x1061_bit_1 -x1061_bit0 -x1061_bit1 -x1061_bit2 -x1061_bit3 -x1061_bit4 -x1062_bit_7 -x1062_bit_6 -x1062_bit_5 -x1062_bit_4 -x1062_bit_3 -x1062_bit_2 -x1062_bit_1 -x1062_bit0 -x1062_bit1 -x1062_bit2 -x1062_bit3 -x1062_bit4 -x1063_bit_7 -x1063_bit_6 -x1063_bit_5 -x1063_bit_4 -x1063_bit_3 -x1063_bit_2 -x1063_bit_1 -x1063_bit0 -x1063_bit1 -x1063_bit2 -x1063_bit3 -x1063_bit4 -x1064_bit_7 -x1064_bit_6 -x1064_bit_5 -x1064_bit_4 -x1064_bit_3 -x1064_bit_2 -x1064_bit_1 -x1064_bit0 -x1064_bit1 -x1064_bit2 -x1064_bit3 -x1064_bit4 -x1065_bit_7 -x1065_bit_6 -x1065_bit_5 -x1065_bit_4 -x1065_bit_3 -x1065_bit_2 -x1065_bit_1  x1065_bit0 -x1065_bit1 -x1065_bit2 -x1065_bit3 -x1065_bit4 -x1066_bit_7 -x1066_bit_6 -x1066_bit_5 -x1066_bit_4 -x1066_bit_3 -x1066_bit_2 -x1066_bit_1 -x1066_bit0 -x1066_bit1 -x1066_bit2 -x1066_bit3 -x1066_bit4 -x1067_bit_7 -x1067_bit_6 -x1067_bit_5 -x1067_bit_4 -x1067_bit_3 -x1067_bit_2 -x1067_bit_1  x1067_bit0  x1067_bit1  x1067_bit2 -x1067_bit3 -x1067_bit4 -x1068_bit_7 -x1068_bit_6 -x1068_bit_5 -x1068_bit_4 -x1068_bit_3 -x1068_bit_2 -x1068_bit_1 -x1068_bit0 -x1068_bit1 -x1068_bit2  x1068_bit3 -x1068_bit4 -x1069_bit_7 -x1069_bit_6 -x1069_bit_5 -x1069_bit_4 -x1069_bit_3 -x1069_bit_2 -x1069_bit_1 -x1069_bit0 -x1069_bit1 -x1069_bit2 -x1069_bit3 -x1069_bit4 -x1070_bit_7 -x1070_bit_6 -x1070_bit_5 -x1070_bit_4 -x1070_bit_3 -x1070_bit_2 -x1070_bit_1 -x1070_bit0 -x1070_bit1 -x1070_bit2 -x1070_bit3 -x1070_bit4 -x1071_bit_7 -x1071_bit_6 -x1071_bit_5 -x1071_bit_4 -x1071_bit_3 -x1071_bit_2 -x1071_bit_1 -x1071_bit0 -x1071_bit1 -x1071_bit2 -x1071_bit3 -x1071_bit4 -x1072_bit_7 -x1072_bit_6 -x1072_bit_5 -x1072_bit_4 -x1072_bit_3 -x1072_bit_2 -x1072_bit_1 -x1072_bit0 -x1072_bit1 -x1072_bit2 -x1072_bit3 -x1072_bit4 -x1073_bit_7 -x1073_bit_6 -x1073_bit_5 -x1073_bit_4 -x1073_bit_3 -x1073_bit_2 -x1073_bit_1  x1073_bit0 -x1073_bit1  x1073_bit2 -x1073_bit3 -x1073_bit4 -x1074_bit_7 -x1074_bit_6 -x1074_bit_5 -x1074_bit_4 -x1074_bit_3 -x1074_bit_2 -x1074_bit_1  x1074_bit0 -x1074_bit1  x1074_bit2 -x1074_bit3 -x1074_bit4 -x1075_bit_7 -x1075_bit_6 -x1075_bit_5 -x1075_bit_4 -x1075_bit_3 -x1075_bit_2 -x1075_bit_1 -x1075_bit0 -x1075_bit1 -x1075_bit2 -x1075_bit3 -x1075_bit4 -x1076_bit_7 -x1076_bit_6 -x1076_bit_5 -x1076_bit_4 -x1076_bit_3 -x1076_bit_2 -x1076_bit_1  x1076_bit0 -x1076_bit1  x1076_bit2 -x1076_bit3 -x1076_bit4 -x1077_bit_7 -x1077_bit_6 -x1077_bit_5 -x1077_bit_4 -x1077_bit_3 -x1077_bit_2 -x1077_bit_1 -x1077_bit0 -x1077_bit1 -x1077_bit2 -x1077_bit3 -x1077_bit4 -x1078_bit_7 -x1078_bit_6 -x1078_bit_5 -x1078_bit_4 -x1078_bit_3 -x1078_bit_2 -x1078_bit_1 -x1078_bit0 -x1078_bit1 -x1078_bit2 -x1078_bit3 -x1078_bit4 -x1079_bit_7 -x1079_bit_6 -x1079_bit_5 -x1079_bit_4 -x1079_bit_3 -x1079_bit_2 -x1079_bit_1 -x1079_bit0 -x1079_bit1  x1079_bit2 -x1079_bit3 -x1079_bit4 -x1080_bit_7 -x1080_bit_6 -x1080_bit_5 -x1080_bit_4 -x1080_bit_3 -x1080_bit_2 -x1080_bit_1 -x1080_bit0 -x1080_bit1 -x1080_bit2 -x1080_bit3 -x1080_bit4 -x1081_bit_7 -x1081_bit_6 -x1081_bit_5 -x1081_bit_4 -x1081_bit_3 -x1081_bit_2 -x1081_bit_1  x1081_bit0 -x1081_bit1 -x1081_bit2 -x1081_bit3 -x1081_bit4 -x1082_bit_7 -x1082_bit_6 -x1082_bit_5 -x1082_bit_4 -x1082_bit_3 -x1082_bit_2 -x1082_bit_1 -x1082_bit0 -x1082_bit1  x1082_bit2 -x1082_bit3 -x1082_bit4 -x1083_bit_7 -x1083_bit_6 -x1083_bit_5 -x1083_bit_4 -x1083_bit_3 -x1083_bit_2 -x1083_bit_1 -x1083_bit0 -x1083_bit1 -x1083_bit2 -x1083_bit3 -x1083_bit4 -x1084_bit_7 -x1084_bit_6 -x1084_bit_5 -x1084_bit_4 -x1084_bit_3 -x1084_bit_2 -x1084_bit_1 -x1084_bit0 -x1084_bit1 -x1084_bit2 -x1084_bit3 -x1084_bit4 -x1085_bit_7 -x1085_bit_6 -x1085_bit_5 -x1085_bit_4 -x1085_bit_3 -x1085_bit_2 -x1085_bit_1 -x1085_bit0 -x1085_bit1 -x1085_bit2 -x1085_bit3 -x1085_bit4 -x1086_bit_7 -x1086_bit_6 -x1086_bit_5 -x1086_bit_4 -x1086_bit_3 -x1086_bit_2 -x1086_bit_1  x1086_bit0 -x1086_bit1 -x1086_bit2 -x1086_bit3 -x1086_bit4 -x1087_bit_7 -x1087_bit_6 -x1087_bit_5 -x1087_bit_4 -x1087_bit_3 -x1087_bit_2 -x1087_bit_1 -x1087_bit0 -x1087_bit1 -x1087_bit2 -x1087_bit3 -x1087_bit4 -x1088_bit_7 -x1088_bit_6 -x1088_bit_5 -x1088_bit_4 -x1088_bit_3 -x1088_bit_2 -x1088_bit_1  x1088_bit0 -x1088_bit1 -x1088_bit2 -x1088_bit3 -x1088_bit4 -x1089_bit_7 -x1089_bit_6 -x1089_bit_5 -x1089_bit_4 -x1089_bit_3 -x1089_bit_2 -x1089_bit_1 -x1089_bit0  x1089_bit1 -x1089_bit2 -x1089_bit3 -x1089_bit4 -x1090_bit_7 -x1090_bit_6 -x1090_bit_5 -x1090_bit_4 -x1090_bit_3 -x1090_bit_2 -x1090_bit_1 -x1090_bit0 -x1090_bit1 -x1090_bit2 -x1090_bit3 -x1090_bit4 -x1091_bit_7 -x1091_bit_6 -x1091_bit_5 -x1091_bit_4 -x1091_bit_3 -x1091_bit_2 -x1091_bit_1  x1091_bit0 -x1091_bit1 -x1091_bit2 -x1091_bit3 -x1091_bit4 -x1092_bit_7 -x1092_bit_6 -x1092_bit_5 -x1092_bit_4 -x1092_bit_3 -x1092_bit_2 -x1092_bit_1 -x1092_bit0 -x1092_bit1 -x1092_bit2 -x1092_bit3 -x1092_bit4 -x1093_bit_7 -x1093_bit_6 -x1093_bit_5 -x1093_bit_4 -x1093_bit_3 -x1093_bit_2 -x1093_bit_1  x1093_bit0 -x1093_bit1 -x1093_bit2 -x1093_bit3 -x1093_bit4 -x1094_bit_7 -x1094_bit_6 -x1094_bit_5 -x1094_bit_4 -x1094_bit_3 -x1094_bit_2 -x1094_bit_1  x1094_bit0 -x1094_bit1 -x1094_bit2 -x1094_bit3 -x1094_bit4 -x1095_bit_7 -x1095_bit_6 -x1095_bit_5 -x1095_bit_4 -x1095_bit_3 -x1095_bit_2 -x1095_bit_1  x1095_bit0 -x1095_bit1 -x1095_bit2 -x1095_bit3 -x1095_bit4 -x1096_bit_7 -x1096_bit_6 -x1096_bit_5 -x1096_bit_4 -x1096_bit_3 -x1096_bit_2 -x1096_bit_1 -x1096_bit0 -x1096_bit1 -x1096_bit2 -x1096_bit3 -x1096_bit4 -x1097_bit_7 -x1097_bit_6 -x1097_bit_5 -x1097_bit_4 -x1097_bit_3 -x1097_bit_2 -x1097_bit_1 -x1097_bit0 -x1097_bit1 -x1097_bit2 -x1097_bit3 -x1097_bit4 -x1098_bit_7 -x1098_bit_6 -x1098_bit_5 -x1098_bit_4 -x1098_bit_3 -x1098_bit_2 -x1098_bit_1 -x1098_bit0 -x1098_bit1 -x1098_bit2 -x1098_bit3 -x1098_bit4 -x1099_bit_7 -x1099_bit_6 -x1099_bit_5 -x1099_bit_4 -x1099_bit_3 -x1099_bit_2 -x1099_bit_1  x1099_bit0 -x1099_bit1 -x1099_bit2 -x1099_bit3 -x1099_bit4 -x1100_bit_7 -x1100_bit_6 -x1100_bit_5 -x1100_bit_4 -x1100_bit_3 -x1100_bit_2 -x1100_bit_1  x1100_bit0 -x1100_bit1  x1100_bit2 -x1100_bit3 -x1100_bit4 -x1101_bit_7 -x1101_bit_6 -x1101_bit_5 -x1101_bit_4 -x1101_bit_3 -x1101_bit_2 -x1101_bit_1  x1101_bit0 -x1101_bit1 -x1101_bit2 -x1101_bit3 -x1101_bit4 -x1102_bit_7 -x1102_bit_6 -x1102_bit_5 -x1102_bit_4 -x1102_bit_3 -x1102_bit_2 -x1102_bit_1 -x1102_bit0 -x1102_bit1 -x1102_bit2 -x1102_bit3 -x1102_bit4 -x1103_bit_7 -x1103_bit_6 -x1103_bit_5 -x1103_bit_4 -x1103_bit_3 -x1103_bit_2 -x1103_bit_1 -x1103_bit0 -x1103_bit1 -x1103_bit2 -x1103_bit3 -x1103_bit4 -x1104_bit_7 -x1104_bit_6 -x1104_bit_5 -x1104_bit_4 -x1104_bit_3 -x1104_bit_2 -x1104_bit_1 -x1104_bit0 -x1104_bit1 -x1104_bit2 -x1104_bit3 -x1104_bit4 -x1105_bit_7 -x1105_bit_6 -x1105_bit_5 -x1105_bit_4 -x1105_bit_3 -x1105_bit_2 -x1105_bit_1 -x1105_bit0 -x1105_bit1 -x1105_bit2 -x1105_bit3 -x1105_bit4 -x1106_bit_7 -x1106_bit_6 -x1106_bit_5 -x1106_bit_4 -x1106_bit_3 -x1106_bit_2 -x1106_bit_1  x1106_bit0 -x1106_bit1 -x1106_bit2 -x1106_bit3 -x1106_bit4 -x1107_bit_7 -x1107_bit_6 -x1107_bit_5 -x1107_bit_4 -x1107_bit_3 -x1107_bit_2 -x1107_bit_1 -x1107_bit0  x1107_bit1 -x1107_bit2 -x1107_bit3 -x1107_bit4 -x1108_bit_7 -x1108_bit_6 -x1108_bit_5 -x1108_bit_4 -x1108_bit_3 -x1108_bit_2 -x1108_bit_1 -x1108_bit0 -x1108_bit1 -x1108_bit2 -x1108_bit3 -x1108_bit4 -x1109_bit_7 -x1109_bit_6 -x1109_bit_5 -x1109_bit_4 -x1109_bit_3 -x1109_bit_2 -x1109_bit_1 -x1109_bit0 -x1109_bit1 -x1109_bit2 -x1109_bit3 -x1109_bit4 -x1110_bit_7 -x1110_bit_6 -x1110_bit_5 -x1110_bit_4 -x1110_bit_3 -x1110_bit_2 -x1110_bit_1 -x1110_bit0 -x1110_bit1 -x1110_bit2 -x1110_bit3 -x1110_bit4 -x1111_bit_7 -x1111_bit_6 -x1111_bit_5 -x1111_bit_4 -x1111_bit_3 -x1111_bit_2 -x1111_bit_1  x1111_bit0 -x1111_bit1 -x1111_bit2 -x1111_bit3 -x1111_bit4 -x1112_bit_7 -x1112_bit_6 -x1112_bit_5 -x1112_bit_4 -x1112_bit_3 -x1112_bit_2 -x1112_bit_1 -x1112_bit0 -x1112_bit1 -x1112_bit2 -x1112_bit3 -x1112_bit4 -x1113_bit_7 -x1113_bit_6 -x1113_bit_5 -x1113_bit_4 -x1113_bit_3 -x1113_bit_2 -x1113_bit_1 -x1113_bit0 -x1113_bit1 -x1113_bit2 -x1113_bit3 -x1113_bit4 -x1114_bit_7 -x1114_bit_6 -x1114_bit_5 -x1114_bit_4 -x1114_bit_3 -x1114_bit_2 -x1114_bit_1 -x1114_bit0 -x1114_bit1 -x1114_bit2 -x1114_bit3 -x1114_bit4 -x1115_bit_7 -x1115_bit_6 -x1115_bit_5 -x1115_bit_4 -x1115_bit_3 -x1115_bit_2 -x1115_bit_1 -x1115_bit0 -x1115_bit1 -x1115_bit2 -x1115_bit3 -x1115_bit4 -x1116_bit_7 -x1116_bit_6 -x1116_bit_5 -x1116_bit_4 -x1116_bit_3 -x1116_bit_2 -x1116_bit_1 -x1116_bit0 -x1116_bit1 -x1116_bit2 -x1116_bit3 -x1116_bit4 -x1117_bit_7 -x1117_bit_6 -x1117_bit_5 -x1117_bit_4 -x1117_bit_3 -x1117_bit_2 -x1117_bit_1 -x1117_bit0 -x1117_bit1 -x1117_bit2 -x1117_bit3 -x1117_bit4 -x1118_bit_7 -x1118_bit_6 -x1118_bit_5 -x1118_bit_4 -x1118_bit_3 -x1118_bit_2 -x1118_bit_1 -x1118_bit0 -x1118_bit1 -x1118_bit2 -x1118_bit3 -x1118_bit4 -x1119_bit_7 -x1119_bit_6 -x1119_bit_5 -x1119_bit_4 -x1119_bit_3 -x1119_bit_2 -x1119_bit_1 -x1119_bit0 -x1119_bit1 -x1119_bit2 -x1119_bit3 -x1119_bit4 -x1120_bit_7 -x1120_bit_6 -x1120_bit_5 -x1120_bit_4 -x1120_bit_3 -x1120_bit_2 -x1120_bit_1 -x1120_bit0 -x1120_bit1 -x1120_bit2 -x1120_bit3 -x1120_bit4 -x1121_bit_7 -x1121_bit_6 -x1121_bit_5 -x1121_bit_4 -x1121_bit_3 -x1121_bit_2 -x1121_bit_1 -x1121_bit0 -x1121_bit1 -x1121_bit2 -x1121_bit3 -x1121_bit4 -x1122_bit_7 -x1122_bit_6 -x1122_bit_5 -x1122_bit_4 -x1122_bit_3 -x1122_bit_2 -x1122_bit_1 -x1122_bit0 -x1122_bit1 -x1122_bit2 -x1122_bit3 -x1122_bit4 -x1123_bit_7 -x1123_bit_6 -x1123_bit_5 -x1123_bit_4 -x1123_bit_3 -x1123_bit_2 -x1123_bit_1 -x1123_bit0 -x1123_bit1 -x1123_bit2 -x1123_bit3 -x1123_bit4 -x1124_bit_7 -x1124_bit_6 -x1124_bit_5 -x1124_bit_4 -x1124_bit_3 -x1124_bit_2 -x1124_bit_1 -x1124_bit0 -x1124_bit1 -x1124_bit2 -x1124_bit3 -x1124_bit4 -x1125_bit_7 -x1125_bit_6 -x1125_bit_5 -x1125_bit_4 -x1125_bit_3 -x1125_bit_2 -x1125_bit_1 -x1125_bit0 -x1125_bit1 -x1125_bit2 -x1125_bit3 -x1125_bit4 -x1126_bit_7 -x1126_bit_6 -x1126_bit_5 -x1126_bit_4 -x1126_bit_3 -x1126_bit_2 -x1126_bit_1 -x1126_bit0 -x1126_bit1  x1126_bit2 -x1126_bit3 -x1126_bit4 -x1127_bit_7 -x1127_bit_6 -x1127_bit_5 -x1127_bit_4 -x1127_bit_3 -x1127_bit_2 -x1127_bit_1 -x1127_bit0 -x1127_bit1 -x1127_bit2 -x1127_bit3 -x1127_bit4 -x1128_bit_7 -x1128_bit_6 -x1128_bit_5 -x1128_bit_4 -x1128_bit_3 -x1128_bit_2 -x1128_bit_1 -x1128_bit0 -x1128_bit1 -x1128_bit2 -x1128_bit3 -x1128_bit4 -x1129_bit_7 -x1129_bit_6 -x1129_bit_5 -x1129_bit_4 -x1129_bit_3 -x1129_bit_2 -x1129_bit_1 -x1129_bit0 -x1129_bit1 -x1129_bit2 -x1129_bit3 -x1129_bit4 -x1130_bit_7 -x1130_bit_6 -x1130_bit_5 -x1130_bit_4 -x1130_bit_3 -x1130_bit_2 -x1130_bit_1 -x1130_bit0 -x1130_bit1 -x1130_bit2 -x1130_bit3 -x1130_bit4 -x1131_bit_7 -x1131_bit_6 -x1131_bit_5 -x1131_bit_4 -x1131_bit_3 -x1131_bit_2 -x1131_bit_1 -x1131_bit0 -x1131_bit1 -x1131_bit2 -x1131_bit3 -x1131_bit4 -x1132_bit_7 -x1132_bit_6 -x1132_bit_5 -x1132_bit_4 -x1132_bit_3 -x1132_bit_2 -x1132_bit_1 -x1132_bit0 -x1132_bit1  x1132_bit2 -x1132_bit3 -x1132_bit4 -x1133_bit_7 -x1133_bit_6 -x1133_bit_5 -x1133_bit_4 -x1133_bit_3 -x1133_bit_2 -x1133_bit_1 -x1133_bit0 -x1133_bit1 -x1133_bit2 -x1133_bit3 -x1133_bit4 -x1134_bit_7 -x1134_bit_6 -x1134_bit_5 -x1134_bit_4 -x1134_bit_3 -x1134_bit_2 -x1134_bit_1  x1134_bit0 -x1134_bit1 -x1134_bit2 -x1134_bit3 -x1134_bit4 -x1135_bit_7 -x1135_bit_6 -x1135_bit_5 -x1135_bit_4 -x1135_bit_3 -x1135_bit_2 -x1135_bit_1 -x1135_bit0 -x1135_bit1 -x1135_bit2 -x1135_bit3 -x1135_bit4 -x1136_bit_7 -x1136_bit_6 -x1136_bit_5 -x1136_bit_4 -x1136_bit_3 -x1136_bit_2 -x1136_bit_1 -x1136_bit0 -x1136_bit1 -x1136_bit2 -x1136_bit3 -x1136_bit4 -x1137_bit_7 -x1137_bit_6 -x1137_bit_5 -x1137_bit_4 -x1137_bit_3 -x1137_bit_2 -x1137_bit_1 -x1137_bit0  x1137_bit1 -x1137_bit2 -x1137_bit3 -x1137_bit4 -x1138_bit_7 -x1138_bit_6 -x1138_bit_5 -x1138_bit_4 -x1138_bit_3 -x1138_bit_2 -x1138_bit_1 -x1138_bit0 -x1138_bit1  x1138_bit2 -x1138_bit3 -x1138_bit4 -x1139_bit_7 -x1139_bit_6 -x1139_bit_5 -x1139_bit_4 -x1139_bit_3 -x1139_bit_2 -x1139_bit_1 -x1139_bit0 -x1139_bit1 -x1139_bit2 -x1139_bit3 -x1139_bit4 -x1140_bit_7 -x1140_bit_6 -x1140_bit_5 -x1140_bit_4 -x1140_bit_3 -x1140_bit_2 -x1140_bit_1  x1140_bit0 -x1140_bit1 -x1140_bit2 -x1140_bit3 -x1140_bit4 -x1141_bit_7 -x1141_bit_6 -x1141_bit_5 -x1141_bit_4 -x1141_bit_3 -x1141_bit_2 -x1141_bit_1 -x1141_bit0 -x1141_bit1 -x1141_bit2 -x1141_bit3 -x1141_bit4 -x1142_bit_7 -x1142_bit_6 -x1142_bit_5 -x1142_bit_4 -x1142_bit_3 -x1142_bit_2 -x1142_bit_1 -x1142_bit0 -x1142_bit1 -x1142_bit2 -x1142_bit3 -x1142_bit4 -x1143_bit_7 -x1143_bit_6 -x1143_bit_5 -x1143_bit_4 -x1143_bit_3 -x1143_bit_2 -x1143_bit_1 -x1143_bit0  x1143_bit1 -x1143_bit2 -x1143_bit3 -x1143_bit4 -x1144_bit_7 -x1144_bit_6 -x1144_bit_5 -x1144_bit_4 -x1144_bit_3 -x1144_bit_2 -x1144_bit_1 -x1144_bit0  x1144_bit1 -x1144_bit2 -x1144_bit3 -x1144_bit4 -x1145_bit_7 -x1145_bit_6 -x1145_bit_5 -x1145_bit_4 -x1145_bit_3 -x1145_bit_2 -x1145_bit_1 -x1145_bit0 -x1145_bit1 -x1145_bit2 -x1145_bit3 -x1145_bit4 -x1146_bit_7 -x1146_bit_6 -x1146_bit_5 -x1146_bit_4 -x1146_bit_3 -x1146_bit_2 -x1146_bit_1  x1146_bit0 -x1146_bit1 -x1146_bit2 -x1146_bit3 -x1146_bit4 -x1147_bit_7 -x1147_bit_6 -x1147_bit_5 -x1147_bit_4 -x1147_bit_3 -x1147_bit_2 -x1147_bit_1 -x1147_bit0 -x1147_bit1 -x1147_bit2 -x1147_bit3 -x1147_bit4 -x1148_bit_7 -x1148_bit_6 -x1148_bit_5 -x1148_bit_4 -x1148_bit_3 -x1148_bit_2 -x1148_bit_1 -x1148_bit0 -x1148_bit1 -x1148_bit2 -x1148_bit3 -x1148_bit4 -x1149_bit_7 -x1149_bit_6 -x1149_bit_5 -x1149_bit_4 -x1149_bit_3 -x1149_bit_2 -x1149_bit_1 -x1149_bit0 -x1149_bit1 -x1149_bit2 -x1149_bit3 -x1149_bit4 -x1150_bit_7 -x1150_bit_6 -x1150_bit_5 -x1150_bit_4 -x1150_bit_3 -x1150_bit_2 -x1150_bit_1 -x1150_bit0 -x1150_bit1 -x1150_bit2 -x1150_bit3 -x1150_bit4 -x1151_bit_7 -x1151_bit_6 -x1151_bit_5 -x1151_bit_4 -x1151_bit_3 -x1151_bit_2 -x1151_bit_1 -x1151_bit0 -x1151_bit1 -x1151_bit2 -x1151_bit3 -x1151_bit4 -x1152_bit_7 -x1152_bit_6 -x1152_bit_5 -x1152_bit_4 -x1152_bit_3 -x1152_bit_2 -x1152_bit_1 -x1152_bit0  x1152_bit1 -x1152_bit2 -x1152_bit3 -x1152_bit4 -x1153_bit_7 -x1153_bit_6 -x1153_bit_5 -x1153_bit_4 -x1153_bit_3 -x1153_bit_2 -x1153_bit_1  x1153_bit0 -x1153_bit1 -x1153_bit2 -x1153_bit3 -x1153_bit4 -x1154_bit_7 -x1154_bit_6 -x1154_bit_5 -x1154_bit_4 -x1154_bit_3 -x1154_bit_2 -x1154_bit_1 -x1154_bit0 -x1154_bit1 -x1154_bit2 -x1154_bit3 -x1154_bit4 -x1155_bit_7 -x1155_bit_6 -x1155_bit_5 -x1155_bit_4 -x1155_bit_3 -x1155_bit_2 -x1155_bit_1 -x1155_bit0  x1155_bit1 -x1155_bit2  x1155_bit3 -x1155_bit4 -x1156_bit_7 -x1156_bit_6 -x1156_bit_5 -x1156_bit_4 -x1156_bit_3 -x1156_bit_2 -x1156_bit_1  x1156_bit0 -x1156_bit1 -x1156_bit2 -x1156_bit3 -x1156_bit4 -x1157_bit_7 -x1157_bit_6 -x1157_bit_5 -x1157_bit_4 -x1157_bit_3 -x1157_bit_2 -x1157_bit_1 -x1157_bit0  x1157_bit1  x1157_bit2 -x1157_bit3 -x1157_bit4 -x1158_bit_7 -x1158_bit_6 -x1158_bit_5 -x1158_bit_4 -x1158_bit_3 -x1158_bit_2 -x1158_bit_1  x1158_bit0  x1158_bit1 -x1158_bit2 -x1158_bit3 -x1158_bit4 -x1159_bit_7 -x1159_bit_6 -x1159_bit_5 -x1159_bit_4 -x1159_bit_3 -x1159_bit_2 -x1159_bit_1 -x1159_bit0 -x1159_bit1  x1159_bit2 -x1159_bit3 -x1159_bit4 -x1160_bit_7 -x1160_bit_6 -x1160_bit_5 -x1160_bit_4 -x1160_bit_3 -x1160_bit_2 -x1160_bit_1 -x1160_bit0 -x1160_bit1  x1160_bit2 -x1160_bit3 -x1160_bit4 -x1161_bit_7 -x1161_bit_6 -x1161_bit_5 -x1161_bit_4 -x1161_bit_3 -x1161_bit_2 -x1161_bit_1  x1161_bit0 -x1161_bit1 -x1161_bit2 -x1161_bit3 -x1161_bit4 -x1162_bit_7 -x1162_bit_6 -x1162_bit_5 -x1162_bit_4 -x1162_bit_3 -x1162_bit_2 -x1162_bit_1 -x1162_bit0  x1162_bit1  x1163_bit_7 -x1163_bit_6 -x1163_bit_5  x1163_bit_4 -x1163_bit_3  x1163_bit_2  x1163_bit_1 -x1163_bit0 -x1163_bit1 -x1164_bit_7 -x1164_bit_6 -x1164_bit_5 -x1164_bit_4 -x1164_bit_3 -x1164_bit_2 -x1164_bit_1 -x1164_bit0  x1164_bit1  x1165_bit_7  x1165_bit_6  x1165_bit_5  x1165_bit_4  x1165_bit_3  x1165_bit_2  x1165_bit_1  x1165_bit0 -x1165_bit1  x1166_bit_7  x1166_bit_6  x1166_bit_5  x1166_bit_4  x1166_bit_3  x1166_bit_2  x1166_bit_1  x1166_bit0 -x1166_bit1 
s OPTIMUM FOUND

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/5345/stat): 5345 (vallstSAT2005PB) R 5344 5345 4004 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20038463 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5345/statm): 174 3 169 147 0 27 0
[pid=5345] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
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
open syscall for file /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/vallstSAT2005PB.sh
New process pid=5346
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5346) exited with status: 0
New process pid=5347
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5347) exited with status: 0
New process pid=5348
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-roll3000.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.002 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 889 0 0 0 949 16 0 0 25 0 1 0 20038470 5406720 812 4294967295 134512640 134702520 3221223952 3221223088 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 1320 812 413 48 0 1272 0
[pid=5348] vsize: 5280
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (Kb) 7408

[startup+20.0026 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) T 5345 5345 4004 0 -1 0 915 0 0 0 1861 47 0 0 22 0 1 0 20038470 9379840 838 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2290 838 413 48 0 2242 0
[pid=5348] vsize: 9160
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (Kb) 11288

[startup+30.0032 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 932 0 0 0 2711 98 0 0 25 0 1 0 20038470 9379840 855 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2290 855 413 48 0 2242 0
[pid=5348] vsize: 9160
Current children cumulated CPU time (s) 28.1
Current children cumulated vsize (Kb) 11288

[startup+40.0038 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 943 0 0 0 3599 137 0 0 25 0 1 0 20038470 9379840 866 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2290 866 413 48 0 2242 0
[pid=5348] vsize: 9160
Current children cumulated CPU time (s) 37.37
Current children cumulated vsize (Kb) 11288

[startup+50.0044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 951 0 0 0 4517 165 0 0 25 0 1 0 20038470 9383936 874 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2291 874 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 46.83
Current children cumulated vsize (Kb) 11292

[startup+60.005 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) T 5345 5345 4004 0 -1 0 1027 0 0 0 5398 204 0 0 23 0 1 0 20038470 9383936 950 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2291 950 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 56.03
Current children cumulated vsize (Kb) 11292

[startup+70.0056 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1030 0 0 0 6299 238 0 0 25 0 1 0 20038470 9383936 953 4294967295 134512640 134702520 3221223952 3221070768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2291 953 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 65.38
Current children cumulated vsize (Kb) 11292

[startup+80.0061 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1033 0 0 0 7233 258 0 0 25 0 1 0 20038470 9383936 956 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2291 956 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 74.92
Current children cumulated vsize (Kb) 11292

[startup+90.0068 s]
Raw data (loadavg): 1.02 1.01 1.00 3/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1083 0 0 0 8138 294 0 0 25 0 1 0 20038470 9383936 1006 4294967295 134512640 134702520 3221223952 3221193788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2291 1006 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 84.33
Current children cumulated vsize (Kb) 11292

[startup+100.007 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) T 5345 5345 4004 0 -1 0 1083 0 0 0 9079 312 0 0 25 0 1 0 20038470 9383936 1006 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2291 1006 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 93.92
Current children cumulated vsize (Kb) 11292

[startup+110.008 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) T 5345 5345 4004 0 -1 0 1087 0 0 0 9935 359 0 0 23 0 1 0 20038470 9383936 1010 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2291 1010 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 102.95
Current children cumulated vsize (Kb) 11292

[startup+120.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1095 0 0 0 10842 393 0 0 25 0 1 0 20038470 9383936 1018 4294967295 134512640 134702520 3221223952 3221169308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2291 1018 413 48 0 2243 0
[pid=5348] vsize: 9164
Current children cumulated CPU time (s) 112.36
Current children cumulated vsize (Kb) 11292

[startup+130.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1096 0 0 0 11758 421 0 0 25 0 1 0 20038470 9388032 1019 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2292 1019 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 121.8
Current children cumulated vsize (Kb) 11296

[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1101 0 0 0 12705 439 0 0 25 0 1 0 20038470 9388032 1024 4294967295 134512640 134702520 3221223952 3221214608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1024 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 131.45
Current children cumulated vsize (Kb) 11296

[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1101 0 0 0 13680 448 0 0 25 0 1 0 20038470 9388032 1024 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2292 1024 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 141.29
Current children cumulated vsize (Kb) 11296

[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1107 0 0 0 14644 461 0 0 25 0 1 0 20038470 9388032 1030 4294967295 134512640 134702520 3221223952 3221138448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1030 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 151.06
Current children cumulated vsize (Kb) 11296

[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1109 0 0 0 15615 471 0 0 25 0 1 0 20038470 9388032 1032 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1032 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (Kb) 11296

[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1109 0 0 0 16521 505 0 0 24 0 1 0 20038470 9388032 1032 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2292 1032 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 170.27
Current children cumulated vsize (Kb) 11296

[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1109 0 0 0 17473 522 0 0 25 0 1 0 20038470 9388032 1032 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1032 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 11296

[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1110 0 0 0 18449 530 0 0 25 0 1 0 20038470 9388032 1033 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1033 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 189.8
Current children cumulated vsize (Kb) 11296

[startup+210.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1110 0 0 0 19407 544 0 0 25 0 1 0 20038470 9388032 1033 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1033 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 199.52
Current children cumulated vsize (Kb) 11296

[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1110 0 0 0 20347 565 0 0 25 0 1 0 20038470 9388032 1033 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2292 1033 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 209.13
Current children cumulated vsize (Kb) 11296

[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1110 0 0 0 21303 581 0 0 25 0 1 0 20038470 9388032 1033 4294967295 134512640 134702520 3221223952 3221216208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1033 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 218.85
Current children cumulated vsize (Kb) 11296

[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1110 0 0 0 22286 587 0 0 25 0 1 0 20038470 9388032 1033 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1033 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 228.74
Current children cumulated vsize (Kb) 11296

[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1110 0 0 0 23267 594 0 0 25 0 1 0 20038470 9388032 1033 4294967295 134512640 134702520 3221223952 3221075728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2292 1033 413 48 0 2244 0
[pid=5348] vsize: 9168
Current children cumulated CPU time (s) 238.62
Current children cumulated vsize (Kb) 11296

[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1140 0 0 0 24245 600 0 0 25 0 1 0 20038470 9392128 1063 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2293 1063 413 48 0 2245 0
[pid=5348] vsize: 9172
Current children cumulated CPU time (s) 248.46
Current children cumulated vsize (Kb) 11300

[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1162 0 0 0 25227 607 0 0 25 0 1 0 20038470 9392128 1085 4294967295 134512640 134702520 3221223952 3220935408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2293 1085 413 48 0 2245 0
[pid=5348] vsize: 9172
Current children cumulated CPU time (s) 258.35
Current children cumulated vsize (Kb) 11300

[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1190 0 0 0 26206 616 0 0 25 0 1 0 20038470 9392128 1113 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2293 1113 413 48 0 2245 0
[pid=5348] vsize: 9172
Current children cumulated CPU time (s) 268.23
Current children cumulated vsize (Kb) 11300

[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1211 0 0 0 27160 631 0 0 25 0 1 0 20038470 9916416 1134 4294967295 134512640 134702520 3221223952 3220998268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2421 1134 413 48 0 2373 0
[pid=5348] vsize: 9684
Current children cumulated CPU time (s) 277.92
Current children cumulated vsize (Kb) 11812

[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1214 0 0 0 28120 645 0 0 25 0 1 0 20038470 10063872 1137 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2457 1137 413 48 0 2409 0
[pid=5348] vsize: 9828
Current children cumulated CPU time (s) 287.66
Current children cumulated vsize (Kb) 11956

[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1214 0 0 0 29087 656 0 0 25 0 1 0 20038470 10047488 1137 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5348/statm): 2453 1137 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 297.44
Current children cumulated vsize (Kb) 11940

[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1214 0 0 0 30061 665 0 0 25 0 1 0 20038470 10047488 1137 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1137 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 307.27
Current children cumulated vsize (Kb) 11940

[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1216 0 0 0 31048 670 0 0 25 0 1 0 20038470 10047488 1139 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1139 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 317.19
Current children cumulated vsize (Kb) 11940

[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1218 0 0 0 32019 680 0 0 25 0 1 0 20038470 10047488 1141 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1141 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 327
Current children cumulated vsize (Kb) 11940

[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) T 5345 5345 4004 0 -1 0 1224 0 0 0 33001 686 0 0 25 0 1 0 20038470 10047488 1147 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1147 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 336.88
Current children cumulated vsize (Kb) 11940

[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1264 0 0 0 33977 695 0 0 25 0 1 0 20038470 10047488 1187 4294967295 134512640 134702520 3221223952 3221223232 134552474 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1187 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 346.73
Current children cumulated vsize (Kb) 11940

[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1281 0 0 0 34963 699 0 0 25 0 1 0 20038470 10047488 1204 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1204 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 356.63
Current children cumulated vsize (Kb) 11940

[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1322 0 0 0 35941 706 0 0 25 0 1 0 20038470 10047488 1245 4294967295 134512640 134702520 3221223952 3221223232 134552683 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1245 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 366.48
Current children cumulated vsize (Kb) 11940

[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1334 0 0 0 36931 710 0 0 25 0 1 0 20038470 10047488 1257 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2453 1257 413 48 0 2405 0
[pid=5348] vsize: 9812
Current children cumulated CPU time (s) 376.42
Current children cumulated vsize (Kb) 11940

[startup+400.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1370 0 0 0 37903 718 0 0 25 0 1 0 20038470 10571776 1293 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2581 1293 413 48 0 2533 0
[pid=5348] vsize: 10324
Current children cumulated CPU time (s) 386.22
Current children cumulated vsize (Kb) 12452

[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1387 0 0 0 38889 724 0 0 25 0 1 0 20038470 10706944 1310 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2614 1310 413 48 0 2566 0
[pid=5348] vsize: 10456
Current children cumulated CPU time (s) 396.14
Current children cumulated vsize (Kb) 12584

[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1421 0 0 0 39850 738 0 0 25 0 1 0 20038470 10706944 1344 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2614 1344 413 48 0 2566 0
[pid=5348] vsize: 10456
Current children cumulated CPU time (s) 405.89
Current children cumulated vsize (Kb) 12584

[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1438 0 0 0 40823 748 0 0 25 0 1 0 20038470 10706944 1361 4294967295 134512640 134702520 3221223952 3221120028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2614 1361 413 48 0 2566 0
[pid=5348] vsize: 10456
Current children cumulated CPU time (s) 415.72
Current children cumulated vsize (Kb) 12584

[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5348
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20038463 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 242 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5348/stat): 5348 (vallst) R 5345 5345 4004 0 -1 0 1439 0 0 0 41798 757 0 0 25 0 1 0 20038470 10706944 1362 4294967295 134512640 134702520 3221223952 3221222848 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5348/statm): 2614 1362 413 48 0 2566 0
[pid=5348] vsize: 10456
Current children cumulated CPU time (s) 425.56
Current children cumulated vsize (Kb) 12584
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5348) exited with status: 2
New process pid=5349
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5349) exited with status: 0
New process pid=5350
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 812 0 0 0 918 16 0 0 25 0 1 0 20082508 5115904 783 4294967295 134512640 134702520 3221223712 3221222836 134554051 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 1249 783 413 48 0 1201 0
[pid=5350] vsize: 4996
Current children cumulated CPU time (s) 435.25
Current children cumulated vsize (Kb) 7124

[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 867 0 0 0 1847 41 0 0 25 0 1 0 20082508 8712192 838 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2127 838 413 48 0 2079 0
[pid=5350] vsize: 8508
Current children cumulated CPU time (s) 444.79
Current children cumulated vsize (Kb) 10636

[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 890 0 0 0 2823 49 0 0 25 0 1 0 20082508 8712192 861 4294967295 134512640 134702520 3221223712 3221009408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2127 861 413 48 0 2079 0
[pid=5350] vsize: 8508
Current children cumulated CPU time (s) 454.63
Current children cumulated vsize (Kb) 10636

[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) T 5345 5345 4004 0 -1 0 909 0 0 0 3791 59 0 0 25 0 1 0 20082508 8826880 880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5350/statm): 2155 880 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 464.41
Current children cumulated vsize (Kb) 10748

[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) T 5345 5345 4004 0 -1 0 918 0 0 0 4763 69 0 0 25 0 1 0 20082508 8826880 889 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5350/statm): 2155 889 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 474.23
Current children cumulated vsize (Kb) 10748

[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 932 0 0 0 5738 78 0 0 25 0 1 0 20082508 8826880 903 4294967295 134512640 134702520 3221223712 3220975008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5350/statm): 2155 903 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 484.07
Current children cumulated vsize (Kb) 10748

[startup+510.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 936 0 0 0 6704 89 0 0 25 0 1 0 20082508 8826880 907 4294967295 134512640 134702520 3221223712 3221222992 134552712 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5350/statm): 2155 907 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 493.84
Current children cumulated vsize (Kb) 10748

[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 938 0 0 0 7687 93 0 0 25 0 1 0 20082508 8826880 909 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 909 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 503.71
Current children cumulated vsize (Kb) 10748

[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 940 0 0 0 8654 104 0 0 25 0 1 0 20082508 8826880 911 4294967295 134512640 134702520 3221223712 3221152588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 911 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 513.49
Current children cumulated vsize (Kb) 10748

[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 942 0 0 0 9632 112 0 0 25 0 1 0 20082508 8826880 913 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 913 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 523.35
Current children cumulated vsize (Kb) 10748

[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) T 5345 5345 4004 0 -1 0 943 0 0 0 10607 120 0 0 23 0 1 0 20082508 8826880 914 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5350/statm): 2155 914 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 533.18
Current children cumulated vsize (Kb) 10748

[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 944 0 0 0 11559 137 0 0 25 0 1 0 20082508 8826880 915 4294967295 134512640 134702520 3221223712 3221222608 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 915 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 542.87
Current children cumulated vsize (Kb) 10748

[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 944 0 0 0 12486 163 0 0 25 0 1 0 20082508 8826880 915 4294967295 134512640 134702520 3221223712 3221222992 134552573 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 915 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 552.4
Current children cumulated vsize (Kb) 10748

[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 944 0 0 0 13453 175 0 0 25 0 1 0 20082508 8826880 915 4294967295 134512640 134702520 3221223712 3220926208 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 915 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 562.19
Current children cumulated vsize (Kb) 10748

[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 945 0 0 0 14390 197 0 0 25 0 1 0 20082508 8826880 916 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 916 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 571.78
Current children cumulated vsize (Kb) 10748

[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) T 5345 5345 4004 0 -1 0 945 0 0 0 15353 208 0 0 25 0 1 0 20082508 8826880 916 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5350/statm): 2155 916 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 581.52
Current children cumulated vsize (Kb) 10748

[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 948 0 0 0 16279 233 0 0 25 0 1 0 20082508 8826880 919 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 919 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 591.03
Current children cumulated vsize (Kb) 10748

[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 950 0 0 0 17252 243 0 0 25 0 1 0 20082508 8826880 921 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 921 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 600.86
Current children cumulated vsize (Kb) 10748

[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5350
Raw data (/proc/5345/stat): 5345 (vallstSAT2005PB) S 5344 5345 4004 0 -1 0 378 1814 0 0 1 1 41828 761 19 0 1 0 20038463 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5345/statm): 532 248 485 147 0 385 0
[pid=5345] vsize: 2128
Raw data (/proc/5350/stat): 5350 (vallst) R 5345 5345 4004 0 -1 0 950 0 0 0 18126 283 0 0 25 0 1 0 20082508 8826880 921 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5350/statm): 2155 921 413 48 0 2107 0
[pid=5350] vsize: 8620
Current children cumulated CPU time (s) 610
Current children cumulated vsize (Kb) 10748
One traced child (pid=5350) exited with status: 0
New process pid=5351
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh.model
One traced child (pid=5351) exited with status: 0
New process pid=5352
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
open syscall for file /tmp/vallst_var_map
One traced child (pid=5352) exited with status: 0
New process pid=5353
New process pid=5354
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
execve syscall for /usr/bin/wc executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5354) exited with status: 0
One traced child (pid=5353) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=5355
New process pid=5356
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
execve syscall for /usr/bin/tail executable
execve syscall for /bin/sed executable
open syscall for file /etc/ld.so.preload
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 /etc/ld.so.preload
open syscall for file tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file mmx/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.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
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
One traced child (pid=5355) exited with status: 0
One traced child (pid=5356) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=5357
New process pid=5358
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
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
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/3986/stat
open syscall for file /proc/3986/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/3986/cmdline
open syscall for file /proc/3986/environ
open syscall for file /proc/4012/stat
open syscall for file /proc/4012/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4012/cmdline
open syscall for file /proc/4012/environ
open syscall for file /proc/5306/stat
open syscall for file /proc/5306/status
open syscall for file /proc/5306/cmdline
open syscall for file /proc/5306/environ
open syscall for file /proc/5344/stat
open syscall for file /proc/5344/status
open syscall for file /proc/5344/cmdline
open syscall for file /proc/5344/environ
open syscall for file /proc/5345/stat
open syscall for file /proc/5345/status
open syscall for file /proc/5345/cmdline
open syscall for file /proc/5345/environ
open syscall for file /proc/5357/stat
open syscall for file /proc/5357/status
open syscall for file /proc/5357/cmdline
open syscall for file /proc/5357/environ
open syscall for file /proc/5358/stat
open syscall for file /proc/5358/status
open syscall for file /proc/5358/cmdline
open syscall for file /proc/5358/environ
One traced child (pid=5357) exited with status: 0
One traced child (pid=5358) exited with status: 0
New process pid=5359
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.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
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5359) exited with status: 0
New process pid=5360
execve syscall for /bin/rm executable
open syscall for file /etc/ld.so.preload
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/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file .
open syscall for file .
One traced child (pid=5360) exited with status: 0
One traced child (pid=5345) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 638.814
CPU time (s): 615.663
CPU user time (s): 603.578
CPU system time (s): 12.0852
CPU usage (%): 96.3759
Max. virtual memory (cumulated for all children) (Kb): 12584

Verifier Data

Verifier:	FAILED
ERROR: unsatisfied constraint on line 1171