Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb
MD5SUM9ccd6fd38eec7ec6eedca3a615a280ba
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1042560
Optimality of the best value was proved NO
Number of terms in the objective function 5376
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1526874453
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1526874453
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.04
Number of variables5376
Total number of constraints288
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints288
Minimum length of a constraint21
Maximum length of a constraint320

Trace number 9385

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        942996 kB
Buffers:         10956 kB
Cached:          63640 kB
SwapCached:          0 kB
Active:          43424 kB
Inactive:        34072 kB
HighTotal:      131008 kB
HighFree:        63000 kB
LowTotal:       903652 kB
LowFree:        879996 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8632 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 13:33:18 (client local time) WITH STATUS 0 IN 1201.51 SECONDS
stats: 8116 7 1201.51 0

Solver Data

1:
seed: 0
Nr of vars set: 2422  (#equs: 0)
Nr of vars set: 2422  (#equs: 0)
#decisions: 7178;  #end-nodes: 221;
#proof improvement attempts: 0;  #restarts: 2
Current batch, end-nodes: 60 / 80 (80)
#axs: 321, #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:  1521772878 (5101574:>=*);
#decisions: 2225;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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:  1521772884 (5101568:>=*);
#decisions: 2226;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 321, #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:  1521772890 (5101562:>=*);
#decisions: 2224;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 321, #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:  1521772896 (5101556:>=*);
#decisions: 2238;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 321, #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:  1521772906 (5101546:>=*);
#decisions: 2237;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 321, #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:  1521772912 (5101540:>=*);
#decisions: 2242;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 321, #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:  1521772924 (5101528:>=*);
#decisions: 2244;  #end-nodes: 19;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 321, #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:  1521772928 (5101524:>=*);
#decisions: 2278;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 321, #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:  1521772938 (5101514:>=*);
#decisions: 12068;  #end-nodes: 367;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 44 / 81 (81)
#axs: 321, #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:  1521920842 (4953610:>=*);
#decisions: 2441;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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:  1521920848 (4953604:>=*);
#decisions: 2441;  #end-nodes: 2;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 321, #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:  1521920868 (4953584:>=*);
#decisions: 2439;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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:  1521920926 (4953526:>=*);
#decisions: 2449;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 321, #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:  1521920939 (4953513:>=*);
#decisions: 2475;  #end-nodes: 28;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 321, #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:  1521920950 (4953502:>=*);
#decisions: 2447;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 321, #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:  1521920963 (4953489:>=*);
#decisions: 2471;  #end-nodes: 18;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 321, #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:  1521921008 (4953444:>=*);
#decisions: 2483;  #end-nodes: 35;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 321, #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:  1521921014 (4953438:>=*);
#decisions: 2521;  #end-nodes: 56;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 321, #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:  1521921676 (4952776:>=*);
#decisions: 2512;  #end-nodes: 45;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 321, #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:  1521921759 (4952693:>=*);
#decisions: 13807;  #end-nodes: 434;
#proof improvement attempts: 0;  #restarts: 5
Current batch, end-nodes: 27 / 81 (81)
#axs: 321, #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:  1522035510 (4838942:>=*);
#decisions: 2167;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 321, #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:  1522035511 (4838941:>=*);
#decisions: 2172;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 321, #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:  1522035512 (4838940:>=*);
#decisions: 2179;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 321, #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:  1522035518 (4838934:>=*);
#decisions: 2218;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 321, #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:  1522035522 (4838930:>=*);
#decisions: 347671;  #end-nodes: 15184;
#proof improvement attempts: 0;  #restarts: 153
Current batch, end-nodes: 15 / 118 (118)
#axs: 321, #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:  1522101295 (4773157:>=*);
#decisions: 2201;  #end-nodes: 37;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 321, #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:  1522101332 (4773120:>=*);
#decisions: 2195;  #end-nodes: 25;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 321, #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:  1522101335 (4773117:>=*);
#decisions: 880987;  #end-nodes: 49162;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 175 (175)
#axs: 321, #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:
  (pushed:) 1522101335 (4773117:>=*)

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

2:
seed: 0
Nr of vars set: 2422  (#equs: 0)
Nr of vars set: 2422  (#equs: 0)
#decisions: 624630;  #end-nodes: 40881;
#proof improvement attempts: 0;  #restarts: 266
Current batch, end-nodes: 102 / 186 (186)
#axs: 321, #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:  4094646 (4650142:>=*);
#decisions: 2234;  #end-nodes: 20;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 20 / 120 (120)
#axs: 321, #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:  4094648 (4650140:>=*);
#decisions: 2160;  #end-nodes: 50;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 50 / 120 (120)
#axs: 321, #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:  4094738 (4650050:>=*);
#decisions: 2113;  #end-nodes: 30;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 30 / 120 (120)
#axs: 321, #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:  4094743 (4650045:>=*);
#decisions: 2110;  #end-nodes: 24;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 24 / 120 (120)
#axs: 321, #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:  4094746 (4650042:>=*);
#decisions: 2229;  #end-nodes: 73;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 73 / 120 (120)
#axs: 321, #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:  4094755 (4650033:>=*);
#decisions: 2135;  #end-nodes: 42;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 42 / 120 (120)
#axs: 321, #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:  4094763 (4650025:>=*);
#decisions: 2076;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 120 (120)
#axs: 321, #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:  4094789 (4649999:>=*);
#decisions: 748560;  #end-nodes: 50798;
#proof improvement attempts: 0;  #restarts: 317
Current batch, end-nodes: 184 / 199 (199)
#axs: 321, #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:  4157538 (4587250:>=*);
#decisions: 2543;  #end-nodes: 32;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 32 / 120 (120)
#axs: 321, #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:  4157540 (4587248:>=*);
#decisions: 2343;  #end-nodes: 51;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 51 / 120 (120)
#axs: 321, #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:  4157547 (4587241:>=*);
#decisions: 2292;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 120 (120)
#axs: 321, #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:  4157550 (4587238:>=*);
#decisions: 2303;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 120 (120)
#axs: 321, #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:  4157551 (4587237:>=*);
#decisions: 2343;  #end-nodes: 62;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 62 / 120 (120)
#axs: 321, #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:  4157587 (4587201:>=*);
#decisions: 2392;  #end-nodes: 66;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 66 / 120 (120)
#axs: 321, #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:  4157617 (4587171:>=*);
#decisions: 2360;  #end-nodes: 93;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 93 / 120 (120)
#axs: 321, #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:  4157625 (4587163:>=*);
#decisions: 1972393;  #end-nodes: 173855;
#proof improvement attempts: 0;  #restarts: 793
Current batch, end-nodes: 78 / 318 (318)
#axs: 321, #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:  4223633 (4521155:>=*);
#decisions: 2123;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 321, #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:  4223681 (4521107:>=*);
#decisions: 2124;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 120 (120)
#axs: 321, #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:  4223687 (4521101:>=*);
Interupt request received.
Model found with constant:
  (pushed:) 4223687 (4521101:>=*)

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: 2422  (#equs: 0)
Time taken: 14 min, 42 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/6416/stat): 6416 (vallstSAT2005PB) R 6415 6416 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20450062 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6416/statm): 174 3 169 147 0 27 0
[pid=6416] 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=6417
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=6417) exited with status: 0
New process pid=6418
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=6418) exited with status: 0
New process pid=6419
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/wulflinc4/normalized-mps-v2-13-7-ran16x16.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 0.95 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 576 0 0 0 629 124 0 0 17 0 1 0 20450069 3694592 546 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 902 546 413 48 0 854 0
[pid=6419] vsize: 3608
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (Kb) 5736

[startup+20.0039 s]
Raw data (loadavg): 1.03 1.10 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 576 0 0 0 1157 277 0 0 17 0 1 0 20450069 3694592 546 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 902 546 413 48 0 854 0
[pid=6419] vsize: 3608
Current children cumulated CPU time (s) 14.36
Current children cumulated vsize (Kb) 5736

[startup+30.0048 s]
Raw data (loadavg): 1.03 1.09 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 791 0 0 0 1840 386 0 0 21 0 1 0 20450069 5197824 761 4294967295 134512640 134702520 3221223952 3221223536 134558700 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 761 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (Kb) 7204

[startup+40.0056 s]
Raw data (loadavg): 1.02 1.09 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 900 0 0 0 2609 463 0 0 19 0 1 0 20450069 5197824 870 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 870 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 30.74
Current children cumulated vsize (Kb) 7204

[startup+50.0065 s]
Raw data (loadavg): 1.02 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 959 0 0 0 3390 531 0 0 25 0 1 0 20450069 5197824 929 4294967295 134512640 134702520 3221223952 3221124208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1269 929 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 39.23
Current children cumulated vsize (Kb) 7204

[startup+60.0073 s]
Raw data (loadavg): 1.02 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 4185 598 0 0 19 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 47.85
Current children cumulated vsize (Kb) 7204

[startup+70.0092 s]
Raw data (loadavg): 1.01 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 4963 671 0 0 20 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 56.36
Current children cumulated vsize (Kb) 7204

[startup+80.0111 s]
Raw data (loadavg): 1.01 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 979 0 0 0 5812 723 0 0 25 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221222976 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 65.37
Current children cumulated vsize (Kb) 7204

[startup+90.0119 s]
Raw data (loadavg): 1.01 1.07 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 6757 742 0 0 25 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 75.01
Current children cumulated vsize (Kb) 7204

[startup+100.012 s]
Raw data (loadavg): 1.01 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 979 0 0 0 7587 799 0 0 25 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221101648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 83.88
Current children cumulated vsize (Kb) 7204

[startup+110.014 s]
Raw data (loadavg): 1.00 1.07 1.07 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 8400 861 0 0 20 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 92.63
Current children cumulated vsize (Kb) 7204

[startup+120.014 s]
Raw data (loadavg): 1.08 1.08 1.08 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 979 0 0 0 9184 930 0 0 22 0 1 0 20450069 5197824 949 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 949 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (Kb) 7204

[startup+130.016 s]
Raw data (loadavg): 1.07 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 980 0 0 0 9968 1000 0 0 20 0 1 0 20450069 5197824 950 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 950 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 109.7
Current children cumulated vsize (Kb) 7204

[startup+140.017 s]
Raw data (loadavg): 1.06 1.08 1.08 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 983 0 0 0 10761 1064 0 0 25 0 1 0 20450069 5197824 953 4294967295 134512640 134702520 3221223952 3221086928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 953 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 118.27
Current children cumulated vsize (Kb) 7204

[startup+150.018 s]
Raw data (loadavg): 1.05 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 986 0 0 0 11574 1120 0 0 21 0 1 0 20450069 5197824 956 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1269 956 413 48 0 1221 0
[pid=6419] vsize: 5076
Current children cumulated CPU time (s) 126.96
Current children cumulated vsize (Kb) 7204

[startup+160.019 s]
Raw data (loadavg): 1.04 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 988 0 0 0 12365 1187 0 0 22 0 1 0 20450069 5324800 958 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 958 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 135.54
Current children cumulated vsize (Kb) 7328

[startup+170.02 s]
Raw data (loadavg): 1.03 1.07 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 990 0 0 0 13298 1208 0 0 25 0 1 0 20450069 5324800 960 4294967295 134512640 134702520 3221223952 3221222848 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 960 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 145.08
Current children cumulated vsize (Kb) 7328

[startup+180.021 s]
Raw data (loadavg): 1.03 1.06 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 990 0 0 0 14185 1244 0 0 20 0 1 0 20450069 5324800 960 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 960 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 154.31
Current children cumulated vsize (Kb) 7328

[startup+190.022 s]
Raw data (loadavg): 1.02 1.06 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 992 0 0 0 14974 1310 0 0 22 0 1 0 20450069 5324800 962 4294967295 134512640 134702520 3221223952 3221189008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 962 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 162.86
Current children cumulated vsize (Kb) 7328

[startup+200.023 s]
Raw data (loadavg): 1.02 1.06 1.07 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 994 0 0 0 15799 1370 0 0 21 0 1 0 20450069 5324800 964 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 964 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 171.71
Current children cumulated vsize (Kb) 7328

[startup+210.024 s]
Raw data (loadavg): 1.02 1.06 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 995 0 0 0 16594 1435 0 0 22 0 1 0 20450069 5324800 965 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 965 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 180.31
Current children cumulated vsize (Kb) 7328

[startup+220.025 s]
Raw data (loadavg): 1.01 1.05 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 997 0 0 0 17391 1502 0 0 21 0 1 0 20450069 5324800 967 4294967295 134512640 134702520 3221223952 3221205648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 967 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 188.95
Current children cumulated vsize (Kb) 7328

[startup+230.027 s]
Raw data (loadavg): 1.01 1.05 1.07 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 999 0 0 0 18342 1519 0 0 25 0 1 0 20450069 5324800 969 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 969 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 198.63
Current children cumulated vsize (Kb) 7328

[startup+240.028 s]
Raw data (loadavg): 1.01 1.05 1.07 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 999 0 0 0 19204 1567 0 0 21 0 1 0 20450069 5324800 969 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 969 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 207.73
Current children cumulated vsize (Kb) 7328

[startup+250.028 s]
Raw data (loadavg): 1.01 1.05 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1000 0 0 0 20017 1630 0 0 25 0 1 0 20450069 5324800 970 4294967295 134512640 134702520 3221223952 3221177968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 970 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 216.49
Current children cumulated vsize (Kb) 7328

[startup+260.029 s]
Raw data (loadavg): 1.00 1.05 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1002 0 0 0 20855 1681 0 0 22 0 1 0 20450069 5324800 972 4294967295 134512640 134702520 3221223952 3221223232 134553312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 972 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 225.38
Current children cumulated vsize (Kb) 7328

[startup+270.03 s]
Raw data (loadavg): 1.00 1.04 1.06 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 1005 0 0 0 21659 1744 0 0 20 0 1 0 20450069 5324800 975 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 975 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 234.05
Current children cumulated vsize (Kb) 7328

[startup+280.031 s]
Raw data (loadavg): 1.00 1.04 1.06 1/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) T 6416 6416 4060 0 -1 0 1008 0 0 0 22465 1808 0 0 21 0 1 0 20450069 5324800 978 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 978 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 242.75
Current children cumulated vsize (Kb) 7328

