Some explanations

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

General information on the benchmark

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

Trace number 3835

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-19 02:56:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7528 boxname=wulflinc11 idbench=496 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  45da6faf70c895e4acc43dda6a83b925  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-air03.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-air03.opb 0
IDLAUNCH: 7528
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        876652 kB
Buffers:         35480 kB
Cached:          94484 kB
SwapCached:        732 kB
Active:          66076 kB
Inactive:        66524 kB
HighTotal:      131008 kB
HighFree:        34664 kB
LowTotal:       903652 kB
LowFree:        841988 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19608 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 03:17:14 (client local time) WITH STATUS 0 IN 1205.86 SECONDS
stats: 7528 7 1205.86 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 2  (#equs: 2)
#decisions: 4368;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  13379139 (369821:>=*);
#decisions: 3260;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13380085 (368875:>=*);
#decisions: 3260;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13388782 (360178:>=*);
#decisions: 3260;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13389706 (359254:>=*);
#decisions: 3261;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13398403 (350557:>=*);
#decisions: 3256;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13398753 (350207:>=*);
#decisions: 4746;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13402530 (346430:>=*);
#decisions: 3830;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13410211 (338749:>=*);
#decisions: 4072;  #end-nodes: 49;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 49 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13411961 (336999:>=*);
#decisions: 4013;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13412410 (336550:>=*);
#decisions: 3265;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13413335 (335625:>=*);
#decisions: 3243;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13422032 (326928:>=*);
#decisions: 3838;  #end-nodes: 49;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 49 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13422253 (326707:>=*);
#decisions: 3163;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13422603 (326357:>=*);
#decisions: 4346;  #end-nodes: 67;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 67 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13428487 (320473:>=*);
#decisions: 3956;  #end-nodes: 41;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13432712 (316248:>=*);
#decisions: 3963;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13436346 (312614:>=*);
#decisions: 3206;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13436696 (312264:>=*);
#decisions: 4346;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13439672 (309288:>=*);
#decisions: 3212;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13440597 (308363:>=*);
#decisions: 3213;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13449294 (299666:>=*);
#decisions: 3211;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13449644 (299316:>=*);
#decisions: 5560;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13451773 (297187:>=*);
#decisions: 902;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13451983 (296977:>=*);
#decisions: 903;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13454230 (294730:>=*);
#decisions: 904;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13462927 (286033:>=*);
#decisions: 904;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13470437 (278523:>=*);
#decisions: 901;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 251, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13470507 (278453:>=*);
#decisions: 1047;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 251, #non-axs: 30
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13470593 (278367:>=*);
#decisions: 999;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 251, #non-axs: 60
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13470709 (278251:>=*);
#decisions: 983;  #end-nodes: 75;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 75 / 80 (80)
#axs: 251, #non-axs: 112
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13471117 (277843:>=*);
#decisions: 877;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 251, #non-axs: 112
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13471203 (277757:>=*);
#decisions: 939;  #end-nodes: 54;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 54 / 80 (80)
#axs: 251, #non-axs: 132
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13474051 (274909:>=*);
#decisions: 873;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 251, #non-axs: 132
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13476098 (272862:>=*);
#decisions: 873;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 251, #non-axs: 132
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13483608 (265352:>=*);
#decisions: 873;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 251, #non-axs: 132
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13483694 (265266:>=*);
#decisions: 902;  #end-nodes: 38;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 38 / 80 (80)
#axs: 251, #non-axs: 132
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13483758 (265202:>=*);
#decisions: 6502;  #end-nodes: 371;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 47 / 81 (81)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13486323 (262637:>=*);
#decisions: 3643;  #end-nodes: 22;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487015 (261945:>=*);
#decisions: 4679;  #end-nodes: 201;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 40 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487126 (261834:>=*);
#decisions: 201;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13487265 (261695:>=*);
#decisions: 201;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495962 (252998:>=*);
#decisions: 236;  #end-nodes: 36;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13495968 (252992:>=*);
#decisions: 11624;  #end-nodes: 786;
#proof improvement attempts: 0;  #restarts: 9
Current batch, end-nodes: 24 / 82 (82)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13497196 (251764:>=*);
#decisions: 53;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13497690 (251270:>=*);
#decisions: 66;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13504313 (244647:>=*);
#decisions: 72;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13507966 (240994:>=*);
#decisions: 70;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13521146 (227814:>=*);
#decisions: 123;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 251, #non-axs: 134
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13529687 (219273:>=*);
# Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options
decisions: 85789;  #end-nodes: 8782;
#proof improvement attempts: 0;  #restarts: 92
Current batch, end-nodes: 34 / 103 (103)
#axs: 251, #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:  13533174 (215786:>=*);
#decisions: 1565;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 251, #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:  13533327 (215633:>=*);
#decisions: 280539;  #end-nodes: 43139;
#proof improvement attempts: 0;  #restarts: 306
Current batch, end-nodes: 13 / 174 (156)
#axs: 251, #non-axs: 279
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13533405 (215555:>=*);
#decisions: 84414;  #end-nodes: 9974;
#proof improvement attempts: 0;  #restarts: 103
Current batch, end-nodes: 71 / 105 (105)
#axs: 251, #non-axs: 91
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13541308 (207652:>=*);
#decisions: 20;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 251, #non-axs: 91
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  13541840 (207120:>=*);
Interupt request received.
#decisions: 568269;  #end-nodes: 141252;
#proof improvement attempts: 0;  #restarts: 634
Current batch, end-nodes: 283 / 550 (238)
#axs: 251, #non-axs: 1226
tight: meta-meta: start: 5, end: 7;  meta: start: 8, end (keep): 14
loose: meta-meta: start: 8, end: 12;  meta: start: 24, end (keep): 40
Model found with constant:
  (pushed:) 13541840 (207120:>=*)

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: 10642  (#equs: 2)
Time taken: 20 min, 5 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) R 24195 24196 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1788234293 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/24196/statm): 174 3 169 147 0 27 0
[pid=24196] 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=24197
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=24197) exited with status: 0
New process pid=24198
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=24198) exited with status: 0
New process pid=24199
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/wulflinc11/normalized-mps-v2-20-10-air03.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0042 s]
Raw data (loadavg): 0.68 0.75 0.88 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 1341 0 0 0 969 11 0 0 25 0 1 0 1788234300 7528448 1221 4294967295 134512640 134702520 3221223952 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24199/statm): 1838 1221 413 48 0 1790 0
[pid=24199] vsize: 7352
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 9480

