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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb
MD5SUM45da6faf70c895e4acc43dda6a83b925
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 234457
Optimality of the best value was proved NO
Number of terms in the objective function 10757
Biggest coefficient in the objective function 6873
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 13748961
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 6873
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13748961
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1191.78
Number of variables10757
Total number of constraints10881
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10881
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3861

Trace number 9190

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-23 11:19:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7912 boxname=wulflinc31 idbench=880 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  45da6faf70c895e4acc43dda6a83b925  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb 0
IDLAUNCH: 7912
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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:        934952 kB
Buffers:         14568 kB
Cached:          66080 kB
SwapCached:          0 kB
Active:          42464 kB
Inactive:        41136 kB
HighTotal:      131008 kB
HighFree:        60956 kB
LowTotal:       903652 kB
LowFree:        873996 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10492 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:39:59 (client local time) WITH STATUS 0 IN 1203.11 SECONDS
stats: 7912 7 1203.11 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 2  (#equs: 2)
#decisions: 3182;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 251, #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:  13363124 (385836:>=*);
#decisions: 3182;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #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:  13371821 (377139:>=*);
#decisions: 3182;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #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:  13391723 (357237:>=*);
#decisions: 3182;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #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:  13400559 (348401:>=*);
#decisions: 3177;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #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:  13400581 (348379:>=*);
#decisions: 3185;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13410202 (338758:>=*);
#decisions: 3181;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #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:  13418248 (330712:>=*);
#decisions: 3177;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #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:  13418269 (330691:>=*);
#decisions: 3182;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13418270 (330690:>=*);
#decisions: 3182;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13427891 (321069:>=*);
#decisions: 3178;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #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:  13431668 (317292:>=*);
#decisions: 3181;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13432593 (316367:>=*);
#decisions: 3181;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #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:  13441290 (307670:>=*);
#decisions: 3182;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 251, #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:  13450126 (298834:>=*);
#decisions: 3472;  #end-nodes: 65;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 65 / 80 (80)
#axs: 251, #non-axs: 35
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13452939 (296021:>=*);
#decisions: 3147;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 251, #non-axs: 35
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13461606 (287354:>=*);
#decisions: 3172;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 251, #non-axs: 39
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13462802 (286158:>=*);
#decisions: 3184;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 251, #non-axs: 48
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13463037 (285923:>=*);
#decisions: 3946;  #end-nodes: 115;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 35 / 80 (80)
#axs: 251, #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:  13463941 (285019:>=*);
#decisions: 649;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 251, #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:  13464175 (284785:>=*);
#decisions: 886;  #end-nodes: 83;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #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:  13465417 (283543:>=*);
#decisions: 131;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #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:  13465503 (283457:>=*);
#decisions: 134;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #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:  13467601 (281359:>=*);
#decisions: 135;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13467835 (281125:>=*);
#decisions: 137;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13467921 (281039:>=*);
#decisions: 136;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13470356 (278604:>=*);
#decisions: 145;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #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:  13470495 (278465:>=*);
#decisions: 139;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #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:  13479192 (269768:>=*);
#decisions: 196;  #end-nodes: 53;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 53 / 80 (80)
#axs: 251, #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:  13482954 (266006:>=*);
#decisions: 178;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 251, #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:  13483188 (265772:>=*);
#decisions: 156;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 251, #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:  13483274 (265686:>=*);
#decisions: 166;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 251, #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:  13491941 (257019:>=*);
#decisions: 14032;  #end-nodes: 987;
#proof improvement attempts: 0;  #restarts: 12
Current batch, end-nodes: 2 / 83 (83)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13494293 (254667:>=*);
#decisions: 2087;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13494379 (254581:>=*);
#decisions: 2087;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13494899 (254061:>=*);
#decisions: 2087;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495133 (253827:>=*);
#decisions: 2091;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495224 (253736:>=*);
#decisions: 2095;  #end-nodes: 16;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495387 (253573:>=*);
#decisions: 2090;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495473 (253487:>=*);
#decisions: 2093;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495733 (253227:>=*);
#decisions: 2095;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13496227 (252733:>=*);
#decisions: 2107;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13499476 (249484:>=*);
#decisions: 2100;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13500400 (248560:>=*);
#decisions: 2093;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 251, #non-axs: 69
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13509097 (239863:>=*);
#decisions: 27202;  #end-nodes: 1692;
#proof improvement attempts: 0;  #restarts: 20
Current batch, end-nodes: 3 / 85 (85)
#axs: 251, #non-axs: 65
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13513344 (235616:>=*);
#decisions: 25703;  #end-nodes: 1681;
#proof improvement attempts: 0;  #restarts: 19
Current batch, end-nodes: 67 / 94 (84)
#axs: 251, #non-axs: 61
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13516260 (232700:>=*);
#decisions: 20257;  #end-nodes: 1512;
#proof improvement attempts: 0;  #restarts: 17
Current batch, end-nodes: 59 / 84 (84)
#axs: 251, #non-axs: 62
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13520601 (228359:>=*);
#decisions: 34033;  #end-nodes: 3129;
#proof improvement attempts: 0;  #restarts: 28
Current batch, end-nodes: 19 / 87 (87)
#axs: 251, #non-axs: 64
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13524368 (224592:>=*);
#decisions: 2766;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 251, #non-axs: 64
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13524603  Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options
(224357:>=*);
#decisions: 51706;  #end-nodes: 3994;
#proof improvement attempts: 0;  #restarts: 46
Current batch, end-nodes: 18 / 91 (91)
#axs: 251, #non-axs: 66
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13525865 (223095:>=*);
#decisions: 678;  #end-nodes: 65;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 65 / 80 (80)
#axs: 251, #non-axs: 66
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13530128 (218832:>=*);
#decisions: 90412;  #end-nodes: 8131;
#proof improvement attempts: 0;  #restarts: 84
Current batch, end-nodes: 9 / 101 (101)
#axs: 251, #non-axs: 141
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13530738 (218222:>=*);
#decisions: 2471;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 251, #non-axs: 141
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539435 (209525:>=*);
#decisions: 2466;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 141
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13539967 (208993:>=*);
#decisions: 2491;  #end-nodes: 21;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 21 / 80 (80)
#axs: 251, #non-axs: 141
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13540269 (208691:>=*);
#decisions: 2506;  #end-nodes: 39;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 39 / 80 (80)
#axs: 251, #non-axs: 141
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13540463 (208497:>=*);
#decisions: 548290;  #end-nodes: 136553;
#proof improvement attempts: 0;  #restarts: 605
Current batch, end-nodes: 69 / 231 (231)
#axs: 251, #non-axs: 562
tight: meta-meta: start: 5, end: 7;  meta: start: 9, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 24, end (keep): 38
Model found with constant:  13551645 (197315:>=*);
Interupt request received.
#decisions: 285589;  #end-nodes: 52872;
#proof improvement attempts: 0;  #restarts: 332
Current batch, end-nodes: 144 / 163 (163)
#axs: 251, #non-axs: 835
tight: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 13
loose: meta-meta: start: 9, end: 14;  meta: start: 24, end (keep): 38
Model found with constant:
  (pushed:) 13551645 (197315:>=*)

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: 10576  (#equs: 2)
Time taken: 20 min, 2 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/5382/stat): 5382 (vallstSAT2005PB) R 5381 5382 4005 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19732545 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5382/statm): 174 3 169 147 0 27 0
[pid=5382] 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=5383
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=5383) exited with status: 0
New process pid=5384
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=5384) exited with status: 0
New process pid=5385
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/wulflinc31/normalized-mps-v2-13-7-air03.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0024 s]
Raw data (loadavg): 0.77 0.90 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 1341 0 0 0 969 13 0 0 25 0 1 0 19732551 7528448 1221 4294967295 134512640 134702520 3221223952 3221223216 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 1838 1221 413 48 0 1790 0
[pid=5385] vsize: 7352
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 9480

