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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb |
MD5SUM | b2c6bc03457d15976fdaf81252d9cdae |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 435 |
Biggest coefficient in the objective function | 282 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1168 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 282 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1168 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02284 |
Number of variables | 435 |
Total number of constraints | 935 |
Number of constraints which are clauses | 403 |
Number of constraints which are cardinality constraints (but not clauses) | 532 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Trace number 33840
#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-27 16:51:08 (client local time)
PB2005-SCRIPT v4.0
MARKUPS: idlaunch=3284 boxname=wulflinc6 idbench=365 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322 /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH: b2c6bc03457d15976fdaf81252d9cdae /oldhome/oroussel/tmp/wulflinc6/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND: vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc6/normalized-10:10:4.5:0.95:100.opb 0
IDLAUNCH: 3284
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 7
model name : Pentium III (Katmai)
stepping : 2
cpu MHz : 451.042
cache size : 512 KB
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 2
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips : 888.83
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 7
model name : Pentium III (Katmai)
stepping : 2
cpu MHz : 451.042
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: 701944 kB
Buffers: 30648 kB
Cached: 282556 kB
SwapCached: 480 kB
Active: 31172 kB
Inactive: 284388 kB
HighTotal: 131008 kB
HighFree: 252 kB
LowTotal: 903652 kB
LowFree: 701692 kB
SwapTotal: 2097136 kB
SwapFree: 2095980 kB
Dirty: 2064 kB
Writeback: 0 kB
Mapped: 5700 kB
Slab: 11524 kB
Committed_AS: 63736 kB
PageTables: 320 kB
VmallocTotal: 114680 kB
VmallocUsed: 1364 kB
VmallocChunk: 113256 kB
JOB ENDED THE 2005-05-27 17:11:38 (client local time) WITH STATUS 10 IN 1230.12 SECONDS
stats: 3284 0 1230.12 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 162; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 675 (492:>=*);
#decisions: 195; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 677 (490:>=*);
#decisions: 157; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 678 (489:>=*);
#decisions: 192; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 680 (487:>=*);
#decisions: 148; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 681 (486:>=*);
#decisions: 146; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 682 (485:>=*);
#decisions: 145; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 683 (484:>=*);
#decisions: 145; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 684 (483:>=*);
#decisions: 144; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 685 (482:>=*);
#decisions: 143; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 686 (481:>=*);
#decisions: 145; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 687 (480:>=*);
#decisions: 143; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 688 (479:>=*);
#decisions: 142; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 689 (478:>=*);
#decisions: 142; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 690 (477:>=*);
#decisions: 140; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 691 (476:>=*);
#decisions: 137; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 692 (475:>=*);
#decisions: 137; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 693 (474:>=*);
#decisions: 135; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 694 (473:>=*);
#decisions: 134; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 695 (472:>=*);
#decisions: 132; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 696 (471:>=*);
#decisions: 133; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 697 (470:>=*);
#decisions: 131; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 698 (469:>=*);
#decisions: 130; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 699 (468:>=*);
#decisions: 130; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 700 (467:>=*);
#decisions: 128; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 701 (466:>=*);
#decisions: 127; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 702 (465:>=*);
#decisions: 125; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 703 (464:>=*);
#decisions: 124; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 704 (463:>=*);
#decisions: 125; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 705 (462:>=*);
#decisions: 123; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 706 (461:>=*);
#decisions: 122; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 707 (460:>=*);
#decisions: 170; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 709 (458:>=*);
#decisions: 121; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 710 (457:>=*);
#decisions: 120; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 711 (456:>=*);
#decisions: 121; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 712 (455:>=*);
#decisions: 117; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 713 (454:>=*);
#decisions: 115; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 714 (453:>=*);
#decisions: 113; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 715 (452:>=*);
#decisions: 113; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 716 (451:>=*);
#decisions: 110; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 717 (450:>=*);
#decisions: 109; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 718 (449:>=*);
#decisions: 109; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 719 (448:>=*);
#decisions: 100; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 720 (447:>=*);
#decisions: 99; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 721 (446:>=*);
#decisions: 99; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 722 (445:>=*);
#decisions: 98; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 723 (444:>=*);
#decisions: 96; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 724 (443:>=*);
#decisions: 98; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 725 (442:>=*);
#decisions: 94; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 726 (441:>=*);
#decisions: 93; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 727 (440:>=*);
#decisions: 95; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 728 (439:>=*);
#decisions: 93; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 729 (438:>=*);
#decisions: 92; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 730 (437:>=*);
#decisions: 94; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 731 (436:>=*);
#decisions: 91; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 732 (435:>=*);
#decisions: 90; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 733 (434:>=*);
#decisions: 89; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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: 734 (433:>=*);
#decisions: 91; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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: 735 (432:>=*);
#decisions: 101; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 501, #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: 736 (431:>=*);
#decisions: 113; #end-nodes: 30;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 501, #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: 737 (430:>=*);
#decisions: 123; #end-nodes: 38;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 501, #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: 738 (429:>=*);
#decisions: 109; #end-nodes: 26;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 501, #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: 739 (428:>=*);
#decisions: 133; #end-nodes: 40;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 501, #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: 740 (427:>=*);
#decisions: 98; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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: 741 (426:>=*);
#decisions: 94; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 501, #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: 742 (425:>=*);
#decisions: 259; #end-nodes: 82;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 743 (424:>=*);
#decisions: 90; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 744 (423:>=*);
#decisions: 88; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 745 (422:>=*);
#decisions: 87; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 746 (421:>=*);
#decisions: 86; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 747 (420:>=*);
#decisions: 86; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 748 (419:>=*);
#decisions: 85; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 749 (418:>=*);
#decisions: 84; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 750 (417:>=*);
#decisions: 83; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 751 (416:>=*);
#decisions: 91; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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: 752 (415:>=*);
#decisions: 87; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 753 (414:>=*);
#decisions: 87; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 754 (413:>=*);
#decisions: 85; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 755 (412:>=*);
#decisions: 85; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 756 (411:>=*);
#decisions: 84; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 757 (410:>=*);
#decisions: 87; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 758 (409:>=*);
#decisions: 83; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 759 (408:>=*);
#decisions: 82; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 760 (407:>=*);
#decisions: 86; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 501, #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: 761 (406:>=*);
#decisions: 92; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 501, #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: 762 (405:>=*);
#decisions: 93; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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: 763 (404:>=*);
#decisions: 95; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 501, #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: 764 (403:>=*);
#decisions: 157; #end-nodes: 71;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 501, #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: 765 (402:>=*);
#decisions: 92; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 501, #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: 766 (401:>=*);
#decisions: 90; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 501, #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: 767 (400:>=*);
#decisions: 94; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 501, #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: 768 (399:>=*);
#decisions: 87; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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: 769 (398:>=*);
#decisions: 87; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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: 770 (397:>=*);
#decisions: 1038; #end-nodes: 497;
#proof improvement attempts: 0; #restarts: 6
Current batch, end-nodes: 12 / 81 (81)
#axs: 501, #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: 771 (396:>=*);
#decisions: 117; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 501, #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: 772 (395:>=*);
#decisions: 93; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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: 773 (394:>=*);
#decisions: 90; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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: 774 (393:>=*);
#decisions: 107; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 501, #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: 775 (392:>=*);
#decisions: 91; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 501, #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: 776 (391:>=*);
#decisions: 89; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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: 777 (390:>=*);
#decisions: 143; #end-nodes: 59;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 59 / 80 (80)
#axs: 501, #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: 778 (389:>=*);
#decisions: 757; #end-nodes: 386;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 64 / 81 (81)
#axs: 501, #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: 779 (388:>=*);
#decisions: 127; #end-nodes: 48;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 48 / 80 (80)
#axs: 501, #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: 780 (387:>=*);
#decisions: 84; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 501, #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: 781 (386:>=*);
#decisions: 102; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 501, #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: 782 (385:>=*);
#decisions: 86; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 501, #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: 783 (384:>=*);
#decisions: 111; #end-nodes: 33;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 501, #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: 784 (383:>=*);
#decisions: 83; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 501, #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: 785 (382:>=*);
#decisions: 14918; #end-nodes: 8322;
#proof improvement attempts: 0; #restarts: 91
Current batch, end-nodes: 0 / 102 (102)
#axs: 501, #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: 786 (381:>=*);
#decisions: 77; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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: 787 (380:>=*);
#decisions: 75; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 788 (379:>=*);
#decisions: 78; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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: 789 (378:>=*);
#decisions: 83; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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: 790 (377:>=*);
#decisions: 76; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 791 (376:>=*);
#decisions: 79; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 501, #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: 792 (375:>=*);
#decisions: 75; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 501, #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: 793 (374:>=*);
#decisions: 119; #end-nodes: 49;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 49 / 80 (80)
#axs: 501, #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: 794 (373:>=*);
#decisions: 145; #end-nodes: 74;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 74 / 80 (80)
#axs: 501, #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: 795 (372:>=*);
#decisions: 110; #end-nodes: 42;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 501, #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: 796 (371:>=*);
#decisions: 18567; #end-nodes: 10657;
#proof improvement attempts: 0; #restarts: 113
Current batch, end-nodes: 13 / 108 (108)
#axs: 501, #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: 797 (370:>=*);
#decisions: 86; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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: 798 (369:>=*);
#decisions: 86; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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: 799 (368:>=*);
#decisions: 128565; #end-nodes: 88455;
#proof improvement attempts: 0; #restarts: 580
Current batch, end-nodes: 25 / 225 (225)
#axs: 501, #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: 800 (367:>=*);
#decisions: 101; #end-nodes: 20;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 501, #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: 801 (366:>=*);
#decisions: 98; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 501, #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: 802 (365:>=*);
#decisions: 86; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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: 803 (364:>=*);
#decisions: 87; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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: 804 (363:>=*);
#decisions: 88; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 501, #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: 805 (362:>=*);
#decisions: 150; #end-nodes: 69;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 69 / 80 (80)
#axs: 501, #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: 806 (361:>=*);
#decisions: 109; #end-nodes: 26;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 501, #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: 807 (360:>=*);
#decisions: 2103805; #end-nodes: 1864654;
#proof improvement attempts: 0; #restarts: 3555
Current batch, end-nodes: 657 / 968 (968)
#axs: 501, #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: 808 (359:>=*);
#decisions: 156241; #end-nodes: 110827;
#proof improvement attempts: 0; #restarts: 674
Current batch, end-nodes: 176 / 248 (248)
#axs: 501, #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: 809 (358:>=*);
#decisions: 158; #end-nodes: 71;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 501, #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: 810 (357:>=*);
#decisions: 126; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 501, #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: 811 (356:>=*);
#decisions: 96; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 501, #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: 812 (355:>=*);
#decisions: 68424; #end-nodes: 44695;
#proof improvement attempts: 0; #restarts: 358
Current batch, end-nodes: 67 / 169 (169)
#axs: 501, #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: 813 (354:>=*);
Interupt request received.
#decisions: 1779834; #end-nodes: 1565821;
#proof improvement attempts: 0; #restarts: 3234
Current batch, end-nodes: 71 / 888 (888)
#axs: 501, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 813 (354:>=*)
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: 222 (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.016s 0m0.010s
19m53.909s 0m35.924s
v v358 v234 -v62 v5 v340 -v235 -v399 -v362 v339 v239 v6 -v398 -v360 v238 v7 -v400 v341 v236 -v143 v10 -v433 -v361 v343 -v237 v142 v8 -v416 -v365 v144 -v9 -v420 v344 v434 v357 v233 -v182 -v61 v2 v336 v232 -v186 v4 -v363 v335 -v320 v243 v3 v11 v366 v342 -v401 -v364 v345 -v415 v409 -v419 v405 v145 v404 -v386 -v153 v26 v149 -v30 -v355 v316 -v251 v246 -v181 -v63 v359 -v255 v247 -v185 v1 v356 -v319 v242 v19 v367 v337 -v15 -v406 v338 v240 -v160 -v67 -v14 v408 -v164 -v417 -v382 v349 -v150 v128 -v421 -v152 v402 -v385 -v301 v25 v148 -v29 v315 v273 -v250 v244 -v183 -v64 v16 -v354 -v277 -v254 -v187 v18 v375 -v321 -v83 -v68 -v411 -v407 v371 -v87 -v66 -v410 v370 -v352 v241 v189 -v159 -v124 -v47 -v12 -v353 v190 -v163 -v151 -v418 -v381 v348 v324 -v297 v127 -v13 -v422 -v423 -v403 v387 v346 -v300 v27 -v424 v146 v31 v372 v317 v272 -v252 v245 -v184 v65 -v17 v374 -v276 v256 -v188 -v69 -v351 -v322 v192 -v82 v43 -v350 v191 -v86 -v377 v368 v325 -v258 -v161 -v123 -v46 -v412 v323 -v259 -v165 -v21 -v413 -v383 v369 -v296 v129 -v20 v414 -v428 v388 v347 -v302 v167 v28 v168 -v147 v32 -v373 v313 v274 v253 -v180 -v77 v318 -v278 v257 v179 -v155 v73 v314 -v261 v196 -v154 -v119 -v84 v72 v42 v326 -v260 -v88 -v292 -v280 -v220 -v162 -v125 -v111 -v48 -v376 -v281 -v224 -v166 v431 -v378 -v298 v170 v130 -v90 v432 -v384 v169 -v91 v22 -v427 v380 -v303 -v210 -v131 -v51 v23 v389 -v132 v24 v275 -v249 v199 -v79 -v76 v38 v312 -v279 v248 v200 -v334 -v283 v265 v195 -v107 -v85 v70 v44 -v330 -v282 -v156 v118 -v89 -v430 -v329 -v219 -v193 -v157 v120 -v110 v93 v71 -v49 v429 -v291 -v223 v158 -v126 -v92 -v293 -v206 -v174 v122 v52 -v379 -v299 -v133 -v50 -v425 v397 -v295 -v209 v35 v393 -v304 v36 -v331 v271 -v268 v197 -v74 -v333 v270 -v269 -v78 v37 v287 v264 -v106 -v80 v39 v81 v45 -v327 v262 -v221 -v194 -v177 -v112 v97 v41 -v225 v178 v121 v53 -v394 -v328 -v205 -v173 v141 v34 v396 -v294 -v137 v33 -v426 -v311 v227 -v211 -v171 -v136 v115 v392 -v307 v228 -v332 v288 -v266 v198 -v104 -v75 v290 v215 v286 v214 -v176 -v108 v100 -v175 v101 v40 v284 v263 -v222 -v203 -v138 -v113 v96 v60 -v395 -v226 -v140 v57 -v308 v230 -v207 v116 v94 v56 -v310 v229 v114 -v212 -v172 -v134 v390 -v305 v289 -v267 v99 -v103 v98 -v102 v59 v216 -v139 -v109 v58 -v285 v217 v105 -v309 v218 -v202 v117 -v231 -v201 v95 v54 -v208 -v204 -v135 v55 v391 -v306 -v213 one
s SATISFIABLE
Interupt; Current theory and settings are copied here:
/tmp/vallst_sh_out_theory.vnf
/tmp/vallst_sh_changing_setting.options
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 29213
Raw data (stat): 29213 (runsolver) R 29212 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 799517072 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+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.0014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29216
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 29257
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 29269
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 29269
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 29269
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 29269
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 29269
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 29269
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29271
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29273
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 321 231 0 0 0 0 0 0 19 0 1 0 799517072 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.03 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 29282
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 492 1682 0 0 14 2 119393 3598 19 0 1 0 799517072 2179072 253 4294967295 134512640 135087896 3221224512 3221223160 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 253 485 147 0 385 0
vsize: 2128
[startup+1230.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 29285
Raw data (stat): 29213 (vallstSAT2005PB) S 29212 25568 25567 0 -1 0 492 1682 0 0 14 2 119393 3598 19 0 1 0 799517072 2179072 253 4294967295 134512640 135087896 3221224512 3221223160 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (statm): 532 253 485 147 0 385 0
vsize: 0
Child status: 10
Real time (s): 1230.09
CPU time (s): 1230.12
CPU user time (s): 1194.08
CPU system time (s): 36.0325
CPU usage (%): 100.002
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier: OK 72
#### END VERIFIER DATA ####