[startup+20.005 s]
Raw data (loadavg): 0.72 0.76 0.88 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 1380 0 0 0 1940 23 0 0 25 0 1 0 1788234300 14815232 1260 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3617 1260 413 48 0 3569 0
[pid=24199] vsize: 14468
Current children cumulated CPU time (s) 19.65
Current children cumulated vsize (Kb) 16596

[startup+30.0068 s]
Raw data (loadavg): 0.77 0.77 0.88 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 1400 0 0 0 2842 58 0 0 25 0 1 0 1788234300 14815232 1280 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3617 1280 413 48 0 3569 0
[pid=24199] vsize: 14468
Current children cumulated CPU time (s) 29.02
Current children cumulated vsize (Kb) 16596

[startup+40.0076 s]
Raw data (loadavg): 0.80 0.77 0.88 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 1405 0 0 0 3744 93 0 0 25 0 1 0 1788234300 14815232 1285 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3617 1285 413 48 0 3569 0
[pid=24199] vsize: 14468
Current children cumulated CPU time (s) 38.39
Current children cumulated vsize (Kb) 16596

[startup+50.0094 s]
Raw data (loadavg): 0.83 0.78 0.88 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 1405 0 0 0 4645 126 0 0 25 0 1 0 1788234300 14815232 1285 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3617 1285 413 48 0 3569 0
[pid=24199] vsize: 14468
Current children cumulated CPU time (s) 47.73
Current children cumulated vsize (Kb) 16596

[startup+60.0101 s]
Raw data (loadavg): 0.86 0.79 0.88 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 1977 0 0 0 5523 168 0 0 25 0 1 0 1788234300 14815232 1857 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3617 1857 413 48 0 3569 0
[pid=24199] vsize: 14468
Current children cumulated CPU time (s) 56.93
Current children cumulated vsize (Kb) 16596

[startup+70.0109 s]
Raw data (loadavg): 0.88 0.80 0.88 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 2143 0 0 0 6444 197 0 0 25 0 1 0 1788234300 14974976 2023 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3656 2023 413 48 0 3608 0
[pid=24199] vsize: 14624
Current children cumulated CPU time (s) 66.43
Current children cumulated vsize (Kb) 16752

[startup+80.0127 s]
Raw data (loadavg): 0.90 0.80 0.88 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 2150 0 0 0 7366 222 0 0 25 0 1 0 1788234300 15003648 2030 4294967295 134512640 134702520 3221223952 3221223232 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3663 2030 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 75.9
Current children cumulated vsize (Kb) 16780

[startup+90.0135 s]
Raw data (loadavg): 0.91 0.81 0.88 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 2175 0 0 0 8306 244 0 0 25 0 1 0 1788234300 15003648 2055 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 2055 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 85.52
Current children cumulated vsize (Kb) 16780

[startup+100.014 s]
Raw data (loadavg): 0.93 0.81 0.88 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 2205 0 0 0 9236 266 0 0 25 0 1 0 1788234300 15003648 2085 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 2085 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 95.04
Current children cumulated vsize (Kb) 16780