[startup+20.0044 s]
Raw data (loadavg): 0.81 0.90 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 1376 0 0 0 1943 22 0 0 25 0 1 0 19732551 14815232 1256 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3617 1256 413 48 0 3569 0
[pid=5385] vsize: 14468
Current children cumulated CPU time (s) 19.67
Current children cumulated vsize (Kb) 16596

[startup+30.0053 s]
Raw data (loadavg): 0.83 0.91 0.96 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 1382 0 0 0 2836 59 0 0 20 0 1 0 19732551 14815232 1262 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3617 1262 413 48 0 3569 0
[pid=5385] vsize: 14468
Current children cumulated CPU time (s) 28.97
Current children cumulated vsize (Kb) 16596

[startup+40.0062 s]
Raw data (loadavg): 0.86 0.91 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 1448 0 0 0 3706 106 0 0 22 0 1 0 19732551 14815232 1328 4294967295 134512640 134702520 3221223952 3221223536 134558746 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3617 1328 413 48 0 3569 0
[pid=5385] vsize: 14468
Current children cumulated CPU time (s) 38.14
Current children cumulated vsize (Kb) 16596

[startup+50.0071 s]
Raw data (loadavg): 0.88 0.91 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2058 0 0 0 4619 137 0 0 25 0 1 0 19732551 14962688 1938 4294967295 134512640 134702520 3221223952 3221222120 1074336470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3653 1938 413 48 0 3605 0
[pid=5385] vsize: 14612
Current children cumulated CPU time (s) 47.58
Current children cumulated vsize (Kb) 16740