[startup+290.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1010 0 0 0 23398 1830 0 0 25 0 1 0 20450069 5324800 980 4294967295 134512640 134702520 3221223952 3221222848 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 980 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 252.3
Current children cumulated vsize (Kb) 7328

[startup+300.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1011 0 0 0 24294 1868 0 0 21 0 1 0 20450069 5324800 981 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 981 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 261.64
Current children cumulated vsize (Kb) 7328

[startup+310.034 s]
Raw data (loadavg): 1.00 1.04 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1012 0 0 0 25102 1932 0 0 22 0 1 0 20450069 5324800 982 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 982 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 270.36
Current children cumulated vsize (Kb) 7328

[startup+320.034 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1014 0 0 0 25904 1997 0 0 20 0 1 0 20450069 5324800 984 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1300 984 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 279.03
Current children cumulated vsize (Kb) 7328

[startup+330.035 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1017 0 0 0 26737 2053 0 0 25 0 1 0 20450069 5324800 987 4294967295 134512640 134702520 3221223952 3221162128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6419/statm): 1300 987 413 48 0 1252 0
[pid=6419] vsize: 5200
Current children cumulated CPU time (s) 287.92
Current children cumulated vsize (Kb) 7328

[startup+340.036 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1018 0 0 0 27589 2103 0 0 25 0 1 0 20450069 5447680 988 4294967295 134512640 134702520 3221223952 3220939708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1330 988 413 48 0 1282 0
[pid=6419] vsize: 5320
Current children cumulated CPU time (s) 296.94
Current children cumulated vsize (Kb) 7448

[startup+350.037 s]
Raw data (loadavg): 1.00 1.03 1.06 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1021 0 0 0 28436 2153 0 0 25 0 1 0 20450069 5447680 991 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1330 991 413 48 0 1282 0
[pid=6419] vsize: 5320
Current children cumulated CPU time (s) 305.91
Current children cumulated vsize (Kb) 7448

[startup+360.038 s]
Raw data (loadavg): 1.00 1.03 1.05 2/56 6419
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20450062 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 242 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6419/stat): 6419 (vallst) R 6416 6416 4060 0 -1 0 1022 0 0 0 29379 2176 0 0 25 0 1 0 20450069 5447680 992 4294967295 134512640 134702520 3221223952 3221222848 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6419/statm): 1330 992 413 48 0 1282 0
[pid=6419] vsize: 5320
Current children cumulated CPU time (s) 315.57
Current children cumulated vsize (Kb) 7448
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6419) exited with status: 2
New process pid=6420
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6420) exited with status: 0
New process pid=6421
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+370.039 s]
Raw data (loadavg): 1.00 1.03 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 519 0 0 0 512 47 0 0 19 0 1 0 20486406 3391488 489 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 828 489 413 48 0 780 0
[pid=6421] vsize: 3312
Current children cumulated CPU time (s) 324.39
Current children cumulated vsize (Kb) 5440