[startup+110.015 s]
Raw data (loadavg): 0.94 0.82 0.89 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 2812 0 0 0 10166 291 0 0 25 0 1 0 1788234300 15003648 2692 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 2692 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 104.59
Current children cumulated vsize (Kb) 16780

[startup+120.016 s]
Raw data (loadavg): 1.03 0.84 0.89 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3099 0 0 0 11112 310 0 0 25 0 1 0 1788234300 15003648 2979 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 2979 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 114.24
Current children cumulated vsize (Kb) 16780

[startup+130.017 s]
Raw data (loadavg): 1.02 0.85 0.89 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3117 0 0 0 12060 327 0 0 25 0 1 0 1788234300 15003648 2997 4294967295 134512640 134702520 3221223952 3221223232 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 2997 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 123.89
Current children cumulated vsize (Kb) 16780

[startup+140.017 s]
Raw data (loadavg): 1.02 0.85 0.89 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 12991 354 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 133.47
Current children cumulated vsize (Kb) 16780

[startup+150.018 s]
Raw data (loadavg): 1.02 0.86 0.89 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 13934 375 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223436 134608162 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 143.11
Current children cumulated vsize (Kb) 16780

[startup+160.019 s]
Raw data (loadavg): 1.01 0.86 0.90 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 14869 397 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 152.68
Current children cumulated vsize (Kb) 16780

[startup+170.02 s]
Raw data (loadavg): 1.01 0.86 0.90 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 15812 416 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (Kb) 16780

[startup+180.021 s]
Raw data (loadavg): 1.01 0.87 0.90 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 16765 432 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 171.99
Current children cumulated vsize (Kb) 16780

[startup+190.022 s]
Raw data (loadavg): 1.01 0.87 0.90 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 17701 455 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 181.58
Current children cumulated vsize (Kb) 16780

[startup+200.023 s]
Raw data (loadavg): 1.00 0.87 0.90 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 18676 465 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221222916 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 191.43
Current children cumulated vsize (Kb) 16780

[startup+210.024 s]
Raw data (loadavg): 1.00 0.88 0.90 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 19667 468 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 201.37
Current children cumulated vsize (Kb) 16780

[startup+220.025 s]
Raw data (loadavg): 1.00 0.88 0.90 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 20609 487 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 210.98
Current children cumulated vsize (Kb) 16780

[startup+230.026 s]
Raw data (loadavg): 1.00 0.89 0.90 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 21552 505 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (Kb) 16780

[startup+240.026 s]
Raw data (loadavg): 1.00 0.89 0.90 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 22505 518 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 230.25
Current children cumulated vsize (Kb) 16780

[startup+250.028 s]
Raw data (loadavg): 1.00 0.89 0.90 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 23453 536 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134557527 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 239.91
Current children cumulated vsize (Kb) 16780

[startup+260.029 s]
Raw data (loadavg): 1.00 0.89 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 24402 554 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 249.58
Current children cumulated vsize (Kb) 16780

[startup+270.029 s]
Raw data (loadavg): 1.00 0.90 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 25353 571 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 259.26
Current children cumulated vsize (Kb) 16780

[startup+280.029 s]
Raw data (loadavg): 1.00 0.90 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 26309 586 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 268.97
Current children cumulated vsize (Kb) 16780

[startup+290.03 s]
Raw data (loadavg): 1.00 0.90 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 27300 591 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221222916 134550176 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 278.93
Current children cumulated vsize (Kb) 16780

[startup+300.031 s]
Raw data (loadavg): 1.00 0.91 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 28263 605 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 288.7
Current children cumulated vsize (Kb) 16780

[startup+310.033 s]
Raw data (loadavg): 1.00 0.91 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 29206 622 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 298.3
Current children cumulated vsize (Kb) 16780

[startup+320.034 s]
Raw data (loadavg): 1.00 0.91 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 30136 646 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 307.84
Current children cumulated vsize (Kb) 16780

[startup+330.034 s]
Raw data (loadavg): 1.00 0.91 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 31086 662 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 317.5
Current children cumulated vsize (Kb) 16780

[startup+340.034 s]
Raw data (loadavg): 1.00 0.92 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 32033 684 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 327.19
Current children cumulated vsize (Kb) 16780

[startup+350.036 s]
Raw data (loadavg): 1.00 0.92 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 32971 706 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 336.79
Current children cumulated vsize (Kb) 16780

[startup+360.037 s]
Raw data (loadavg): 1.00 0.92 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 33914 724 0 0 22 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 346.4
Current children cumulated vsize (Kb) 16780

[startup+370.038 s]
Raw data (loadavg): 1.00 0.92 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3203 0 0 0 34868 741 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 356.11
Current children cumulated vsize (Kb) 16780

[startup+380.038 s]
Raw data (loadavg): 1.00 0.92 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3203 0 0 0 35826 756 0 0 25 0 1 0 1788234300 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3083 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 365.84
Current children cumulated vsize (Kb) 16780

