Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUMf1382105ee9fb79777762a53cf6a73c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved YES
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark18.2432
Number of variables556
Total number of constraints217
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints191
Minimum length of a constraint1
Maximum length of a constraint48

Trace number 4931

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-19 20:56:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7666 boxname=wulflinc7 idbench=634 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f1382105ee9fb79777762a53cf6a73c1  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-gt2.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-gt2.opb 0
IDLAUNCH: 7666
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        900012 kB
Buffers:         30932 kB
Cached:          78424 kB
SwapCached:        736 kB
Active:          45116 kB
Inactive:        66856 kB
HighTotal:      131008 kB
HighFree:        48888 kB
LowTotal:       903652 kB
LowFree:        851124 kB
SwapTotal:     2097136 kB
SwapFree:      2095896 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5720 kB
Slab:            16916 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 21:25:43 (client local time) WITH STATUS 0 IN 1206.53 SECONDS
stats: 7666 7 1206.53 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 11  (#equs: 1)
#decisions: 305;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2973019 (119578:>=*);
#decisions: 246;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2983759 (108838:>=*);
#decisions: 90;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2984749 (107848:>=*);
#decisions: 124;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2987849 (104748:>=*);
#decisions: 131;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2988501 (104096:>=*);
#decisions: 76;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2990949 (101648:>=*);
#decisions: 78;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2991939 (100658:>=*);
#decisions: 70;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2992099 (100498:>=*);
#decisions: 108;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2995039 (97558:>=*);
#decisions: 49;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2995454 (97143:>=*);
#decisions: 77;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2998139 (94458:>=*);
#decisions: 155;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2998304 (94293:>=*);
#decisions: 27;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  2998699 (93898:>=*);
#decisions: 38;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 182, #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:  2999956 (92641:>=*);
#decisions: 40;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 182, #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:  3000694 (91903:>=*);
#decisions: 39;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #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:  3000857 (91740:>=*);
#decisions: 31;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #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:  3001653 (90944:>=*);
#decisions: 41;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 182, #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:  3002048 (90549:>=*);
#decisions: 100;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 182, #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:  3002146 (90451:>=*);
#decisions: 49;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 182, #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:  3002227 (90370:>=*);
#decisions: 139;  #end-nodes: 84;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 3 / 80 (80)
#axs: 182, #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:  3003379 (89218:>=*);
#decisions: 171;  #end-nodes: 81;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3003491 (89106:>=*);
#decisions: 68;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3005939 (86658:>=*);
#decisions: 55;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3006334 (86263:>=*);
#decisions: 31;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3007591 (85006:>=*);
#decisions: 29;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3008478 (84119:>=*);
#decisions: 55;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #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:  3009268 (83329:>=*);
#decisions: 64;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3010130 (82467:>=*);
#decisions: 34;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #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:  3010525 (82072:>=*);
#decisions: 206;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3010705 (81892:>=*);
#decisions: 94;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3011428 (81169:>=*);
#decisions: 57;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3012685 (79912:>=*);
#decisions: 66;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3014064 (78533:>=*);
#decisions: 49;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3014640 (77957:>=*);
#decisions: 36;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3015897 (76700:>=*);
#decisions: 35;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3016456 (76141:>=*);
#decisions: 35;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3017713 (74884:>=*);
#decisions: 24;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #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:  3018284 (74313:>=*);
#decisions: 36;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #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:  3018463 (74134:>=*);
#decisions: 25;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #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:  3019639 (72958:>=*);
#decisions: 25;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3020169 (72428:>=*);
#decisions: 62;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 182, #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:  3020316 (72281:>=*);
#decisions: 30;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3020892 (71705:>=*);
#decisions: 1077;  #end-nodes: 734;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 0 / 82 (82)
#axs: 182, #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:  3022501 (70096:>=*);
#decisions: 281;  #end-nodes: 162;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #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:  3024071 (68526:>=*);
#decisions: 27;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #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:  3024647 (67950:>=*);
#decisions: 258;  #end-nodes: 174;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 13 / 80 (80)
#axs: 182, #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:  3025766 (66831:>=*);
#decisions: 74;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 182, #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:  3026174 (66423:>=*);
#decisions: 779;  #end-nodes: 527;
#proof improvement attempts: 0;  #restarts: 6
Current batch, end-nodes: 42 / 81 (81)
#axs: 182, #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:  3027197 (65400:>=*);
#decisions: 2322;  #end-nodes: 1578;
#proof improvement attempts: 0;  #restarts: 19
Current batch, end-nodes: 4 / 84 (84)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3027740 (64857:>=*);
#decisions: 22;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3028997 (63600:>=*);
#decisions: 28;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3029492 (63105:>=*);
#decisions: 53;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3029652 (62945:>=*);
#decisions: 75;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3029683 (62914:>=*);
#decisions: 43;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3030078 (62519:>=*);
#decisions: 31;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3031335 (61262:>=*);
#decisions: 41;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3032592 (60005:>=*);
#decisions: 30;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3033292 (59305:>=*);
#decisions: 34;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3033687 (58910:>=*);
#decisions: 21;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 5
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3034944 (57653:>=*);
#decisions: 3321;  #end-nodes: 2285;
#proof improvement attempts: 0;  #restarts: 26
Current batch, end-nodes: 68 / 86 (86)
#axs: 182, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3036177 (56420:>=*);
#decisions: 34;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3036829 (55768:>=*);
#decisions: 56;  #end-nodes: 31;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 182, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3037294 (55303:>=*);
#decisions: 22;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3037351 (55246:>=*);
#decisions: 23;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3037461 (55136:>=*);
#decisions: 21;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3038020 (54577:>=*);
#decisions: 77;  #end-nodes: 43;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 43 / 80 (80)
#axs: 182, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3038101 (54496:>=*);
#decisions: 5005;  #end-nodes: 3520;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 68 / 88 (88)
#axs: 182, #non-axs: 68
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3038908 (53689:>=*);
#decisions: 25373;  #end-nodes: 18369;
#proof improvement attempts: 0;  #restarts: 147
Current batch, end-nodes: 17 / 116 (116)
#axs: 182, #non-axs: 114
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3039115 (53482:>=*);
#decisions: 14411;  #end-nodes: 10097;
#proof improvement attempts: 0;  #restarts: 102
Current batch, end-nodes: 2 / 108 (105)
#axs: 182, #non-axs: 115
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3041551 (51046:>=*);
#decisions: 3332;  #end-nodes: 2285;
#proof improvement attempts: 0;  #restarts: 26
Current batch, end-nodes: 14 / 86 (86)
#axs: 182, #non-axs: 193
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3041711 (50886:>=*);
#decisions: 66;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 182, #non-axs: 193
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3042507 (50090:>=*);
#decisions: 31308;  #end-nodes: 22272;
#proof improvement attempts: 0;  #restarts: 191
Current batch, end-nodes: 12 / 135 (127)
#axs: 182, #non-axs: 301
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3042665 (49932:>=*);
#decisions: 4313;  #end-nodes: 3013;
#proof improvement attempts: 0;  #restarts: 34
Current batch, end-nodes: 30 / 88 (88)
#axs: 182, #non-axs: 317
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3043416 (49181:>=*);
#decisions: 12872;  #end-nodes: 8889;
#proof improvement attempts: 0;  #restarts: 91
Current batch, end-nodes: 5 / 102 (102)
#axs: 182, #non-axs: 447
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3043896 (48701:>=*);
#decisions: 30044;  #end-nodes: 21380;
#proof improvement attempts: 0;  #restarts: 186
Current batch, end-nodes: 53 / 130 (126)
#axs: 182, #non-axs: 429
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3043989 (48608:>=*);
#decisions: 85196;  #end-nodes: 62585;
#proof improvement attempts: 0;  #restarts: 406
Current batch, end-nodes: 0 / 181 (181)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3044059 (48538:>=*);
#decisions: 33;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3044855 (47742:>=*);
#decisions: 24;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3045250 (47347:>=*);
#decisions: 24;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3046507 (46090:>=*);
#decisions: 68;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3046999 (45598:>=*);
#decisions: 89;  #end-nodes: 57;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3047014 (45583:>=*);
#decisions: 81;  #end-nodes: 46;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 46 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3047095 (45502:>=*);
#decisions: 22;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 182, #non-axs: 320
tight: meta-meta: start: 4, end: 5;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3047795 (44802:>=*);
#decisions: 67194;  #end-nodes: 49931;
#proof improvement attempts: 0;  #restarts: 323
Current batch, end-nodes: 168 / 178 (160)
#axs: 182, #non-axs: 266
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3048247 (44350:>=*);
#decisions: 44224;  #end-nodes: 32653;
#proof improvement attempts: 0;  #restarts: 210
Current batch, end-nodes: 116 / 146 (132)
#axs: 182, #non-axs: 206
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3048373 (44224:>=*);
#decisions: 28;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 206
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3049180 (43417:>=*);
#decisions: 9077;  #end-nodes: 6439;
#proof improvement attempts: 0;  #restarts: 69
Current batch, end-nodes: 40 / 102 (97)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3049634 (42963:>=*);
#decisions: 107;  #end-nodes: 62;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 62 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3049691 (42906:>=*);
#decisions: 46;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3050262 (42335:>=*);
#decisions: 47;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3050441 (42156:>=*);
#decisions: 27;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3051617 (40980:>=*);
#decisions: 28;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3052269 (40328:>=*);
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3053362 (39235:>=*);
#decisions: 27;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 182, #non-axs: 389
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3054717 (37880:>=*);
#decisions: 124;  #end-nodes: 78;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 78 / 84 (80)
#axs: 182, #non-axs: 391
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3054871 (37726:>=*);
#decisions: 657477;  #end-nodes: 517787;
#proof improvement attempts: 0;  #restarts: 1486
Current batch, end-nodes: 120 / 451 (451)
#axs: 182, #non-axs: 145
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3055168 (37429:>=*);
#decisions: 235489;  #end-nodes: 178853;
#proof improvement attempts: 0;  #restarts: 795
Current batch, end-nodes: 154 / 278 (278)
#axs: 182, #non-axs: 208
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  3055931 (36666:>=*);
#decisions: 116189;  #end-nodes: 86499;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 199 (199)
#axs: 182, #non-axs: 209
tight: meta-meta: start: 3, end: 4;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 3055931 (36666:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 57  (#equs: 1)
Time taken: 10 min, 12 sec

2:
seed: 0
Nr of vars set: 57  (#equs: 0)
Nr of vars set: 57  (#equs: 0)
#decisions: 1073480;  #end-nodes: 854424;
#proof improvement attempts: 0;  #restarts: 1814
Current batch, end-nodes: 217 / 573 (573)
#axs: 137, #non-axs: 347
tight: meta-meta: start: 3, end: 3;  meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  1552735 (23638:>=*);
Interupt request received.
#decisions: 962745;  #end-nodes: 766456;
#proof improvement attempts: 0;  #restarts: 1648
Current batch, end-nodes: 1874 / 3772 (532)
#axs: 137, #non-axs: 302
tight: meta-meta: start: 3, end: 3;  meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 1552735 (23638:>=*)

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: 433  (#equs: 0)
Time taken: 9 min, 53 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) R 5016 5017 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1794742698 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5017/statm): 174 3 169 147 0 27 0
[pid=5017] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/vallstSAT2005PB.sh
New process pid=5018
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5018) exited with status: 0
New process pid=5019
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=5019) exited with status: 0
New process pid=5020
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-gt2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.77 0.96 0.97 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 268 0 0 0 354 200 0 0 16 0 1 0 1794742705 2383872 238 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 582 238 413 48 0 534 0
[pid=5020] vsize: 2328
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (Kb) 4456

[startup+20.0052 s]
Raw data (loadavg): 0.80 0.97 0.97 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 333 0 0 0 831 377 0 0 15 0 1 0 1794742705 2383872 303 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 582 303 413 48 0 534 0
[pid=5020] vsize: 2328
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (Kb) 4456

[startup+30.0059 s]
Raw data (loadavg): 0.91 0.98 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 344 0 0 0 1290 554 0 0 16 0 1 0 1794742705 2383872 314 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 582 314 413 48 0 534 0
[pid=5020] vsize: 2328
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (Kb) 4456

[startup+40.0075 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 346 0 0 0 1771 722 0 0 16 0 1 0 1794742705 2383872 316 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 582 316 413 48 0 534 0
[pid=5020] vsize: 2328
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (Kb) 4456

[startup+50.0081 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 347 0 0 0 2209 906 0 0 16 0 1 0 1794742705 2519040 317 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 615 317 413 48 0 567 0
[pid=5020] vsize: 2460
Current children cumulated CPU time (s) 31.16
Current children cumulated vsize (Kb) 4588

[startup+60.0078 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 348 0 0 0 2703 1067 0 0 16 0 1 0 1794742705 2514944 318 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 318 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 37.71
Current children cumulated vsize (Kb) 4584

[startup+70.0094 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 349 0 0 0 3191 1244 0 0 16 0 1 0 1794742705 2514944 319 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 319 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 44.36
Current children cumulated vsize (Kb) 4584

[startup+80.0101 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 351 0 0 0 3736 1400 0 0 16 0 1 0 1794742705 2514944 321 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 321 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 51.37
Current children cumulated vsize (Kb) 4584

[startup+90.0107 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 355 0 0 0 4261 1556 0 0 16 0 1 0 1794742705 2514944 325 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 325 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 58.18
Current children cumulated vsize (Kb) 4584

[startup+100.011 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 358 0 0 0 4819 1703 0 0 16 0 1 0 1794742705 2514944 328 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 328 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 65.23
Current children cumulated vsize (Kb) 4584

[startup+110.012 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 359 0 0 0 5328 1866 0 0 16 0 1 0 1794742705 2514944 329 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 329 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 71.95
Current children cumulated vsize (Kb) 4584

[startup+120.013 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 359 0 0 0 5879 2017 0 0 15 0 1 0 1794742705 2514944 329 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 329 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 78.97
Current children cumulated vsize (Kb) 4584

[startup+130.013 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 361 0 0 0 6432 2166 0 0 15 0 1 0 1794742705 2514944 331 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 331 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 85.99
Current children cumulated vsize (Kb) 4584

[startup+140.015 s]
Raw data (loadavg): 1.08 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 362 0 0 0 6931 2327 0 0 16 0 1 0 1794742705 2514944 332 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 332 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 92.59
Current children cumulated vsize (Kb) 4584

[startup+150.016 s]
Raw data (loadavg): 1.07 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 364 0 0 0 7489 2476 0 0 15 0 1 0 1794742705 2514944 334 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 334 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 99.66
Current children cumulated vsize (Kb) 4584

[startup+160.016 s]
Raw data (loadavg): 1.06 1.01 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 365 0 0 0 7986 2644 0 0 16 0 1 0 1794742705 2514944 335 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 335 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 106.31
Current children cumulated vsize (Kb) 4584

[startup+170.017 s]
Raw data (loadavg): 1.05 1.01 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 366 0 0 0 8542 2791 0 0 16 0 1 0 1794742705 2514944 336 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 336 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 113.34
Current children cumulated vsize (Kb) 4584

[startup+180.017 s]
Raw data (loadavg): 1.04 1.01 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 367 0 0 0 9045 2956 0 0 16 0 1 0 1794742705 2514944 337 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 337 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 4584

[startup+190.019 s]
Raw data (loadavg): 1.03 1.01 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 372 0 0 0 9627 3092 0 0 16 0 1 0 1794742705 2514944 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 342 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 127.2
Current children cumulated vsize (Kb) 4584

[startup+200.02 s]
Raw data (loadavg): 1.10 1.03 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 373 0 0 0 10133 3251 0 0 16 0 1 0 1794742705 2514944 343 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 343 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 133.85
Current children cumulated vsize (Kb) 4584

[startup+210.019 s]
Raw data (loadavg): 1.08 1.03 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 374 0 0 0 10690 3397 0 0 16 0 1 0 1794742705 2514944 344 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 614 344 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 140.88
Current children cumulated vsize (Kb) 4584

[startup+220.021 s]
Raw data (loadavg): 1.07 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 374 0 0 0 11200 3565 0 0 15 0 1 0 1794742705 2514944 344 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 344 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 147.66
Current children cumulated vsize (Kb) 4584

[startup+230.022 s]
Raw data (loadavg): 1.06 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 377 0 0 0 11779 3705 0 0 16 0 1 0 1794742705 2514944 347 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 614 347 413 48 0 566 0
[pid=5020] vsize: 2456
Current children cumulated CPU time (s) 154.85
Current children cumulated vsize (Kb) 4584

[startup+240.022 s]
Raw data (loadavg): 1.05 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 378 0 0 0 12246 3884 0 0 16 0 1 0 1794742705 2650112 348 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 647 348 413 48 0 599 0
[pid=5020] vsize: 2588
Current children cumulated CPU time (s) 161.31
Current children cumulated vsize (Kb) 4716

[startup+250.023 s]
Raw data (loadavg): 1.04 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 380 0 0 0 12822 4028 0 0 15 0 1 0 1794742705 2641920 350 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 350 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 168.51
Current children cumulated vsize (Kb) 4708

[startup+260.023 s]
Raw data (loadavg): 1.04 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 380 0 0 0 13293 4205 0 0 16 0 1 0 1794742705 2641920 350 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 350 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 174.99
Current children cumulated vsize (Kb) 4708

[startup+270.024 s]
Raw data (loadavg): 1.03 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 381 0 0 0 13853 4354 0 0 16 0 1 0 1794742705 2641920 351 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 351 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 182.08
Current children cumulated vsize (Kb) 4708

[startup+280.025 s]
Raw data (loadavg): 1.02 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 381 0 0 0 14342 4523 0 0 15 0 1 0 1794742705 2641920 351 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 351 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 188.66
Current children cumulated vsize (Kb) 4708

[startup+290.026 s]
Raw data (loadavg): 1.02 1.02 0.99 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 385 0 0 0 14919 4661 0 0 16 0 1 0 1794742705 2641920 355 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 355 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 195.81
Current children cumulated vsize (Kb) 4708

[startup+300.027 s]
Raw data (loadavg): 1.17 1.05 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 385 0 0 0 15386 4843 0 0 16 0 1 0 1794742705 2641920 355 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 355 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 202.3
Current children cumulated vsize (Kb) 4708

[startup+310.028 s]
Raw data (loadavg): 1.14 1.05 1.00 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 15896 5000 0 0 15 0 1 0 1794742705 2641920 356 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 356 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 208.97
Current children cumulated vsize (Kb) 4708

[startup+320.029 s]
Raw data (loadavg): 1.12 1.05 1.00 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 16450 5146 0 0 16 0 1 0 1794742705 2641920 356 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 356 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 215.97
Current children cumulated vsize (Kb) 4708

[startup+330.03 s]
Raw data (loadavg): 1.18 1.06 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 16919 5320 0 0 16 0 1 0 1794742705 2641920 356 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 356 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 222.4
Current children cumulated vsize (Kb) 4708

[startup+340.032 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 387 0 0 0 17437 5486 0 0 16 0 1 0 1794742705 2641920 357 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 357 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 229.24
Current children cumulated vsize (Kb) 4708

[startup+350.032 s]
Raw data (loadavg): 1.20 1.07 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 388 0 0 0 17931 5655 0 0 16 0 1 0 1794742705 2641920 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 358 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 235.87
Current children cumulated vsize (Kb) 4708

[startup+360.035 s]
Raw data (loadavg): 1.17 1.07 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 396 0 0 0 18494 5802 0 0 16 0 1 0 1794742705 2641920 366 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 366 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 242.97
Current children cumulated vsize (Kb) 4708

[startup+370.035 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 397 0 0 0 18966 5976 0 0 16 0 1 0 1794742705 2641920 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 645 367 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 249.43
Current children cumulated vsize (Kb) 4708

[startup+380.036 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 399 0 0 0 19533 6118 0 0 16 0 1 0 1794742705 2641920 369 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 369 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 256.52
Current children cumulated vsize (Kb) 4708

[startup+390.038 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 401 0 0 0 20019 6292 0 0 16 0 1 0 1794742705 2641920 371 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 371 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 263.12
Current children cumulated vsize (Kb) 4708

[startup+400.038 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 403 0 0 0 20560 6448 0 0 16 0 1 0 1794742705 2641920 373 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 373 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 270.09
Current children cumulated vsize (Kb) 4708

[startup+410.039 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 404 0 0 0 21055 6618 0 0 16 0 1 0 1794742705 2641920 374 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 645 374 413 48 0 597 0
[pid=5020] vsize: 2580
Current children cumulated CPU time (s) 276.74
Current children cumulated vsize (Kb) 4708

[startup+420.04 s]
Raw data (loadavg): 1.19 1.08 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 407 0 0 0 21643 6762 0 0 16 0 1 0 1794742705 2768896 377 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 377 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 284.06
Current children cumulated vsize (Kb) 4832

[startup+430.04 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 408 0 0 0 22130 6936 0 0 16 0 1 0 1794742705 2768896 378 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 378 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 290.67
Current children cumulated vsize (Kb) 4832

[startup+440.041 s]
Raw data (loadavg): 1.13 1.08 1.01 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 408 0 0 0 22674 7087 0 0 15 0 1 0 1794742705 2768896 378 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 378 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 297.62
Current children cumulated vsize (Kb) 4832

[startup+450.042 s]
Raw data (loadavg): 1.19 1.09 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 409 0 0 0 23163 7254 0 0 16 0 1 0 1794742705 2768896 379 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 379 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 304.18
Current children cumulated vsize (Kb) 4832

[startup+460.042 s]
Raw data (loadavg): 1.16 1.09 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 410 0 0 0 23737 7400 0 0 16 0 1 0 1794742705 2768896 380 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 380 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 311.38
Current children cumulated vsize (Kb) 4832

[startup+470.043 s]
Raw data (loadavg): 1.21 1.10 1.02 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 411 0 0 0 24208 7566 0 0 16 0 1 0 1794742705 2768896 381 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 381 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 317.75
Current children cumulated vsize (Kb) 4832

[startup+480.043 s]
Raw data (loadavg): 1.17 1.10 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 414 0 0 0 24836 7692 0 0 16 0 1 0 1794742705 2768896 384 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 384 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 325.29
Current children cumulated vsize (Kb) 4832

[startup+490.045 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 415 0 0 0 25303 7872 0 0 16 0 1 0 1794742705 2768896 385 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 385 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 331.76
Current children cumulated vsize (Kb) 4832

[startup+500.046 s]
Raw data (loadavg): 1.12 1.09 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 416 0 0 0 25915 8002 0 0 15 0 1 0 1794742705 2768896 386 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 386 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 339.18
Current children cumulated vsize (Kb) 4832

[startup+510.046 s]
Raw data (loadavg): 1.10 1.09 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 416 0 0 0 26428 8159 0 0 15 0 1 0 1794742705 2768896 386 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 386 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 345.88
Current children cumulated vsize (Kb) 4832

[startup+520.047 s]
Raw data (loadavg): 1.24 1.12 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 418 0 0 0 26979 8310 0 0 15 0 1 0 1794742705 2768896 388 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 388 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 352.9
Current children cumulated vsize (Kb) 4832

[startup+530.048 s]
Raw data (loadavg): 1.20 1.11 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 421 0 0 0 27549 8460 0 0 16 0 1 0 1794742705 2768896 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 391 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 360.1
Current children cumulated vsize (Kb) 4832

[startup+540.048 s]
Raw data (loadavg): 1.17 1.11 1.02 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 423 0 0 0 28072 8622 0 0 16 0 1 0 1794742705 2768896 393 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 393 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 366.95
Current children cumulated vsize (Kb) 4832

[startup+550.049 s]
Raw data (loadavg): 1.14 1.10 1.02 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 427 0 0 0 28714 8745 0 0 16 0 1 0 1794742705 2768896 397 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 397 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 374.6
Current children cumulated vsize (Kb) 4832

[startup+560.049 s]
Raw data (loadavg): 1.28 1.13 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 428 0 0 0 29188 8921 0 0 16 0 1 0 1794742705 2768896 398 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 398 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 381.1
Current children cumulated vsize (Kb) 4832

[startup+570.051 s]
Raw data (loadavg): 1.23 1.13 1.03 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 429 0 0 0 29808 9045 0 0 16 0 1 0 1794742705 2768896 399 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 399 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 388.54
Current children cumulated vsize (Kb) 4832

[startup+580.052 s]
Raw data (loadavg): 1.20 1.12 1.03 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 432 0 0 0 30402 9180 0 0 16 0 1 0 1794742705 2768896 402 4294967295 134512640 134702520 3221223952 3221223084 1074652326 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5020/statm): 676 402 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 395.83
Current children cumulated vsize (Kb) 4832

[startup+590.052 s]
Raw data (loadavg): 1.17 1.12 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 434 0 0 0 30910 9340 0 0 16 0 1 0 1794742705 2768896 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 676 404 413 48 0 628 0
[pid=5020] vsize: 2704
Current children cumulated CPU time (s) 402.51
Current children cumulated vsize (Kb) 4832

[startup+600.054 s]
Raw data (loadavg): 1.21 1.13 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 438 0 0 0 31531 9466 0 0 16 0 1 0 1794742705 2895872 408 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 408 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 4956

[startup+610.055 s]
Raw data (loadavg): 1.18 1.12 1.03 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 439 0 0 0 32032 9633 0 0 16 0 1 0 1794742705 2895872 409 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 409 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 416.66
Current children cumulated vsize (Kb) 4956

[startup+620.055 s]
Raw data (loadavg): 1.23 1.14 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 441 0 0 0 32619 9768 0 0 16 0 1 0 1794742705 2895872 411 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 411 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 423.88
Current children cumulated vsize (Kb) 4956

[startup+630.056 s]
Raw data (loadavg): 1.20 1.13 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 442 0 0 0 33210 9904 0 0 15 0 1 0 1794742705 2895872 412 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 412 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 431.15
Current children cumulated vsize (Kb) 4956

[startup+640.058 s]
Raw data (loadavg): 1.16 1.13 1.04 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 443 0 0 0 33712 10066 0 0 16 0 1 0 1794742705 2895872 413 4294967295 134512640 134702520 3221223952 3221222720 134550661 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 413 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 437.79
Current children cumulated vsize (Kb) 4956

[startup+650.058 s]
Raw data (loadavg): 1.14 1.12 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 34298 10200 0 0 15 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 444.99
Current children cumulated vsize (Kb) 4956

[startup+660.058 s]
Raw data (loadavg): 1.12 1.12 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 34767 10375 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 451.43
Current children cumulated vsize (Kb) 4956

[startup+670.059 s]
Raw data (loadavg): 1.10 1.11 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 35279 10533 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 458.13
Current children cumulated vsize (Kb) 4956

[startup+680.06 s]
Raw data (loadavg): 1.08 1.11 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 35747 10712 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 464.6
Current children cumulated vsize (Kb) 4956

[startup+690.061 s]
Raw data (loadavg): 1.07 1.11 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 36270 10874 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 471.45
Current children cumulated vsize (Kb) 4956

[startup+700.061 s]
Raw data (loadavg): 1.13 1.12 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 36751 11050 0 0 15 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 478.02
Current children cumulated vsize (Kb) 4956

[startup+710.062 s]
Raw data (loadavg): 1.11 1.11 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 37266 11205 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 484.72
Current children cumulated vsize (Kb) 4956

[startup+720.063 s]
Raw data (loadavg): 1.09 1.11 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 37753 11375 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 491.29
Current children cumulated vsize (Kb) 4956

[startup+730.063 s]
Raw data (loadavg): 1.16 1.12 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 444 0 0 0 38278 11532 0 0 16 0 1 0 1794742705 2895872 414 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 414 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 498.11
Current children cumulated vsize (Kb) 4956

[startup+740.065 s]
Raw data (loadavg): 1.13 1.12 1.04 2/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) R 5017 5017 15400 0 -1 0 445 0 0 0 38817 11682 0 0 15 0 1 0 1794742705 2895872 415 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 415 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 505
Current children cumulated vsize (Kb) 4956

[startup+750.066 s]
Raw data (loadavg): 1.11 1.11 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 445 0 0 0 39359 11834 0 0 15 0 1 0 1794742705 2895872 415 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 415 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 511.94
Current children cumulated vsize (Kb) 4956

[startup+760.066 s]
Raw data (loadavg): 1.10 1.11 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 39871 12001 0 0 16 0 1 0 1794742705 2895872 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 416 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 518.73
Current children cumulated vsize (Kb) 4956

[startup+770.067 s]
Raw data (loadavg): 1.08 1.11 1.03 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 40407 12160 0 0 16 0 1 0 1794742705 2895872 416 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 416 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 525.68
Current children cumulated vsize (Kb) 4956

[startup+780.067 s]
Raw data (loadavg): 1.15 1.12 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 40919 12326 0 0 16 0 1 0 1794742705 2895872 416 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 416 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 532.46
Current children cumulated vsize (Kb) 4956

[startup+790.069 s]
Raw data (loadavg): 1.12 1.11 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 41514 12465 0 0 16 0 1 0 1794742705 2895872 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 417 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 539.8
Current children cumulated vsize (Kb) 4956

[startup+800.07 s]
Raw data (loadavg): 1.10 1.11 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 42007 12631 0 0 16 0 1 0 1794742705 2895872 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 417 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 546.39
Current children cumulated vsize (Kb) 4956

[startup+810.07 s]
Raw data (loadavg): 1.09 1.11 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 42549 12783 0 0 16 0 1 0 1794742705 2895872 417 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 417 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 553.33
Current children cumulated vsize (Kb) 4956

[startup+820.071 s]
Raw data (loadavg): 1.15 1.12 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 43023 12960 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 559.84
Current children cumulated vsize (Kb) 4956

[startup+830.072 s]
Raw data (loadavg): 1.20 1.13 1.04 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 43541 13121 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 566.63
Current children cumulated vsize (Kb) 4956

[startup+840.072 s]
Raw data (loadavg): 1.24 1.14 1.05 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 44013 13297 0 0 15 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 573.11
Current children cumulated vsize (Kb) 4956

[startup+850.073 s]
Raw data (loadavg): 1.28 1.15 1.05 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 44576 13451 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 580.28
Current children cumulated vsize (Kb) 4956

[startup+860.074 s]
Raw data (loadavg): 1.31 1.16 1.06 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 45061 13619 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 586.81
Current children cumulated vsize (Kb) 4956

[startup+870.074 s]
Raw data (loadavg): 1.26 1.16 1.06 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 45593 13779 0 0 15 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 593.73
Current children cumulated vsize (Kb) 4956

[startup+880.075 s]
Raw data (loadavg): 1.29 1.17 1.06 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 46100 13948 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 600.49
Current children cumulated vsize (Kb) 4956

[startup+890.077 s]
Raw data (loadavg): 1.25 1.16 1.06 1/57 5020
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1794742698 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 242 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5020/stat): 5020 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 46641 14106 0 0 16 0 1 0 1794742705 2895872 418 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5020/statm): 707 418 413 48 0 659 0
[pid=5020] vsize: 2828
Current children cumulated CPU time (s) 607.48
Current children cumulated vsize (Kb) 4956
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5020) exited with status: 2
New process pid=5021
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5021) exited with status: 0
New process pid=5022
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+900.077 s]
Raw data (loadavg): 1.21 1.16 1.06 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 207 0 0 0 94 47 0 0 16 0 1 0 1794832480 2011136 177 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 491 177 413 48 0 443 0
[pid=5022] vsize: 1964
Current children cumulated CPU time (s) 613.85
Current children cumulated vsize (Kb) 4092

[startup+910.078 s]
Raw data (loadavg): 1.18 1.15 1.06 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 334 0 0 0 573 215 0 0 16 0 1 0 1794832480 2379776 304 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 581 304 413 48 0 533 0
[pid=5022] vsize: 2324
Current children cumulated CPU time (s) 620.32
Current children cumulated vsize (Kb) 4452

[startup+920.079 s]
Raw data (loadavg): 1.22 1.16 1.06 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 344 0 0 0 1044 392 0 0 16 0 1 0 1794832480 2510848 314 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 613 314 413 48 0 565 0
[pid=5022] vsize: 2452
Current children cumulated CPU time (s) 626.8
Current children cumulated vsize (Kb) 4580

[startup+930.08 s]
Raw data (loadavg): 1.19 1.16 1.06 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 348 0 0 0 1546 557 0 0 15 0 1 0 1794832480 2510848 318 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 613 318 413 48 0 565 0
[pid=5022] vsize: 2452
Current children cumulated CPU time (s) 633.47
Current children cumulated vsize (Kb) 4580

[startup+940.081 s]
Raw data (loadavg): 1.24 1.17 1.07 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 354 0 0 0 2012 733 0 0 16 0 1 0 1794832480 2510848 324 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 613 324 413 48 0 565 0
[pid=5022] vsize: 2452
Current children cumulated CPU time (s) 639.89
Current children cumulated vsize (Kb) 4580

[startup+950.081 s]
Raw data (loadavg): 1.20 1.16 1.07 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 360 0 0 0 2532 890 0 0 15 0 1 0 1794832480 2510848 330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 613 330 413 48 0 565 0
[pid=5022] vsize: 2452
Current children cumulated CPU time (s) 646.66
Current children cumulated vsize (Kb) 4580

[startup+960.081 s]
Raw data (loadavg): 1.24 1.17 1.07 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 362 0 0 0 2987 1071 0 0 16 0 1 0 1794832480 2510848 332 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 613 332 413 48 0 565 0
[pid=5022] vsize: 2452
Current children cumulated CPU time (s) 653.02
Current children cumulated vsize (Kb) 4580

[startup+970.082 s]
Raw data (loadavg): 1.28 1.18 1.07 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 367 0 0 0 3544 1222 0 0 15 0 1 0 1794832480 2510848 337 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 613 337 413 48 0 565 0
[pid=5022] vsize: 2452
Current children cumulated CPU time (s) 660.1
Current children cumulated vsize (Kb) 4580

[startup+980.082 s]
Raw data (loadavg): 1.24 1.17 1.07 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 370 0 0 0 3995 1397 0 0 16 0 1 0 1794832480 2510848 340 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 613 340 413 48 0 565 0
[pid=5022] vsize: 2452
Current children cumulated CPU time (s) 666.36
Current children cumulated vsize (Kb) 4580

[startup+990.084 s]
Raw data (loadavg): 1.20 1.17 1.07 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 377 0 0 0 4574 1539 0 0 16 0 1 0 1794832480 2646016 347 4294967295 134512640 134702520 3221223712 3221222992 134550624 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 646 347 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 673.57
Current children cumulated vsize (Kb) 4712

[startup+1000.08 s]
Raw data (loadavg): 1.17 1.16 1.07 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 380 0 0 0 5043 1715 0 0 16 0 1 0 1794832480 2646016 350 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 646 350 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 680.02
Current children cumulated vsize (Kb) 4712

[startup+1010.09 s]
Raw data (loadavg): 1.22 1.17 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 383 0 0 0 5612 1862 0 0 15 0 1 0 1794832480 2646016 353 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 646 353 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 687.18
Current children cumulated vsize (Kb) 4712

[startup+1020.09 s]
Raw data (loadavg): 1.26 1.18 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 385 0 0 0 6093 2040 0 0 16 0 1 0 1794832480 2646016 355 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 646 355 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 693.77
Current children cumulated vsize (Kb) 4712

[startup+1030.09 s]
Raw data (loadavg): 1.30 1.19 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 386 0 0 0 6643 2187 0 0 16 0 1 0 1794832480 2646016 356 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 646 356 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 700.74
Current children cumulated vsize (Kb) 4712

[startup+1040.09 s]
Raw data (loadavg): 1.25 1.19 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 391 0 0 0 7152 2351 0 0 16 0 1 0 1794832480 2646016 361 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 646 361 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 707.47
Current children cumulated vsize (Kb) 4712

[startup+1050.09 s]
Raw data (loadavg): 1.21 1.18 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 393 0 0 0 7690 2506 0 0 15 0 1 0 1794832480 2646016 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 646 363 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 714.4
Current children cumulated vsize (Kb) 4712

[startup+1060.09 s]
Raw data (loadavg): 1.25 1.19 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 397 0 0 0 8236 2656 0 0 16 0 1 0 1794832480 2646016 367 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 646 367 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 721.36
Current children cumulated vsize (Kb) 4712

[startup+1070.09 s]
Raw data (loadavg): 1.29 1.20 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 398 0 0 0 8740 2829 0 0 16 0 1 0 1794832480 2646016 368 4294967295 134512640 134702520 3221223712 3221222832 134578979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 646 368 413 48 0 598 0
[pid=5022] vsize: 2584
Current children cumulated CPU time (s) 728.13
Current children cumulated vsize (Kb) 4712

[startup+1080.09 s]
Raw data (loadavg): 1.25 1.19 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 406 0 0 0 9329 2969 0 0 16 0 1 0 1794832480 2777088 376 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 376 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 735.42
Current children cumulated vsize (Kb) 4840

[startup+1090.09 s]
Raw data (loadavg): 1.28 1.20 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 407 0 0 0 9803 3145 0 0 16 0 1 0 1794832480 2777088 377 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 678 377 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 741.92
Current children cumulated vsize (Kb) 4840

[startup+1100.09 s]
Raw data (loadavg): 1.24 1.20 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 410 0 0 0 10399 3280 0 0 16 0 1 0 1794832480 2777088 380 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 380 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 749.23
Current children cumulated vsize (Kb) 4840

[startup+1110.09 s]
Raw data (loadavg): 1.20 1.19 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 412 0 0 0 10911 3435 0 0 15 0 1 0 1794832480 2777088 382 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 678 382 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 755.9
Current children cumulated vsize (Kb) 4840

[startup+1120.09 s]
Raw data (loadavg): 1.24 1.20 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 415 0 0 0 11466 3587 0 0 16 0 1 0 1794832480 2777088 385 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 678 385 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 762.97
Current children cumulated vsize (Kb) 4840

[startup+1130.09 s]
Raw data (loadavg): 1.21 1.19 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 418 0 0 0 12096 3712 0 0 16 0 1 0 1794832480 2777088 388 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 388 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 770.52
Current children cumulated vsize (Kb) 4840

[startup+1140.09 s]
Raw data (loadavg): 1.17 1.18 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 419 0 0 0 12554 3882 0 0 16 0 1 0 1794832480 2777088 389 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 389 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 776.8
Current children cumulated vsize (Kb) 4840

[startup+1150.09 s]
Raw data (loadavg): 1.15 1.18 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 421 0 0 0 13152 4013 0 0 16 0 1 0 1794832480 2777088 391 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 391 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 784.09
Current children cumulated vsize (Kb) 4840

[startup+1160.09 s]
Raw data (loadavg): 1.20 1.19 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 423 0 0 0 13644 4182 0 0 16 0 1 0 1794832480 2777088 393 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 678 393 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 790.7
Current children cumulated vsize (Kb) 4840

[startup+1170.09 s]
Raw data (loadavg): 1.17 1.18 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 427 0 0 0 14240 4320 0 0 16 0 1 0 1794832480 2777088 397 4294967295 134512640 134702520 3221223712 3221222832 134573381 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 678 397 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 798.04
Current children cumulated vsize (Kb) 4840

[startup+1180.09 s]
Raw data (loadavg): 1.14 1.17 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 431 0 0 0 14865 4454 0 0 16 0 1 0 1794832480 2777088 401 4294967295 134512640 134702520 3221223712 3221222832 134588287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 678 401 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 805.63
Current children cumulated vsize (Kb) 4840

[startup+1190.1 s]
Raw data (loadavg): 1.20 1.18 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 432 0 0 0 15342 4627 0 0 16 0 1 0 1794832480 2777088 402 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 678 402 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 812.13
Current children cumulated vsize (Kb) 4840

[startup+1200.1 s]
Raw data (loadavg): 1.17 1.18 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 434 0 0 0 15965 4752 0 0 15 0 1 0 1794832480 2777088 404 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 404 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 819.61
Current children cumulated vsize (Kb) 4840

[startup+1210.1 s]
Raw data (loadavg): 1.22 1.19 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 435 0 0 0 16518 4907 0 0 16 0 1 0 1794832480 2777088 405 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 405 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 826.69
Current children cumulated vsize (Kb) 4840

[startup+1220.1 s]
Raw data (loadavg): 1.19 1.18 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 436 0 0 0 17055 5059 0 0 16 0 1 0 1794832480 2777088 406 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 678 406 413 48 0 630 0
[pid=5022] vsize: 2712
Current children cumulated CPU time (s) 833.58
Current children cumulated vsize (Kb) 4840

[startup+1230.1 s]
Raw data (loadavg): 1.16 1.17 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 438 0 0 0 17643 5200 0 0 16 0 1 0 1794832480 2908160 408 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 710 408 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 840.87
Current children cumulated vsize (Kb) 4968

[startup+1240.1 s]
Raw data (loadavg): 1.13 1.17 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 439 0 0 0 18119 5379 0 0 16 0 1 0 1794832480 2908160 409 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 710 409 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 847.42
Current children cumulated vsize (Kb) 4968

[startup+1250.1 s]
Raw data (loadavg): 1.11 1.16 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 439 0 0 0 18756 5501 0 0 15 0 1 0 1794832480 2908160 409 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 710 409 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 855.01
Current children cumulated vsize (Kb) 4968

[startup+1260.1 s]
Raw data (loadavg): 1.09 1.16 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 442 0 0 0 19394 5621 0 0 16 0 1 0 1794832480 2908160 412 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 710 412 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 862.59
Current children cumulated vsize (Kb) 4968

[startup+1270.1 s]
Raw data (loadavg): 1.08 1.15 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 443 0 0 0 19864 5800 0 0 16 0 1 0 1794832480 2908160 413 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 710 413 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 869.08
Current children cumulated vsize (Kb) 4968

[startup+1280.1 s]
Raw data (loadavg): 1.07 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 443 0 0 0 20486 5929 0 0 16 0 1 0 1794832480 2908160 413 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 710 413 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 876.59
Current children cumulated vsize (Kb) 4968

[startup+1290.1 s]
Raw data (loadavg): 1.06 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 446 0 0 0 21138 6048 0 0 16 0 1 0 1794832480 2908160 416 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 710 416 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 884.3
Current children cumulated vsize (Kb) 4968

[startup+1300.1 s]
Raw data (loadavg): 1.05 1.14 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 447 0 0 0 21605 6226 0 0 16 0 1 0 1794832480 2908160 417 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 710 417 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 890.75
Current children cumulated vsize (Kb) 4968

[startup+1310.1 s]
Raw data (loadavg): 1.11 1.15 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 448 0 0 0 22235 6354 0 0 16 0 1 0 1794832480 2908160 418 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 710 418 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 898.33
Current children cumulated vsize (Kb) 4968

[startup+1320.1 s]
Raw data (loadavg): 1.10 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 450 0 0 0 22796 6502 0 0 16 0 1 0 1794832480 2908160 420 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 710 420 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 905.42
Current children cumulated vsize (Kb) 4968

[startup+1330.1 s]
Raw data (loadavg): 1.08 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 451 0 0 0 23332 6655 0 0 16 0 1 0 1794832480 2908160 421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 710 421 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 912.31
Current children cumulated vsize (Kb) 4968

[startup+1340.11 s]
Raw data (loadavg): 1.07 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 453 0 0 0 23997 6769 0 0 16 0 1 0 1794832480 2908160 423 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 710 423 413 48 0 662 0
[pid=5022] vsize: 2840
Current children cumulated CPU time (s) 920.1
Current children cumulated vsize (Kb) 4968

[startup+1350.11 s]
Raw data (loadavg): 1.06 1.13 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 24563 6917 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 426 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 927.24
Current children cumulated vsize (Kb) 4972

[startup+1360.11 s]
Raw data (loadavg): 1.12 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 25034 7093 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 426 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 933.71
Current children cumulated vsize (Kb) 4972

[startup+1370.11 s]
Raw data (loadavg): 1.18 1.15 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 25540 7259 0 0 15 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 426 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 940.43
Current children cumulated vsize (Kb) 4972

[startup+1380.11 s]
Raw data (loadavg): 1.15 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 26007 7437 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 426 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 946.88
Current children cumulated vsize (Kb) 4972

[startup+1390.11 s]
Raw data (loadavg): 1.12 1.14 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 456 0 0 0 26530 7599 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222832 134578657 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 426 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 953.73
Current children cumulated vsize (Kb) 4972

[startup+1400.11 s]
Raw data (loadavg): 1.10 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 456 0 0 0 26995 7778 0 0 16 0 1 0 1794832480 2912256 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 426 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 960.17
Current children cumulated vsize (Kb) 4972

[startup+1410.11 s]
Raw data (loadavg): 1.09 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 27538 7928 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 427 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 967.1
Current children cumulated vsize (Kb) 4972

[startup+1420.11 s]
Raw data (loadavg): 1.07 1.12 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 27998 8110 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 427 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 973.52
Current children cumulated vsize (Kb) 4972

[startup+1430.11 s]
Raw data (loadavg): 1.06 1.12 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 28562 8256 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 427 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 980.62
Current children cumulated vsize (Kb) 4972

[startup+1440.11 s]
Raw data (loadavg): 1.13 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 457 0 0 0 29037 8432 0 0 16 0 1 0 1794832480 2912256 427 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 427 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 987.13
Current children cumulated vsize (Kb) 4972

[startup+1450.12 s]
Raw data (loadavg): 1.11 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 458 0 0 0 29611 8574 0 0 16 0 1 0 1794832480 2912256 428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 428 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 994.29
Current children cumulated vsize (Kb) 4972

[startup+1460.12 s]
Raw data (loadavg): 1.09 1.12 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 458 0 0 0 30114 8740 0 0 16 0 1 0 1794832480 2912256 428 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 428 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1000.98
Current children cumulated vsize (Kb) 4972

[startup+1470.12 s]
Raw data (loadavg): 1.16 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 30636 8904 0 0 16 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 429 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1007.84
Current children cumulated vsize (Kb) 4972

[startup+1480.12 s]
Raw data (loadavg): 1.13 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 31164 9059 0 0 16 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 429 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1014.67
Current children cumulated vsize (Kb) 4972

[startup+1490.12 s]
Raw data (loadavg): 1.11 1.12 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 31681 9220 0 0 15 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 429 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1021.45
Current children cumulated vsize (Kb) 4972

[startup+1500.12 s]
Raw data (loadavg): 1.10 1.12 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 32294 9351 0 0 16 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 429 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1028.89
Current children cumulated vsize (Kb) 4972

[startup+1510.12 s]
Raw data (loadavg): 1.08 1.11 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 459 0 0 0 32763 9527 0 0 15 0 1 0 1794832480 2912256 429 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 429 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1035.34
Current children cumulated vsize (Kb) 4972

[startup+1520.12 s]
Raw data (loadavg): 1.07 1.11 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 460 0 0 0 33359 9668 0 0 16 0 1 0 1794832480 2912256 430 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 430 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1042.71
Current children cumulated vsize (Kb) 4972

[startup+1530.12 s]
Raw data (loadavg): 1.06 1.11 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 460 0 0 0 33859 9835 0 0 16 0 1 0 1794832480 2912256 430 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 430 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1049.38
Current children cumulated vsize (Kb) 4972

[startup+1540.12 s]
Raw data (loadavg): 1.05 1.10 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 461 0 0 0 34454 9970 0 0 16 0 1 0 1794832480 2912256 431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 431 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1056.68
Current children cumulated vsize (Kb) 4972

[startup+1550.12 s]
Raw data (loadavg): 1.04 1.10 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 464 0 0 0 35059 10102 0 0 15 0 1 0 1794832480 2912256 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 434 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1064.05
Current children cumulated vsize (Kb) 4972

[startup+1560.13 s]
Raw data (loadavg): 1.03 1.10 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 464 0 0 0 35533 10271 0 0 16 0 1 0 1794832480 2912256 434 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 434 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1070.48
Current children cumulated vsize (Kb) 4972

[startup+1570.13 s]
Raw data (loadavg): 1.03 1.09 1.08 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 464 0 0 0 36136 10409 0 0 16 0 1 0 1794832480 2912256 434 4294967295 134512640 134702520 3221223712 3221222832 134584609 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 434 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1077.89
Current children cumulated vsize (Kb) 4972

[startup+1580.13 s]
Raw data (loadavg): 1.02 1.09 1.08 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 465 0 0 0 36663 10569 0 0 16 0 1 0 1794832480 2912256 435 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 435 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1084.76
Current children cumulated vsize (Kb) 4972

[startup+1590.13 s]
Raw data (loadavg): 1.10 1.10 1.09 2/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) R 5017 5017 15400 0 -1 0 465 0 0 0 37219 10717 0 0 16 0 1 0 1794832480 2912256 435 4294967295 134512640 134702520 3221223712 3221222832 134573088 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 435 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1091.8
Current children cumulated vsize (Kb) 4972

[startup+1600.13 s]
Raw data (loadavg): 1.24 1.13 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 468 0 0 0 37846 10845 0 0 16 0 1 0 1794832480 2912256 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 438 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1099.35
Current children cumulated vsize (Kb) 4972

[startup+1610.13 s]
Raw data (loadavg): 1.35 1.16 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 468 0 0 0 38326 11016 0 0 16 0 1 0 1794832480 2912256 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 438 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1105.86
Current children cumulated vsize (Kb) 4972

[startup+1620.13 s]
Raw data (loadavg): 1.30 1.15 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 468 0 0 0 38942 11147 0 0 16 0 1 0 1794832480 2912256 438 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 438 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1113.33
Current children cumulated vsize (Kb) 4972

[startup+1630.13 s]
Raw data (loadavg): 1.25 1.15 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 469 0 0 0 39489 11299 0 0 15 0 1 0 1794832480 2912256 439 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 439 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1120.32
Current children cumulated vsize (Kb) 4972

[startup+1640.13 s]
Raw data (loadavg): 1.21 1.14 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 469 0 0 0 40035 11449 0 0 16 0 1 0 1794832480 2912256 439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 439 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1127.28
Current children cumulated vsize (Kb) 4972

[startup+1650.13 s]
Raw data (loadavg): 1.18 1.14 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 469 0 0 0 40645 11583 0 0 15 0 1 0 1794832480 2912256 439 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 711 439 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1134.72
Current children cumulated vsize (Kb) 4972

[startup+1660.13 s]
Raw data (loadavg): 1.15 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 470 0 0 0 41150 11745 0 0 16 0 1 0 1794832480 2912256 440 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 711 440 413 48 0 663 0
[pid=5022] vsize: 2844
Current children cumulated CPU time (s) 1141.39
Current children cumulated vsize (Kb) 4972

[startup+1670.14 s]
Raw data (loadavg): 1.13 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 471 0 0 0 41765 11879 0 0 15 0 1 0 1794832480 3039232 441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 742 441 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1148.88
Current children cumulated vsize (Kb) 5096

[startup+1680.14 s]
Raw data (loadavg): 1.18 1.14 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 471 0 0 0 42370 12011 0 0 15 0 1 0 1794832480 3039232 441 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 742 441 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1156.25
Current children cumulated vsize (Kb) 5096

[startup+1690.14 s]
Raw data (loadavg): 1.15 1.13 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 472 0 0 0 42867 12170 0 0 16 0 1 0 1794832480 3039232 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 742 442 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1162.81
Current children cumulated vsize (Kb) 5096

[startup+1700.14 s]
Raw data (loadavg): 1.20 1.15 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 473 0 0 0 43514 12296 0 0 16 0 1 0 1794832480 3039232 443 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 742 443 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1170.54
Current children cumulated vsize (Kb) 5096

[startup+1710.14 s]
Raw data (loadavg): 1.17 1.14 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 475 0 0 0 44137 12426 0 0 16 0 1 0 1794832480 3039232 445 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 742 445 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1178.07
Current children cumulated vsize (Kb) 5096

[startup+1720.14 s]
Raw data (loadavg): 1.22 1.15 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 476 0 0 0 44626 12594 0 0 16 0 1 0 1794832480 3039232 446 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 742 446 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1184.64
Current children cumulated vsize (Kb) 5096

[startup+1730.14 s]
Raw data (loadavg): 1.18 1.15 1.10 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 45276 12717 0 0 15 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 742 447 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1192.37
Current children cumulated vsize (Kb) 5096

[startup+1740.14 s]
Raw data (loadavg): 1.16 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 45867 12855 0 0 16 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5022/statm): 742 447 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1199.66
Current children cumulated vsize (Kb) 5096

[startup+1750.14 s]
Raw data (loadavg): 1.13 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 46381 13015 0 0 16 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 742 447 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1206.4
Current children cumulated vsize (Kb) 5096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1750.14 s]
Raw data (loadavg): 1.13 1.14 1.09 1/57 5022
Raw data (/proc/5017/stat): 5017 (vallstSAT2005PB) S 5016 5017 15400 0 -1 0 378 823 0 0 1 1 47012 14230 17 0 1 0 1794742698 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5017/statm): 532 248 485 147 0 385 0
[pid=5017] vsize: 2128
Raw data (/proc/5022/stat): 5022 (vallst) T 5017 5017 15400 0 -1 0 477 0 0 0 46381 13015 0 0 16 0 1 0 1794832480 3039232 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5022/statm): 742 447 413 48 0 694 0
[pid=5022] vsize: 2968
Current children cumulated CPU time (s) 1206.4
Current children cumulated vsize (Kb) 5096

Sending SIGTERM to -5017
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5024
New process pid=5025
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
execve syscall for /bin/ps executable
One traced child (pid=5022) exited with status: 3
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/4980/stat
open syscall for file /proc/4980/status
open syscall for file /proc/4980/cmdline
open syscall for file /proc/4980/environ
open syscall for file /proc/5016/stat
open syscall for file /proc/5016/status
open syscall for file /proc/5016/cmdline
open syscall for file /proc/5016/environ
open syscall for file /proc/5017/stat
open syscall for file /proc/5017/status
open syscall for file /proc/5017/cmdline
open syscall for file /proc/5017/environ
open syscall for file /proc/5024/stat
open syscall for file /proc/5024/status
open syscall for file /proc/5024/cmdline
open syscall for file /proc/5024/environ
open syscall for file /proc/5025/stat
open syscall for file /proc/5025/status
open syscall for file /proc/5025/cmdline
open syscall for file /proc/5025/environ
One traced child (pid=5024) exited with status: 0
One traced child (pid=5025) exited with status: 0
New process pid=5026
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5026) exited with status: 0
New process pid=5027
execve syscall for /bin/rm executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file .
open syscall for file .
One traced child (pid=5027) exited with status: 0
One traced child (pid=5017) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1750.64
CPU time (s): 1206.53
CPU user time (s): 933.995
CPU system time (s): 272.533
CPU usage (%): 68.9194
Max. virtual memory (cumulated for all children) (Kb): 5096

Verifier Data

ERROR: no interpretation found !