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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 10547c6c0f11ab5df74fcaff6ba6d160 |
| Bench Category | optimization, small integers (OPTSMALLINT) |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 14938 |
| Optimality of the best value was proved | NO |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1230.87 |
| Number of variables | 548 |
| Total number of constraints | 724 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 550 |
| Number of constraints which are nor clauses,nor cardinality constraints | 134 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 143 |
Trace number 34481
#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-27 23:09:32 (client local time)
PB2005-SCRIPT v4.0
MARKUPS: idlaunch=13736 boxname=wulflinc21 idbench=1057 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322 /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH: 10547c6c0f11ab5df74fcaff6ba6d160 /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-p0548.opb 0
IDLAUNCH: 13736
/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: 542212 kB
Buffers: 2724 kB
Cached: 457176 kB
SwapCached: 936 kB
Active: 9556 kB
Inactive: 452524 kB
HighTotal: 131008 kB
HighFree: 57736 kB
LowTotal: 903652 kB
LowFree: 484476 kB
SwapTotal: 2097892 kB
SwapFree: 2096012 kB
Dirty: 380216 kB
Writeback: 0 kB
Mapped: 5124 kB
Slab: 24412 kB
Committed_AS: 63880 kB
PageTables: 332 kB
VmallocTotal: 114680 kB
VmallocUsed: 1368 kB
VmallocChunk: 113252 kB
JOB ENDED THE 2005-05-27 23:30:04 (client local time) WITH STATUS 10 IN 1230.87 SECONDS
stats: 13736 0 1230.87 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 16 (#equs: 0)
Nr of vars set: 22 (#equs: 0)
#decisions: 1187; #end-nodes: 276;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 32 / 80 (80)
#axs: 157, #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: 60791 (36005:>=*);
#decisions: 298; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 157, #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: 60810 (35986:>=*);
#decisions: 385; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 157, #non-axs: 1
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: 60920 (35876:>=*);
#decisions: 373; #end-nodes: 31;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 157, #non-axs: 1
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: 60925 (35871:>=*);
#decisions: 566; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 157, #non-axs: 1
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: 60944 (35852:>=*);
#decisions: 464; #end-nodes: 24;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 157, #non-axs: 1
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: 61035 (35761:>=*);
#decisions: 606; #end-nodes: 26;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 157, #non-axs: 1
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: 65471 (31325:>=*);
#decisions: 537; #end-nodes: 21;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 157, #non-axs: 3
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: 65567 (31229:>=*);
#decisions: 539857; #end-nodes: 165105;
#proof improvement attempts: 0; #restarts: 872
Current batch, end-nodes: 36 / 298 (298)
#axs: 157, #non-axs: 3
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: 65572 (31224:>=*);
#decisions: 354; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 3
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: 65590 (31206:>=*);
#decisions: 414; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 3
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: 65632 (31164:>=*);
#decisions: 809334; #end-nodes: 250292;
#proof improvement attempts: 0; #restarts: 1130
Current batch, end-nodes: 9 / 362 (362)
#axs: 157, #non-axs: 4
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: 69523 (27273:>=*);
#decisions: 751; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 4
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: 69529 (27267:>=*);
#decisions: 380; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 4
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: 69548 (27248:>=*);
#decisions: 447; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 4
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: 69568 (27228:>=*);
#decisions: 511; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 4
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: 69572 (27224:>=*);
#decisions: 464; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 4
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: 69596 (27200:>=*);
#decisions: 458; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 4
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: 69657 (27139:>=*);
#decisions: 44641; #end-nodes: 11910;
#proof improvement attempts: 0; #restarts: 124
Current batch, end-nodes: 36 / 111 (111)
#axs: 157, #non-axs: 22
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: 72767 (24029:>=*);
#decisions: 502; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 72786 (24010:>=*);
#decisions: 363; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 72792 (24004:>=*);
#decisions: 346; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 72800 (23996:>=*);
#decisions: 369; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 72819 (23977:>=*);
#decisions: 428; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 72896 (23900:>=*);
#decisions: 404; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 72902 (23894:>=*);
#decisions: 371; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 72932 (23864:>=*);
#decisions: 398; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 72959 (23837:>=*);
#decisions: 395; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 72987 (23809:>=*);
#decisions: 381; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73005 (23791:>=*);
#decisions: 356; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73020 (23776:>=*);
#decisions: 380; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73060 (23736:>=*);
#decisions: 379; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73075 (23721:>=*);
#decisions: 374; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 73104 (23692:>=*);
#decisions: 382; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73122 (23674:>=*);
#decisions: 347; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73128 (23668:>=*);
#decisions: 371; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 73165 (23631:>=*);
#decisions: 386; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73183 (23613:>=*);
#decisions: 356; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 73197 (23599:>=*);
#decisions: 369; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73222 (23574:>=*);
#decisions: 392; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73252 (23544:>=*);
#decisions: 371; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73267 (23529:>=*);
#decisions: 331; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 22
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: 73272 (23524:>=*);
#decisions: 377; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 73322 (23474:>=*);
#decisions: 405; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73341 (23455:>=*);
#decisions: 357; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73347 (23449:>=*);
#decisions: 399; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73424 (23372:>=*);
#decisions: 415; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73442 (23354:>=*);
#decisions: 386; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73473 (23323:>=*);
#decisions: 410; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 73510 (23286:>=*);
#decisions: 427; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 73522 (23274:>=*);
#decisions: 342; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 73528 (23268:>=*);
#decisions: 386; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 73582 (23214:>=*);
#decisions: 390; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73597 (23199:>=*);
#decisions: 370; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 73625 (23171:>=*);
#decisions: 416; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 157, #non-axs: 22
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: 73641 (23155:>=*);
#decisions: 379; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73671 (23125:>=*);
#decisions: 372; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73686 (23110:>=*);
#decisions: 374; #end-nodes: 27;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 157, #non-axs: 22
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: 73700 (23096:>=*);
#decisions: 348; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 22
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: 73710 (23086:>=*);
#decisions: 359; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 73728 (23068:>=*);
#decisions: 406; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 73782 (23014:>=*);
#decisions: 393; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73797 (22999:>=*);
#decisions: 360; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 22
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: 73813 (22983:>=*);
#decisions: 363; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 73831 (22965:>=*);
#decisions: 358; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 73844 (22952:>=*);
#decisions: 376; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73874 (22922:>=*);
#decisions: 380; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 73892 (22904:>=*);
#decisions: 360; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 157, #non-axs: 22
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: 73902 (22894:>=*);
#decisions: 369; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 73932 (22864:>=*);
#decisions: 409; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 157, #non-axs: 22
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: 73971 (22825:>=*);
#decisions: 480; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 157, #non-axs: 22
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: 73984 (22812:>=*);
#decisions: 341; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 73990 (22806:>=*);
#decisions: 371; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74027 (22769:>=*);
#decisions: 385; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74045 (22751:>=*);
#decisions: 353; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 74060 (22736:>=*);
#decisions: 379; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 157, #non-axs: 22
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: 74068 (22728:>=*);
#decisions: 342; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 22
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: 74076 (22720:>=*);
#decisions: 393; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74137 (22659:>=*);
#decisions: 458; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 74213 (22583:>=*);
#decisions: 420; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74232 (22564:>=*);
#decisions: 358; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 157, #non-axs: 22
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: 74238 (22558:>=*);
#decisions: 370; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74268 (22528:>=*);
#decisions: 400; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 74296 (22500:>=*);
#decisions: 379; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74314 (22482:>=*);
#decisions: 356; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74329 (22467:>=*);
#decisions: 393; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 74384 (22412:>=*);
#decisions: 429; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 74424 (22372:>=*);
#decisions: 427; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 157, #non-axs: 22
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: 74479 (22317:>=*);
#decisions: 455; #end-nodes: 33;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 157, #non-axs: 22
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: 74518 (22278:>=*);
#decisions: 426; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 157, #non-axs: 22
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: 74520 (22276:>=*);
#decisions: 349; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 157, #non-axs: 22
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: 74537 (22259:>=*);
#decisions: 397; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74592 (22204:>=*);
#decisions: 390; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74607 (22189:>=*);
#decisions: 460; #end-nodes: 55;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 157, #non-axs: 22
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: 74682 (22114:>=*);
#decisions: 480; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 157, #non-axs: 22
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: 74695 (22101:>=*);
#decisions: 360; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74713 (22083:>=*);
#decisions: 361; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 74721 (22075:>=*);
#decisions: 375; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74751 (22045:>=*);
#decisions: 383; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74769 (22027:>=*);
#decisions: 348; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74770 (22026:>=*);
#decisions: 363; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 157, #non-axs: 22
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: 74800 (21996:>=*);
#decisions: 378; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 157, #non-axs: 22
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: 74813 (21983:>=*);
#decisions: 379; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 157, #non-axs: 22
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: 74843 (21953:>=*);
#decisions: 379; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 74861 (21935:>=*);
#decisions: 372; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 74876 (21920:>=*);
#decisions: 381; #end-nodes: 33;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 157, #non-axs: 22
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: 74893 (21903:>=*);
#decisions: 443; #end-nodes: 71;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 157, #non-axs: 22
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: 74917 (21879:>=*);
#decisions: 463; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 157, #non-axs: 22
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: 74935 (21861:>=*);
#decisions: 413; #end-nodes: 40;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 157, #non-axs: 22
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: 74963 (21833:>=*);
#decisions: 377; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 157, #non-axs: 22
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: 74975 (21821:>=*);
#decisions: 342; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 74981 (21815:>=*);
#decisions: 348; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 157, #non-axs: 22
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: 74996 (21800:>=*);
#decisions: 387; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 157, #non-axs: 22
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: 75024 (21772:>=*);
#decisions: 494; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 157, #non-axs: 22
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: 75085 (21711:>=*);
#decisions: 456; #end-nodes: 53;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 157, #non-axs: 22
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: 75102 (21694:>=*);
#decisions: 512; #end-nodes: 79;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 79 / 80 (80)
#axs: 157, #non-axs: 22
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: 75114 (21682:>=*);
#decisions: 376; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 75144 (21652:>=*);
#decisions: 379; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 157, #non-axs: 22
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: 75162 (21634:>=*);
#decisions: 353; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 157, #non-axs: 22
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: 75177 (21619:>=*);
Interupt request received.
Model found with constant:
(pushed:) 75177 (21619:>=*)
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: 23 (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.018s 0m0.010s
19m36.948s 0m52.885s
v -C1001_bit0 -C1002_bit0 C1003_bit0 C1004_bit0 -C1005_bit0 -C1008_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1019_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 C1033_bit0 C1034_bit0 -C1035_bit0 -C1038_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 C1044_bit0 C1045_bit0 -C1046_bit0 -C1049_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1058_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1066_bit0 -C1067_bit0 C1068_bit0 C1069_bit0 -C1070_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 C1075_bit0 C1076_bit0 -C1077_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1087_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 C1093_bit0 C1094_bit0 -C1095_bit0 -C1098_bit0 -C1100_bit0 -C1101_bit0 C1102_bit0 -C1103_bit0 C1104_bit0 C1105_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1117_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 C1123_bit0 C1124_bit0 -C1125_bit0 C1128_bit0 C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1137_bit0 -C1139_bit0 -C1140_bit0 C1141_bit0 C1142_bit0 -C1143_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 C1174_bit0 C1175_bit0 C1176_bit0 -C1179_bit0 -C1180_bit0 C1181_bit0 C1182_bit0 C1183_bit0 -C1184_bit0 C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 C1191_bit0 -C1192_bit0 C1193_bit0 C1194_bit0 C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 C1200_bit0 C1201_bit0 -C1202_bit0 -C1205_bit0 -C1206_bit0 -C1207_bit0 -C1208_bit0 -C1209_bit0 C1210_bit0 -C1211_bit0 -C1212_bit0 -C1213_bit0 -C1214_bit0 C1215_bit0 C1216_bit0 -C1217_bit0 C1218_bit0 C1219_bit0 C1220_bit0 C1221_bit0 C1224_bit0 -C1225_bit0 -C1226_bit0 C1227_bit0 -C1228_bit0 -C1229_bit0 -C1230_bit0 -C1231_bit0 -C1232_bit0 -C1233_bit0 -C1236_bit0 -C1237_bit0 C1238_bit0 -C1239_bit0 -C1240_bit0 -C1241_bit0 -C1242_bit0 -C1243_bit0 -C1244_bit0 -C1245_bit0 -C1246_bit0 -C1249_bit0 -C1250_bit0 C1251_bit0 -C1252_bit0 -C1253_bit0 -C1254_bit0 -C1255_bit0 -C1256_bit0 -C1257_bit0 -C1258_bit0 -C1259_bit0 C1262_bit0 -C1263_bit0 -C1264_bit0 -C1265_bit0 C1266_bit0 -C1267_bit0 -C1268_bit0 -C1269_bit0 -C1270_bit0 C1271_bit0 C1272_bit0 -C1273_bit0 -C1276_bit0 -C1277_bit0 C1278_bit0 -C1279_bit0 -C1280_bit0 C1281_bit0 -C1282_bit0 -C1283_bit0 -C1284_bit0 -C1285_bit0 -C1286_bit0 -C1289_bit0 -C1290_bit0 -C1291_bit0 -C1292_bit0 C1293_bit0 -C1294_bit0 -C1295_bit0 C1296_bit0 C1297_bit0 -C1298_bit0 -C1299_bit0 -C1300_bit0 -C1303_bit0 C1304_bit0 C1305_bit0 -C1306_bit0 C1307_bit0 -C1308_bit0 -C1309_bit0 -C1310_bit0 -C1311_bit0 -C1312_bit0 C1313_bit0 C1314_bit0 -C1316_bit0 C1317_bit0 -C1318_bit0 C1319_bit0 C1320_bit0 -C1321_bit0 -C1322_bit0 -C1323_bit0 -C1324_bit0 -C1325_bit0 -C1326_bit0 C1327_bit0 -C1328_bit0 C1329_bit0 -C1330_bit0 -C1331_bit0 -C1332_bit0 C1333_bit0 C1334_bit0 C1335_bit0 C1336_bit0 C1337_bit0 -C1338_bit0 -C1339_bit0 -C1340_bit0 C1342_bit0 C1343_bit0 -C1344_bit0 -C1345_bit0 -C1346_bit0 -C1347_bit0 C1348_bit0 -C1349_bit0 -C1351_bit0 C1352_bit0 -C1353_bit0 -C1354_bit0 -C1355_bit0 -C1356_bit0 -C1357_bit0 -C1358_bit0 C1359_bit0 -C1361_bit0 -C1362_bit0 -C1363_bit0 -C1364_bit0 -C1365_bit0 -C1366_bit0 -C1367_bit0 -C1368_bit0 C1369_bit0 C1370_bit0 -C1371_bit0 -C1374_bit0 -C1375_bit0 -C1376_bit0 -C1377_bit0 -C1378_bit0 C1379_bit0 -C1380_bit0 C1381_bit0 -C1382_bit0 -C1383_bit0 -C1384_bit0 -C1387_bit0 C1388_bit0 C1389_bit0 C1390_bit0 C1391_bit0 -C1392_bit0 C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1399_bit0 -C1400_bit0 C1401_bit0 C1402_bit0 C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 C1407_bit0 C1408_bit0 -C1409_bit0 -C1412_bit0 -C1413_bit0 -C1414_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 C1418_bit0 -C1419_bit0 C1420_bit0 C1421_bit0 -C1422_bit0 -C1425_bit0 C1426_bit0 C1427_bit0 C1428_bit0 -C1429_bit0 -C1430_bit0 C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 C1437_bit0 -C1438_bit0 -C1439_bit0 -C1441_bit0 C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1449_bit0 C1450_bit0 -C1451_bit0 C1452_bit0 C1453_bit0 -C1454_bit0 -C1455_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_bit0 -C1462_bit0 -C1463_bit0 -C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 -C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1474_bit0 C1475_bit0 -C1476_bit0 -C1477_bit0 -C1478_bit0 -C1479_bit0 -C1480_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 C1485_bit0 -C1486_bit0 -C1487_bit0 C1488_bit0 -C1490_bit0 -C1491_bit0 C1492_bit0 -C1493_bit0 C1494_bit0 C1495_bit0 C1496_bit0 -C1497_bit0 -C1498_bit0 C1499_bit0 C1006_bit0 -C1007_bit0 -C1009_bit0 C1017_bit0 -C1018_bit0 -C1020_bit0 -C1027_bit0 C1028_bit0 C1036_bit0 -C1037_bit0 -C1039_bit0 -C1047_bit0 C1048_bit0 -C1050_bit0 C1056_bit0 -C1057_bit0 -C1059_bit0 -C1065_bit0 -C1071_bit0 -C1078_bit0 C1085_bit0 -C1086_bit0 -C1088_bit0 -C1096_bit0 C1097_bit0 C1099_bit0 -C1106_bit0 C1107_bit0 -C1115_bit0 C1116_bit0 -C1118_bit0 -C1126_bit0 C1127_bit0 -C1129_bit0 -C1135_bit0 C1136_bit0 -C1138_bit0 -C1144_bit0 -C1150_bit0 -C1157_bit0 -C1165_bit0 C1166_bit0 C1177_bit0 -C1178_bit0 C1189_bit0 -C1190_bit0 C1203_bit0 -C1204_bit0 -C1222_bit0 C1223_bit0 -C1234_bit0 C1235_bit0 -C1247_bit0 C1248_bit0 C1260_bit0 -C1261_bit0 C1274_bit0 -C1275_bit0 C1287_bit0 -C1288_bit0 -C1301_bit0 C1302_bit0 C1315_bit0 C1341_bit0 C1350_bit0 C1360_bit0 C1372_bit0 -C1373_bit0 C1385_bit0 -C1386_bit0 C1397_bit0 -C1398_bit0 C1410_bit0 -C1411_bit0 C1423_bit0 -C1424_bit0 C1440_bit0 C1448_bit0 -C1456_bit0 C1464_bit0 C1473_bit0 C1481_bit0 C1489_bit0 -C1500_bit0 C1501_bit0 -C1502_bit0 -C1503_bit0 C1504_bit0 -C1505_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 C1509_bit0 C1510_bit0 C1511_bit0 C1512_bit0 C1513_bit0 -C1514_bit0 -C1515_bit0 C1516_bit0 -C1517_bit0 C1518_bit0 C1519_bit0 C1520_bit0 -C1521_bit0 C1522_bit0 C1523_bit0 C1524_bit0 -C1525_bit0 C1526_bit0 C1527_bit0 C1528_bit0 C1529_bit0 C1530_bit0 C1531_bit0 C1532_bit0 C1533_bit0 C1534_bit0 -C1535_bit0 -C1536_bit0 C1537_bit0 C1538_bit0 C1539_bit0 C1540_bit0 -C1541_bit0 C1542_bit0 C1543_bit0 -C1544_bit0 -C1545_bit0 C1546_bit0 -C1547_bit0 C1548_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): 3.17 1.88 1.32 2/55 7768
Raw data (stat): 7768 (runsolver) R 7767 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 737275263 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.99997 s]
Raw data (loadavg): 2.84 1.85 1.31 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.0007 s]
Raw data (loadavg): 2.55 1.82 1.31 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+30.0013 s]
Raw data (loadavg): 2.31 1.80 1.31 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.001 s]
Raw data (loadavg): 2.11 1.77 1.30 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.0077 s]
Raw data (loadavg): 1.94 1.74 1.30 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.0074 s]
Raw data (loadavg): 1.80 1.72 1.30 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.01 s]
Raw data (loadavg): 1.67 1.69 1.29 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.0106 s]
Raw data (loadavg): 1.57 1.67 1.29 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.0103 s]
Raw data (loadavg): 1.48 1.65 1.28 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.01 s]
Raw data (loadavg): 1.41 1.63 1.28 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.011 s]
Raw data (loadavg): 1.34 1.60 1.28 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.011 s]
Raw data (loadavg): 1.29 1.58 1.27 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.011 s]
Raw data (loadavg): 1.25 1.56 1.27 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.011 s]
Raw data (loadavg): 1.21 1.55 1.27 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.013 s]
Raw data (loadavg): 1.17 1.53 1.26 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.018 s]
Raw data (loadavg): 1.15 1.51 1.26 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.018 s]
Raw data (loadavg): 1.12 1.49 1.26 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.024 s]
Raw data (loadavg): 1.10 1.48 1.25 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.024 s]
Raw data (loadavg): 1.09 1.46 1.25 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.024 s]
Raw data (loadavg): 1.07 1.44 1.25 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.03 s]
Raw data (loadavg): 1.06 1.43 1.25 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.036 s]
Raw data (loadavg): 1.05 1.41 1.24 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.036 s]
Raw data (loadavg): 1.04 1.40 1.24 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.035 s]
Raw data (loadavg): 1.04 1.39 1.24 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.036 s]
Raw data (loadavg): 1.03 1.37 1.23 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.036 s]
Raw data (loadavg): 1.02 1.36 1.23 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.035 s]
Raw data (loadavg): 1.02 1.35 1.23 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.086 s]
Raw data (loadavg): 1.02 1.34 1.22 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.086 s]
Raw data (loadavg): 1.01 1.32 1.22 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.085 s]
Raw data (loadavg): 1.01 1.31 1.22 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.085 s]
Raw data (loadavg): 1.01 1.30 1.22 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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.086 s]
Raw data (loadavg): 1.01 1.29 1.21 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+330.085 s]
Raw data (loadavg): 1.01 1.28 1.21 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+340.091 s]
Raw data (loadavg): 1.00 1.27 1.21 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+350.099 s]
Raw data (loadavg): 1.00 1.26 1.20 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+360.098 s]
Raw data (loadavg): 1.00 1.25 1.20 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+370.098 s]
Raw data (loadavg): 1.00 1.24 1.20 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+380.098 s]
Raw data (loadavg): 1.00 1.24 1.20 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+390.097 s]
Raw data (loadavg): 1.00 1.23 1.19 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+400.106 s]
Raw data (loadavg): 1.00 1.22 1.19 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+410.106 s]
Raw data (loadavg): 1.00 1.21 1.19 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+420.107 s]
Raw data (loadavg): 1.00 1.20 1.18 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+430.107 s]
Raw data (loadavg): 1.00 1.20 1.18 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+440.107 s]
Raw data (loadavg): 1.00 1.19 1.18 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+450.106 s]
Raw data (loadavg): 1.00 1.18 1.18 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+460.106 s]
Raw data (loadavg): 1.00 1.18 1.18 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+470.107 s]
Raw data (loadavg): 1.00 1.17 1.17 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+480.106 s]
Raw data (loadavg): 1.00 1.16 1.17 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+490.107 s]
Raw data (loadavg): 1.00 1.16 1.17 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+500.107 s]
Raw data (loadavg): 1.00 1.15 1.17 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+510.106 s]
Raw data (loadavg): 1.00 1.15 1.17 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+520.107 s]
Raw data (loadavg): 1.00 1.14 1.16 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+530.107 s]
Raw data (loadavg): 1.00 1.14 1.16 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+540.107 s]
Raw data (loadavg): 1.00 1.13 1.16 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+550.106 s]
Raw data (loadavg): 1.00 1.13 1.16 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+560.113 s]
Raw data (loadavg): 1.00 1.12 1.16 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+570.113 s]
Raw data (loadavg): 1.00 1.12 1.15 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+580.119 s]
Raw data (loadavg): 1.00 1.11 1.15 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+590.118 s]
Raw data (loadavg): 1.00 1.11 1.15 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+600.125 s]
Raw data (loadavg): 1.00 1.11 1.15 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+610.124 s]
Raw data (loadavg): 1.00 1.10 1.15 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+620.124 s]
Raw data (loadavg): 1.00 1.10 1.14 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+630.124 s]
Raw data (loadavg): 1.00 1.09 1.14 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+640.124 s]
Raw data (loadavg): 1.00 1.09 1.14 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+650.124 s]
Raw data (loadavg): 1.00 1.09 1.14 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+660.124 s]
Raw data (loadavg): 1.00 1.08 1.14 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+670.123 s]
Raw data (loadavg): 1.00 1.08 1.13 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+680.123 s]
Raw data (loadavg): 1.00 1.08 1.13 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+690.123 s]
Raw data (loadavg): 1.00 1.07 1.13 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+700.124 s]
Raw data (loadavg): 1.00 1.07 1.13 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+710.123 s]
Raw data (loadavg): 1.00 1.07 1.13 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+720.123 s]
Raw data (loadavg): 1.00 1.07 1.12 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+730.123 s]
Raw data (loadavg): 1.00 1.06 1.12 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+740.123 s]
Raw data (loadavg): 1.00 1.06 1.12 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+750.123 s]
Raw data (loadavg): 1.00 1.06 1.12 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+760.123 s]
Raw data (loadavg): 1.00 1.06 1.12 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+770.123 s]
Raw data (loadavg): 1.00 1.05 1.11 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+780.123 s]
Raw data (loadavg): 1.00 1.05 1.11 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+790.122 s]
Raw data (loadavg): 1.00 1.05 1.11 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+800.123 s]
Raw data (loadavg): 1.00 1.05 1.11 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+810.123 s]
Raw data (loadavg): 1.00 1.05 1.11 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+820.124 s]
Raw data (loadavg): 1.00 1.04 1.10 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+830.123 s]
Raw data (loadavg): 1.00 1.04 1.10 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+840.123 s]
Raw data (loadavg): 1.00 1.04 1.10 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+850.122 s]
Raw data (loadavg): 1.00 1.04 1.10 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+860.122 s]
Raw data (loadavg): 1.00 1.04 1.10 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+870.123 s]
Raw data (loadavg): 1.00 1.03 1.10 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+880.123 s]
Raw data (loadavg): 1.00 1.03 1.09 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+890.122 s]
Raw data (loadavg): 1.00 1.03 1.09 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+900.122 s]
Raw data (loadavg): 1.00 1.03 1.09 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+910.122 s]
Raw data (loadavg): 1.00 1.03 1.09 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+920.123 s]
Raw data (loadavg): 1.00 1.03 1.09 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+930.123 s]
Raw data (loadavg): 1.00 1.03 1.09 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+940.123 s]
Raw data (loadavg): 1.00 1.02 1.09 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+950.123 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+960.123 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+970.123 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+980.122 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+990.122 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1000.12 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1010.12 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1020.12 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1030.12 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1040.12 s]
Raw data (loadavg): 1.00 1.02 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1050.12 s]
Raw data (loadavg): 1.00 1.01 1.08 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1060.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1070.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1080.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1090.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1100.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1110.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1120.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1130.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1140.12 s]
Raw data (loadavg): 1.00 1.01 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.07 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.06 2/56 7771
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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+1232.18 s]
Raw data (loadavg): 1.00 1.00 1.06 1/54 7783
Raw data (stat): 7768 (vallstSAT2005PB) S 7767 32363 32362 0 -1 0 321 230 0 1 1 0 0 0 17 0 1 0 737275263 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: 0
Child status: 10
Real time (s): 1232.18
CPU time (s): 1230.87
CPU user time (s): 1177.15
CPU system time (s): 53.7168
CPU usage (%): 99.8936
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier: OK 21619
#### END VERIFIER DATA ####