[startup+380.039 s]
Raw data (loadavg): 1.00 1.03 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 519 0 0 0 1150 172 0 0 19 0 1 0 20486406 3391488 489 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 828 489 413 48 0 780 0
[pid=6421] vsize: 3312
Current children cumulated CPU time (s) 332.02
Current children cumulated vsize (Kb) 5440

[startup+390.04 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 852 0 0 0 1857 272 0 0 21 0 1 0 20486406 4571136 822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1116 822 413 48 0 1068 0
[pid=6421] vsize: 4464
Current children cumulated CPU time (s) 340.09
Current children cumulated vsize (Kb) 6592

[startup+400.041 s]
Raw data (loadavg): 1.00 1.02 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 865 0 0 0 2584 359 0 0 25 0 1 0 20486406 4706304 835 4294967295 134512640 134702520 3221223712 3221098368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1149 835 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 348.23
Current children cumulated vsize (Kb) 6724

[startup+410.043 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 872 0 0 0 3306 454 0 0 17 0 1 0 20486406 4706304 842 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 842 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 356.4
Current children cumulated vsize (Kb) 6724

[startup+420.044 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 878 0 0 0 4089 525 0 0 19 0 1 0 20486406 4706304 848 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 848 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 364.94
Current children cumulated vsize (Kb) 6724

[startup+430.046 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 878 0 0 0 4673 667 0 0 18 0 1 0 20486406 4706304 848 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 848 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 372.2
Current children cumulated vsize (Kb) 6724

[startup+440.047 s]
Raw data (loadavg): 1.00 1.02 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 881 0 0 0 5276 800 0 0 19 0 1 0 20486406 4706304 851 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 851 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 379.56
Current children cumulated vsize (Kb) 6724

[startup+450.047 s]
Raw data (loadavg): 1.00 1.02 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 886 0 0 0 6054 874 0 0 20 0 1 0 20486406 4706304 856 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1149 856 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 388.08
Current children cumulated vsize (Kb) 6724

[startup+460.048 s]
Raw data (loadavg): 1.00 1.02 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 889 0 0 0 6788 957 0 0 25 0 1 0 20486406 4706304 859 4294967295 134512640 134702520 3221223712 3221100288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1149 859 413 48 0 1101 0
[pid=6421] vsize: 4596
Current children cumulated CPU time (s) 396.25
Current children cumulated vsize (Kb) 6724

[startup+470.049 s]
Raw data (loadavg): 1.00 1.02 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 895 0 0 0 7530 1045 0 0 20 0 1 0 20486406 4833280 865 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1180 865 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 404.55
Current children cumulated vsize (Kb) 6848

[startup+480.051 s]
Raw data (loadavg): 1.08 1.03 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 897 0 0 0 8217 1151 0 0 18 0 1 0 20486406 4833280 867 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 867 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 412.48
Current children cumulated vsize (Kb) 6848

[startup+490.052 s]
Raw data (loadavg): 1.07 1.03 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 897 0 0 0 8796 1291 0 0 18 0 1 0 20486406 4833280 867 4294967295 134512640 134702520 3221223712 3221222608 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 867 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 419.67
Current children cumulated vsize (Kb) 6848

[startup+500.052 s]
Raw data (loadavg): 1.06 1.03 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 899 0 0 0 9505 1384 0 0 18 0 1 0 20486406 4833280 869 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 869 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 427.69
Current children cumulated vsize (Kb) 6848

[startup+510.053 s]
Raw data (loadavg): 1.05 1.03 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 903 0 0 0 10250 1466 0 0 25 0 1 0 20486406 4833280 873 4294967295 134512640 134702520 3221223712 3221072588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1180 873 413 48 0 1132 0
[pid=6421] vsize: 4720
Current children cumulated CPU time (s) 435.96
Current children cumulated vsize (Kb) 6848

[startup+520.053 s]
Raw data (loadavg): 1.11 1.04 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 909 0 0 0 10997 1552 0 0 19 0 1 0 20486406 4837376 879 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 879 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 444.29
Current children cumulated vsize (Kb) 6852

[startup+530.054 s]
Raw data (loadavg): 1.10 1.04 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 911 0 0 0 11720 1640 0 0 18 0 1 0 20486406 4837376 881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 881 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 452.4
Current children cumulated vsize (Kb) 6852

[startup+540.055 s]
Raw data (loadavg): 1.08 1.04 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 914 0 0 0 12496 1713 0 0 20 0 1 0 20486406 4837376 884 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 884 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 460.89
Current children cumulated vsize (Kb) 6852

[startup+550.057 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 915 0 0 0 13219 1804 0 0 25 0 1 0 20486406 4837376 885 4294967295 134512640 134702520 3221223712 3221133568 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 885 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 469.03
Current children cumulated vsize (Kb) 6852

[startup+560.058 s]
Raw data (loadavg): 1.06 1.04 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 918 0 0 0 13982 1883 0 0 19 0 1 0 20486406 4837376 888 4294967295 134512640 134702520 3221223712 3221222608 134553118 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 888 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 477.45
Current children cumulated vsize (Kb) 6852

[startup+570.059 s]
Raw data (loadavg): 1.12 1.05 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 918 0 0 0 14599 2014 0 0 18 0 1 0 20486406 4837376 888 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1181 888 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 484.93
Current children cumulated vsize (Kb) 6852

[startup+580.059 s]
Raw data (loadavg): 1.18 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 919 0 0 0 15247 2133 0 0 25 0 1 0 20486406 4837376 889 4294967295 134512640 134702520 3221223712 3221125568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 889 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 492.6
Current children cumulated vsize (Kb) 6852

[startup+590.06 s]
Raw data (loadavg): 1.15 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 920 0 0 0 15978 2221 0 0 18 0 1 0 20486406 4837376 890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 890 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 500.79
Current children cumulated vsize (Kb) 6852

[startup+600.061 s]
Raw data (loadavg): 1.12 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 922 0 0 0 16755 2296 0 0 20 0 1 0 20486406 4837376 892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1181 892 413 48 0 1133 0
[pid=6421] vsize: 4724
Current children cumulated CPU time (s) 509.31
Current children cumulated vsize (Kb) 6852

[startup+610.063 s]
Raw data (loadavg): 1.10 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 924 0 0 0 17501 2380 0 0 24 0 1 0 20486406 4960256 894 4294967295 134512640 134702520 3221223712 3221157728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 894 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 517.61
Current children cumulated vsize (Kb) 6972

[startup+620.064 s]
Raw data (loadavg): 1.09 1.05 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 926 0 0 0 18218 2471 0 0 18 0 1 0 20486406 4960256 896 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 896 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 525.69
Current children cumulated vsize (Kb) 6972

[startup+630.065 s]
Raw data (loadavg): 1.15 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 926 0 0 0 18829 2605 0 0 18 0 1 0 20486406 4960256 896 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 896 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 533.14
Current children cumulated vsize (Kb) 6972

[startup+640.066 s]
Raw data (loadavg): 1.13 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 928 0 0 0 19545 2700 0 0 21 0 1 0 20486406 4960256 898 4294967295 134512640 134702520 3221223712 3221183308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 898 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 541.25
Current children cumulated vsize (Kb) 6972

[startup+650.065 s]
Raw data (loadavg): 1.11 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 930 0 0 0 20343 2764 0 0 20 0 1 0 20486406 4960256 900 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 900 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 549.87
Current children cumulated vsize (Kb) 6972

[startup+660.067 s]
Raw data (loadavg): 1.09 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 932 0 0 0 21099 2844 0 0 25 0 1 0 20486406 4960256 902 4294967295 134512640 134702520 3221223712 3221119008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 902 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 558.23
Current children cumulated vsize (Kb) 6972

[startup+670.068 s]
Raw data (loadavg): 1.08 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 935 0 0 0 21875 2919 0 0 19 0 1 0 20486406 4960256 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 905 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 566.74
Current children cumulated vsize (Kb) 6972

[startup+680.069 s]
Raw data (loadavg): 1.07 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 935 0 0 0 22469 3058 0 0 18 0 1 0 20486406 4960256 905 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 905 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 574.07
Current children cumulated vsize (Kb) 6972

[startup+690.07 s]
Raw data (loadavg): 1.14 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 937 0 0 0 23059 3196 0 0 19 0 1 0 20486406 4960256 907 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 907 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 581.35
Current children cumulated vsize (Kb) 6972

[startup+700.071 s]
Raw data (loadavg): 1.11 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 938 0 0 0 23827 3266 0 0 21 0 1 0 20486406 4960256 908 4294967295 134512640 134702520 3221223712 3221223296 134558690 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 908 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 589.73
Current children cumulated vsize (Kb) 6972

[startup+710.072 s]
Raw data (loadavg): 1.17 1.08 1.06 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 940 0 0 0 24549 3357 0 0 25 0 1 0 20486406 4960256 910 4294967295 134512640 134702520 3221223712 3221112448 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 910 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 597.86
Current children cumulated vsize (Kb) 6972

[startup+720.072 s]
Raw data (loadavg): 1.14 1.08 1.06 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 941 0 0 0 25273 3445 0 0 17 0 1 0 20486406 4960256 911 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 911 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 605.98
Current children cumulated vsize (Kb) 6972

[startup+730.074 s]
Raw data (loadavg): 1.12 1.08 1.06 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 942 0 0 0 26043 3525 0 0 18 0 1 0 20486406 4960256 912 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 912 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 614.48
Current children cumulated vsize (Kb) 6972

[startup+740.075 s]
Raw data (loadavg): 1.10 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 944 0 0 0 26770 3617 0 0 18 0 1 0 20486406 4960256 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 914 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 622.67
Current children cumulated vsize (Kb) 6972

[startup+750.076 s]
Raw data (loadavg): 1.09 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 944 0 0 0 27364 3755 0 0 18 0 1 0 20486406 4960256 914 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 914 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (Kb) 6972

[startup+760.077 s]
Raw data (loadavg): 1.07 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 945 0 0 0 28046 3862 0 0 19 0 1 0 20486406 4960256 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 915 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 637.88
Current children cumulated vsize (Kb) 6972

[startup+770.078 s]
Raw data (loadavg): 1.06 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 945 0 0 0 28827 3934 0 0 25 0 1 0 20486406 4960256 915 4294967295 134512640 134702520 3221223712 3220979148 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 915 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 646.41
Current children cumulated vsize (Kb) 6972

[startup+780.078 s]
Raw data (loadavg): 1.05 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 947 0 0 0 29540 4026 0 0 21 0 1 0 20486406 4960256 917 4294967295 134512640 134702520 3221223712 3221185068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 917 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 654.46
Current children cumulated vsize (Kb) 6972

[startup+790.079 s]
Raw data (loadavg): 1.04 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 949 0 0 0 30323 4095 0 0 19 0 1 0 20486406 4960256 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 919 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 662.98
Current children cumulated vsize (Kb) 6972

[startup+800.08 s]
Raw data (loadavg): 1.12 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 949 0 0 0 30940 4220 0 0 18 0 1 0 20486406 4960256 919 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1211 919 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 670.4
Current children cumulated vsize (Kb) 6972

[startup+810.081 s]
Raw data (loadavg): 1.10 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 950 0 0 0 31530 4358 0 0 17 0 1 0 20486406 4960256 920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 920 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 677.68
Current children cumulated vsize (Kb) 6972

[startup+820.082 s]
Raw data (loadavg): 1.08 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 951 0 0 0 32316 4427 0 0 18 0 1 0 20486406 4960256 921 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 921 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 686.23
Current children cumulated vsize (Kb) 6972

[startup+830.084 s]
Raw data (loadavg): 1.07 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 952 0 0 0 33077 4504 0 0 25 0 1 0 20486406 4960256 922 4294967295 134512640 134702520 3221223712 3221088748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 922 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 694.61
Current children cumulated vsize (Kb) 6972

[startup+840.085 s]
Raw data (loadavg): 1.06 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 953 0 0 0 33827 4588 0 0 19 0 1 0 20486406 4960256 923 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1211 923 413 48 0 1163 0
[pid=6421] vsize: 4844
Current children cumulated CPU time (s) 702.95
Current children cumulated vsize (Kb) 6972

[startup+850.085 s]
Raw data (loadavg): 1.05 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 954 0 0 0 34553 4680 0 0 18 0 1 0 20486406 5103616 924 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1246 924 413 48 0 1198 0
[pid=6421] vsize: 4984
Current children cumulated CPU time (s) 711.13
Current children cumulated vsize (Kb) 7112

[startup+860.086 s]
Raw data (loadavg): 1.04 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 954 0 0 0 35130 4819 0 0 18 0 1 0 20486406 5103616 924 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1246 924 413 48 0 1198 0
[pid=6421] vsize: 4984
Current children cumulated CPU time (s) 718.29
Current children cumulated vsize (Kb) 7112

[startup+870.087 s]
Raw data (loadavg): 1.03 1.05 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 956 0 0 0 35840 4913 0 0 20 0 1 0 20486406 5079040 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 926 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 726.33
Current children cumulated vsize (Kb) 7088

[startup+880.088 s]
Raw data (loadavg): 1.03 1.05 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 956 0 0 0 36577 4995 0 0 20 0 1 0 20486406 5079040 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 926 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 734.52
Current children cumulated vsize (Kb) 7088

[startup+890.089 s]
Raw data (loadavg): 1.02 1.05 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 958 0 0 0 37380 5060 0 0 20 0 1 0 20486406 5079040 928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 928 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 743.2
Current children cumulated vsize (Kb) 7088

[startup+900.09 s]
Raw data (loadavg): 1.17 1.08 1.06 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 960 0 0 0 38127 5141 0 0 20 0 1 0 20486406 5079040 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 930 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 751.48
Current children cumulated vsize (Kb) 7088

[startup+910.091 s]
Raw data (loadavg): 1.15 1.08 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 962 0 0 0 38856 5232 0 0 18 0 1 0 20486406 5079040 932 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 932 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 759.68
Current children cumulated vsize (Kb) 7088

[startup+920.092 s]
Raw data (loadavg): 1.12 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 962 0 0 0 39473 5364 0 0 17 0 1 0 20486406 5079040 932 4294967295 134512640 134702520 3221223712 3221222608 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 932 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 767.17
Current children cumulated vsize (Kb) 7088

[startup+930.093 s]
Raw data (loadavg): 1.10 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 963 0 0 0 40195 5460 0 0 18 0 1 0 20486406 5079040 933 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 933 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 775.35
Current children cumulated vsize (Kb) 7088

[startup+940.094 s]
Raw data (loadavg): 1.09 1.07 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 964 0 0 0 40941 5540 0 0 23 0 1 0 20486406 5079040 934 4294967295 134512640 134702520 3221223712 3221171788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 934 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 783.61
Current children cumulated vsize (Kb) 7088

[startup+950.095 s]
Raw data (loadavg): 1.07 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 965 0 0 0 41740 5607 0 0 20 0 1 0 20486406 5079040 935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 935 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 792.27
Current children cumulated vsize (Kb) 7088

[startup+960.096 s]
Raw data (loadavg): 1.06 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 966 0 0 0 42505 5683 0 0 19 0 1 0 20486406 5079040 936 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 936 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 800.68
Current children cumulated vsize (Kb) 7088

[startup+970.097 s]
Raw data (loadavg): 1.13 1.08 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 968 0 0 0 43287 5758 0 0 19 0 1 0 20486406 5079040 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 938 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 809.25
Current children cumulated vsize (Kb) 7088

[startup+980.098 s]
Raw data (loadavg): 1.11 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 968 0 0 0 43951 5872 0 0 19 0 1 0 20486406 5079040 938 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 938 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 817.03
Current children cumulated vsize (Kb) 7088

[startup+990.099 s]
Raw data (loadavg): 1.09 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 970 0 0 0 44719 5946 0 0 22 0 1 0 20486406 5079040 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 940 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 825.45
Current children cumulated vsize (Kb) 7088

[startup+1000.1 s]
Raw data (loadavg): 1.08 1.07 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 971 0 0 0 45475 6025 0 0 20 0 1 0 20486406 5079040 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 941 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 833.8
Current children cumulated vsize (Kb) 7088

[startup+1010.1 s]
Raw data (loadavg): 1.07 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 972 0 0 0 46298 6085 0 0 25 0 1 0 20486406 5079040 942 4294967295 134512640 134702520 3221223712 3220850828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 942 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 842.63
Current children cumulated vsize (Kb) 7088

[startup+1020.1 s]
Raw data (loadavg): 1.06 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 975 0 0 0 47044 6168 0 0 19 0 1 0 20486406 5079040 945 4294967295 134512640 134702520 3221223712 3221222992 134552239 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 945 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 850.92
Current children cumulated vsize (Kb) 7088

[startup+1030.1 s]
Raw data (loadavg): 1.05 1.06 1.05 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 977 0 0 0 47783 6257 0 0 18 0 1 0 20486406 5079040 947 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 947 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 859.2
Current children cumulated vsize (Kb) 7088

[startup+1040.1 s]
Raw data (loadavg): 1.04 1.06 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 977 0 0 0 48361 6396 0 0 18 0 1 0 20486406 5079040 947 4294967295 134512640 134702520 3221223712 3221222608 134553460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 947 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 866.37
Current children cumulated vsize (Kb) 7088

[startup+1050.1 s]
Raw data (loadavg): 1.03 1.05 1.05 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 978 0 0 0 49047 6499 0 0 25 0 1 0 20486406 5079040 948 4294967295 134512640 134702520 3221223712 3221136768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 948 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 874.26
Current children cumulated vsize (Kb) 7088

[startup+1060.11 s]
Raw data (loadavg): 1.03 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 980 0 0 0 49839 6567 0 0 20 0 1 0 20486406 5079040 950 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 950 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 882.86
Current children cumulated vsize (Kb) 7088

[startup+1070.11 s]
Raw data (loadavg): 1.02 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 981 0 0 0 50611 6642 0 0 19 0 1 0 20486406 5079040 951 4294967295 134512640 134702520 3221223712 3221222992 134553097 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1240 951 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 891.33
Current children cumulated vsize (Kb) 7088

[startup+1080.11 s]
Raw data (loadavg): 1.02 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 981 0 0 0 51382 6717 0 0 22 0 1 0 20486406 5079040 951 4294967295 134512640 134702520 3221223712 3221198368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1240 951 413 48 0 1192 0
[pid=6421] vsize: 4960
Current children cumulated CPU time (s) 899.79
Current children cumulated vsize (Kb) 7088

[startup+1090.11 s]
Raw data (loadavg): 1.02 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 984 0 0 0 52194 6779 0 0 23 0 1 0 20486406 5201920 954 4294967295 134512640 134702520 3221223712 3221222736 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 954 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 908.53
Current children cumulated vsize (Kb) 7208

[startup+1100.11 s]
Raw data (loadavg): 1.01 1.04 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 985 0 0 0 52874 6880 0 0 18 0 1 0 20486406 5201920 955 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 955 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 916.34
Current children cumulated vsize (Kb) 7208

[startup+1110.11 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 985 0 0 0 53514 7004 0 0 19 0 1 0 20486406 5201920 955 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 955 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 923.98
Current children cumulated vsize (Kb) 7208

[startup+1120.11 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 987 0 0 0 54277 7080 0 0 20 0 1 0 20486406 5201920 957 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 957 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 932.37
Current children cumulated vsize (Kb) 7208

[startup+1130.11 s]
Raw data (loadavg): 1.01 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 988 0 0 0 55086 7144 0 0 25 0 1 0 20486406 5201920 958 4294967295 134512640 134702520 3221223712 3221116108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 958 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 941.1
Current children cumulated vsize (Kb) 7208

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 990 0 0 0 55888 7210 0 0 22 0 1 0 20486406 5201920 960 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 960 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 949.78
Current children cumulated vsize (Kb) 7208

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.04 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 992 0 0 0 56645 7287 0 0 19 0 1 0 20486406 5201920 962 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 962 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 958.12
Current children cumulated vsize (Kb) 7208

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 994 0 0 0 57416 7362 0 0 19 0 1 0 20486406 5201920 964 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 964 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 966.58
Current children cumulated vsize (Kb) 7208

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.03 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 994 0 0 0 58045 7488 0 0 18 0 1 0 20486406 5201920 964 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 964 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 974.13
Current children cumulated vsize (Kb) 7208

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 994 0 0 0 58771 7582 0 0 25 0 1 0 20486406 5201920 964 4294967295 134512640 134702520 3221223712 3221137248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 964 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 982.33
Current children cumulated vsize (Kb) 7208

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 996 0 0 0 59516 7665 0 0 24 0 1 0 20486406 5201920 966 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 966 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 990.61
Current children cumulated vsize (Kb) 7208

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 997 0 0 0 60238 7755 0 0 18 0 1 0 20486406 5201920 967 4294967295 134512640 134702520 3221223712 3221221708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 967 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 998.73
Current children cumulated vsize (Kb) 7208

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.03 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 997 0 0 0 60997 7836 0 0 18 0 1 0 20486406 5201920 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 967 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1007.13
Current children cumulated vsize (Kb) 7208

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 998 0 0 0 61773 7908 0 0 20 0 1 0 20486406 5201920 968 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 968 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1015.61
Current children cumulated vsize (Kb) 7208

[startup+1230.12 s]
Raw data (loadavg): 1.07 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 998 0 0 0 62392 8039 0 0 18 0 1 0 20486406 5201920 968 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 968 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1023.11
Current children cumulated vsize (Kb) 7208

[startup+1240.12 s]
Raw data (loadavg): 1.13 1.06 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 999 0 0 0 62979 8175 0 0 19 0 1 0 20486406 5201920 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 969 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1030.34
Current children cumulated vsize (Kb) 7208

[startup+1250.12 s]
Raw data (loadavg): 1.11 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 999 0 0 0 63764 8245 0 0 21 0 1 0 20486406 5201920 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 969 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1038.89
Current children cumulated vsize (Kb) 7208

[startup+1260.13 s]
Raw data (loadavg): 1.10 1.05 1.04 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1000 0 0 0 64500 8331 0 0 25 0 1 0 20486406 5201920 970 4294967295 134512640 134702520 3221223712 3221095308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 970 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1047.11
Current children cumulated vsize (Kb) 7208

[startup+1270.13 s]
Raw data (loadavg): 1.08 1.05 1.04 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1000 0 0 0 65245 8412 0 0 18 0 1 0 20486406 5201920 970 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 970 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1055.37
Current children cumulated vsize (Kb) 7208

[startup+1280.13 s]
Raw data (loadavg): 1.07 1.05 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1001 0 0 0 65936 8515 0 0 18 0 1 0 20486406 5201920 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 971 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1063.31
Current children cumulated vsize (Kb) 7208

[startup+1290.13 s]
Raw data (loadavg): 1.06 1.05 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1001 0 0 0 66516 8653 0 0 18 0 1 0 20486406 5201920 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 971 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1070.49
Current children cumulated vsize (Kb) 7208

[startup+1300.13 s]
Raw data (loadavg): 1.05 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1002 0 0 0 67196 8756 0 0 18 0 1 0 20486406 5201920 972 4294967295 134512640 134702520 3221223712 3221222832 134584464 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 972 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1078.32
Current children cumulated vsize (Kb) 7208

[startup+1310.13 s]
Raw data (loadavg): 1.04 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1002 0 0 0 67970 8830 0 0 25 0 1 0 20486406 5201920 972 4294967295 134512640 134702520 3221223712 3221040908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 972 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1086.8
Current children cumulated vsize (Kb) 7208

[startup+1320.13 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1003 0 0 0 68701 8914 0 0 19 0 1 0 20486406 5201920 973 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 973 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1094.95
Current children cumulated vsize (Kb) 7208

[startup+1330.13 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1003 0 0 0 69508 8979 0 0 25 0 1 0 20486406 5201920 973 4294967295 134512640 134702520 3221223712 3221003968 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 973 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1103.67
Current children cumulated vsize (Kb) 7208

[startup+1340.13 s]
Raw data (loadavg): 1.02 1.04 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1003 0 0 0 70150 9101 0 0 18 0 1 0 20486406 5201920 973 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 973 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1111.31
Current children cumulated vsize (Kb) 7208

[startup+1350.13 s]
Raw data (loadavg): 1.10 1.05 1.03 1/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) T 6416 6416 4060 0 -1 0 1004 0 0 0 70743 9235 0 0 18 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1118.58
Current children cumulated vsize (Kb) 7208

[startup+1360.14 s]
Raw data (loadavg): 1.08 1.05 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1004 0 0 0 71473 9323 0 0 21 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221201408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1126.76
Current children cumulated vsize (Kb) 7208

[startup+1370.14 s]
Raw data (loadavg): 1.07 1.05 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1004 0 0 0 72259 9393 0 0 19 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1135.32
Current children cumulated vsize (Kb) 7208

[startup+1380.14 s]
Raw data (loadavg): 1.06 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1004 0 0 0 73023 9472 0 0 25 0 1 0 20486406 5201920 974 4294967295 134512640 134702520 3221223712 3221096448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6421/statm): 1270 974 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1143.75
Current children cumulated vsize (Kb) 7208

[startup+1390.14 s]
Raw data (loadavg): 1.05 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 73802 9545 0 0 19 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222608 134551048 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1152.27
Current children cumulated vsize (Kb) 7208

[startup+1400.14 s]
Raw data (loadavg): 1.04 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 74427 9676 0 0 19 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222608 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1159.83
Current children cumulated vsize (Kb) 7208

[startup+1410.14 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 75068 9795 0 0 19 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1167.43
Current children cumulated vsize (Kb) 7208

[startup+1420.14 s]
Raw data (loadavg): 1.03 1.04 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 75873 9860 0 0 21 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1176.13
Current children cumulated vsize (Kb) 7208

[startup+1430.14 s]
Raw data (loadavg): 1.10 1.05 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 76605 9949 0 0 20 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1184.34
Current children cumulated vsize (Kb) 7208

[startup+1440.14 s]
Raw data (loadavg): 1.16 1.07 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1006 0 0 0 77405 10016 0 0 25 0 1 0 20486406 5201920 976 4294967295 134512640 134702520 3221223712 3220949728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 976 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1193.01
Current children cumulated vsize (Kb) 7208

[startup+1450.14 s]
Raw data (loadavg): 1.14 1.06 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1007 0 0 0 78160 10095 0 0 19 0 1 0 20486406 5201920 977 4294967295 134512640 134702520 3221223712 3221222608 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 977 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1201.35
Current children cumulated vsize (Kb) 7208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1450.15 s]
Raw data (loadavg): 1.14 1.06 1.03 2/56 6421
Raw data (/proc/6416/stat): 6416 (vallstSAT2005PB) S 6415 6416 4060 0 -1 0 378 1397 0 0 1 1 29693 2185 19 0 1 0 20450062 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6416/statm): 532 248 485 147 0 385 0
[pid=6416] vsize: 2128
Raw data (/proc/6421/stat): 6421 (vallst) R 6416 6416 4060 0 -1 0 1007 0 0 0 78160 10095 0 0 19 0 1 0 20486406 5201920 977 4294967295 134512640 134702520 3221223712 3221222608 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6421/statm): 1270 977 413 48 0 1222 0
[pid=6421] vsize: 5080
Current children cumulated CPU time (s) 1201.35
Current children cumulated vsize (Kb) 7208

Sending SIGTERM to -6416
Sleeping 2 seconds
New process pid=6423
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6424
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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)
One traced child (pid=6421) exited with status: 3
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6377/stat
open syscall for file /proc/6377/status
open syscall for file /proc/6377/cmdline
open syscall for file /proc/6377/environ
open syscall for file /proc/6415/stat
open syscall for file /proc/6415/status
open syscall for file /proc/6415/cmdline
open syscall for file /proc/6415/environ
open syscall for file /proc/6416/stat
open syscall for file /proc/6416/status
open syscall for file /proc/6416/cmdline
open syscall for file /proc/6416/environ
open syscall for file /proc/6423/stat
open syscall for file /proc/6423/status
open syscall for file /proc/6423/cmdline
open syscall for file /proc/6423/environ
open syscall for file /proc/6424/stat
open syscall for file /proc/6424/status
open syscall for file /proc/6424/cmdline
open syscall for file /proc/6424/environ
One traced child (pid=6423) exited with status: 0
One traced child (pid=6424) exited with status: 0
New process pid=6425
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=6425) exited with status: 0
New process pid=6426
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=6426) exited with status: 0
One traced child (pid=6416) 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): 1450.62
CPU time (s): 1201.51
CPU user time (s): 1078.63
CPU system time (s): 122.878
CPU usage (%): 82.8268
Max. virtual memory (cumulated for all children) (Kb): 7448

Verifier Data

ERROR: no interpretation found !