Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb
MD5SUM69337cf8d2b6f6cf8cc02fedc291ffcc
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 benchmark1190.49
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 4939

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        847548 kB
Buffers:         35092 kB
Cached:         121432 kB
SwapCached:        692 kB
Active:          98120 kB
Inactive:        61008 kB
HighTotal:      131008 kB
HighFree:         9576 kB
LowTotal:       903652 kB
LowFree:        837972 kB
SwapTotal:     2097136 kB
SwapFree:      2095920 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            22260 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 21:35:55 (client local time) WITH STATUS 0 IN 1207.74 SECONDS
stats: 7704 7 1207.74 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: 58780;  #end-nodes: 5578;
#proof improvement attempts: 0;  #restarts: 59
Current batch, end-nodes: 55 / 94 (94)
#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:  13531416 (217544:>=*);
#decisions: 181;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 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:  13532016 (216944:>=*);
#decisions: 182;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 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:  13540852 (208108:>=*);
#decisions: 181;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 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:  13541005 (207955:>=*);
#decisions: 179;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 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:  13541256 (207704:>=*);
#decisions: 160289;  #end-nodes: 22706;
#proof improvement attempts: 0;  #restarts: 194
Current batch, end-nodes: 77 / 128 (128)
#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:  13541528 (207432:>=*);
Interupt request received.
#decisions: 675881;  #end-nodes: 190727;
#proof improvement attempts: 0;  #restarts: 746
Current batch, end-nodes: 57 / 301 (266)
#axs: 251, #non-axs: 1826
tight: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 16
loose: meta-meta: start: 8, end: 12;  meta: start: 22, end (keep): 36
Model found with constant:
  (pushed:) 13541528 (207432:>=*)

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: 10528  (#equs: 2)
Time taken: 20 min, 6 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/27880/stat): 27880 (vallstSAT2005PB) R 27879 27880 31778 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1794821276 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/27880/statm): 174 3 169 147 0 27 0
[pid=27880] 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=27881
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=27881) exited with status: 0
New process pid=27882
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=27882) exited with status: 0
New process pid=27883
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/wulflinc15/normalized-mps-v2-20-10-air03.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 1341 0 0 0 969 11 0 0 25 0 1 0 1794821283 7528448 1221 4294967295 134512640 134702520 3221223952 3221223216 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 1838 1221 413 48 0 1790 0
[pid=27883] vsize: 7352
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 9480

