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/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM99657262afbbfce7034a3ec6b29d9b3b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved YES
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark664.088
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 9336

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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:        909104 kB
Buffers:         15260 kB
Cached:          90480 kB
SwapCached:          0 kB
Active:          44264 kB
Inactive:        64368 kB
HighTotal:      131008 kB
HighFree:        43204 kB
LowTotal:       903652 kB
LowFree:        865900 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            11360 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:00:15 (client local time) WITH STATUS 0 IN 1200.54 SECONDS
stats: 8053 7 1200.54 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 23;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #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:  12559 (2934:>=*);
#decisions: 18;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #non-axs: 1
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12580 (2913:>=*);
#decisions: 26;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 29, #non-axs: 8
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12604 (2889:>=*);
#decisions: 21;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 29, #non-axs: 10
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12605 (2888:>=*);
#decisions: 16;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 10
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12624 (2869:>=*);
#decisions: 17;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #non-axs: 11
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12685 (2808:>=*);
#decisions: 28;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 29, #non-axs: 17
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12694 (2799:>=*);
#decisions: 24;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 29, #non-axs: 18
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12773 (2720:>=*);
#decisions: 36;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 29, #non-axs: 23
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12867 (2626:>=*);
#decisions: 30;  #end-nodes: 14;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 29, #non-axs: 31
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12951 (2542:>=*);
#decisions: 17;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #non-axs: 32
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12970 (2523:>=*);
#decisions: 26;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 29, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12986 (2507:>=*);
#decisions: 17;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 29, #non-axs: 36
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  12989 (2504:>=*);
#decisions: 27;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 29, #non-axs: 40
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13010 (2483:>=*);
#decisions: 20;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 29, #non-axs: 41
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13013 (2480:>=*);
#decisions: 106;  #end-nodes: 75;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 75 / 80 (80)
#axs: 29, #non-axs: 87
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13029 (2464:>=*);
#decisions: 71;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 29, #non-axs: 113
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13098 (2395:>=*);
#decisions: 96;  #end-nodes: 70;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 70 / 80 (80)
#axs: 29, #non-axs: 159
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13138 (2355:>=*);
#decisions: 234;  #end-nodes: 182;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 22 / 80 (80)
#axs: 29, #non-axs: 289
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13152 (2341:>=*);
#decisions: 50;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 29, #non-axs: 297
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13190 (2303:>=*);
#decisions: 16;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 297
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13198 (2295:>=*);
#decisions: 24;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 29, #non-axs: 301
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13262 (2231:>=*);
#decisions: 43;  #end-nodes: 26;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 29, #non-axs: 316
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13288 (2205:>=*);
#decisions: 445;  #end-nodes: 347;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 26 / 81 (81)
#axs: 29, #non-axs: 460
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13311 (2182:>=*);
#decisions: 16;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 29, #non-axs: 460
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13397 (2096:>=*);
#decisions: 12;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 460
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13403 (2090:>=*);
#decisions: 17;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 29, #non-axs: 460
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13412 (2081:>=*);
#decisions: 38;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 29, #non-axs: 460
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13413 (2080:>=*);
#decisions: 11;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 29, #non-axs: 460
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13419 (2074:>=*);
#decisions: 120;  #end-nodes: 86;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 6 / 80 (80)
#axs: 29, #non-axs: 463
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13466 (2027:>=*);
#decisions: 28;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 29, #non-axs: 464
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13475 (2018:>=*);
#decisions: 287;  #end-nodes: 222;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 61 / 80 (80)
#axs: 29, #non-axs: 528
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495 (1998:>=*);
#decisions: 156;  #end-nodes: 127;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 47 / 80 (80)
#axs: 29, #non-axs: 565
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13564 (1929:>=*);
#decisions: 88;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 29, #non-axs: 608
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13565 (1928:>=*);
#decisions: 20;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 29, #non-axs: 610
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13582 (1911:>=*);
#decisions: 348;  #end-nodes: 260;
#proof improvement attempts: 0;  #restarts: 3
Current batch, end-nodes: 19 / 80 (80)
#axs: 29, #non-axs: 763
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13592 (1901:>=*);
#decisions: 801;  #end-nodes: 657;
#proof improvement attempts: 0;  #restarts: 8
Current batch, end-nodes: 5 / 82 (82)
#axs: 29, #non-axs: 1002
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13615 (1878:>=*);
#decisions: 1952;  #end-nodes: 1536;
#proof improvement attempts: 0;  #restarts: 18
Current batch, end-nodes: 57 / 84 (84)
#axs: 29, #non-axs: 983
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13682 (1811:>=*);
#decisions: 135;  #end-nodes: 85;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 5 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13699 (1794:>=*);
#decisions: 24;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13719 (1774:>=*);
#decisions: 40;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13801 (1692:>=*);
#decisions: 21;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13804 (1689:>=*);
#decisions: 52;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13815 (1678:>=*);
#decisions: 21;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13839 (1654:>=*);
#decisions: 26;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13883 (1610:>=*);
#decisions: 27;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13961 (1532:>=*);
#decisions: 45;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 29, #non-axs: 1016
tight: meta-meta: start: 6, end: 9;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14051 (1442:>=*);
#decisions: 2306;  #end-nodes: 1731;
#proof improvement attempts: 0;  #restarts: 20
Current batch, end-nodes: 29 / 85 (85)
#axs: 29, #non-axs: 1076
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14070 (1423:>=*);
#decisions: 29;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 29, #non-axs: 1076
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14090 (1403:>=*);
#decisions: 7420;  #end-nodes: 5546;
#proof improvement attempts: 0;  #restarts: 55
Current batch, end-nodes: 32 / 93 (93)
#axs: 29, #non-axs: 697
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14099 (1394:>=*);
#decisions: 151;  #end-nodes: 106;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 26 / 80 (80)
#axs: 29, #non-axs: 719
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14136 (1357:>=*);
#decisions: 61;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 29, #non-axs: 720
tight: meta-meta: start: 6, end: 9;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14145 (1348:>=*);
#decisions: 10172;  #end-nodes: 7964;
#proof improvement attempts: 0;  #restarts: 81
Current batch, end-nodes: 22 / 100 (100)
#axs: 29, #non-axs: 78
tight: meta-meta: start: 6, end: 9;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14220 (1273:>=*);
#decisions: 4244;  #end-nodes: 3266;
#proof improvement attempts: 0;  #restarts: 35
Current batch, end-nodes: 56 / 88 (88)
#axs: 29, #non-axs: 12
tight: meta-meta: start: 6, end: 9;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14238 (1255:>=*);
#decisions: 31675;  #end-nodes: 25953;
#proof improvement attempts: 0;  #restarts: 201
Current batch, end-nodes: 129 / 133 (130)
#axs: 29, #non-axs: 79
tight: meta-meta: start: 4, end: 5;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14241 (1252:>=*);
#decisions: 170802;  #end-nodes: 141457;
#proof improvement attempts: 0;  #restarts: 646
Current batch, end-nodes: 304 / 845 (241)
#axs: 29, #non-axs: 49
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14259 (1234:>=*);
#decisions: 6033;  #end-nodes: 4889;
#proof improvement attempts: 0;  #restarts: 50
Current batch, end-nodes: 10 / 92 (92)
#axs: 29, #non-axs: 49
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14263 (1230:>=*);
#decisions: 535219;  #end-nodes: 437523;
#proof improvement attempts: 0;  #restarts: 1130
Current batch, end-nodes: 229 / 362 (362)
#axs: 29, #non-axs: 35
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14324 (1169:>=*);
#decisions: 48;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 29, #non-axs: 35
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14344 (1149:>=*);
#decisions: 691648;  #end-nodes: 557329;
#proof improvement attempts: 0;  #restarts: 1198
Current batch, end-nodes: 1428 / 2233 (379)
#axs: 29, #non-axs: 39
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14357 (1136:>=*);
#decisions: 1863299;  #end-nodes: 1481570;
#proof improvement attempts: 0;  #restarts: 2023
Current batch, end-nodes: 1184 / 2223 (585)
#axs: 29, #non-axs: 9
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  14365 (1128:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 14365 (1128:>=*)

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: 8  (#equs: 0)
Time taken: 20 min, 0 sec
 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options

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/7530/stat): 7530 (vallstSAT2005PB) R 7529 7530 4070 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20233421 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7530/statm): 174 3 169 147 0 27 0
[pid=7530] 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=7531
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=7531) exited with status: 0
New process pid=7532
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=7532) exited with status: 0
New process pid=7533
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/wulflinc2/normalized-mps-v2-13-7-lseu.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0027 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 256 0 0 0 321 206 0 0 16 0 1 0 20233428 2293760 226 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 560 226 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (Kb) 4368

