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