[startup+20.0048 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 1380 0 0 0 1941 22 0 0 25 0 1 0 1794821283 14815232 1260 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3617 1260 413 48 0 3569 0
[pid=27883] vsize: 14468
Current children cumulated CPU time (s) 19.65
Current children cumulated vsize (Kb) 16596

[startup+30.0057 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 1400 0 0 0 2836 57 0 0 25 0 1 0 1794821283 14815232 1280 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3617 1280 413 48 0 3569 0
[pid=27883] vsize: 14468
Current children cumulated CPU time (s) 28.95
Current children cumulated vsize (Kb) 16596

[startup+40.0065 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 1405 0 0 0 3727 92 0 0 25 0 1 0 1794821283 14815232 1285 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3617 1285 413 48 0 3569 0
[pid=27883] vsize: 14468
Current children cumulated CPU time (s) 38.21
Current children cumulated vsize (Kb) 16596

[startup+50.0073 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 1405 0 0 0 4625 129 0 0 25 0 1 0 1794821283 14815232 1285 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3617 1285 413 48 0 3569 0
[pid=27883] vsize: 14468
Current children cumulated CPU time (s) 47.56
Current children cumulated vsize (Kb) 16596

[startup+60.0081 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 1977 0 0 0 5509 170 0 0 25 0 1 0 1794821283 14815232 1857 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3617 1857 413 48 0 3569 0
[pid=27883] vsize: 14468
Current children cumulated CPU time (s) 56.81
Current children cumulated vsize (Kb) 16596

[startup+70.0089 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 2143 0 0 0 6425 200 0 0 25 0 1 0 1794821283 14974976 2023 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3656 2023 413 48 0 3608 0
[pid=27883] vsize: 14624
Current children cumulated CPU time (s) 66.27
Current children cumulated vsize (Kb) 16752

[startup+80.0108 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 2150 0 0 0 7342 227 0 0 25 0 1 0 1794821283 15003648 2030 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 2030 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 75.71
Current children cumulated vsize (Kb) 16780

[startup+90.0116 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 2162 0 0 0 8275 252 0 0 25 0 1 0 1794821283 15003648 2042 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 2042 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 85.29
Current children cumulated vsize (Kb) 16780

[startup+100.011 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 2292 0 0 0 9217 270 0 0 25 0 1 0 1794821283 15003648 2172 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 2172 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 94.89
Current children cumulated vsize (Kb) 16780

[startup+110.012 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3177 0 0 0 10149 292 0 0 25 0 1 0 1794821283 15003648 3057 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3057 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 104.43
Current children cumulated vsize (Kb) 16780

[startup+120.013 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3177 0 0 0 11071 321 0 0 25 0 1 0 1794821283 15003648 3057 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3057 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 113.94
Current children cumulated vsize (Kb) 16780

[startup+130.015 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3177 0 0 0 12002 344 0 0 25 0 1 0 1794821283 15003648 3057 4294967295 134512640 134702520 3221223952 3221223352 134607237 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3057 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 123.48
Current children cumulated vsize (Kb) 16780

[startup+140.016 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3177 0 0 0 12935 367 0 0 25 0 1 0 1794821283 15003648 3057 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3057 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 133.04
Current children cumulated vsize (Kb) 16780

[startup+150.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 13880 385 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 142.67
Current children cumulated vsize (Kb) 16780

[startup+160.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 14816 409 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 152.27
Current children cumulated vsize (Kb) 16780

[startup+170.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 15757 431 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 161.9
Current children cumulated vsize (Kb) 16780

[startup+180.019 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 16715 446 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 171.63
Current children cumulated vsize (Kb) 16780

[startup+190.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 17703 450 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 181.55
Current children cumulated vsize (Kb) 16780

[startup+200.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 18660 464 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 191.26
Current children cumulated vsize (Kb) 16780

[startup+210.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 19611 481 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 200.94
Current children cumulated vsize (Kb) 16780

[startup+220.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 20570 496 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 210.68
Current children cumulated vsize (Kb) 16780

[startup+230.023 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 21527 511 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (Kb) 16780

[startup+240.024 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 22488 525 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 230.15
Current children cumulated vsize (Kb) 16780

[startup+250.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 23431 544 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 239.77
Current children cumulated vsize (Kb) 16780

[startup+260.026 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 24381 561 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 249.44
Current children cumulated vsize (Kb) 16780

[startup+270.026 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 25363 568 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 259.33
Current children cumulated vsize (Kb) 16780

[startup+280.027 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 26340 578 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 269.2
Current children cumulated vsize (Kb) 16780

[startup+290.028 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 27272 601 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 278.75
Current children cumulated vsize (Kb) 16780

[startup+300.028 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 28213 619 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221222976 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 288.34
Current children cumulated vsize (Kb) 16780

[startup+310.029 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 29138 647 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 297.87
Current children cumulated vsize (Kb) 16780

[startup+320.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 30060 673 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 307.35
Current children cumulated vsize (Kb) 16780

[startup+330.03 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 30998 695 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 316.95
Current children cumulated vsize (Kb) 16780

[startup+340.031 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 31938 715 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223352 134607278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 326.55
Current children cumulated vsize (Kb) 16780

[startup+350.032 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 32909 725 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 336.36
Current children cumulated vsize (Kb) 16780

[startup+360.033 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 33893 731 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 346.26
Current children cumulated vsize (Kb) 16780

[startup+370.034 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 34824 753 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 355.79
Current children cumulated vsize (Kb) 16780

[startup+380.034 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 35761 775 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 365.38
Current children cumulated vsize (Kb) 16780

[startup+390.035 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3203 0 0 0 36709 793 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 375.04
Current children cumulated vsize (Kb) 16780

[startup+400.035 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3203 0 0 0 37653 813 0 0 25 0 1 0 1794821283 15003648 3083 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3083 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 384.68
Current children cumulated vsize (Kb) 16780

[startup+410.036 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3204 0 0 0 38600 832 0 0 25 0 1 0 1794821283 15003648 3084 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3084 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 394.34
Current children cumulated vsize (Kb) 16780

[startup+420.037 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3205 0 0 0 39549 848 0 0 25 0 1 0 1794821283 15003648 3085 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3085 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 403.99
Current children cumulated vsize (Kb) 16780

[startup+430.038 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3205 0 0 0 40494 866 0 0 25 0 1 0 1794821283 15003648 3085 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3085 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 413.62
Current children cumulated vsize (Kb) 16780

[startup+440.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3205 0 0 0 41438 885 0 0 25 0 1 0 1794821283 15003648 3085 4294967295 134512640 134702520 3221223952 3221222976 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3085 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 423.25
Current children cumulated vsize (Kb) 16780

[startup+450.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3205 0 0 0 42426 890 0 0 25 0 1 0 1794821283 15003648 3085 4294967295 134512640 134702520 3221223952 3221222976 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3085 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 433.18
Current children cumulated vsize (Kb) 16780

[startup+460.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3205 0 0 0 43387 903 0 0 25 0 1 0 1794821283 15003648 3085 4294967295 134512640 134702520 3221223952 3221223224 134557386 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3663 3085 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 442.92
Current children cumulated vsize (Kb) 16780

[startup+470.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3206 0 0 0 44337 920 0 0 25 0 1 0 1794821283 15003648 3086 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3086 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 452.59
Current children cumulated vsize (Kb) 16780

[startup+480.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3206 0 0 0 45279 941 0 0 25 0 1 0 1794821283 15003648 3086 4294967295 134512640 134702520 3221223952 3221222976 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3086 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (Kb) 16780

[startup+490.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3211 0 0 0 46228 960 0 0 25 0 1 0 1794821283 15003648 3091 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3091 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 471.9
Current children cumulated vsize (Kb) 16780

[startup+500.043 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3213 0 0 0 47182 976 0 0 25 0 1 0 1794821283 15003648 3093 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3663 3093 413 48 0 3615 0
[pid=27883] vsize: 14652
Current children cumulated CPU time (s) 481.6
Current children cumulated vsize (Kb) 16780

[startup+510.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3221 0 0 0 48140 990 0 0 25 0 1 0 1794821283 15138816 3101 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3696 3101 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 491.32
Current children cumulated vsize (Kb) 16912

[startup+520.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3222 0 0 0 49102 1003 0 0 25 0 1 0 1794821283 15138816 3102 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3696 3102 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 501.07
Current children cumulated vsize (Kb) 16912

[startup+530.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3229 0 0 0 50066 1016 0 0 25 0 1 0 1794821283 15138816 3109 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3696 3109 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 510.84
Current children cumulated vsize (Kb) 16912

[startup+540.048 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3234 0 0 0 51047 1023 0 0 25 0 1 0 1794821283 15138816 3114 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3696 3114 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 520.72
Current children cumulated vsize (Kb) 16912

[startup+550.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3234 0 0 0 52038 1026 0 0 25 0 1 0 1794821283 15138816 3114 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3696 3114 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 530.66
Current children cumulated vsize (Kb) 16912

[startup+560.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3237 0 0 0 53005 1038 0 0 25 0 1 0 1794821283 15138816 3117 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3696 3117 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 540.45
Current children cumulated vsize (Kb) 16912

[startup+570.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3243 0 0 0 53967 1050 0 0 25 0 1 0 1794821283 15138816 3123 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3696 3123 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 550.19
Current children cumulated vsize (Kb) 16912

[startup+580.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3245 0 0 0 54936 1062 0 0 25 0 1 0 1794821283 15138816 3125 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3696 3125 413 48 0 3648 0
[pid=27883] vsize: 14784
Current children cumulated CPU time (s) 560
Current children cumulated vsize (Kb) 16912

[startup+590.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3248 0 0 0 55896 1076 0 0 25 0 1 0 1794821283 15241216 3128 4294967295 134512640 134702520 3221223952 3221223232 134553160 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3721 3128 413 48 0 3673 0
[pid=27883] vsize: 14884
Current children cumulated CPU time (s) 569.74
Current children cumulated vsize (Kb) 17012

[startup+600.053 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3252 0 0 0 56868 1085 0 0 25 0 1 0 1794821283 15241216 3132 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3721 3132 413 48 0 3673 0
[pid=27883] vsize: 14884
Current children cumulated CPU time (s) 579.55
Current children cumulated vsize (Kb) 17012

[startup+610.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3264 0 0 0 57833 1098 0 0 25 0 1 0 1794821283 15241216 3144 4294967295 134512640 134702520 3221223952 3221223200 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3721 3144 413 48 0 3673 0
[pid=27883] vsize: 14884
Current children cumulated CPU time (s) 589.33
Current children cumulated vsize (Kb) 17012

[startup+620.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3281 0 0 0 58804 1108 0 0 25 0 1 0 1794821283 15241216 3161 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3721 3161 413 48 0 3673 0
[pid=27883] vsize: 14884
Current children cumulated CPU time (s) 599.14
Current children cumulated vsize (Kb) 17012

[startup+630.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3285 0 0 0 59776 1117 0 0 25 0 1 0 1794821283 15241216 3165 4294967295 134512640 134702520 3221223952 3221223072 134584485 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3721 3165 413 48 0 3673 0
[pid=27883] vsize: 14884
Current children cumulated CPU time (s) 608.95
Current children cumulated vsize (Kb) 17012

[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3295 0 0 0 60742 1131 0 0 25 0 1 0 1794821283 15355904 3175 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3749 3175 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 618.75
Current children cumulated vsize (Kb) 17124

[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3298 0 0 0 61706 1144 0 0 25 0 1 0 1794821283 15355904 3178 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3178 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 628.52
Current children cumulated vsize (Kb) 17124

[startup+660.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3306 0 0 0 62681 1154 0 0 25 0 1 0 1794821283 15355904 3186 4294967295 134512640 134702520 3221223952 3221223072 134579029 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3186 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 638.37
Current children cumulated vsize (Kb) 17124

[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3308 0 0 0 63658 1162 0 0 25 0 1 0 1794821283 15355904 3188 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3188 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 648.22
Current children cumulated vsize (Kb) 17124

[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3308 0 0 0 64647 1167 0 0 25 0 1 0 1794821283 15355904 3188 4294967295 134512640 134702520 3221223952 3221222976 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3188 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 658.16
Current children cumulated vsize (Kb) 17124

[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3309 0 0 0 65600 1182 0 0 25 0 1 0 1794821283 15355904 3189 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3749 3189 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 667.84
Current children cumulated vsize (Kb) 17124

[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3310 0 0 0 66564 1195 0 0 25 0 1 0 1794821283 15355904 3190 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3190 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 677.61
Current children cumulated vsize (Kb) 17124

[startup+710.063 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3313 0 0 0 67531 1206 0 0 25 0 1 0 1794821283 15355904 3193 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3193 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 687.39
Current children cumulated vsize (Kb) 17124

[startup+720.064 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3315 0 0 0 68502 1217 0 0 25 0 1 0 1794821283 15355904 3195 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3195 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 697.21
Current children cumulated vsize (Kb) 17124

[startup+730.065 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3320 0 0 0 69469 1229 0 0 25 0 1 0 1794821283 15355904 3200 4294967295 134512640 134702520 3221223952 3221222976 134553142 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3200 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 707
Current children cumulated vsize (Kb) 17124

[startup+740.066 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3321 0 0 0 70435 1241 0 0 25 0 1 0 1794821283 15355904 3201 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3749 3201 413 48 0 3701 0
[pid=27883] vsize: 14996
Current children cumulated CPU time (s) 716.78
Current children cumulated vsize (Kb) 17124

[startup+750.066 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3323 0 0 0 71405 1251 0 0 25 0 1 0 1794821283 15466496 3203 4294967295 134512640 134702520 3221223952 3221223232 134553312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3203 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 726.58
Current children cumulated vsize (Kb) 17232

[startup+760.067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3325 0 0 0 72370 1262 0 0 25 0 1 0 1794821283 15466496 3205 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3205 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 736.34
Current children cumulated vsize (Kb) 17232

[startup+770.067 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3327 0 0 0 73334 1277 0 0 25 0 1 0 1794821283 15466496 3207 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3207 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 746.13
Current children cumulated vsize (Kb) 17232

[startup+780.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3328 0 0 0 74315 1284 0 0 25 0 1 0 1794821283 15466496 3208 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3208 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 756.01
Current children cumulated vsize (Kb) 17232

[startup+790.068 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3328 0 0 0 75301 1290 0 0 25 0 1 0 1794821283 15466496 3208 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3208 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 765.93
Current children cumulated vsize (Kb) 17232

[startup+800.069 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3329 0 0 0 76268 1303 0 0 25 0 1 0 1794821283 15466496 3209 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3209 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 775.73
Current children cumulated vsize (Kb) 17232

[startup+810.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3330 0 0 0 77236 1316 0 0 25 0 1 0 1794821283 15466496 3210 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3210 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 785.54
Current children cumulated vsize (Kb) 17232

[startup+820.07 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3332 0 0 0 78202 1329 0 0 25 0 1 0 1794821283 15466496 3212 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3212 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 795.33
Current children cumulated vsize (Kb) 17232

[startup+830.071 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3335 0 0 0 79170 1340 0 0 25 0 1 0 1794821283 15466496 3215 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3215 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 805.12
Current children cumulated vsize (Kb) 17232

[startup+840.072 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3339 0 0 0 80137 1351 0 0 25 0 1 0 1794821283 15466496 3219 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3219 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 814.9
Current children cumulated vsize (Kb) 17232

[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3342 0 0 0 81107 1363 0 0 25 0 1 0 1794821283 15466496 3222 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3776 3222 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 824.72
Current children cumulated vsize (Kb) 17232

[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3344 0 0 0 82081 1372 0 0 25 0 1 0 1794821283 15466496 3224 4294967295 134512640 134702520 3221223952 3221223172 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3224 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 834.55
Current children cumulated vsize (Kb) 17232

[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3346 0 0 0 83055 1381 0 0 25 0 1 0 1794821283 15466496 3226 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3226 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 844.38
Current children cumulated vsize (Kb) 17232

[startup+880.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3346 0 0 0 84018 1394 0 0 25 0 1 0 1794821283 15466496 3226 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3226 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 854.14
Current children cumulated vsize (Kb) 17232

[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3347 0 0 0 84979 1408 0 0 25 0 1 0 1794821283 15466496 3227 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3776 3227 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 863.89
Current children cumulated vsize (Kb) 17232

[startup+900.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3347 0 0 0 85964 1415 0 0 25 0 1 0 1794821283 15466496 3227 4294967295 134512640 134702520 3221223952 3221222976 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3776 3227 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 873.81
Current children cumulated vsize (Kb) 17232

[startup+910.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3347 0 0 0 86948 1421 0 0 25 0 1 0 1794821283 15466496 3227 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3227 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 883.71
Current children cumulated vsize (Kb) 17232

[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3348 0 0 0 87903 1434 0 0 25 0 1 0 1794821283 15466496 3228 4294967295 134512640 134702520 3221223952 3221223232 134553113 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3228 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 893.39
Current children cumulated vsize (Kb) 17232

[startup+930.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3349 0 0 0 88860 1450 0 0 25 0 1 0 1794821283 15466496 3229 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3776 3229 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 903.12
Current children cumulated vsize (Kb) 17232

[startup+940.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3352 0 0 0 89821 1465 0 0 25 0 1 0 1794821283 15466496 3232 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3232 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 912.88
Current children cumulated vsize (Kb) 17232

[startup+950.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3354 0 0 0 90777 1479 0 0 25 0 1 0 1794821283 15466496 3234 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3234 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 922.58
Current children cumulated vsize (Kb) 17232

[startup+960.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3356 0 0 0 91742 1492 0 0 25 0 1 0 1794821283 15466496 3236 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3776 3236 413 48 0 3728 0
[pid=27883] vsize: 15104
Current children cumulated CPU time (s) 932.36
Current children cumulated vsize (Kb) 17232

[startup+970.084 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3358 0 0 0 92713 1502 0 0 25 0 1 0 1794821283 15572992 3238 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3802 3238 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 942.17
Current children cumulated vsize (Kb) 17336

[startup+980.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3361 0 0 0 93685 1512 0 0 25 0 1 0 1794821283 15572992 3241 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3802 3241 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 951.99
Current children cumulated vsize (Kb) 17336

[startup+990.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3363 0 0 0 94652 1524 0 0 25 0 1 0 1794821283 15572992 3243 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3802 3243 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 961.78
Current children cumulated vsize (Kb) 17336

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3364 0 0 0 95610 1537 0 0 25 0 1 0 1794821283 15572992 3244 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3802 3244 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 971.49
Current children cumulated vsize (Kb) 17336

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3366 0 0 0 96587 1546 0 0 25 0 1 0 1794821283 15572992 3246 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3802 3246 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 981.35
Current children cumulated vsize (Kb) 17336

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3368 0 0 0 97566 1554 0 0 25 0 1 0 1794821283 15572992 3248 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3802 3248 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 991.22
Current children cumulated vsize (Kb) 17336

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3370 0 0 0 98536 1566 0 0 25 0 1 0 1794821283 15572992 3250 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3802 3250 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 1001.04
Current children cumulated vsize (Kb) 17336

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3371 0 0 0 99497 1580 0 0 25 0 1 0 1794821283 15572992 3251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3802 3251 413 48 0 3754 0
[pid=27883] vsize: 15208
Current children cumulated CPU time (s) 1010.79
Current children cumulated vsize (Kb) 17336

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3373 0 0 0 100457 1594 0 0 25 0 1 0 1794821283 15712256 3253 4294967295 134512640 134702520 3221223952 3221222976 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3836 3253 413 48 0 3788 0
[pid=27883] vsize: 15344
Current children cumulated CPU time (s) 1020.53
Current children cumulated vsize (Kb) 17472

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3374 0 0 0 101427 1604 0 0 25 0 1 0 1794821283 15671296 3254 4294967295 134512640 134702520 3221223952 3221223072 134579067 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3826 3254 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1030.33
Current children cumulated vsize (Kb) 17432

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3375 0 0 0 102389 1617 0 0 25 0 1 0 1794821283 15671296 3255 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3255 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1040.08
Current children cumulated vsize (Kb) 17432

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3377 0 0 0 103363 1627 0 0 25 0 1 0 1794821283 15671296 3257 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3257 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1049.92
Current children cumulated vsize (Kb) 17432

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3377 0 0 0 104354 1631 0 0 25 0 1 0 1794821283 15671296 3257 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3257 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1059.87
Current children cumulated vsize (Kb) 17432

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3377 0 0 0 105331 1639 0 0 25 0 1 0 1794821283 15671296 3257 4294967295 134512640 134702520 3221223952 3221223232 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3257 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1069.72
Current children cumulated vsize (Kb) 17432

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3379 0 0 0 106280 1658 0 0 25 0 1 0 1794821283 15671296 3259 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3259 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1079.4
Current children cumulated vsize (Kb) 17432

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3380 0 0 0 107231 1676 0 0 24 0 1 0 1794821283 15671296 3260 4294967295 134512640 134702520 3221223952 3221223352 134607284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3826 3260 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1089.09
Current children cumulated vsize (Kb) 17432

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3380 0 0 0 108193 1689 0 0 25 0 1 0 1794821283 15671296 3260 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3826 3260 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1098.84
Current children cumulated vsize (Kb) 17432

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3384 0 0 0 109162 1701 0 0 25 0 1 0 1794821283 15671296 3264 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3264 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1108.65
Current children cumulated vsize (Kb) 17432

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3385 0 0 0 110122 1715 0 0 25 0 1 0 1794821283 15671296 3265 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3265 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1118.39
Current children cumulated vsize (Kb) 17432

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3386 0 0 0 111098 1723 0 0 25 0 1 0 1794821283 15671296 3266 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3266 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1128.23
Current children cumulated vsize (Kb) 17432

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3389 0 0 0 112075 1732 0 0 25 0 1 0 1794821283 15671296 3269 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27883/statm): 3826 3269 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1138.09
Current children cumulated vsize (Kb) 17432

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3390 0 0 0 113050 1742 0 0 25 0 1 0 1794821283 15671296 3270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3270 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1147.94
Current children cumulated vsize (Kb) 17432

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3393 0 0 0 114028 1751 0 0 25 0 1 0 1794821283 15671296 3273 4294967295 134512640 134702520 3221223952 3221223232 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3273 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1157.81
Current children cumulated vsize (Kb) 17432

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) T 27880 27880 31778 0 -1 0 3395 0 0 0 114999 1761 0 0 25 0 1 0 1794821283 15671296 3275 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3275 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1167.62
Current children cumulated vsize (Kb) 17432

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3395 0 0 0 115968 1772 0 0 25 0 1 0 1794821283 15671296 3275 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3826 3275 413 48 0 3778 0
[pid=27883] vsize: 15304
Current children cumulated CPU time (s) 1177.42
Current children cumulated vsize (Kb) 17432

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3397 0 0 0 116940 1781 0 0 25 0 1 0 1794821283 15773696 3277 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3851 3277 413 48 0 3803 0
[pid=27883] vsize: 15404
Current children cumulated CPU time (s) 1187.23
Current children cumulated vsize (Kb) 17532

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3400 0 0 0 117918 1790 0 0 25 0 1 0 1794821283 15773696 3280 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3851 3280 413 48 0 3803 0
[pid=27883] vsize: 15404
Current children cumulated CPU time (s) 1197.1
Current children cumulated vsize (Kb) 17532

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3402 0 0 0 118892 1800 0 0 25 0 1 0 1794821283 15773696 3282 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3851 3282 413 48 0 3803 0
[pid=27883] vsize: 15404
Current children cumulated CPU time (s) 1206.94
Current children cumulated vsize (Kb) 17532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27883
Raw data (/proc/27880/stat): 27880 (vallstSAT2005PB) S 27879 27880 31778 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1794821276 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27880/statm): 532 242 485 147 0 385 0
[pid=27880] vsize: 2128
Raw data (/proc/27883/stat): 27883 (vallst) R 27880 27880 31778 0 -1 0 3402 0 0 0 118892 1800 0 0 25 0 1 0 1794821283 15773696 3282 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27883/statm): 3851 3282 413 48 0 3803 0
[pid=27883] vsize: 15404
Current children cumulated CPU time (s) 1206.94
Current children cumulated vsize (Kb) 17532

Sending SIGTERM to -27880
Sleeping 2 seconds
New process pid=27885
New process pid=27886
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/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/19225/stat
open syscall for file /proc/19225/status
open syscall for file /proc/19225/cmdline
open syscall for file /proc/19225/environ
open syscall for file /proc/19546/stat
open syscall for file /proc/19546/status
open syscall for file /proc/19546/cmdline
open syscall for file /proc/19546/environ
open syscall for file /proc/19573/stat
open syscall for file /proc/19573/status
open syscall for file /proc/19573/cmdline
open syscall for file /proc/19573/environ
open syscall for file /proc/19597/stat
open syscall for file /proc/19597/status
open syscall for file /proc/19597/cmdline
open syscall for file /proc/19597/environ
open syscall for file /proc/30224/stat
open syscall for file /proc/30224/status
open syscall for file /proc/30224/cmdline
open syscall for file /proc/30224/environ
open syscall for file /proc/30227/stat
open syscall for file /proc/30227/status
open syscall for file /proc/30227/cmdline
open syscall for file /proc/30227/environ
open syscall for file /proc/12024/stat
open syscall for file /proc/12024/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/12024/cmdline
open syscall for file /proc/12024/environ
open syscall for file /proc/12059/stat
open syscall for file /proc/12059/status
open syscall for file /proc/12059/cmdline
open syscall for file /proc/12059/environ
open syscall for file /proc/31778/stat
open syscall for file /proc/31778/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/31778/cmdline
open syscall for file /proc/31778/environ
open syscall for file /proc/31779/stat
open syscall for file /proc/31779/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/31779/cmdline
open syscall for file /proc/31779/environ
open syscall for file /proc/31788/stat
open syscall for file /proc/31788/status
open syscall for file /proc/31788/cmdline
open syscall for file /proc/31788/environ
open syscall for file /proc/27843/stat
open syscall for file /proc/27843/status
open syscall for file /proc/27843/cmdline
open syscall for file /proc/27843/environ
open syscall for file /proc/27879/stat
open syscall for file /proc/27879/status
open syscall for file /proc/27879/cmdline
open syscall for file /proc/27879/environ
open syscall for file /proc/27880/stat
open syscall for file /proc/27880/status
open syscall for file /proc/27880/cmdline
open syscall for file /proc/27880/environ
open syscall for file /proc/27883/stat
open syscall for file /proc/27883/status
open syscall for file /proc/27883/cmdline
open syscall for file /proc/27883/environ
open syscall for file /proc/27885/stat
open syscall for file /proc/27885/status
open syscall for file /proc/27885/cmdline
open syscall for file /proc/27885/environ
open syscall for file /proc/27886/stat
open syscall for file /proc/27886/status
open syscall for file /proc/27886/cmdline
open syscall for file /proc/27886/environ
One traced child (pid=27885) exited with status: 0
One traced child (pid=27886) exited with status: 0
New process pid=27887
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=27887) exited with status: 0
New process pid=27888
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=27883) exited with status: 3
One traced child (pid=27888) exited with status: 0
New process pid=27889
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=27889) exited with status: 0
New process pid=27890
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=27890) exited with status: 0
One traced child (pid=27880) 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.81
CPU time (s): 1207.74
CPU user time (s): 1189.52
CPU system time (s): 18.2272
CPU usage (%): 97.3352
Max. virtual memory (cumulated for all children) (Kb): 17532

Verifier Data

ERROR: no interpretation found !