[startup+60.0071 s]
Raw data (loadavg): 0.90 0.91 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2058 0 0 0 5511 174 0 0 25 0 1 0 19732551 14962688 1938 4294967295 134512640 134702520 3221223952 3221223232 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3653 1938 413 48 0 3605 0
[pid=5385] vsize: 14612
Current children cumulated CPU time (s) 56.87
Current children cumulated vsize (Kb) 16740

[startup+70.009 s]
Raw data (loadavg): 0.91 0.92 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2228 0 0 0 6433 200 0 0 25 0 1 0 19732551 14962688 2108 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3653 2108 413 48 0 3605 0
[pid=5385] vsize: 14612
Current children cumulated CPU time (s) 66.35
Current children cumulated vsize (Kb) 16740

[startup+80.0099 s]
Raw data (loadavg): 0.93 0.92 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2260 0 0 0 7350 228 0 0 25 0 1 0 19732551 15003648 2140 4294967295 134512640 134702520 3221223952 3221223344 134605970 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 2140 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 75.8
Current children cumulated vsize (Kb) 16780

[startup+90.0108 s]
Raw data (loadavg): 0.94 0.92 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2303 0 0 0 8280 251 0 0 25 0 1 0 19732551 15003648 2183 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 2183 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 85.33
Current children cumulated vsize (Kb) 16780

[startup+100.012 s]
Raw data (loadavg): 0.95 0.92 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 2906 0 0 0 9203 278 0 0 25 0 1 0 19732551 15003648 2786 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 2786 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 94.83
Current children cumulated vsize (Kb) 16780

[startup+110.013 s]
Raw data (loadavg): 0.95 0.92 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3033 0 0 0 10124 302 0 0 25 0 1 0 19732551 15003648 2913 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3663 2913 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 104.28
Current children cumulated vsize (Kb) 16780

[startup+120.015 s]
Raw data (loadavg): 0.96 0.93 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3033 0 0 0 11057 325 0 0 25 0 1 0 19732551 15003648 2913 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 2913 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 113.84
Current children cumulated vsize (Kb) 16780

[startup+130.016 s]
Raw data (loadavg): 0.97 0.93 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 11981 352 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 123.35
Current children cumulated vsize (Kb) 16780

[startup+140.016 s]
Raw data (loadavg): 0.97 0.93 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 12914 376 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 132.92
Current children cumulated vsize (Kb) 16780

[startup+150.017 s]
Raw data (loadavg): 0.98 0.93 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 13846 398 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 142.46
Current children cumulated vsize (Kb) 16780

[startup+160.017 s]
Raw data (loadavg): 0.98 0.93 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 14767 424 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 151.93
Current children cumulated vsize (Kb) 16780

[startup+170.018 s]
Raw data (loadavg): 0.98 0.94 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 15695 450 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (Kb) 16780

[startup+180.019 s]
Raw data (loadavg): 0.98 0.94 0.96 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 16622 476 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 171
Current children cumulated vsize (Kb) 16780

[startup+190.021 s]
Raw data (loadavg): 0.99 0.94 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 17547 502 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 180.51
Current children cumulated vsize (Kb) 16780

[startup+200.022 s]
Raw data (loadavg): 0.99 0.94 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 18491 521 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 190.14
Current children cumulated vsize (Kb) 16780

[startup+210.023 s]
Raw data (loadavg): 0.99 0.94 0.96 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 19422 545 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 199.69
Current children cumulated vsize (Kb) 16780

[startup+220.025 s]
Raw data (loadavg): 0.99 0.94 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 20345 572 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 209.19
Current children cumulated vsize (Kb) 16780

[startup+230.026 s]
Raw data (loadavg): 0.99 0.94 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 21263 598 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 218.63
Current children cumulated vsize (Kb) 16780