[startup+390.039 s]
Raw data (loadavg): 1.00 0.93 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3205 0 0 0 36807 762 0 0 25 0 1 0 1788234300 15003648 3085 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3085 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 375.71
Current children cumulated vsize (Kb) 16780

[startup+400.04 s]
Raw data (loadavg): 1.00 0.93 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3205 0 0 0 37796 766 0 0 25 0 1 0 1788234300 15003648 3085 4294967295 134512640 134702520 3221223952 3221222976 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3085 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 385.64
Current children cumulated vsize (Kb) 16780

[startup+410.041 s]
Raw data (loadavg): 1.00 0.93 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3205 0 0 0 38755 781 0 0 25 0 1 0 1788234300 15003648 3085 4294967295 134512640 134702520 3221223952 3221223232 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3085 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 395.38
Current children cumulated vsize (Kb) 16780

[startup+420.041 s]
Raw data (loadavg): 1.00 0.93 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3208 0 0 0 39721 794 0 0 25 0 1 0 1788234300 15003648 3088 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3663 3088 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 405.17
Current children cumulated vsize (Kb) 16780

[startup+430.042 s]
Raw data (loadavg): 1.00 0.93 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3209 0 0 0 40662 815 0 0 25 0 1 0 1788234300 15003648 3089 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3089 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 414.79
Current children cumulated vsize (Kb) 16780

[startup+440.043 s]
Raw data (loadavg): 1.00 0.94 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3210 0 0 0 41601 837 0 0 25 0 1 0 1788234300 15003648 3090 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3090 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 424.4
Current children cumulated vsize (Kb) 16780

[startup+450.044 s]
Raw data (loadavg): 1.00 0.94 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3212 0 0 0 42542 857 0 0 25 0 1 0 1788234300 15003648 3092 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3092 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 434.01
Current children cumulated vsize (Kb) 16780

[startup+460.056 s]
Raw data (loadavg): 1.00 0.94 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3212 0 0 0 43488 874 0 0 25 0 1 0 1788234300 15003648 3092 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3663 3092 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 443.64
Current children cumulated vsize (Kb) 16780

[startup+470.057 s]
Raw data (loadavg): 1.00 0.94 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3213 0 0 0 44441 892 0 0 25 0 1 0 1788234300 15003648 3093 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3093 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 453.35
Current children cumulated vsize (Kb) 16780

[startup+480.057 s]
Raw data (loadavg): 1.00 0.94 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3215 0 0 0 45400 906 0 0 25 0 1 0 1788234300 15003648 3095 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3095 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 463.08
Current children cumulated vsize (Kb) 16780

[startup+490.058 s]
Raw data (loadavg): 1.00 0.94 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3215 0 0 0 46389 910 0 0 25 0 1 0 1788234300 15003648 3095 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3095 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 473.01
Current children cumulated vsize (Kb) 16780

[startup+500.059 s]
Raw data (loadavg): 1.00 0.94 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3216 0 0 0 47333 929 0 0 25 0 1 0 1788234300 15003648 3096 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3663 3096 413 48 0 3615 0
[pid=24199] vsize: 14652
Current children cumulated CPU time (s) 482.64
Current children cumulated vsize (Kb) 16780

[startup+510.06 s]
Raw data (loadavg): 1.00 0.95 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3218 0 0 0 48270 950 0 0 22 0 1 0 1788234300 15138816 3098 4294967295 134512640 134702520 3221223952 3221222976 134553444 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3696 3098 413 48 0 3648 0
[pid=24199] vsize: 14784
Current children cumulated CPU time (s) 492.22
Current children cumulated vsize (Kb) 16912

[startup+520.059 s]
Raw data (loadavg): 1.00 0.95 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3219 0 0 0 49212 969 0 0 25 0 1 0 1788234300 15093760 3099 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3099 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 501.83
Current children cumulated vsize (Kb) 16868

[startup+530.065 s]
Raw data (loadavg): 1.00 0.95 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3220 0 0 0 50154 990 0 0 25 0 1 0 1788234300 15093760 3100 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3100 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 511.46
Current children cumulated vsize (Kb) 16868

[startup+540.066 s]
Raw data (loadavg): 1.00 0.95 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3222 0 0 0 51094 1011 0 0 18 0 1 0 1788234300 15093760 3102 4294967295 134512640 134702520 3221223952 3221223352 134607274 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3685 3102 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 521.07
Current children cumulated vsize (Kb) 16868

[startup+550.068 s]
Raw data (loadavg): 1.00 0.95 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3224 0 0 0 52038 1032 0 0 25 0 1 0 1788234300 15093760 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3685 3104 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 530.72
Current children cumulated vsize (Kb) 16868