[startup+20.0034 s]
Raw data (loadavg): 1.17 1.08 1.02 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 263 0 0 0 601 428 0 0 16 0 1 0 20233428 2293760 233 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 560 233 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (Kb) 4368

[startup+30.0041 s]
Raw data (loadavg): 1.14 1.08 1.02 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 293 0 0 0 914 647 0 0 16 0 1 0 20233428 2293760 263 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 560 263 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 15.63
Current children cumulated vsize (Kb) 4368

[startup+40.0048 s]
Raw data (loadavg): 1.12 1.07 1.02 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 309 0 0 0 1234 869 0 0 16 0 1 0 20233428 2293760 279 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 560 279 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 21.05
Current children cumulated vsize (Kb) 4368

[startup+50.0065 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 315 0 0 0 1593 1086 0 0 16 0 1 0 20233428 2293760 285 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 560 285 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 26.81
Current children cumulated vsize (Kb) 4368

[startup+60.0072 s]
Raw data (loadavg): 1.22 1.10 1.02 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 317 0 0 0 1939 1306 0 0 15 0 1 0 20233428 2293760 287 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 560 287 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 32.47
Current children cumulated vsize (Kb) 4368

[startup+70.0079 s]
Raw data (loadavg): 1.26 1.11 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 319 0 0 0 2260 1525 0 0 16 0 1 0 20233428 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 560 289 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 37.87
Current children cumulated vsize (Kb) 4368

[startup+80.0096 s]
Raw data (loadavg): 1.22 1.11 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 319 0 0 0 2569 1751 0 0 15 0 1 0 20233428 2293760 289 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 560 289 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 43.22
Current children cumulated vsize (Kb) 4368

[startup+90.0103 s]
Raw data (loadavg): 1.18 1.10 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 325 0 0 0 2909 1975 0 0 15 0 1 0 20233428 2293760 295 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 560 295 413 48 0 512 0
[pid=7533] vsize: 2240
Current children cumulated CPU time (s) 48.86
Current children cumulated vsize (Kb) 4368

[startup+100.011 s]
Raw data (loadavg): 1.16 1.10 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 335 0 0 0 3320 2163 0 0 15 0 1 0 20233428 2428928 305 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 593 305 413 48 0 545 0
[pid=7533] vsize: 2372
Current children cumulated CPU time (s) 54.85
Current children cumulated vsize (Kb) 4500

[startup+110.012 s]
Raw data (loadavg): 1.13 1.10 1.02 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 343 0 0 0 3734 2357 0 0 15 0 1 0 20233428 2428928 313 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 593 313 413 48 0 545 0
[pid=7533] vsize: 2372
Current children cumulated CPU time (s) 60.93
Current children cumulated vsize (Kb) 4500

[startup+120.012 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 346 0 0 0 4142 2551 0 0 15 0 1 0 20233428 2428928 316 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 593 316 413 48 0 545 0
[pid=7533] vsize: 2372
Current children cumulated CPU time (s) 66.95
Current children cumulated vsize (Kb) 4500

[startup+130.013 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 354 0 0 0 4592 2734 0 0 15 0 1 0 20233428 2428928 324 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 593 324 413 48 0 545 0
[pid=7533] vsize: 2372
Current children cumulated CPU time (s) 73.28
Current children cumulated vsize (Kb) 4500

[startup+140.014 s]
Raw data (loadavg): 1.15 1.10 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 362 0 0 0 5057 2911 0 0 15 0 1 0 20233428 2564096 332 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 626 332 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 79.7
Current children cumulated vsize (Kb) 4632

[startup+150.016 s]
Raw data (loadavg): 1.12 1.10 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 367 0 0 0 5503 3097 0 0 16 0 1 0 20233428 2564096 337 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 626 337 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 86.02
Current children cumulated vsize (Kb) 4632

[startup+160.016 s]
Raw data (loadavg): 1.18 1.11 1.03 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 371 0 0 0 5943 3281 0 0 16 0 1 0 20233428 2564096 341 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 626 341 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 92.26
Current children cumulated vsize (Kb) 4632

[startup+170.016 s]
Raw data (loadavg): 1.22 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 374 0 0 0 6359 3478 0 0 15 0 1 0 20233428 2564096 344 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 626 344 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (Kb) 4632

[startup+180.017 s]
Raw data (loadavg): 1.19 1.12 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 377 0 0 0 6685 3699 0 0 15 0 1 0 20233428 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 626 347 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 103.86
Current children cumulated vsize (Kb) 4632

[startup+190.018 s]
Raw data (loadavg): 1.23 1.13 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 377 0 0 0 7018 3911 0 0 15 0 1 0 20233428 2564096 347 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 626 347 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 109.31
Current children cumulated vsize (Kb) 4632

[startup+200.019 s]
Raw data (loadavg): 1.20 1.12 1.04 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 380 0 0 0 7421 4105 0 0 15 0 1 0 20233428 2564096 350 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 626 350 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 115.28
Current children cumulated vsize (Kb) 4632

[startup+210.02 s]
Raw data (loadavg): 1.17 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 383 0 0 0 7879 4290 0 0 15 0 1 0 20233428 2564096 353 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 626 353 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 121.71
Current children cumulated vsize (Kb) 4632

[startup+220.02 s]
Raw data (loadavg): 1.14 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 386 0 0 0 8324 4476 0 0 16 0 1 0 20233428 2564096 356 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 626 356 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 128.02
Current children cumulated vsize (Kb) 4632

[startup+230.021 s]
Raw data (loadavg): 1.19 1.13 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 391 0 0 0 8767 4662 0 0 15 0 1 0 20233428 2564096 361 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 626 361 413 48 0 578 0
[pid=7533] vsize: 2504
Current children cumulated CPU time (s) 134.31
Current children cumulated vsize (Kb) 4632

[startup+240.022 s]
Raw data (loadavg): 1.16 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 394 0 0 0 9289 4819 0 0 15 0 1 0 20233428 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 364 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 141.1
Current children cumulated vsize (Kb) 4764

[startup+250.024 s]
Raw data (loadavg): 1.14 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 394 0 0 0 9718 5008 0 0 15 0 1 0 20233428 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 364 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 147.28
Current children cumulated vsize (Kb) 4764

[startup+260.024 s]
Raw data (loadavg): 1.11 1.11 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 394 0 0 0 10191 5184 0 0 15 0 1 0 20233428 2699264 364 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 364 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 153.77
Current children cumulated vsize (Kb) 4764

[startup+270.025 s]
Raw data (loadavg): 1.17 1.13 1.04 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 399 0 0 0 10686 5356 0 0 15 0 1 0 20233428 2699264 369 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 369 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 160.44
Current children cumulated vsize (Kb) 4764

[startup+280.026 s]
Raw data (loadavg): 1.14 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 401 0 0 0 11137 5536 0 0 15 0 1 0 20233428 2699264 371 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 371 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 166.75
Current children cumulated vsize (Kb) 4764

[startup+290.026 s]
Raw data (loadavg): 1.12 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 405 0 0 0 11648 5703 0 0 15 0 1 0 20233428 2699264 375 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 375 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 173.53
Current children cumulated vsize (Kb) 4764

[startup+300.027 s]
Raw data (loadavg): 1.18 1.13 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 405 0 0 0 11951 5931 0 0 15 0 1 0 20233428 2699264 375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 375 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 178.84
Current children cumulated vsize (Kb) 4764

[startup+310.028 s]
Raw data (loadavg): 1.22 1.14 1.05 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 407 0 0 0 12332 6134 0 0 15 0 1 0 20233428 2699264 377 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 377 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 184.68
Current children cumulated vsize (Kb) 4764

[startup+320.028 s]
Raw data (loadavg): 1.19 1.13 1.05 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 407 0 0 0 12757 6324 0 0 15 0 1 0 20233428 2699264 377 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 377 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 190.83
Current children cumulated vsize (Kb) 4764

[startup+330.029 s]
Raw data (loadavg): 1.16 1.13 1.05 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 407 0 0 0 13124 6529 0 0 16 0 1 0 20233428 2699264 377 4294967295 134512640 134702520 3221223952 3221222720 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 377 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 196.55
Current children cumulated vsize (Kb) 4764

[startup+340.03 s]
Raw data (loadavg): 1.13 1.12 1.05 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 409 0 0 0 13585 6712 0 0 15 0 1 0 20233428 2699264 379 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 379 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 202.99
Current children cumulated vsize (Kb) 4764

[startup+350.031 s]
Raw data (loadavg): 1.11 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 410 0 0 0 14011 6904 0 0 16 0 1 0 20233428 2699264 380 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 380 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 209.17
Current children cumulated vsize (Kb) 4764

[startup+360.031 s]
Raw data (loadavg): 1.10 1.12 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 411 0 0 0 14527 7065 0 0 15 0 1 0 20233428 2699264 381 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 381 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 215.94
Current children cumulated vsize (Kb) 4764

[startup+370.032 s]
Raw data (loadavg): 1.08 1.11 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 412 0 0 0 14988 7244 0 0 16 0 1 0 20233428 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 382 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (Kb) 4764

[startup+380.033 s]
Raw data (loadavg): 1.07 1.11 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 412 0 0 0 15438 7431 0 0 15 0 1 0 20233428 2699264 382 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 382 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 228.71
Current children cumulated vsize (Kb) 4764

[startup+390.033 s]
Raw data (loadavg): 1.06 1.10 1.04 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 412 0 0 0 15848 7628 0 0 16 0 1 0 20233428 2699264 382 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 382 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 234.78
Current children cumulated vsize (Kb) 4764

[startup+400.033 s]
Raw data (loadavg): 1.05 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 416 0 0 0 16318 7809 0 0 16 0 1 0 20233428 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 386 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 241.29
Current children cumulated vsize (Kb) 4764

[startup+410.034 s]
Raw data (loadavg): 1.04 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 416 0 0 0 16857 7966 0 0 15 0 1 0 20233428 2699264 386 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 386 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 248.25
Current children cumulated vsize (Kb) 4764

[startup+420.034 s]
Raw data (loadavg): 1.03 1.09 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 416 0 0 0 17343 8144 0 0 15 0 1 0 20233428 2699264 386 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 386 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 254.89
Current children cumulated vsize (Kb) 4764

[startup+430.036 s]
Raw data (loadavg): 1.03 1.09 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 420 0 0 0 17824 8318 0 0 15 0 1 0 20233428 2699264 390 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 659 390 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 261.44
Current children cumulated vsize (Kb) 4764

[startup+440.037 s]
Raw data (loadavg): 1.02 1.08 1.04 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 423 0 0 0 18356 8482 0 0 16 0 1 0 20233428 2699264 393 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 659 393 413 48 0 611 0
[pid=7533] vsize: 2636
Current children cumulated CPU time (s) 268.4
Current children cumulated vsize (Kb) 4764

[startup+450.038 s]
Raw data (loadavg): 1.02 1.08 1.03 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 428 0 0 0 18839 8656 0 0 16 0 1 0 20233428 2834432 398 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 398 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 274.97
Current children cumulated vsize (Kb) 4896

[startup+460.038 s]
Raw data (loadavg): 1.02 1.08 1.03 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 432 0 0 0 19433 8795 0 0 16 0 1 0 20233428 2834432 402 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 402 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (Kb) 4896

[startup+470.039 s]
Raw data (loadavg): 1.09 1.09 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 432 0 0 0 19965 8955 0 0 16 0 1 0 20233428 2834432 402 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 402 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 289.22
Current children cumulated vsize (Kb) 4896

[startup+480.04 s]
Raw data (loadavg): 1.15 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 434 0 0 0 20509 9111 0 0 15 0 1 0 20233428 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 404 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 296.22
Current children cumulated vsize (Kb) 4896

[startup+490.04 s]
Raw data (loadavg): 1.12 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 434 0 0 0 21012 9277 0 0 15 0 1 0 20233428 2834432 404 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 404 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 302.91
Current children cumulated vsize (Kb) 4896

[startup+500.04 s]
Raw data (loadavg): 1.10 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 434 0 0 0 21558 9432 0 0 16 0 1 0 20233428 2834432 404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 404 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 309.92
Current children cumulated vsize (Kb) 4896

[startup+510.041 s]
Raw data (loadavg): 1.17 1.11 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 436 0 0 0 22055 9602 0 0 15 0 1 0 20233428 2834432 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 406 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 316.59
Current children cumulated vsize (Kb) 4896

[startup+520.042 s]
Raw data (loadavg): 1.14 1.11 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 439 0 0 0 22637 9736 0 0 15 0 1 0 20233428 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 409 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 323.75
Current children cumulated vsize (Kb) 4896

[startup+530.043 s]
Raw data (loadavg): 1.12 1.10 1.04 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 439 0 0 0 23107 9920 0 0 16 0 1 0 20233428 2834432 409 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 409 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 330.29
Current children cumulated vsize (Kb) 4896

[startup+540.044 s]
Raw data (loadavg): 1.10 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 443 0 0 0 23669 10067 0 0 15 0 1 0 20233428 2834432 413 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 413 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 337.38
Current children cumulated vsize (Kb) 4896

[startup+550.046 s]
Raw data (loadavg): 1.08 1.09 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 445 0 0 0 24193 10225 0 0 16 0 1 0 20233428 2834432 415 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 415 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 344.2
Current children cumulated vsize (Kb) 4896

[startup+560.047 s]
Raw data (loadavg): 1.07 1.09 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 447 0 0 0 24749 10377 0 0 15 0 1 0 20233428 2834432 417 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 417 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 351.28
Current children cumulated vsize (Kb) 4896

[startup+570.047 s]
Raw data (loadavg): 1.06 1.09 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 25256 10546 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 358.04
Current children cumulated vsize (Kb) 4896

[startup+580.048 s]
Raw data (loadavg): 1.05 1.08 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 25585 10765 0 0 16 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 363.52
Current children cumulated vsize (Kb) 4896

[startup+590.049 s]
Raw data (loadavg): 1.12 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 25942 10977 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 369.21
Current children cumulated vsize (Kb) 4896

[startup+600.048 s]
Raw data (loadavg): 1.10 1.09 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 26340 11176 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 375.18
Current children cumulated vsize (Kb) 4896

[startup+610.049 s]
Raw data (loadavg): 1.09 1.09 1.04 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 26741 11371 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 381.14
Current children cumulated vsize (Kb) 4896

[startup+620.049 s]
Raw data (loadavg): 1.15 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 27206 11546 0 0 16 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 387.54
Current children cumulated vsize (Kb) 4896

[startup+630.049 s]
Raw data (loadavg): 1.12 1.10 1.04 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 27605 11746 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 393.53
Current children cumulated vsize (Kb) 4896

[startup+640.05 s]
Raw data (loadavg): 1.18 1.11 1.05 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 28064 11929 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 399.95
Current children cumulated vsize (Kb) 4896

[startup+650.05 s]
Raw data (loadavg): 1.23 1.12 1.05 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 28498 12120 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 406.2
Current children cumulated vsize (Kb) 4896

[startup+660.051 s]
Raw data (loadavg): 1.19 1.12 1.05 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 449 0 0 0 28957 12296 0 0 15 0 1 0 20233428 2834432 419 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 419 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 412.55
Current children cumulated vsize (Kb) 4896

[startup+670.051 s]
Raw data (loadavg): 1.24 1.13 1.06 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 451 0 0 0 29415 12479 0 0 15 0 1 0 20233428 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 421 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 418.96
Current children cumulated vsize (Kb) 4896

[startup+680.052 s]
Raw data (loadavg): 1.21 1.13 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 451 0 0 0 29914 12649 0 0 16 0 1 0 20233428 2834432 421 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 421 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 425.65
Current children cumulated vsize (Kb) 4896

[startup+690.053 s]
Raw data (loadavg): 1.17 1.12 1.05 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 451 0 0 0 30398 12828 0 0 15 0 1 0 20233428 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 421 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 432.28
Current children cumulated vsize (Kb) 4896

[startup+700.053 s]
Raw data (loadavg): 1.22 1.13 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 451 0 0 0 30863 13006 0 0 16 0 1 0 20233428 2834432 421 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 421 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 438.71
Current children cumulated vsize (Kb) 4896

[startup+710.054 s]
Raw data (loadavg): 1.26 1.14 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 453 0 0 0 31336 13184 0 0 15 0 1 0 20233428 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 423 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 445.22
Current children cumulated vsize (Kb) 4896

[startup+720.054 s]
Raw data (loadavg): 1.22 1.14 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 453 0 0 0 31885 13337 0 0 16 0 1 0 20233428 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 423 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 452.24
Current children cumulated vsize (Kb) 4896

[startup+730.056 s]
Raw data (loadavg): 1.18 1.13 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 453 0 0 0 32349 13517 0 0 15 0 1 0 20233428 2834432 423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 423 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 458.68
Current children cumulated vsize (Kb) 4896

[startup+740.056 s]
Raw data (loadavg): 1.31 1.16 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 454 0 0 0 32938 13655 0 0 15 0 1 0 20233428 2834432 424 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 692 424 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 465.95
Current children cumulated vsize (Kb) 4896

[startup+750.056 s]
Raw data (loadavg): 1.26 1.16 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 457 0 0 0 33420 13827 0 0 16 0 1 0 20233428 2834432 427 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 692 427 413 48 0 644 0
[pid=7533] vsize: 2768
Current children cumulated CPU time (s) 472.49
Current children cumulated vsize (Kb) 4896

[startup+760.057 s]
Raw data (loadavg): 1.22 1.15 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 459 0 0 0 34011 13962 0 0 15 0 1 0 20233428 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 429 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 479.75
Current children cumulated vsize (Kb) 5032

[startup+770.058 s]
Raw data (loadavg): 1.27 1.16 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 459 0 0 0 34505 14130 0 0 15 0 1 0 20233428 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 429 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 486.37
Current children cumulated vsize (Kb) 5032

[startup+780.058 s]
Raw data (loadavg): 1.38 1.19 1.08 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 459 0 0 0 35034 14285 0 0 16 0 1 0 20233428 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 429 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 493.21
Current children cumulated vsize (Kb) 5032

[startup+790.059 s]
Raw data (loadavg): 1.32 1.18 1.08 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 459 0 0 0 35491 14467 0 0 15 0 1 0 20233428 2973696 429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 429 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 499.6
Current children cumulated vsize (Kb) 5032

[startup+800.06 s]
Raw data (loadavg): 1.27 1.18 1.08 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 461 0 0 0 35986 14634 0 0 16 0 1 0 20233428 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 431 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 506.22
Current children cumulated vsize (Kb) 5032

[startup+810.06 s]
Raw data (loadavg): 1.30 1.19 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 461 0 0 0 36538 14785 0 0 15 0 1 0 20233428 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 431 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 513.25
Current children cumulated vsize (Kb) 5032

[startup+820.061 s]
Raw data (loadavg): 1.25 1.18 1.08 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 461 0 0 0 37027 14956 0 0 15 0 1 0 20233428 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 431 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 519.85
Current children cumulated vsize (Kb) 5032

[startup+830.062 s]
Raw data (loadavg): 1.22 1.17 1.08 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 461 0 0 0 37601 15098 0 0 15 0 1 0 20233428 2973696 431 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 431 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 527.01
Current children cumulated vsize (Kb) 5032

[startup+840.062 s]
Raw data (loadavg): 1.18 1.17 1.08 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 461 0 0 0 38094 15271 0 0 15 0 1 0 20233428 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 431 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 533.67
Current children cumulated vsize (Kb) 5032

[startup+850.063 s]
Raw data (loadavg): 1.23 1.18 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 461 0 0 0 38683 15409 0 0 15 0 1 0 20233428 2973696 431 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 431 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 540.94
Current children cumulated vsize (Kb) 5032

[startup+860.064 s]
Raw data (loadavg): 1.28 1.19 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 465 0 0 0 39267 15555 0 0 15 0 1 0 20233428 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 435 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 548.24
Current children cumulated vsize (Kb) 5032

[startup+870.065 s]
Raw data (loadavg): 1.23 1.18 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 465 0 0 0 39779 15720 0 0 16 0 1 0 20233428 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 435 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 555.01
Current children cumulated vsize (Kb) 5032

[startup+880.065 s]
Raw data (loadavg): 1.20 1.17 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 465 0 0 0 40358 15866 0 0 15 0 1 0 20233428 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 435 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 562.26
Current children cumulated vsize (Kb) 5032

[startup+890.066 s]
Raw data (loadavg): 1.17 1.17 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 465 0 0 0 40920 16014 0 0 15 0 1 0 20233428 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 435 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 569.36
Current children cumulated vsize (Kb) 5032

[startup+900.066 s]
Raw data (loadavg): 1.21 1.18 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 465 0 0 0 41401 16191 0 0 15 0 1 0 20233428 2973696 435 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 435 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 575.94
Current children cumulated vsize (Kb) 5032

[startup+910.067 s]
Raw data (loadavg): 1.18 1.17 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 467 0 0 0 41980 16332 0 0 15 0 1 0 20233428 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 437 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 583.14
Current children cumulated vsize (Kb) 5032

[startup+920.067 s]
Raw data (loadavg): 1.15 1.17 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 467 0 0 0 42471 16505 0 0 15 0 1 0 20233428 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 437 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 589.78
Current children cumulated vsize (Kb) 5032

[startup+930.068 s]
Raw data (loadavg): 1.13 1.16 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 467 0 0 0 43046 16646 0 0 16 0 1 0 20233428 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 437 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 596.94
Current children cumulated vsize (Kb) 5032

[startup+940.069 s]
Raw data (loadavg): 1.11 1.15 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 467 0 0 0 43570 16802 0 0 15 0 1 0 20233428 2973696 437 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 437 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 603.74
Current children cumulated vsize (Kb) 5032

[startup+950.068 s]
Raw data (loadavg): 1.16 1.16 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 467 0 0 0 44129 16948 0 0 16 0 1 0 20233428 2973696 437 4294967295 134512640 134702520 3221223952 3221223232 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 437 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 610.79
Current children cumulated vsize (Kb) 5032

[startup+960.069 s]
Raw data (loadavg): 1.14 1.16 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 470 0 0 0 44703 17093 0 0 15 0 1 0 20233428 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 440 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 617.98
Current children cumulated vsize (Kb) 5032

[startup+970.07 s]
Raw data (loadavg): 1.12 1.15 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 470 0 0 0 45229 17249 0 0 16 0 1 0 20233428 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 440 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 624.8
Current children cumulated vsize (Kb) 5032

[startup+980.071 s]
Raw data (loadavg): 1.18 1.16 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 470 0 0 0 45810 17388 0 0 15 0 1 0 20233428 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 440 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 632
Current children cumulated vsize (Kb) 5032

[startup+990.071 s]
Raw data (loadavg): 1.22 1.17 1.10 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 470 0 0 0 46415 17517 0 0 15 0 1 0 20233428 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 440 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 639.34
Current children cumulated vsize (Kb) 5032

[startup+1000.07 s]
Raw data (loadavg): 1.19 1.17 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 470 0 0 0 46998 17661 0 0 15 0 1 0 20233428 2973696 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 440 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 646.61
Current children cumulated vsize (Kb) 5032

[startup+1010.07 s]
Raw data (loadavg): 1.16 1.16 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 474 0 0 0 47550 17814 0 0 15 0 1 0 20233428 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 444 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 653.66
Current children cumulated vsize (Kb) 5032

[startup+1020.07 s]
Raw data (loadavg): 1.13 1.16 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 474 0 0 0 48122 17959 0 0 15 0 1 0 20233428 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 444 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 660.83
Current children cumulated vsize (Kb) 5032

[startup+1030.07 s]
Raw data (loadavg): 1.11 1.15 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 474 0 0 0 48703 18107 0 0 15 0 1 0 20233428 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 726 444 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 668.12
Current children cumulated vsize (Kb) 5032

[startup+1040.07 s]
Raw data (loadavg): 1.10 1.14 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 474 0 0 0 49213 18267 0 0 15 0 1 0 20233428 2973696 444 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 444 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 674.82
Current children cumulated vsize (Kb) 5032

[startup+1050.07 s]
Raw data (loadavg): 1.08 1.14 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 476 0 0 0 49811 18411 0 0 15 0 1 0 20233428 2973696 446 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 446 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 682.24
Current children cumulated vsize (Kb) 5032

[startup+1060.08 s]
Raw data (loadavg): 1.07 1.14 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 480 0 0 0 50405 18547 0 0 15 0 1 0 20233428 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 450 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 689.54
Current children cumulated vsize (Kb) 5032

[startup+1070.07 s]
Raw data (loadavg): 1.13 1.15 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 480 0 0 0 50918 18710 0 0 15 0 1 0 20233428 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 450 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 696.3
Current children cumulated vsize (Kb) 5032

[startup+1080.08 s]
Raw data (loadavg): 1.11 1.14 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 480 0 0 0 51502 18853 0 0 15 0 1 0 20233428 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 450 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 703.57
Current children cumulated vsize (Kb) 5032

[startup+1090.08 s]
Raw data (loadavg): 1.17 1.15 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 480 0 0 0 52109 18991 0 0 16 0 1 0 20233428 2973696 450 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 726 450 413 48 0 678 0
[pid=7533] vsize: 2904
Current children cumulated CPU time (s) 711.02
Current children cumulated vsize (Kb) 5032

[startup+1100.08 s]
Raw data (loadavg): 1.14 1.15 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 926 0 0 0 52823 19089 0 0 16 0 1 0 20233428 4800512 896 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 1172 896 413 48 0 1124 0
[pid=7533] vsize: 4688
Current children cumulated CPU time (s) 719.14
Current children cumulated vsize (Kb) 6816

[startup+1110.08 s]
Raw data (loadavg): 1.12 1.14 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 1184 0 0 0 53704 19130 0 0 17 0 1 0 20233428 5910528 1154 4294967295 134512640 134702520 3221223952 3221223344 134603740 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 1443 1154 413 48 0 1395 0
[pid=7533] vsize: 5772
Current children cumulated CPU time (s) 728.36
Current children cumulated vsize (Kb) 7900

[startup+1120.08 s]
Raw data (loadavg): 1.10 1.14 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 1240 0 0 0 54444 19218 0 0 16 0 1 0 20233428 6135808 1210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 1498 1210 413 48 0 1450 0
[pid=7533] vsize: 5992
Current children cumulated CPU time (s) 736.64
Current children cumulated vsize (Kb) 8120

[startup+1130.08 s]
Raw data (loadavg): 1.08 1.13 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 1369 0 0 0 55335 19257 0 0 17 0 1 0 20233428 6684672 1339 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 1632 1339 413 48 0 1584 0
[pid=7533] vsize: 6528
Current children cumulated CPU time (s) 745.94
Current children cumulated vsize (Kb) 8656

[startup+1140.08 s]
Raw data (loadavg): 1.07 1.13 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 1658 0 0 0 56263 19283 0 0 20 0 1 0 20233428 7946240 1628 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 1940 1628 413 48 0 1892 0
[pid=7533] vsize: 7760
Current children cumulated CPU time (s) 755.48
Current children cumulated vsize (Kb) 9888

[startup+1150.08 s]
Raw data (loadavg): 1.06 1.12 1.09 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 1854 0 0 0 57197 19307 0 0 22 0 1 0 20233428 8663040 1824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 2115 1824 413 48 0 2067 0
[pid=7533] vsize: 8460
Current children cumulated CPU time (s) 765.06
Current children cumulated vsize (Kb) 10588

[startup+1160.08 s]
Raw data (loadavg): 1.05 1.12 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 2011 0 0 0 58134 19333 0 0 25 0 1 0 20233428 9363456 1981 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 2286 1981 413 48 0 2238 0
[pid=7533] vsize: 9144
Current children cumulated CPU time (s) 774.69
Current children cumulated vsize (Kb) 11272

[startup+1170.08 s]
Raw data (loadavg): 1.04 1.11 1.08 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 2079 0 0 0 59091 19346 0 0 25 0 1 0 20233428 9637888 2049 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 2353 2049 413 48 0 2305 0
[pid=7533] vsize: 9412
Current children cumulated CPU time (s) 784.39
Current children cumulated vsize (Kb) 11540

[startup+1180.08 s]
Raw data (loadavg): 1.04 1.11 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 2265 0 0 0 60038 19364 0 0 25 0 1 0 20233428 10518528 2235 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 2568 2235 413 48 0 2520 0
[pid=7533] vsize: 10272
Current children cumulated CPU time (s) 794.04
Current children cumulated vsize (Kb) 12400

[startup+1190.08 s]
Raw data (loadavg): 1.03 1.11 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 2490 0 0 0 60982 19386 0 0 25 0 1 0 20233428 11354112 2460 4294967295 134512640 134702520 3221223952 3221223344 134604470 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 2772 2460 413 48 0 2724 0
[pid=7533] vsize: 11088
Current children cumulated CPU time (s) 803.7
Current children cumulated vsize (Kb) 13216

[startup+1200.08 s]
Raw data (loadavg): 1.02 1.10 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 2523 0 0 0 61942 19400 0 0 25 0 1 0 20233428 11497472 2493 4294967295 134512640 134702520 3221223952 3221223344 134603740 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 2807 2493 413 48 0 2759 0
[pid=7533] vsize: 11228
Current children cumulated CPU time (s) 813.44
Current children cumulated vsize (Kb) 13356

[startup+1210.08 s]
Raw data (loadavg): 1.09 1.11 1.09 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 2688 0 0 0 62893 19419 0 0 25 0 1 0 20233428 12210176 2658 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 2981 2658 413 48 0 2933 0
[pid=7533] vsize: 11924
Current children cumulated CPU time (s) 823.14
Current children cumulated vsize (Kb) 14052

[startup+1220.08 s]
Raw data (loadavg): 1.08 1.11 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 2851 0 0 0 63844 19437 0 0 25 0 1 0 20233428 12947456 2821 4294967295 134512640 134702520 3221223952 3221223232 134557457 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 3161 2821 413 48 0 3113 0
[pid=7533] vsize: 12644
Current children cumulated CPU time (s) 832.83
Current children cumulated vsize (Kb) 14772

[startup+1230.09 s]
Raw data (loadavg): 1.07 1.11 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3062 0 0 0 64789 19459 0 0 25 0 1 0 20233428 13783040 3032 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 3365 3032 413 48 0 3317 0
[pid=7533] vsize: 13460
Current children cumulated CPU time (s) 842.5
Current children cumulated vsize (Kb) 15588

[startup+1240.09 s]
Raw data (loadavg): 1.06 1.10 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3217 0 0 0 65748 19473 0 0 25 0 1 0 20233428 14532608 3187 4294967295 134512640 134702520 3221223952 3221223344 134604494 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 3548 3187 413 48 0 3500 0
[pid=7533] vsize: 14192
Current children cumulated CPU time (s) 852.23
Current children cumulated vsize (Kb) 16320

[startup+1250.09 s]
Raw data (loadavg): 1.05 1.10 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3363 0 0 0 66707 19487 0 0 25 0 1 0 20233428 15106048 3333 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 3688 3333 413 48 0 3640 0
[pid=7533] vsize: 14752
Current children cumulated CPU time (s) 861.96
Current children cumulated vsize (Kb) 16880

[startup+1260.09 s]
Raw data (loadavg): 1.04 1.09 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3443 0 0 0 67683 19495 0 0 25 0 1 0 20233428 15552512 3413 4294967295 134512640 134702520 3221223952 3221222816 134564339 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 3797 3413 413 48 0 3749 0
[pid=7533] vsize: 15188
Current children cumulated CPU time (s) 871.8
Current children cumulated vsize (Kb) 17316

[startup+1270.09 s]
Raw data (loadavg): 1.03 1.09 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3451 0 0 0 68640 19511 0 0 25 0 1 0 20233428 15552512 3421 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 3797 3421 413 48 0 3749 0
[pid=7533] vsize: 15188
Current children cumulated CPU time (s) 881.53
Current children cumulated vsize (Kb) 17316

[startup+1280.09 s]
Raw data (loadavg): 1.03 1.09 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 3501 0 0 0 69601 19524 0 0 25 0 1 0 20233428 15695872 3471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 3832 3471 413 48 0 3784 0
[pid=7533] vsize: 15328
Current children cumulated CPU time (s) 891.27
Current children cumulated vsize (Kb) 17456

[startup+1290.09 s]
Raw data (loadavg): 1.02 1.08 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3652 0 0 0 70559 19539 0 0 25 0 1 0 20233428 16384000 3622 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4000 3622 413 48 0 3952 0
[pid=7533] vsize: 16000
Current children cumulated CPU time (s) 901
Current children cumulated vsize (Kb) 18128

[startup+1300.09 s]
Raw data (loadavg): 1.02 1.08 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3799 0 0 0 71516 19554 0 0 20 0 1 0 20233428 17092608 3769 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4173 3769 413 48 0 4125 0
[pid=7533] vsize: 16692
Current children cumulated CPU time (s) 910.72
Current children cumulated vsize (Kb) 18820

[startup+1310.09 s]
Raw data (loadavg): 1.02 1.08 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 3923 0 0 0 72482 19566 0 0 25 0 1 0 20233428 17559552 3893 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4287 3893 413 48 0 4239 0
[pid=7533] vsize: 17148
Current children cumulated CPU time (s) 920.5
Current children cumulated vsize (Kb) 19276

[startup+1320.09 s]
Raw data (loadavg): 1.01 1.08 1.08 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4052 0 0 0 73447 19578 0 0 25 0 1 0 20233428 18128896 4022 4294967295 134512640 134702520 3221223952 3221223232 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4426 4022 413 48 0 4378 0
[pid=7533] vsize: 17704
Current children cumulated CPU time (s) 930.27
Current children cumulated vsize (Kb) 19832

[startup+1330.09 s]
Raw data (loadavg): 1.01 1.07 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4091 0 0 0 74435 19583 0 0 25 0 1 0 20233428 18272256 4061 4294967295 134512640 134702520 3221223952 3221222836 134557400 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4461 4061 413 48 0 4413 0
[pid=7533] vsize: 17844
Current children cumulated CPU time (s) 940.2
Current children cumulated vsize (Kb) 19972

[startup+1340.09 s]
Raw data (loadavg): 1.01 1.07 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4095 0 0 0 75400 19596 0 0 25 0 1 0 20233428 18272256 4065 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4461 4065 413 48 0 4413 0
[pid=7533] vsize: 17844
Current children cumulated CPU time (s) 949.98
Current children cumulated vsize (Kb) 19972

[startup+1350.09 s]
Raw data (loadavg): 1.01 1.07 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4100 0 0 0 76360 19611 0 0 25 0 1 0 20233428 18272256 4070 4294967295 134512640 134702520 3221223952 3221223200 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4461 4070 413 48 0 4413 0
[pid=7533] vsize: 17844
Current children cumulated CPU time (s) 959.73
Current children cumulated vsize (Kb) 19972

[startup+1360.1 s]
Raw data (loadavg): 1.00 1.06 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4164 0 0 0 77321 19625 0 0 25 0 1 0 20233428 18550784 4134 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4529 4134 413 48 0 4481 0
[pid=7533] vsize: 18116
Current children cumulated CPU time (s) 969.48
Current children cumulated vsize (Kb) 20244

[startup+1370.1 s]
Raw data (loadavg): 1.00 1.06 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4269 0 0 0 78285 19636 0 0 25 0 1 0 20233428 18964480 4239 4294967295 134512640 134702520 3221223952 3221222936 1074519029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4630 4239 413 48 0 4582 0
[pid=7533] vsize: 18520
Current children cumulated CPU time (s) 979.23
Current children cumulated vsize (Kb) 20648

[startup+1380.1 s]
Raw data (loadavg): 1.00 1.06 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 79252 19648 0 0 25 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 989.02
Current children cumulated vsize (Kb) 20712

[startup+1390.1 s]
Raw data (loadavg): 1.00 1.06 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4282 0 0 0 80055 19714 0 0 17 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 997.71
Current children cumulated vsize (Kb) 20712

[startup+1400.1 s]
Raw data (loadavg): 1.00 1.05 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 80990 19737 0 0 19 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1007.29
Current children cumulated vsize (Kb) 20712

[startup+1410.1 s]
Raw data (loadavg): 1.00 1.05 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 81921 19760 0 0 18 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1016.83
Current children cumulated vsize (Kb) 20712

[startup+1420.1 s]
Raw data (loadavg): 1.00 1.05 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4282 0 0 0 82854 19784 0 0 19 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223232 134557457 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1026.4
Current children cumulated vsize (Kb) 20712

[startup+1430.1 s]
Raw data (loadavg): 1.08 1.06 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4282 0 0 0 83732 19826 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1035.6
Current children cumulated vsize (Kb) 20712

[startup+1440.1 s]
Raw data (loadavg): 1.07 1.06 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 84315 19970 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1042.87
Current children cumulated vsize (Kb) 20712

[startup+1450.1 s]
Raw data (loadavg): 1.06 1.06 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 84884 20118 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1050.04
Current children cumulated vsize (Kb) 20712

[startup+1460.1 s]
Raw data (loadavg): 1.05 1.06 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 85394 20285 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1056.81
Current children cumulated vsize (Kb) 20712

[startup+1470.1 s]
Raw data (loadavg): 1.04 1.05 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 85993 20423 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1064.18
Current children cumulated vsize (Kb) 20712

[startup+1480.1 s]
Raw data (loadavg): 1.03 1.05 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 86569 20573 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1071.44
Current children cumulated vsize (Kb) 20712

[startup+1490.1 s]
Raw data (loadavg): 1.03 1.05 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 87180 20710 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1078.92
Current children cumulated vsize (Kb) 20712

[startup+1500.1 s]
Raw data (loadavg): 1.02 1.05 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 87697 20875 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1085.74
Current children cumulated vsize (Kb) 20712

[startup+1510.1 s]
Raw data (loadavg): 1.02 1.05 1.06 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4282 0 0 0 88253 21027 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1092.82
Current children cumulated vsize (Kb) 20712

[startup+1520.11 s]
Raw data (loadavg): 1.02 1.04 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 88848 21162 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1100.12
Current children cumulated vsize (Kb) 20712

[startup+1530.11 s]
Raw data (loadavg): 1.01 1.04 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 89383 21314 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1106.99
Current children cumulated vsize (Kb) 20712

[startup+1540.11 s]
Raw data (loadavg): 1.01 1.04 1.06 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4282 0 0 0 89982 21450 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1114.34
Current children cumulated vsize (Kb) 20712

[startup+1550.11 s]
Raw data (loadavg): 1.01 1.04 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 90596 21582 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (Kb) 20712

[startup+1560.11 s]
Raw data (loadavg): 1.09 1.05 1.06 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 91149 21739 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1128.9
Current children cumulated vsize (Kb) 20712

[startup+1570.11 s]
Raw data (loadavg): 1.07 1.05 1.06 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 91682 21896 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1135.8
Current children cumulated vsize (Kb) 20712

[startup+1580.11 s]
Raw data (loadavg): 1.21 1.08 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 92302 22023 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1143.27
Current children cumulated vsize (Kb) 20712

[startup+1590.11 s]
Raw data (loadavg): 1.18 1.08 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 92856 22177 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1150.35
Current children cumulated vsize (Kb) 20712

[startup+1600.11 s]
Raw data (loadavg): 1.15 1.08 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 93440 22319 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1157.61
Current children cumulated vsize (Kb) 20712

[startup+1610.11 s]
Raw data (loadavg): 1.13 1.07 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 93978 22475 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1164.55
Current children cumulated vsize (Kb) 20712

[startup+1620.11 s]
Raw data (loadavg): 1.11 1.07 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 94559 22619 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1171.8
Current children cumulated vsize (Kb) 20712

[startup+1630.11 s]
Raw data (loadavg): 1.09 1.07 1.07 2/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) R 7530 7530 4070 0 -1 0 4282 0 0 0 95140 22759 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1179.01
Current children cumulated vsize (Kb) 20712

[startup+1640.12 s]
Raw data (loadavg): 1.16 1.08 1.07 1/56 7533
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 95666 22914 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1185.82
Current children cumulated vsize (Kb) 20712

[startup+1650.12 s]
Raw data (loadavg): 1.21 1.09 1.08 1/57 7534
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 96253 23054 0 0 16 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1193.09
Current children cumulated vsize (Kb) 20712

[startup+1660.12 s]
Raw data (loadavg): 1.25 1.11 1.08 1/56 7588
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 96848 23191 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1200.41
Current children cumulated vsize (Kb) 20712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1660.12 s]
Raw data (loadavg): 1.25 1.11 1.08 1/56 7588
Raw data (/proc/7530/stat): 7530 (vallstSAT2005PB) S 7529 7530 4070 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20233421 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7530/statm): 532 242 485 147 0 385 0
[pid=7530] vsize: 2128
Raw data (/proc/7533/stat): 7533 (vallst) T 7530 7530 4070 0 -1 0 4282 0 0 0 96848 23191 0 0 15 0 1 0 20233428 19030016 4252 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7533/statm): 4646 4252 413 48 0 4598 0
[pid=7533] vsize: 18584
Current children cumulated CPU time (s) 1200.41
Current children cumulated vsize (Kb) 20712