[startup+240.027 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 22192 622 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223172 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 228.16
Current children cumulated vsize (Kb) 16780

[startup+250.028 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 23127 645 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 237.74
Current children cumulated vsize (Kb) 16780

[startup+260.029 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 24054 668 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134607252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 247.24
Current children cumulated vsize (Kb) 16780

[startup+270.029 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 24983 690 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 256.75
Current children cumulated vsize (Kb) 16780

[startup+280.03 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 25915 713 0 0 21 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 266.3
Current children cumulated vsize (Kb) 16780

[startup+290.032 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 26861 732 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 275.95
Current children cumulated vsize (Kb) 16780

[startup+300.033 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 27849 736 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 285.87
Current children cumulated vsize (Kb) 16780

[startup+310.034 s]
Raw data (loadavg): 0.99 0.95 0.96 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 28802 751 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 295.55
Current children cumulated vsize (Kb) 16780

[startup+320.035 s]
Raw data (loadavg): 0.99 0.95 0.96 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 29720 781 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 305.03
Current children cumulated vsize (Kb) 16780

[startup+330.036 s]
Raw data (loadavg): 0.99 0.95 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 30653 805 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 314.6
Current children cumulated vsize (Kb) 16780

[startup+340.037 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 31584 828 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223436 134608133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 324.14
Current children cumulated vsize (Kb) 16780

[startup+350.038 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 32534 846 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223172 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 333.82
Current children cumulated vsize (Kb) 16780

[startup+360.039 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 33508 855 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 343.65
Current children cumulated vsize (Kb) 16780

[startup+370.041 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 34485 863 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223172 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 353.5
Current children cumulated vsize (Kb) 16780

[startup+380.042 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 35430 882 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 363.14
Current children cumulated vsize (Kb) 16780

[startup+390.043 s]
Raw data (loadavg): 0.99 0.96 0.96 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3224 0 0 0 36370 903 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 372.75
Current children cumulated vsize (Kb) 16780

[startup+400.043 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 37326 918 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 382.46
Current children cumulated vsize (Kb) 16780

[startup+410.044 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 38314 922 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 392.38
Current children cumulated vsize (Kb) 16780

[startup+420.045 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 39250 947 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (Kb) 16780

[startup+430.047 s]
Raw data (loadavg): 0.99 0.96 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 40185 970 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 411.57
Current children cumulated vsize (Kb) 16780

[startup+440.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 41105 998 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 421.05
Current children cumulated vsize (Kb) 16780

[startup+450.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 42046 1020 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 430.68
Current children cumulated vsize (Kb) 16780

[startup+460.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 43016 1030 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 440.48
Current children cumulated vsize (Kb) 16780

[startup+470.052 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3224 0 0 0 43980 1041 0 0 25 0 1 0 19732551 15003648 3104 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3663 3104 413 48 0 3615 0
[pid=5385] vsize: 14652
Current children cumulated CPU time (s) 450.23
Current children cumulated vsize (Kb) 16780

[startup+480.053 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3225 0 0 0 44945 1054 0 0 25 0 1 0 19732551 15110144 3105 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3689 3105 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 460.01
Current children cumulated vsize (Kb) 16884

[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3233 0 0 0 45920 1064 0 0 25 0 1 0 19732551 15110144 3113 4294967295 134512640 134702520 3221223952 3221223072 134578964 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3689 3113 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 469.86
Current children cumulated vsize (Kb) 16884

[startup+500.056 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3236 0 0 0 46886 1074 0 0 25 0 1 0 19732551 15110144 3116 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3689 3116 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 479.62
Current children cumulated vsize (Kb) 16884

[startup+510.057 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3239 0 0 0 47869 1080 0 0 25 0 1 0 19732551 15110144 3119 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3689 3119 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 489.51
Current children cumulated vsize (Kb) 16884

[startup+520.058 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3239 0 0 0 48842 1090 0 0 25 0 1 0 19732551 15110144 3119 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3689 3119 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 499.34
Current children cumulated vsize (Kb) 16884

[startup+530.058 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3241 0 0 0 49802 1104 0 0 25 0 1 0 19732551 15110144 3121 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3689 3121 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 509.08
Current children cumulated vsize (Kb) 16884

[startup+540.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3247 0 0 0 50765 1117 0 0 25 0 1 0 19732551 15110144 3127 4294967295 134512640 134702520 3221223952 3221222976 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3689 3127 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 518.84
Current children cumulated vsize (Kb) 16884

[startup+550.062 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3248 0 0 0 51733 1129 0 0 25 0 1 0 19732551 15110144 3128 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3689 3128 413 48 0 3641 0
[pid=5385] vsize: 14756
Current children cumulated CPU time (s) 528.64
Current children cumulated vsize (Kb) 16884

[startup+560.063 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3253 0 0 0 52708 1138 0 0 25 0 1 0 19732551 15237120 3133 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3720 3133 413 48 0 3672 0
[pid=5385] vsize: 14880
Current children cumulated CPU time (s) 538.48
Current children cumulated vsize (Kb) 17008

[startup+570.065 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3255 0 0 0 53669 1151 0 0 25 0 1 0 19732551 15237120 3135 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3720 3135 413 48 0 3672 0
[pid=5385] vsize: 14880
Current children cumulated CPU time (s) 548.22
Current children cumulated vsize (Kb) 17008

[startup+580.066 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3265 0 0 0 54639 1160 0 0 25 0 1 0 19732551 15237120 3145 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3720 3145 413 48 0 3672 0
[pid=5385] vsize: 14880
Current children cumulated CPU time (s) 558.01
Current children cumulated vsize (Kb) 17008

[startup+590.067 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3273 0 0 0 55612 1170 0 0 25 0 1 0 19732551 15237120 3153 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3720 3153 413 48 0 3672 0
[pid=5385] vsize: 14880
Current children cumulated CPU time (s) 567.84
Current children cumulated vsize (Kb) 17008

[startup+600.068 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3277 0 0 0 56579 1180 0 0 25 0 1 0 19732551 15237120 3157 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3720 3157 413 48 0 3672 0
[pid=5385] vsize: 14880
Current children cumulated CPU time (s) 577.61
Current children cumulated vsize (Kb) 17008

[startup+610.069 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3281 0 0 0 57550 1191 0 0 25 0 1 0 19732551 15237120 3161 4294967295 134512640 134702520 3221223952 3221223232 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3720 3161 413 48 0 3672 0
[pid=5385] vsize: 14880
Current children cumulated CPU time (s) 587.43
Current children cumulated vsize (Kb) 17008

[startup+620.07 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3284 0 0 0 58525 1200 0 0 25 0 1 0 19732551 15380480 3164 4294967295 134512640 134702520 3221223952 3221222976 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3755 3164 413 48 0 3707 0
[pid=5385] vsize: 15020
Current children cumulated CPU time (s) 597.27
Current children cumulated vsize (Kb) 17148

[startup+630.071 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3284 0 0 0 59515 1204 0 0 25 0 1 0 19732551 15380480 3164 4294967295 134512640 134702520 3221223952 3221222976 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3755 3164 413 48 0 3707 0
[pid=5385] vsize: 15020
Current children cumulated CPU time (s) 607.21
Current children cumulated vsize (Kb) 17148

[startup+640.073 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3286 0 0 0 60482 1214 0 0 25 0 1 0 19732551 15335424 3166 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3166 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 616.98
Current children cumulated vsize (Kb) 17104

[startup+650.074 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3288 0 0 0 61448 1225 0 0 25 0 1 0 19732551 15335424 3168 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3168 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 626.75
Current children cumulated vsize (Kb) 17104

[startup+660.074 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3289 0 0 0 62414 1237 0 0 25 0 1 0 19732551 15335424 3169 4294967295 134512640 134702520 3221223952 3221222976 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3169 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 636.53
Current children cumulated vsize (Kb) 17104

[startup+670.076 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3292 0 0 0 63384 1248 0 0 25 0 1 0 19732551 15335424 3172 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3172 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 646.34
Current children cumulated vsize (Kb) 17104

[startup+680.077 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3293 0 0 0 64356 1257 0 0 25 0 1 0 19732551 15335424 3173 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3173 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 656.15
Current children cumulated vsize (Kb) 17104

[startup+690.078 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3295 0 0 0 65327 1266 0 0 25 0 1 0 19732551 15335424 3175 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3744 3175 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 665.95
Current children cumulated vsize (Kb) 17104

[startup+700.079 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3300 0 0 0 66296 1275 0 0 25 0 1 0 19732551 15335424 3180 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3180 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 675.73
Current children cumulated vsize (Kb) 17104

[startup+710.08 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3304 0 0 0 67264 1287 0 0 25 0 1 0 19732551 15335424 3184 4294967295 134512640 134702520 3221223952 3221222976 134553444 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3184 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 685.53
Current children cumulated vsize (Kb) 17104

[startup+720.081 s]
Raw data (loadavg): 0.99 0.97 0.96 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3305 0 0 0 68235 1298 0 0 25 0 1 0 19732551 15335424 3185 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3744 3185 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 695.35
Current children cumulated vsize (Kb) 17104

[startup+730.082 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3305 0 0 0 69209 1308 0 0 25 0 1 0 19732551 15335424 3185 4294967295 134512640 134702520 3221223952 3221222976 134551048 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3185 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 705.19
Current children cumulated vsize (Kb) 17104

[startup+740.083 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3305 0 0 0 70197 1312 0 0 25 0 1 0 19732551 15335424 3185 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3185 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 715.11
Current children cumulated vsize (Kb) 17104

[startup+750.084 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3306 0 0 0 71166 1324 0 0 25 0 1 0 19732551 15335424 3186 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3186 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 724.92
Current children cumulated vsize (Kb) 17104

[startup+760.085 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3307 0 0 0 72138 1332 0 0 25 0 1 0 19732551 15335424 3187 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3187 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 734.72
Current children cumulated vsize (Kb) 17104

[startup+770.086 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3310 0 0 0 73112 1341 0 0 25 0 1 0 19732551 15335424 3190 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3190 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 744.55
Current children cumulated vsize (Kb) 17104

[startup+780.087 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3312 0 0 0 74083 1351 0 0 25 0 1 0 19732551 15335424 3192 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3192 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 754.36
Current children cumulated vsize (Kb) 17104

[startup+790.087 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3315 0 0 0 75048 1363 0 0 25 0 1 0 19732551 15335424 3195 4294967295 134512640 134702520 3221223952 3221223232 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3744 3195 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 764.13
Current children cumulated vsize (Kb) 17104

[startup+800.088 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3318 0 0 0 76020 1372 0 0 25 0 1 0 19732551 15335424 3198 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3744 3198 413 48 0 3696 0
[pid=5385] vsize: 14976
Current children cumulated CPU time (s) 773.94
Current children cumulated vsize (Kb) 17104

[startup+810.089 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3320 0 0 0 76989 1382 0 0 25 0 1 0 19732551 15441920 3200 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3200 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 783.73
Current children cumulated vsize (Kb) 17208

[startup+820.091 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3323 0 0 0 77959 1394 0 0 25 0 1 0 19732551 15441920 3203 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3203 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 793.55
Current children cumulated vsize (Kb) 17208

[startup+830.092 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3324 0 0 0 78923 1406 0 0 25 0 1 0 19732551 15441920 3204 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3204 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 803.31
Current children cumulated vsize (Kb) 17208

[startup+840.092 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3326 0 0 0 79892 1416 0 0 25 0 1 0 19732551 15441920 3206 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3206 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 813.1
Current children cumulated vsize (Kb) 17208

[startup+850.094 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3329 0 0 0 80862 1427 0 0 25 0 1 0 19732551 15441920 3209 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3209 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 822.91
Current children cumulated vsize (Kb) 17208

[startup+860.095 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3330 0 0 0 81832 1436 0 0 25 0 1 0 19732551 15441920 3210 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3210 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 832.7
Current children cumulated vsize (Kb) 17208

[startup+870.096 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3332 0 0 0 82806 1447 0 0 25 0 1 0 19732551 15441920 3212 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3212 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 842.55
Current children cumulated vsize (Kb) 17208

[startup+880.097 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3332 0 0 0 83794 1451 0 0 25 0 1 0 19732551 15441920 3212 4294967295 134512640 134702520 3221223952 3221222976 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3212 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 852.47
Current children cumulated vsize (Kb) 17208

[startup+890.098 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3334 0 0 0 84767 1461 0 0 25 0 1 0 19732551 15441920 3214 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3214 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 862.3
Current children cumulated vsize (Kb) 17208

[startup+900.099 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3336 0 0 0 85728 1473 0 0 25 0 1 0 19732551 15441920 3216 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3216 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 872.03
Current children cumulated vsize (Kb) 17208

[startup+910.1 s]
Raw data (loadavg): 1.07 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3337 0 0 0 86690 1486 0 0 25 0 1 0 19732551 15441920 3217 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3217 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (Kb) 17208

[startup+920.101 s]
Raw data (loadavg): 1.06 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3339 0 0 0 87649 1500 0 0 25 0 1 0 19732551 15441920 3219 4294967295 134512640 134702520 3221223952 3221223352 134606948 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3219 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 891.51
Current children cumulated vsize (Kb) 17208

[startup+930.102 s]
Raw data (loadavg): 1.05 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3340 0 0 0 88591 1521 0 0 25 0 1 0 19732551 15441920 3220 4294967295 134512640 134702520 3221223952 3221223232 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3770 3220 413 48 0 3722 0
[pid=5385] vsize: 15080
Current children cumulated CPU time (s) 901.14
Current children cumulated vsize (Kb) 17208

[startup+940.102 s]
Raw data (loadavg): 1.04 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3341 0 0 0 89540 1541 0 0 25 0 1 0 19732551 15552512 3221 4294967295 134512640 134702520 3221223952 3221223344 134605875 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3221 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 910.83
Current children cumulated vsize (Kb) 17316

[startup+950.103 s]
Raw data (loadavg): 1.04 0.99 0.97 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3341 0 0 0 90486 1560 0 0 25 0 1 0 19732551 15552512 3221 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3797 3221 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 920.48
Current children cumulated vsize (Kb) 17316

[startup+960.104 s]
Raw data (loadavg): 1.03 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3343 0 0 0 91439 1576 0 0 25 0 1 0 19732551 15552512 3223 4294967295 134512640 134702520 3221223952 3221222976 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3223 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 930.17
Current children cumulated vsize (Kb) 17316

[startup+970.106 s]
Raw data (loadavg): 1.03 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3343 0 0 0 92375 1599 0 0 25 0 1 0 19732551 15552512 3223 4294967295 134512640 134702520 3221223952 3221223232 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3223 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 939.76
Current children cumulated vsize (Kb) 17316

[startup+980.107 s]
Raw data (loadavg): 1.02 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3345 0 0 0 93338 1611 0 0 25 0 1 0 19732551 15552512 3225 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3225 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 949.51
Current children cumulated vsize (Kb) 17316

[startup+990.108 s]
Raw data (loadavg): 1.02 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3345 0 0 0 94298 1626 0 0 25 0 1 0 19732551 15552512 3225 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3797 3225 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 959.26
Current children cumulated vsize (Kb) 17316

[startup+1000.11 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3345 0 0 0 95289 1630 0 0 25 0 1 0 19732551 15552512 3225 4294967295 134512640 134702520 3221223952 3221222976 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3225 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 969.21
Current children cumulated vsize (Kb) 17316

[startup+1010.11 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3346 0 0 0 96238 1647 0 0 25 0 1 0 19732551 15552512 3226 4294967295 134512640 134702520 3221223952 3221223352 134607261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3226 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 978.87
Current children cumulated vsize (Kb) 17316

[startup+1020.11 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3346 0 0 0 97174 1669 0 0 25 0 1 0 19732551 15552512 3226 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3797 3226 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 988.45
Current children cumulated vsize (Kb) 17316

[startup+1030.11 s]
Raw data (loadavg): 1.01 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3348 0 0 0 98115 1687 0 0 25 0 1 0 19732551 15552512 3228 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3228 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 998.04
Current children cumulated vsize (Kb) 17316

[startup+1040.11 s]
Raw data (loadavg): 1.01 0.99 0.97 1/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) T 5382 5382 4005 0 -1 0 3349 0 0 0 99076 1703 0 0 25 0 1 0 19732551 15552512 3229 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3797 3229 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1007.81
Current children cumulated vsize (Kb) 17316

[startup+1050.11 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3353 0 0 0 100019 1723 0 0 25 0 1 0 19732551 15552512 3233 4294967295 134512640 134702520 3221223952 3221222976 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3233 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1017.44
Current children cumulated vsize (Kb) 17316

[startup+1060.11 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3354 0 0 0 100974 1739 0 0 25 0 1 0 19732551 15552512 3234 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3234 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1027.15
Current children cumulated vsize (Kb) 17316

[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3356 0 0 0 101929 1756 0 0 25 0 1 0 19732551 15552512 3236 4294967295 134512640 134702520 3221223952 3221223352 134607291 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3236 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1036.87
Current children cumulated vsize (Kb) 17316

[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3358 0 0 0 102891 1768 0 0 25 0 1 0 19732551 15552512 3238 4294967295 134512640 134702520 3221223952 3221222976 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3238 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1046.61
Current children cumulated vsize (Kb) 17316

[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3358 0 0 0 103880 1773 0 0 25 0 1 0 19732551 15552512 3238 4294967295 134512640 134702520 3221223952 3221222976 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3238 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1056.55
Current children cumulated vsize (Kb) 17316

[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3358 0 0 0 104847 1783 0 0 25 0 1 0 19732551 15552512 3238 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3238 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1066.32
Current children cumulated vsize (Kb) 17316

[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3361 0 0 0 105799 1799 0 0 25 0 1 0 19732551 15552512 3241 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3241 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1076
Current children cumulated vsize (Kb) 17316

[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 106738 1820 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221222976 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1085.6
Current children cumulated vsize (Kb) 17316

[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 107688 1837 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221223344 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1095.27
Current children cumulated vsize (Kb) 17316

[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 108635 1856 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1104.93
Current children cumulated vsize (Kb) 17316

[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3362 0 0 0 109552 1886 0 0 25 0 1 0 19732551 15552512 3242 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3242 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1114.4
Current children cumulated vsize (Kb) 17316

[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3364 0 0 0 110516 1898 0 0 25 0 1 0 19732551 15552512 3244 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3244 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1124.16
Current children cumulated vsize (Kb) 17316

[startup+1170.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3365 0 0 0 111482 1909 0 0 25 0 1 0 19732551 15552512 3245 4294967295 134512640 134702520 3221223952 3221223072 134584497 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3797 3245 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1133.93
Current children cumulated vsize (Kb) 17316

[startup+1180.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3366 0 0 0 112451 1922 0 0 25 0 1 0 19732551 15552512 3246 4294967295 134512640 134702520 3221223952 3221223232 134557529 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3246 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1143.75
Current children cumulated vsize (Kb) 17316

[startup+1190.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3367 0 0 0 113421 1932 0 0 25 0 1 0 19732551 15552512 3247 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3247 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1153.55
Current children cumulated vsize (Kb) 17316

[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3367 0 0 0 114407 1936 0 0 25 0 1 0 19732551 15552512 3247 4294967295 134512640 134702520 3221223952 3221222976 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3247 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1163.45
Current children cumulated vsize (Kb) 17316

[startup+1210.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3367 0 0 0 115369 1951 0 0 25 0 1 0 19732551 15552512 3247 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3247 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1173.22
Current children cumulated vsize (Kb) 17316

[startup+1220.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3369 0 0 0 116326 1964 0 0 25 0 1 0 19732551 15552512 3249 4294967295 134512640 134702520 3221223952 3221223172 134550182 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3249 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1182.92
Current children cumulated vsize (Kb) 17316

[startup+1230.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3369 0 0 0 117279 1978 0 0 20 0 1 0 19732551 15552512 3249 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3249 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1192.59
Current children cumulated vsize (Kb) 17316

[startup+1240.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3370 0 0 0 118243 1990 0 0 25 0 1 0 19732551 15552512 3250 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5385/statm): 3797 3250 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1202.35
Current children cumulated vsize (Kb) 17316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.13 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 5385
Raw data (/proc/5382/stat): 5382 (vallstSAT2005PB) S 5381 5382 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 19732545 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5382/statm): 532 242 485 147 0 385 0
[pid=5382] vsize: 2128
Raw data (/proc/5385/stat): 5385 (vallst) R 5382 5382 4005 0 -1 0 3370 0 0 0 118243 1990 0 0 25 0 1 0 19732551 15552512 3250 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5385/statm): 3797 3250 413 48 0 3749 0
[pid=5385] vsize: 15188
Current children cumulated CPU time (s) 1202.35
Current children cumulated vsize (Kb) 17316

Sending SIGTERM to -5382
Sleeping 2 seconds
New process pid=5387
New process pid=5388
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
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/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5343/stat
open syscall for file /proc/5343/status
open syscall for file /proc/5343/cmdline
open syscall for file /proc/5343/environ
open syscall for file /proc/5381/stat
open syscall for file /proc/5381/status
open syscall for file /proc/5381/cmdline
open syscall for file /proc/5381/environ
open syscall for file /proc/5382/stat
open syscall for file /proc/5382/status
open syscall for file /proc/5382/cmdline
open syscall for file /proc/5382/environ
open syscall for file /proc/5385/stat
open syscall for file /proc/5385/status
open syscall for file /proc/5385/cmdline
open syscall for file /proc/5385/environ
open syscall for file /proc/5387/stat
open syscall for file /proc/5387/status
open syscall for file /proc/5387/cmdline
open syscall for file /proc/5387/environ
open syscall for file /proc/5388/stat
open syscall for file /proc/5388/status
open syscall for file /proc/5388/cmdline
open syscall for file /proc/5388/environ
One traced child (pid=5387) exited with status: 0
One traced child (pid=5388) exited with status: 0
New process pid=5389
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=5389) exited with status: 0
New process pid=5390
execve syscall for /bin/nice 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 /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5385) exited with status: 3
One traced child (pid=5390) exited with status: 0
New process pid=5391
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=5391) exited with status: 0
New process pid=5392
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=5392) exited with status: 0
One traced child (pid=5382) 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): 1240.77
CPU time (s): 1203.11
CPU user time (s): 1183
CPU system time (s): 20.1119
CPU usage (%): 96.9644
Max. virtual memory (cumulated for all children) (Kb): 17316

Verifier Data

ERROR: no interpretation found !