[startup+560.07 s]
Raw data (loadavg): 1.00 0.95 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3225 0 0 0 52974 1053 0 0 25 0 1 0 1788234300 15093760 3105 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3105 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 540.29
Current children cumulated vsize (Kb) 16868

[startup+570.069 s]
Raw data (loadavg): 1.00 0.95 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3227 0 0 0 53928 1069 0 0 25 0 1 0 1788234300 15093760 3107 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3107 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 549.99
Current children cumulated vsize (Kb) 16868

[startup+580.07 s]
Raw data (loadavg): 1.00 0.95 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3227 0 0 0 54918 1073 0 0 25 0 1 0 1788234300 15093760 3107 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3107 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 559.93
Current children cumulated vsize (Kb) 16868

[startup+590.071 s]
Raw data (loadavg): 1.00 0.95 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3228 0 0 0 55860 1096 0 0 25 0 1 0 1788234300 15093760 3108 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3108 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 569.58
Current children cumulated vsize (Kb) 16868

[startup+600.072 s]
Raw data (loadavg): 1.00 0.95 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3228 0 0 0 56802 1118 0 0 25 0 1 0 1788234300 15093760 3108 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3108 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 579.22
Current children cumulated vsize (Kb) 16868

[startup+610.073 s]
Raw data (loadavg): 1.00 0.95 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3228 0 0 0 57731 1140 0 0 25 0 1 0 1788234300 15093760 3108 4294967295 134512640 134702520 3221223952 3221223232 134557527 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3108 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 588.73
Current children cumulated vsize (Kb) 16868

