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-ran10x12.opb |
MD5SUM | ddd1f838c1e3a248aad1987162b1d40d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 656964 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2520 |
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 | 666682247 |
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 | 666682247 |
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 | 1175.04 |
Number of variables | 2520 |
Total number of constraints | 142 |
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 | 142 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 240 |
Trace number 34189
#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-27 20:03:00 (client local time)
PB2005-SCRIPT v4.0
MARKUPS: idlaunch=19235 boxname=wulflinc21 idbench=1480 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322 /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH: ddd1f838c1e3a248aad1987162b1d40d /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-ran10x12.opb
REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-ran10x12.opb 0
IDLAUNCH: 19235
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 7
model name : Pentium III (Katmai)
stepping : 3
cpu MHz : 451.161
cache size : 512 KB
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 2
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips : 890.88
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 7
model name : Pentium III (Katmai)
stepping : 3
cpu MHz : 451.161
cache size : 512 KB
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 2
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips : 899.07
/proc/meminfo:
MemTotal: 1034660 kB
MemFree: 546784 kB
Buffers: 3584 kB
Cached: 454684 kB
SwapCached: 936 kB
Active: 19928 kB
Inactive: 440480 kB
HighTotal: 131008 kB
HighFree: 17248 kB
LowTotal: 903652 kB
LowFree: 529536 kB
SwapTotal: 2097892 kB
SwapFree: 2096012 kB
Dirty: 144 kB
Writeback: 0 kB
Mapped: 5124 kB
Slab: 21836 kB
Committed_AS: 63904 kB
PageTables: 332 kB
VmallocTotal: 114680 kB
VmallocUsed: 1368 kB
VmallocChunk: 113252 kB
JOB ENDED THE 2005-05-27 20:28:43 (client local time) WITH STATUS 10 IN 1543.02 SECONDS
stats: 19235 0 1543.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 1194 (#equs: 0)
Nr of vars set: 1194 (#equs: 0)
#decisions: 2313; #end-nodes: 126;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 45 / 80 (80)
#axs: 165, #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: 664062893 (2619353:>=*);
#decisions: 69180; #end-nodes: 5931;
#proof improvement attempts: 0; #restarts: 66
Current batch, end-nodes: 95 / 96 (96)
#axs: 165, #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: 664234088 (2448158:>=*);
#decisions: 915; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 165, #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: 664234092 (2448154:>=*);
#decisions: 968; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 165, #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: 664234232 (2448014:>=*);
#decisions: 1007; #end-nodes: 24;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 165, #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: 664234236 (2448010:>=*);
#decisions: 1033; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 165, #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: 664234242 (2448004:>=*);
#decisions: 163364; #end-nodes: 15847;
#proof improvement attempts: 0; #restarts: 158
Current batch, end-nodes: 48 / 119 (119)
#axs: 165, #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: 664293793 (2388453:>=*);
#decisions: 858; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 165, #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: 664293841 (2388405:>=*);
#decisions: 871; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 165, #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: 664293847 (2388399:>=*);
#decisions: 157380; #end-nodes: 15186;
#proof improvement attempts: 0; #restarts: 153
Current batch, end-nodes: 9 / 118 (118)
#axs: 165, #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: 664385447 (2296799:>=*);
#decisions: 858; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 165, #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: 664385479 (2296767:>=*);
#decisions: 840; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 165, #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: 664385491 (2296755:>=*);
#decisions: 840; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 165, #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: 664385492 (2296754:>=*);
#decisions: 900; #end-nodes: 57;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 165, #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: 664385496 (2296750:>=*);
#decisions: 207519; #end-nodes: 21718;
#proof improvement attempts: 0; #restarts: 205
Current batch, end-nodes: 43 / 131 (131)
#axs: 165, #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: 664447224 (2235022:>=*);
#decisions: 897; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 165, #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: 664447310 (2234936:>=*);
#decisions: 915; #end-nodes: 39;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 165, #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: 664447344 (2234902:>=*);
#decisions: 892; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 165, #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: 664447384 (2234862:>=*);
#decisions: 878; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 165, #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: 664447394 (2234852:>=*);
#decisions: 911; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 165, #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: 664447512 (2234734:>=*);
#decisions: 928; #end-nodes: 39;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 165, #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: 664447514 (2234732:>=*);
#decisions: 397124; #end-nodes: 49188;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 165, #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:) 664447514 (2234732:>=*)
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: 1194 (#equs: 0)
Time taken: 5 min, 11 sec
2:
seed: 0
Nr of vars set: 1194 (#equs: 0)
Nr of vars set: 1194 (#equs: 0)
#decisions: 777566; #end-nodes: 134030;
#proof improvement attempts: 0; #restarts: 660
Current batch, end-nodes: 273 / 285 (285)
#axs: 165, #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: 1742825 (2177437:>=*);
#decisions: 1029; #end-nodes: 84;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 84 / 120 (120)
#axs: 165, #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: 1742830 (2177432:>=*);
Interupt request received.
Model found with constant:
(pushed:) 1742830 (2177432:>=*)
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: 1194 (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.020s 0m0.006s
25m11.860s 0m29.496s
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 -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
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): 0.93 1.01 1.02 2/55 6843
Raw data (stat): 6843 (runsolver) R 6842 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 736155957 884736 94 4294967295 134512640 135332820 3221224448 3221219612 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99961 s]
Raw data (loadavg): 0.94 1.01 1.02 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+20.0001 s]
Raw data (loadavg): 0.95 1.00 1.02 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+29.9997 s]
Raw data (loadavg): 0.96 1.00 1.02 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+40.0005 s]
Raw data (loadavg): 0.96 1.00 1.02 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+50.0011 s]
Raw data (loadavg): 0.97 1.00 1.02 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+60.0007 s]
Raw data (loadavg): 0.97 1.00 1.02 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+70.0014 s]
Raw data (loadavg): 0.98 1.00 1.02 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+80.0011 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+90.0007 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+100 s]
Raw data (loadavg): 0.98 1.00 1.01 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 6846
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+140.006 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+150.007 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 1.01 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+210.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+220.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+230.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+240.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+250.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+260.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+270.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+280.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+290.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+300.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+310.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6848
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 321 232 0 0 1 0 0 0 20 0 1 0 736155957 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+320.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+330.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+340.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+350.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+360.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+370.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+380.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+390.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+400.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+410.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+420.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+430.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+440.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+450.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+460.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+470.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+480.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+490.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+500.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+510.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+520.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+530.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+540.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+550.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+560.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+570.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+580.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+590.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+600.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+610.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+620.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+630.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+640.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+650.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+660.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+670.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+680.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+690.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+700.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+710.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+720.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+730.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+740.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+750.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+760.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+770.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+780.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+790.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+800.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+810.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+820.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+830.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+840.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+850.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+860.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+870.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+880.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+890.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+900.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+910.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+920.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+930.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+940.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+950.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+960.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+970.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+980.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+990.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1000.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1010.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1020.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1030.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1040.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1050.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1060.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1070.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1080.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1090.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1100.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1110.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1120.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1130.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1140.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1150.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1160.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1170.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1180.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1190.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1200.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1210.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1220.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1230 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1240 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1250 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1260 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1270 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1280 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1290 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1300 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1310 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1320 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1330 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1340 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1350 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1360 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1370 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1380 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1390 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1400 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1410 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1420 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1430 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1440 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1450 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1460 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1470.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1480 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1490 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1500 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1510 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1520 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1530 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1540 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 6850
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1543.13 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 6862
Raw data (stat): 6843 (vallstSAT2005PB) S 6842 32363 32362 0 -1 0 369 935 0 0 1 0 30864 286 19 0 1 0 736155957 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 0
Child status: 10
Real time (s): 1543.13
CPU time (s): 1543.02
CPU user time (s): 1512.61
CPU system time (s): 30.4064
CPU usage (%): 99.9928
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier: OK 2177432
#### END VERIFIER DATA ####