Sending SIGTERM to -7530
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=7590
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
New process pid=7591
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
One traced child (pid=7533) exited with status: 3
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/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/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/4052/stat
open syscall for file /proc/4052/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/4052/cmdline
open syscall for file /proc/4052/environ
open syscall for file /proc/4078/stat
open syscall for file /proc/4078/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/4078/cmdline
open syscall for file /proc/4078/environ
open syscall for file /proc/7491/stat
open syscall for file /proc/7491/status
open syscall for file /proc/7491/cmdline
open syscall for file /proc/7491/environ
open syscall for file /proc/7529/stat
open syscall for file /proc/7529/status
open syscall for file /proc/7529/cmdline
open syscall for file /proc/7529/environ
open syscall for file /proc/7530/stat
open syscall for file /proc/7530/status
open syscall for file /proc/7530/cmdline
open syscall for file /proc/7530/environ
open syscall for file /proc/7590/stat
open syscall for file /proc/7590/status
open syscall for file /proc/7590/cmdline
open syscall for file /proc/7590/environ
open syscall for file /proc/7591/stat
open syscall for file /proc/7591/status
open syscall for file /proc/7591/cmdline
open syscall for file /proc/7591/environ
One traced child (pid=7590) exited with status: 0
One traced child (pid=7591) exited with status: 0
New process pid=7592
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=7592) exited with status: 0
New process pid=7593
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
One traced child (pid=7593) exited with status: 0
New process pid=7594
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=7594) exited with status: 0
New process pid=7595
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=7595) exited with status: 0
One traced child (pid=7530) 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): 1660.65
CPU time (s): 1200.54
CPU user time (s): 968.537
CPU system time (s): 232.008
CPU usage (%): 72.2935
Max. virtual memory (cumulated for all children) (Kb): 20712

Verifier Data

ERROR: no interpretation found !