[startup+620.073 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3230 0 0 0 58680 1157 0 0 25 0 1 0 1788234300 15093760 3110 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3110 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 598.39
Current children cumulated vsize (Kb) 16868

[startup+630.074 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3231 0 0 0 59635 1171 0 0 25 0 1 0 1788234300 15093760 3111 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3111 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 608.08
Current children cumulated vsize (Kb) 16868

[startup+640.075 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3232 0 0 0 60610 1180 0 0 25 0 1 0 1788234300 15093760 3112 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3112 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 617.92
Current children cumulated vsize (Kb) 16868

[startup+650.076 s]
Raw data (loadavg): 1.00 0.96 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3234 0 0 0 61562 1196 0 0 25 0 1 0 1788234300 15093760 3114 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3114 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 627.6
Current children cumulated vsize (Kb) 16868

[startup+660.077 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3234 0 0 0 62509 1214 0 0 25 0 1 0 1788234300 15093760 3114 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3114 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 637.25
Current children cumulated vsize (Kb) 16868

[startup+670.077 s]
Raw data (loadavg): 1.00 0.96 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3235 0 0 0 63442 1234 0 0 25 0 1 0 1788234300 15093760 3115 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3115 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 646.78
Current children cumulated vsize (Kb) 16868

[startup+680.078 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3235 0 0 0 64431 1239 0 0 25 0 1 0 1788234300 15093760 3115 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3115 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 656.72
Current children cumulated vsize (Kb) 16868

[startup+690.079 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3235 0 0 0 65393 1250 0 0 25 0 1 0 1788234300 15093760 3115 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3115 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 666.45
Current children cumulated vsize (Kb) 16868

[startup+700.08 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3236 0 0 0 66334 1269 0 0 25 0 1 0 1788234300 15093760 3116 4294967295 134512640 134702520 3221223952 3221223072 134578851 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3685 3116 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 676.05
Current children cumulated vsize (Kb) 16868

[startup+710.08 s]
Raw data (loadavg): 1.00 0.96 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3241 0 0 0 67292 1282 0 0 25 0 1 0 1788234300 15093760 3121 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3685 3121 413 48 0 3637 0
[pid=24199] vsize: 14740
Current children cumulated CPU time (s) 685.76
Current children cumulated vsize (Kb) 16868

[startup+720.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3243 0 0 0 68230 1302 0 0 25 0 1 0 1788234300 15241216 3123 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3123 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 695.34
Current children cumulated vsize (Kb) 17012

[startup+730.082 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3246 0 0 0 69186 1319 0 0 25 0 1 0 1788234300 15241216 3126 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3126 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 705.07
Current children cumulated vsize (Kb) 17012

[startup+740.083 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3248 0 0 0 70151 1331 0 0 25 0 1 0 1788234300 15241216 3128 4294967295 134512640 134702520 3221223952 3221222976 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3128 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 714.84
Current children cumulated vsize (Kb) 17012

[startup+750.084 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3252 0 0 0 71107 1347 0 0 25 0 1 0 1788234300 15241216 3132 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3132 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 724.56
Current children cumulated vsize (Kb) 17012

[startup+760.084 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3258 0 0 0 72076 1358 0 0 25 0 1 0 1788234300 15241216 3138 4294967295 134512640 134702520 3221223952 3221222976 134550624 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3138 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 734.36
Current children cumulated vsize (Kb) 17012

[startup+770.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3259 0 0 0 73044 1371 0 0 25 0 1 0 1788234300 15241216 3139 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3139 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 744.17
Current children cumulated vsize (Kb) 17012

[startup+780.086 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3260 0 0 0 74031 1376 0 0 25 0 1 0 1788234300 15241216 3140 4294967295 134512640 134702520 3221223952 3221222976 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3140 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 754.09
Current children cumulated vsize (Kb) 17012

[startup+790.087 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3261 0 0 0 75014 1382 0 0 25 0 1 0 1788234300 15241216 3141 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3141 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 763.98
Current children cumulated vsize (Kb) 17012

[startup+800.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3263 0 0 0 75982 1392 0 0 25 0 1 0 1788234300 15241216 3143 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3143 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 773.76
Current children cumulated vsize (Kb) 17012

[startup+810.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3265 0 0 0 76952 1404 0 0 25 0 1 0 1788234300 15241216 3145 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3145 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 783.58
Current children cumulated vsize (Kb) 17012

[startup+820.089 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3266 0 0 0 77923 1414 0 0 25 0 1 0 1788234300 15241216 3146 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3146 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 793.39
Current children cumulated vsize (Kb) 17012

[startup+830.09 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3267 0 0 0 78896 1424 0 0 25 0 1 0 1788234300 15241216 3147 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3721 3147 413 48 0 3673 0
[pid=24199] vsize: 14884
Current children cumulated CPU time (s) 803.22
Current children cumulated vsize (Kb) 17012

[startup+840.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3273 0 0 0 79872 1431 0 0 25 0 1 0 1788234300 15376384 3153 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3153 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 813.05
Current children cumulated vsize (Kb) 17144

[startup+850.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3276 0 0 0 80842 1442 0 0 25 0 1 0 1788234300 15376384 3156 4294967295 134512640 134702520 3221223952 3221222944 134610871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3156 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 822.86
Current children cumulated vsize (Kb) 17144

[startup+860.092 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3282 0 0 0 81807 1454 0 0 25 0 1 0 1788234300 15376384 3162 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3162 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 832.63
Current children cumulated vsize (Kb) 17144

[startup+870.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3292 0 0 0 82776 1468 0 0 25 0 1 0 1788234300 15376384 3172 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3172 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 842.46
Current children cumulated vsize (Kb) 17144

[startup+880.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3294 0 0 0 83750 1477 0 0 25 0 1 0 1788234300 15376384 3174 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3174 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 852.29
Current children cumulated vsize (Kb) 17144

[startup+890.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3294 0 0 0 84740 1481 0 0 25 0 1 0 1788234300 15376384 3174 4294967295 134512640 134702520 3221223952 3221222976 134553315 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3174 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 862.23
Current children cumulated vsize (Kb) 17144

[startup+900.095 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3296 0 0 0 85710 1491 0 0 25 0 1 0 1788234300 15376384 3176 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3176 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 872.03
Current children cumulated vsize (Kb) 17144

[startup+910.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3301 0 0 0 86683 1500 0 0 25 0 1 0 1788234300 15376384 3181 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3181 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (Kb) 17144

[startup+920.097 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3302 0 0 0 87642 1515 0 0 25 0 1 0 1788234300 15376384 3182 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3182 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 891.59
Current children cumulated vsize (Kb) 17144

[startup+930.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3306 0 0 0 88615 1526 0 0 25 0 1 0 1788234300 15376384 3186 4294967295 134512640 134702520 3221223952 3221223072 134584493 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3186 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 901.43
Current children cumulated vsize (Kb) 17144

[startup+940.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3307 0 0 0 89580 1539 0 0 25 0 1 0 1788234300 15376384 3187 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3187 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 911.21
Current children cumulated vsize (Kb) 17144

[startup+950.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3310 0 0 0 90556 1548 0 0 25 0 1 0 1788234300 15376384 3190 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3190 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 921.06
Current children cumulated vsize (Kb) 17144

[startup+960.101 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3313 0 0 0 91531 1558 0 0 25 0 1 0 1788234300 15376384 3193 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3193 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 930.91
Current children cumulated vsize (Kb) 17144

[startup+970.102 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3314 0 0 0 92505 1566 0 0 25 0 1 0 1788234300 15376384 3194 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3754 3194 413 48 0 3706 0
[pid=24199] vsize: 15016
Current children cumulated CPU time (s) 940.73
Current children cumulated vsize (Kb) 17144

[startup+980.104 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3319 0 0 0 93476 1575 0 0 25 0 1 0 1788234300 15495168 3199 4294967295 134512640 134702520 3221223952 3221223232 134557527 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3199 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 950.53
Current children cumulated vsize (Kb) 17260

[startup+990.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3323 0 0 0 94442 1587 0 0 25 0 1 0 1788234300 15495168 3203 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3203 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 960.31
Current children cumulated vsize (Kb) 17260

[startup+1000.11 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3329 0 0 0 95421 1594 0 0 25 0 1 0 1788234300 15495168 3209 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3209 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 970.17
Current children cumulated vsize (Kb) 17260

[startup+1010.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3329 0 0 0 96411 1598 0 0 25 0 1 0 1788234300 15495168 3209 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/24199/statm): 3783 3209 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 980.11
Current children cumulated vsize (Kb) 17260

[startup+1020.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3330 0 0 0 97381 1607 0 0 25 0 1 0 1788234300 15495168 3210 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3210 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 989.9
Current children cumulated vsize (Kb) 17260

[startup+1030.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3331 0 0 0 98349 1618 0 0 25 0 1 0 1788234300 15495168 3211 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3211 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 999.69
Current children cumulated vsize (Kb) 17260

[startup+1040.11 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3335 0 0 0 99322 1627 0 0 25 0 1 0 1788234300 15495168 3215 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3215 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1009.51
Current children cumulated vsize (Kb) 17260

[startup+1050.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3336 0 0 0 100292 1639 0 0 25 0 1 0 1788234300 15495168 3216 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3216 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1019.33
Current children cumulated vsize (Kb) 17260

[startup+1060.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3340 0 0 0 101262 1650 0 0 25 0 1 0 1788234300 15495168 3220 4294967295 134512640 134702520 3221223952 3221223232 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3220 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1029.14
Current children cumulated vsize (Kb) 17260

[startup+1070.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3341 0 0 0 102241 1657 0 0 25 0 1 0 1788234300 15495168 3221 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3221 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1039
Current children cumulated vsize (Kb) 17260

[startup+1080.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3343 0 0 0 103215 1667 0 0 25 0 1 0 1788234300 15495168 3223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3223 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1048.84
Current children cumulated vsize (Kb) 17260

[startup+1090.11 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3343 0 0 0 104184 1678 0 0 25 0 1 0 1788234300 15495168 3223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3223 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1058.64
Current children cumulated vsize (Kb) 17260

[startup+1100.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3343 0 0 0 105147 1689 0 0 25 0 1 0 1788234300 15495168 3223 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3223 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1068.38
Current children cumulated vsize (Kb) 17260

[startup+1110.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3344 0 0 0 106119 1699 0 0 25 0 1 0 1788234300 15495168 3224 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3224 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1078.2
Current children cumulated vsize (Kb) 17260

[startup+1120.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3346 0 0 0 107090 1710 0 0 25 0 1 0 1788234300 15495168 3226 4294967295 134512640 134702520 3221223952 3221222976 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3226 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1088.02
Current children cumulated vsize (Kb) 17260

[startup+1130.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3346 0 0 0 108079 1714 0 0 25 0 1 0 1788234300 15495168 3226 4294967295 134512640 134702520 3221223952 3221222976 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3226 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1097.95
Current children cumulated vsize (Kb) 17260

[startup+1140.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3348 0 0 0 109058 1721 0 0 25 0 1 0 1788234300 15495168 3228 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3228 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1107.81
Current children cumulated vsize (Kb) 17260

[startup+1150.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3349 0 0 0 110013 1735 0 0 25 0 1 0 1788234300 15495168 3229 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3229 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1117.5
Current children cumulated vsize (Kb) 17260

[startup+1160.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3351 0 0 0 110972 1749 0 0 25 0 1 0 1788234300 15495168 3231 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3231 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1127.23
Current children cumulated vsize (Kb) 17260

[startup+1170.12 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3352 0 0 0 111929 1762 0 0 25 0 1 0 1788234300 15495168 3232 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3232 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1136.93
Current children cumulated vsize (Kb) 17260

[startup+1180.12 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3354 0 0 0 112901 1773 0 0 25 0 1 0 1788234300 15495168 3234 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3234 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1146.76
Current children cumulated vsize (Kb) 17260

[startup+1190.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3356 0 0 0 113878 1781 0 0 25 0 1 0 1788234300 15495168 3236 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3236 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1156.61
Current children cumulated vsize (Kb) 17260

[startup+1200.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3356 0 0 0 114845 1794 0 0 25 0 1 0 1788234300 15495168 3236 4294967295 134512640 134702520 3221223952 3221223072 134584554 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3783 3236 413 48 0 3735 0
[pid=24199] vsize: 15132
Current children cumulated CPU time (s) 1166.41
Current children cumulated vsize (Kb) 17260

[startup+1210.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3362 0 0 0 115791 1814 0 0 25 0 1 0 1788234300 15642624 3242 4294967295 134512640 134702520 3221223952 3221223232 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3819 3242 413 48 0 3771 0
[pid=24199] vsize: 15276
Current children cumulated CPU time (s) 1176.07
Current children cumulated vsize (Kb) 17404

[startup+1220.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3362 0 0 0 116747 1830 0 0 25 0 1 0 1788234300 15642624 3242 4294967295 134512640 134702520 3221223952 3221223072 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3819 3242 413 48 0 3771 0
[pid=24199] vsize: 15276
Current children cumulated CPU time (s) 1185.79
Current children cumulated vsize (Kb) 17404

[startup+1230.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3364 0 0 0 117696 1848 0 0 25 0 1 0 1788234300 15642624 3244 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3819 3244 413 48 0 3771 0
[pid=24199] vsize: 15276
Current children cumulated CPU time (s) 1195.46
Current children cumulated vsize (Kb) 17404

[startup+1240.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) R 24196 24196 9854 0 -1 0 3364 0 0 0 118642 1866 0 0 25 0 1 0 1788234300 15642624 3244 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3819 3244 413 48 0 3771 0
[pid=24199] vsize: 15276
Current children cumulated CPU time (s) 1205.1
Current children cumulated vsize (Kb) 17404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.13 s]
Raw data (loadavg): 1.00 0.97 0.91 1/57 24199
Raw data (/proc/24196/stat): 24196 (vallstSAT2005PB) S 24195 24196 9854 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1788234293 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/24196/statm): 532 242 485 147 0 385 0
[pid=24196] vsize: 2128
Raw data (/proc/24199/stat): 24199 (vallst) T 24196 24196 9854 0 -1 0 3364 0 0 0 118642 1866 0 0 25 0 1 0 1788234300 15642624 3244 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/24199/statm): 3819 3244 413 48 0 3771 0
[pid=24199] vsize: 15276
Current children cumulated CPU time (s) 1205.1
Current children cumulated vsize (Kb) 17404

Sending SIGTERM to -24196
Sleeping 2 seconds
New process pid=24201
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=24202
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/21244/stat
open syscall for file /proc/21244/status
open syscall for file /proc/21244/cmdline
open syscall for file /proc/21244/environ
open syscall for file /proc/22265/stat
open syscall for file /proc/22265/status
open syscall for file /proc/22265/cmdline
open syscall for file /proc/22265/environ
open syscall for file /proc/22292/stat
open syscall for file /proc/22292/status
open syscall for file /proc/22292/cmdline
open syscall for file /proc/22292/environ
open syscall for file /proc/22316/stat
open syscall for file /proc/22316/status
open syscall for file /proc/22316/cmdline
open syscall for file /proc/22316/environ
open syscall for file /proc/1196/stat
open syscall for file /proc/1196/status
open syscall for file /proc/1196/cmdline
open syscall for file /proc/1196/environ
open syscall for file /proc/32112/stat
open syscall for file /proc/32112/status
open syscall for file /proc/32112/cmdline
open syscall for file /proc/32112/environ
open syscall for file /proc/23586/stat
open syscall for file /proc/23586/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/23586/cmdline
open syscall for file /proc/23586/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/9855/stat
open syscall for file /proc/9855/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/9855/cmdline
open syscall for file /proc/9855/environ
open syscall for file /proc/9864/stat
open syscall for file /proc/9864/status
open syscall for file /proc/9864/cmdline
open syscall for file /proc/9864/environ
open syscall for file /proc/24159/stat
open syscall for file /proc/24159/status
open syscall for file /proc/24159/cmdline
open syscall for file /proc/24159/environ
open syscall for file /proc/24195/stat
open syscall for file /proc/24195/status
open syscall for file /proc/24195/cmdline
open syscall for file /proc/24195/environ
open syscall for file /proc/24196/stat
open syscall for file /proc/24196/status
open syscall for file /proc/24196/cmdline
open syscall for file /proc/24196/environ
open syscall for file /proc/24199/stat
open syscall for file /proc/24199/status
open syscall for file /proc/24199/cmdline
open syscall for file /proc/24199/environ
open syscall for file /proc/24201/stat
open syscall for file /proc/24201/status
open syscall for file /proc/24201/cmdline
open syscall for file /proc/24201/environ
open syscall for file /proc/24202/stat
open syscall for file /proc/24202/status
open syscall for file /proc/24202/cmdline
open syscall for file /proc/24202/environ
One traced child (pid=24201) exited with status: 0
One traced child (pid=24202) exited with status: 0
New process pid=24203
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=24203) exited with status: 0
New process pid=24204
execve syscall for /bin/nice executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=24199) exited with status: 3
One traced child (pid=24204) exited with status: 0
New process pid=24205
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=24205) exited with status: 0
New process pid=24206
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=24206) exited with status: 0
One traced child (pid=24196) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1240.77
CPU time (s): 1205.86
CPU user time (s): 1186.97
CPU system time (s): 18.8931
CPU usage (%): 97.1866
Max. virtual memory (cumulated for all children) (Kb): 17404

Verifier Data

ERROR: no interpretation found !