Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-markshare2.opb
MD5SUM3b5121187baf09367bd50bdc4d869d21
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5632
Optimality of the best value was proved NO
Number of terms in the objective function 140
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 7340025
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 7340025
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.36
Number of variables200
Total number of constraints67
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint80

Trace number 9274

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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:        948828 kB
Buffers:          9672 kB
Cached:          59552 kB
SwapCached:          0 kB
Active:          39888 kB
Inactive:        32200 kB
HighTotal:      131008 kB
HighFree:        67144 kB
LowTotal:       903652 kB
LowFree:        881684 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             8272 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 12:26:05 (client local time) WITH STATUS 0 IN 1206.1 SECONDS
stats: 7989 7 1206.1 0

Solver Data

1:
seed: 0
Nr of vars set: 14  (#equs: 0)
Nr of vars set: 14  (#equs: 0)
#decisions: 69;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 15, #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:  6383864 (956160:>=*);
#decisions: 74;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 15, #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:  6418808 (921216:>=*);
#decisions: 236;  #end-nodes: 113;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 33 / 80 (80)
#axs: 15, #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:  6779512 (560512:>=*);
#decisions: 74;  #end-nodes: 17;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 15, #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:  6780792 (559232:>=*);
#decisions: 185;  #end-nodes: 80;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 0 / 80 (80)
#axs: 15, #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:  7084664 (255360:>=*);
#decisions: 49;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 15, #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:  7137400 (202624:>=*);
#decisions: 61;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 15, #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:  7152376 (187648:>=*);
#decisions: 80;  #end-nodes: 23;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 15, #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:  7159160 (180864:>=*);
#decisions: 1111;  #end-nodes: 565;
#proof improvement attempts: 0;  #restarts: 7
Current batch, end-nodes: 1 / 81 (81)
#axs: 15, #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:  7245816 (94208:>=*);
#decisions: 56;  #end-nodes: 9;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 15, #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:  7254392 (85632:>=*);
#decisions: 7589;  #end-nodes: 4217;
#proof improvement attempts: 0;  #restarts: 49
Current batch, end-nodes: 1 / 92 (92)
#axs: 15, #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:  7264760 (75264:>=*);
#decisions: 5276;  #end-nodes: 2784;
#proof improvement attempts: 0;  #restarts: 33
Current batch, end-nodes: 15 / 88 (88)
#axs: 15, #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:  7266936 (73088:>=*);
#decisions: 53;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 15, #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:  7278200 (61824:>=*);
#decisions: 28501;  #end-nodes: 16373;
#proof improvement attempts: 0;  #restarts: 163
Current batch, end-nodes: 51 / 120 (120)
#axs: 15, #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:  7278840 (61184:>=*);
#decisions: 55111;  #end-nodes: 32458;
#proof improvement attempts: 0;  #restarts: 282
Current batch, end-nodes: 28 / 150 (150)
#axs: 15, #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:  7281016 (59008:>=*);
#decisions: 9576;  #end-nodes: 5423;
#proof improvement attempts: 0;  #restarts: 61
Current batch, end-nodes: 91 / 95 (95)
#axs: 15, #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:  7285752 (54272:>=*);
#decisions: 73;  #end-nodes: 27;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 15, #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:  7292408 (47616:>=*);
#decisions: 99;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 15, #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:  7297272 (42752:>=*);
#decisions: 9630;  #end-nodes: 5357;
#proof improvement attempts: 0;  #restarts: 61
Current batch, end-nodes: 23 / 95 (95)
#axs: 15, #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:  7297784 (42240:>=*);
#decisions: 582;  #end-nodes: 339;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 18 / 81 (81)
#axs: 15, #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:  7304696 (35328:>=*);
#decisions: 13473;  #end-nodes: 7510;
#proof improvement attempts: 0;  #restarts: 83
Current batch, end-nodes: 24 / 100 (100)
#axs: 15, #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:  7309304 (30720:>=*);
#decisions: 79232;  #end-nodes: 47275;
#proof improvement attempts: 0;  #restarts: 373
Current batch, end-nodes: 130 / 173 (173)
#axs: 15, #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:  7312888 (27136:>=*);
#decisions: 63701;  #end-nodes: 37375;
#proof improvement attempts: 0;  #restarts: 313
Current batch, end-nodes: 155 / 158 (158)
#axs: 15, #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:  7318904 (21120:>=*);
#decisions: 57036;  #end-nodes: 32950;
#proof improvement attempts: 0;  #restarts: 285
Current batch, end-nodes: 73 / 151 (151)
#axs: 15, #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:  7321592 (18432:>=*);
#decisions: 850027;  #end-nodes: 551756;
#proof improvement attempts: 0;  #restarts: 1805
Current batch, end-nodes: 438 / 531 (531)
#axs: 15, #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:  7329400 (10624:>=*);
#decisions: 926954;  #end-nodes: 613969;
#proof improvement attempts: 0;  #restarts: 1920
Current batch, end-nodes: 0 / 559 (559)
#axs: 15, #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:) 7329400 (10624:>=*)

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: 42  (#equs: 0)
Time taken: 10 min, 2 sec

2:
seed: 0
Nr of vars set: 42  (#equs: 0)
Nr of vars set: 42  (#equs: 0)
#decisions: 2567888;  #end-nodes: 1731058;
#proof improvement attempts: 0;  #restarts: 3272
Current batch, end-nodes: 709 / 938 (938)
#axs: 15, #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:  105720 (8960:>=*);
Interupt request received.
#decisions: 1746533;  #end-nodes: 1172890;
#proof improvement attempts: 0;  #restarts: 2621
Current batch, end-nodes: 84 / 775 (775)
#axs: 15, #non-axs: 1
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 105720 (8960:>=*)

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: 91  (#equs: 0)
Time taken: 10 min, 2 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) R 4969 4970 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19998611 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4970/statm): 174 3 169 147 0 27 0
[pid=4970] 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=4971
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=4971) exited with status: 0
New process pid=4972
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=4972) exited with status: 0
New process pid=4973
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/wulflinc18/normalized-mps-v2-13-7-markshare2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0037 s]
Raw data (loadavg): 0.98 1.03 1.00 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 235 0 0 0 402 185 0 0 17 0 1 0 19998618 2183168 205 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 533 205 413 48 0 485 0
[pid=4973] vsize: 2132
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (Kb) 4260

[startup+20.0046 s]
Raw data (loadavg): 0.98 1.03 1.00 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 242 0 0 0 842 367 0 0 16 0 1 0 19998618 2183168 212 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 533 212 413 48 0 485 0
[pid=4973] vsize: 2132
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (Kb) 4260

[startup+30.0056 s]
Raw data (loadavg): 0.98 1.02 1.00 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 247 0 0 0 1342 526 0 0 18 0 1 0 19998618 2183168 217 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 533 217 413 48 0 485 0
[pid=4973] vsize: 2132
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (Kb) 4260

[startup+40.0065 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 248 0 0 0 1781 707 0 0 16 0 1 0 19998618 2183168 218 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 533 218 413 48 0 485 0
[pid=4973] vsize: 2132
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (Kb) 4260

[startup+50.0074 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 255 0 0 0 2231 883 0 0 19 0 1 0 19998618 2314240 225 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 225 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 31.15
Current children cumulated vsize (Kb) 4388

[startup+60.0083 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 257 0 0 0 2770 1034 0 0 18 0 1 0 19998618 2314240 227 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 227 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (Kb) 4388

[startup+70.0093 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 257 0 0 0 3297 1184 0 0 17 0 1 0 19998618 2314240 227 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 227 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 44.82
Current children cumulated vsize (Kb) 4388

[startup+80.0102 s]
Raw data (loadavg): 1.10 1.05 1.00 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 257 0 0 0 3756 1358 0 0 17 0 1 0 19998618 2314240 227 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 227 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (Kb) 4388

[startup+90.0111 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 258 0 0 0 4241 1527 0 0 17 0 1 0 19998618 2314240 228 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 228 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 57.69
Current children cumulated vsize (Kb) 4388

[startup+100.012 s]
Raw data (loadavg): 1.14 1.06 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 259 0 0 0 4743 1693 0 0 16 0 1 0 19998618 2314240 229 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 229 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 64.37
Current children cumulated vsize (Kb) 4388

[startup+110.014 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 300 0 0 0 5312 1837 0 0 18 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 71.5
Current children cumulated vsize (Kb) 4388

[startup+120.015 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 300 0 0 0 5760 2021 0 0 17 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 77.82
Current children cumulated vsize (Kb) 4388

[startup+130.016 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 300 0 0 0 6222 2203 0 0 16 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 84.26
Current children cumulated vsize (Kb) 4388

[startup+140.017 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 300 0 0 0 6769 2345 0 0 16 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 91.15
Current children cumulated vsize (Kb) 4388

[startup+150.018 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 300 0 0 0 7255 2514 0 0 19 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 97.7
Current children cumulated vsize (Kb) 4388

[startup+160.019 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 300 0 0 0 7717 2688 0 0 19 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 104.06
Current children cumulated vsize (Kb) 4388

[startup+170.019 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 300 0 0 0 8185 2861 0 0 18 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 110.47
Current children cumulated vsize (Kb) 4388

[startup+180.019 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 300 0 0 0 8718 3013 0 0 17 0 1 0 19998618 2314240 270 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 270 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 117.32
Current children cumulated vsize (Kb) 4388

[startup+190.021 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 301 0 0 0 9182 3181 0 0 19 0 1 0 19998618 2314240 271 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 271 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 123.64
Current children cumulated vsize (Kb) 4388

[startup+200.022 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 301 0 0 0 9645 3353 0 0 18 0 1 0 19998618 2314240 271 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 271 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 4388

[startup+210.023 s]
Raw data (loadavg): 1.19 1.08 1.01 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 301 0 0 0 10118 3520 0 0 18 0 1 0 19998618 2314240 271 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 271 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 136.39
Current children cumulated vsize (Kb) 4388

[startup+220.024 s]
Raw data (loadavg): 1.24 1.10 1.02 2/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 302 0 0 0 10592 3688 0 0 17 0 1 0 19998618 2314240 272 4294967295 134512640 134702520 3221223952 3221222720 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 272 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 142.81
Current children cumulated vsize (Kb) 4388

[startup+230.024 s]
Raw data (loadavg): 1.20 1.09 1.02 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 302 0 0 0 11143 3833 0 0 16 0 1 0 19998618 2314240 272 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 272 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 149.77
Current children cumulated vsize (Kb) 4388

[startup+240.025 s]
Raw data (loadavg): 1.24 1.10 1.02 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 303 0 0 0 11713 3973 0 0 18 0 1 0 19998618 2314240 273 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 273 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 156.87
Current children cumulated vsize (Kb) 4388

[startup+250.027 s]
Raw data (loadavg): 1.21 1.10 1.02 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 304 0 0 0 12208 4129 0 0 19 0 1 0 19998618 2314240 274 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 274 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 163.38
Current children cumulated vsize (Kb) 4388

[startup+260.029 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 4973
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 306 0 0 0 12717 4285 0 0 16 0 1 0 19998618 2314240 276 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 276 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 4388

[startup+270.03 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 309 0 0 0 13333 4409 0 0 17 0 1 0 19998618 2314240 279 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 279 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 177.43
Current children cumulated vsize (Kb) 4388

[startup+280.03 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 311 0 0 0 13863 4561 0 0 19 0 1 0 19998618 2314240 281 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 281 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 184.25
Current children cumulated vsize (Kb) 4388

[startup+290.031 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 311 0 0 0 14420 4702 0 0 16 0 1 0 19998618 2314240 281 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 281 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 191.23
Current children cumulated vsize (Kb) 4388

[startup+300.031 s]
Raw data (loadavg): 1.15 1.10 1.02 1/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 312 0 0 0 15022 4830 0 0 17 0 1 0 19998618 2314240 282 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 282 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 198.53
Current children cumulated vsize (Kb) 4388

[startup+310.033 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 313 0 0 0 15556 4980 0 0 17 0 1 0 19998618 2314240 283 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 283 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 205.37
Current children cumulated vsize (Kb) 4388

[startup+320.034 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 315 0 0 0 16222 5089 0 0 20 0 1 0 19998618 2314240 285 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 285 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 213.12
Current children cumulated vsize (Kb) 4388

[startup+330.035 s]
Raw data (loadavg): 1.09 1.09 1.02 2/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 317 0 0 0 16746 5246 0 0 16 0 1 0 19998618 2314240 287 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 287 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 219.93
Current children cumulated vsize (Kb) 4388

[startup+340.036 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 4975
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 318 0 0 0 17412 5358 0 0 16 0 1 0 19998618 2314240 288 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 288 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 227.71
Current children cumulated vsize (Kb) 4388

[startup+350.037 s]
Raw data (loadavg): 1.14 1.10 1.02 3/60 5009
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 319 0 0 0 17968 5504 0 0 16 0 1 0 19998618 2314240 289 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 289 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 234.73
Current children cumulated vsize (Kb) 4388

[startup+360.039 s]
Raw data (loadavg): 1.20 1.11 1.03 1/56 5030
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 320 0 0 0 18588 5633 0 0 15 0 1 0 19998618 2314240 290 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 290 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 242.22
Current children cumulated vsize (Kb) 4388

[startup+370.04 s]
Raw data (loadavg): 1.17 1.11 1.02 1/56 5030
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 321 0 0 0 19178 5770 0 0 15 0 1 0 19998618 2314240 291 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 291 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 249.49
Current children cumulated vsize (Kb) 4388

[startup+380.04 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5030
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 323 0 0 0 19783 5900 0 0 15 0 1 0 19998618 2314240 293 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 293 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 256.84
Current children cumulated vsize (Kb) 4388

[startup+390.041 s]
Raw data (loadavg): 1.12 1.10 1.02 1/56 5030
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 324 0 0 0 20394 6027 0 0 15 0 1 0 19998618 2314240 294 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 294 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 264.22
Current children cumulated vsize (Kb) 4388

[startup+400.042 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5030
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 325 0 0 0 21053 6144 0 0 15 0 1 0 19998618 2314240 295 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 295 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 271.98
Current children cumulated vsize (Kb) 4388

[startup+410.043 s]
Raw data (loadavg): 1.08 1.09 1.02 2/56 5030
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 325 0 0 0 21671 6277 0 0 16 0 1 0 19998618 2314240 295 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 295 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 279.49
Current children cumulated vsize (Kb) 4388

[startup+420.043 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5030
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 326 0 0 0 22361 6379 0 0 15 0 1 0 19998618 2314240 296 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 565 296 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 287.41
Current children cumulated vsize (Kb) 4388

[startup+430.045 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 327 0 0 0 22907 6522 0 0 15 0 1 0 19998618 2314240 297 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 565 297 413 48 0 517 0
[pid=4973] vsize: 2260
Current children cumulated CPU time (s) 294.3
Current children cumulated vsize (Kb) 4388

[startup+440.045 s]
Raw data (loadavg): 1.05 1.08 1.02 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 328 0 0 0 23609 6619 0 0 16 0 1 0 19998618 2449408 298 4294967295 134512640 134702520 3221223952 3221223172 134550173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 598 298 413 48 0 550 0
[pid=4973] vsize: 2392
Current children cumulated CPU time (s) 302.29
Current children cumulated vsize (Kb) 4520

[startup+450.046 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 329 0 0 0 24170 6757 0 0 16 0 1 0 19998618 2449408 299 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 598 299 413 48 0 550 0
[pid=4973] vsize: 2392
Current children cumulated CPU time (s) 309.28
Current children cumulated vsize (Kb) 4520

[startup+460.048 s]
Raw data (loadavg): 1.04 1.07 1.02 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 330 0 0 0 24877 6859 0 0 16 0 1 0 19998618 2449408 300 4294967295 134512640 134702520 3221223952 3221223424 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4973/statm): 598 300 413 48 0 550 0
[pid=4973] vsize: 2392
Current children cumulated CPU time (s) 317.37
Current children cumulated vsize (Kb) 4520

[startup+470.049 s]
Raw data (loadavg): 1.03 1.07 1.01 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 332 0 0 0 25440 7007 0 0 16 0 1 0 19998618 2449408 302 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 598 302 413 48 0 550 0
[pid=4973] vsize: 2392
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (Kb) 4520

[startup+480.049 s]
Raw data (loadavg): 1.02 1.07 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 333 0 0 0 26144 7103 0 0 16 0 1 0 19998618 2449408 303 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 598 303 413 48 0 550 0
[pid=4973] vsize: 2392
Current children cumulated CPU time (s) 332.48
Current children cumulated vsize (Kb) 4520

[startup+490.05 s]
Raw data (loadavg): 1.02 1.07 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 26760 7232 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 339.93
Current children cumulated vsize (Kb) 4524

[startup+500.051 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 334 0 0 0 27250 7394 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 4524

[startup+510.052 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 27740 7566 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 353.07
Current children cumulated vsize (Kb) 4524

[startup+520.053 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 28252 7724 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 359.77
Current children cumulated vsize (Kb) 4524

[startup+530.054 s]
Raw data (loadavg): 1.01 1.06 1.01 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 334 0 0 0 28775 7878 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 366.54
Current children cumulated vsize (Kb) 4524

[startup+540.055 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 29400 8005 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 374.06
Current children cumulated vsize (Kb) 4524

[startup+550.055 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 334 0 0 0 29909 8169 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223232 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 380.79
Current children cumulated vsize (Kb) 4524

[startup+560.056 s]
Raw data (loadavg): 1.00 1.05 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 30448 8318 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 387.67
Current children cumulated vsize (Kb) 4524

[startup+570.057 s]
Raw data (loadavg): 1.00 1.05 1.00 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 31107 8430 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 395.38
Current children cumulated vsize (Kb) 4524

[startup+580.058 s]
Raw data (loadavg): 1.00 1.05 1.00 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 31643 8583 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (Kb) 4524

[startup+590.059 s]
Raw data (loadavg): 1.00 1.04 1.00 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 32175 8741 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 409.17
Current children cumulated vsize (Kb) 4524

[startup+600.06 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 334 0 0 0 32851 8849 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 417.01
Current children cumulated vsize (Kb) 4524

[startup+610.062 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 334 0 0 0 33400 8996 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 423.97
Current children cumulated vsize (Kb) 4524

[startup+620.063 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 334 0 0 0 34102 9094 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223344 134603888 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 431.97
Current children cumulated vsize (Kb) 4524

[startup+630.064 s]
Raw data (loadavg): 1.05 1.05 1.00 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 34646 9240 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 438.87
Current children cumulated vsize (Kb) 4524

[startup+640.066 s]
Raw data (loadavg): 1.04 1.05 1.00 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 35307 9353 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 446.61
Current children cumulated vsize (Kb) 4524

[startup+650.067 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 35900 9486 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 453.87
Current children cumulated vsize (Kb) 4524

[startup+660.068 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 36531 9612 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 461.44
Current children cumulated vsize (Kb) 4524

[startup+670.069 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 37155 9740 0 0 16 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 468.96
Current children cumulated vsize (Kb) 4524

[startup+680.069 s]
Raw data (loadavg): 1.16 1.07 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 334 0 0 0 37825 9850 0 0 15 0 1 0 19998618 2453504 304 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 304 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 476.76
Current children cumulated vsize (Kb) 4524

[startup+690.07 s]
Raw data (loadavg): 1.14 1.07 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 335 0 0 0 38464 9970 0 0 15 0 1 0 19998618 2453504 305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 305 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 484.35
Current children cumulated vsize (Kb) 4524

[startup+700.071 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 335 0 0 0 39141 10082 0 0 15 0 1 0 19998618 2453504 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 305 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 492.24
Current children cumulated vsize (Kb) 4524

[startup+710.072 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 335 0 0 0 39744 10217 0 0 15 0 1 0 19998618 2453504 305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 305 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 499.62
Current children cumulated vsize (Kb) 4524

[startup+720.073 s]
Raw data (loadavg): 1.16 1.08 1.01 1/56 5034
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 336 0 0 0 40475 10307 0 0 16 0 1 0 19998618 2453504 306 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 306 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 507.83
Current children cumulated vsize (Kb) 4524

[startup+730.074 s]
Raw data (loadavg): 1.14 1.08 1.01 2/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 336 0 0 0 41053 10444 0 0 16 0 1 0 19998618 2453504 306 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 306 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 514.98
Current children cumulated vsize (Kb) 4524

[startup+740.076 s]
Raw data (loadavg): 1.19 1.09 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 336 0 0 0 41766 10540 0 0 15 0 1 0 19998618 2453504 306 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 306 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 523.07
Current children cumulated vsize (Kb) 4524

[startup+750.077 s]
Raw data (loadavg): 1.16 1.09 1.01 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 336 0 0 0 42326 10683 0 0 15 0 1 0 19998618 2453504 306 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 306 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 530.1
Current children cumulated vsize (Kb) 4524

[startup+760.078 s]
Raw data (loadavg): 1.21 1.10 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 336 0 0 0 43053 10775 0 0 16 0 1 0 19998618 2453504 306 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 306 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 538.29
Current children cumulated vsize (Kb) 4524

[startup+770.079 s]
Raw data (loadavg): 1.17 1.10 1.02 2/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 337 0 0 0 43631 10909 0 0 16 0 1 0 19998618 2453504 307 4294967295 134512640 134702520 3221223952 3221223232 134552474 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 307 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 545.41
Current children cumulated vsize (Kb) 4524

[startup+780.079 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 337 0 0 0 44355 11002 0 0 16 0 1 0 19998618 2453504 307 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 307 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 553.58
Current children cumulated vsize (Kb) 4524

[startup+790.08 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 337 0 0 0 45100 11086 0 0 15 0 1 0 19998618 2453504 307 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 307 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 561.87
Current children cumulated vsize (Kb) 4524

[startup+800.081 s]
Raw data (loadavg): 1.18 1.10 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 337 0 0 0 45691 11220 0 0 16 0 1 0 19998618 2453504 307 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 307 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 569.12
Current children cumulated vsize (Kb) 4524

[startup+810.082 s]
Raw data (loadavg): 1.15 1.10 1.02 2/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) R 4970 4970 4060 0 -1 0 338 0 0 0 46422 11309 0 0 16 0 1 0 19998618 2453504 308 4294967295 134512640 134702520 3221223952 3221223232 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 308 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 577.32
Current children cumulated vsize (Kb) 4524

[startup+820.083 s]
Raw data (loadavg): 1.13 1.09 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 338 0 0 0 47004 11446 0 0 16 0 1 0 19998618 2453504 308 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 308 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 584.51
Current children cumulated vsize (Kb) 4524

[startup+830.083 s]
Raw data (loadavg): 1.11 1.09 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 338 0 0 0 47741 11537 0 0 16 0 1 0 19998618 2453504 308 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4973/statm): 599 308 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 592.79
Current children cumulated vsize (Kb) 4524

[startup+840.085 s]
Raw data (loadavg): 1.09 1.09 1.02 1/56 5036
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 19998611 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 242 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/4973/stat): 4973 (vallst) T 4970 4970 4060 0 -1 0 338 0 0 0 48479 11626 0 0 16 0 1 0 19998618 2453504 308 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4973/statm): 599 308 413 48 0 551 0
[pid=4973] vsize: 2396
Current children cumulated CPU time (s) 601.06
Current children cumulated vsize (Kb) 4524
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=4973) exited with status: 2
New process pid=5037
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=5037) exited with status: 0
New process pid=5038
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+850.086 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 232 0 0 0 198 139 0 0 16 0 1 0 20083006 2174976 203 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 531 203 413 48 0 483 0
[pid=5038] vsize: 2124
Current children cumulated CPU time (s) 606.4
Current children cumulated vsize (Kb) 4252

[startup+860.087 s]
Raw data (loadavg): 1.06 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 239 0 0 0 562 343 0 0 16 0 1 0 20083006 2174976 210 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 531 210 413 48 0 483 0
[pid=5038] vsize: 2124
Current children cumulated CPU time (s) 612.08
Current children cumulated vsize (Kb) 4252

[startup+870.088 s]
Raw data (loadavg): 1.05 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 247 0 0 0 928 545 0 0 17 0 1 0 20083006 2174976 218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 531 218 413 48 0 483 0
[pid=5038] vsize: 2124
Current children cumulated CPU time (s) 617.76
Current children cumulated vsize (Kb) 4252

[startup+880.089 s]
Raw data (loadavg): 1.04 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 289 0 0 0 1323 744 0 0 18 0 1 0 20083006 2174976 260 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 531 260 413 48 0 483 0
[pid=5038] vsize: 2124
Current children cumulated CPU time (s) 623.7
Current children cumulated vsize (Kb) 4252

[startup+890.09 s]
Raw data (loadavg): 1.04 1.07 1.01 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 290 0 0 0 1719 934 0 0 17 0 1 0 20083006 2174976 261 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 531 261 413 48 0 483 0
[pid=5038] vsize: 2124
Current children cumulated CPU time (s) 629.56
Current children cumulated vsize (Kb) 4252

[startup+900.091 s]
Raw data (loadavg): 1.03 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 292 0 0 0 2123 1121 0 0 18 0 1 0 20083006 2306048 263 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 263 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 635.47
Current children cumulated vsize (Kb) 4380

[startup+910.093 s]
Raw data (loadavg): 1.03 1.07 1.01 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 294 0 0 0 2516 1316 0 0 16 0 1 0 20083006 2306048 265 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 265 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 641.35
Current children cumulated vsize (Kb) 4380

[startup+920.094 s]
Raw data (loadavg): 1.02 1.06 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 297 0 0 0 2925 1505 0 0 17 0 1 0 20083006 2306048 268 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 268 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 647.33
Current children cumulated vsize (Kb) 4380

[startup+930.094 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 299 0 0 0 3347 1693 0 0 18 0 1 0 20083006 2306048 270 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 270 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 653.43
Current children cumulated vsize (Kb) 4380

[startup+940.095 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 301 0 0 0 3776 1874 0 0 16 0 1 0 20083006 2306048 272 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 272 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 659.53
Current children cumulated vsize (Kb) 4380

[startup+950.096 s]
Raw data (loadavg): 1.01 1.06 1.01 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 303 0 0 0 4259 2047 0 0 18 0 1 0 20083006 2306048 274 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 274 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 666.09
Current children cumulated vsize (Kb) 4380

[startup+960.097 s]
Raw data (loadavg): 1.01 1.05 1.00 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 304 0 0 0 4673 2240 0 0 16 0 1 0 20083006 2306048 275 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 275 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 672.16
Current children cumulated vsize (Kb) 4380

[startup+970.098 s]
Raw data (loadavg): 1.01 1.05 1.00 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 305 0 0 0 5099 2422 0 0 17 0 1 0 20083006 2306048 276 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 276 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 678.24
Current children cumulated vsize (Kb) 4380

[startup+980.099 s]
Raw data (loadavg): 1.01 1.05 1.00 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 306 0 0 0 5530 2610 0 0 17 0 1 0 20083006 2306048 277 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 277 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (Kb) 4380

[startup+990.1 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 307 0 0 0 6055 2764 0 0 16 0 1 0 20083006 2306048 278 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 278 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 691.22
Current children cumulated vsize (Kb) 4380

[startup+1000.1 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 308 0 0 0 6508 2934 0 0 19 0 1 0 20083006 2306048 279 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 279 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 697.45
Current children cumulated vsize (Kb) 4380

[startup+1010.1 s]
Raw data (loadavg): 1.06 1.06 1.00 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 309 0 0 0 6939 3120 0 0 17 0 1 0 20083006 2306048 280 4294967295 134512640 134702520 3221223712 3221222992 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 280 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 703.62
Current children cumulated vsize (Kb) 4380

[startup+1020.1 s]
Raw data (loadavg): 1.05 1.06 1.00 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 310 0 0 0 7434 3283 0 0 16 0 1 0 20083006 2306048 281 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 281 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 710.2
Current children cumulated vsize (Kb) 4380

[startup+1030.1 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 312 0 0 0 7918 3451 0 0 17 0 1 0 20083006 2306048 283 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 283 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 716.72
Current children cumulated vsize (Kb) 4380

[startup+1040.1 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 315 0 0 0 8377 3628 0 0 18 0 1 0 20083006 2306048 286 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 286 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 723.08
Current children cumulated vsize (Kb) 4380

[startup+1050.1 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 316 0 0 0 8888 3784 0 0 16 0 1 0 20083006 2306048 287 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 287 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 729.75
Current children cumulated vsize (Kb) 4380

[startup+1060.1 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 317 0 0 0 9374 3955 0 0 19 0 1 0 20083006 2306048 288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 288 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 736.32
Current children cumulated vsize (Kb) 4380

[startup+1070.11 s]
Raw data (loadavg): 1.09 1.06 1.00 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 318 0 0 0 9827 4127 0 0 18 0 1 0 20083006 2306048 289 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 563 289 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 742.57
Current children cumulated vsize (Kb) 4380

[startup+1080.11 s]
Raw data (loadavg): 1.07 1.06 1.00 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 320 0 0 0 10370 4276 0 0 18 0 1 0 20083006 2306048 291 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 291 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 749.49
Current children cumulated vsize (Kb) 4380

[startup+1090.11 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 323 0 0 0 10830 4450 0 0 19 0 1 0 20083006 2306048 294 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 294 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 755.83
Current children cumulated vsize (Kb) 4380

[startup+1100.11 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 323 0 0 0 11309 4614 0 0 16 0 1 0 20083006 2306048 294 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 563 294 413 48 0 515 0
[pid=5038] vsize: 2252
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (Kb) 4380

[startup+1110.11 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 324 0 0 0 11838 4763 0 0 16 0 1 0 20083006 2441216 295 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 295 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 769.04
Current children cumulated vsize (Kb) 4512

[startup+1120.11 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 325 0 0 0 12307 4930 0 0 16 0 1 0 20083006 2441216 296 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 296 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 775.4
Current children cumulated vsize (Kb) 4512

[startup+1130.11 s]
Raw data (loadavg): 1.13 1.08 1.01 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 325 0 0 0 12860 5078 0 0 17 0 1 0 20083006 2441216 296 4294967295 134512640 134702520 3221223712 3221223112 134607261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 296 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 782.41
Current children cumulated vsize (Kb) 4512

[startup+1140.11 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 327 0 0 0 13331 5252 0 0 15 0 1 0 20083006 2441216 298 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 298 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 788.86
Current children cumulated vsize (Kb) 4512

[startup+1150.11 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 327 0 0 0 13889 5401 0 0 16 0 1 0 20083006 2441216 298 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 298 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 795.93
Current children cumulated vsize (Kb) 4512

[startup+1160.11 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 329 0 0 0 14368 5572 0 0 15 0 1 0 20083006 2441216 300 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 300 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 802.43
Current children cumulated vsize (Kb) 4512

[startup+1170.11 s]
Raw data (loadavg): 1.14 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 330 0 0 0 14877 5735 0 0 15 0 1 0 20083006 2441216 301 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 301 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 809.15
Current children cumulated vsize (Kb) 4512

[startup+1180.11 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 331 0 0 0 15402 5892 0 0 15 0 1 0 20083006 2441216 302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 302 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 815.97
Current children cumulated vsize (Kb) 4512

[startup+1190.12 s]
Raw data (loadavg): 1.10 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 331 0 0 0 15870 6064 0 0 15 0 1 0 20083006 2441216 302 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 302 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (Kb) 4512

[startup+1200.12 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 331 0 0 0 16441 6205 0 0 15 0 1 0 20083006 2441216 302 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 302 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 829.49
Current children cumulated vsize (Kb) 4512

[startup+1210.12 s]
Raw data (loadavg): 1.15 1.09 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 332 0 0 0 16904 6381 0 0 15 0 1 0 20083006 2441216 303 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 303 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 835.88
Current children cumulated vsize (Kb) 4512

[startup+1220.12 s]
Raw data (loadavg): 1.13 1.08 1.01 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 335 0 0 0 17480 6522 0 0 15 0 1 0 20083006 2441216 306 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 306 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 843.05
Current children cumulated vsize (Kb) 4512

[startup+1230.12 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 336 0 0 0 17962 6692 0 0 15 0 1 0 20083006 2441216 307 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 307 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 849.57
Current children cumulated vsize (Kb) 4512

[startup+1240.12 s]
Raw data (loadavg): 1.09 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 336 0 0 0 18525 6840 0 0 15 0 1 0 20083006 2441216 307 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 307 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 856.68
Current children cumulated vsize (Kb) 4512

[startup+1250.12 s]
Raw data (loadavg): 1.08 1.08 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 336 0 0 0 19017 7013 0 0 15 0 1 0 20083006 2441216 307 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 307 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 863.33
Current children cumulated vsize (Kb) 4512

[startup+1260.12 s]
Raw data (loadavg): 1.14 1.09 1.01 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 338 0 0 0 19591 7153 0 0 15 0 1 0 20083006 2441216 309 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 309 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 870.47
Current children cumulated vsize (Kb) 4512

[startup+1270.12 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 338 0 0 0 20065 7323 0 0 15 0 1 0 20083006 2441216 309 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 309 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 876.91
Current children cumulated vsize (Kb) 4512

[startup+1280.12 s]
Raw data (loadavg): 1.17 1.10 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 339 0 0 0 20660 7452 0 0 15 0 1 0 20083006 2441216 310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 310 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 884.15
Current children cumulated vsize (Kb) 4512

[startup+1290.12 s]
Raw data (loadavg): 1.22 1.11 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 339 0 0 0 21129 7635 0 0 15 0 1 0 20083006 2441216 310 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 310 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 890.67
Current children cumulated vsize (Kb) 4512

[startup+1300.12 s]
Raw data (loadavg): 1.19 1.11 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 340 0 0 0 21732 7769 0 0 15 0 1 0 20083006 2441216 311 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 311 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 898.04
Current children cumulated vsize (Kb) 4512

[startup+1310.12 s]
Raw data (loadavg): 1.23 1.12 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 340 0 0 0 22238 7936 0 0 15 0 1 0 20083006 2441216 311 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 311 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 904.77
Current children cumulated vsize (Kb) 4512

[startup+1320.13 s]
Raw data (loadavg): 1.20 1.12 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 341 0 0 0 22801 8079 0 0 15 0 1 0 20083006 2441216 312 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 312 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 911.83
Current children cumulated vsize (Kb) 4512

[startup+1330.13 s]
Raw data (loadavg): 1.24 1.13 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 341 0 0 0 23365 8220 0 0 16 0 1 0 20083006 2441216 312 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 312 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 918.88
Current children cumulated vsize (Kb) 4512

[startup+1340.13 s]
Raw data (loadavg): 1.20 1.12 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 341 0 0 0 23878 8371 0 0 15 0 1 0 20083006 2441216 312 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 312 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 925.52
Current children cumulated vsize (Kb) 4512

[startup+1350.13 s]
Raw data (loadavg): 1.17 1.12 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 341 0 0 0 24474 8499 0 0 16 0 1 0 20083006 2441216 312 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 312 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 932.76
Current children cumulated vsize (Kb) 4512

[startup+1360.13 s]
Raw data (loadavg): 1.22 1.13 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 341 0 0 0 24967 8664 0 0 15 0 1 0 20083006 2441216 312 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 596 312 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 939.34
Current children cumulated vsize (Kb) 4512

[startup+1370.13 s]
Raw data (loadavg): 1.19 1.12 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 342 0 0 0 25559 8801 0 0 15 0 1 0 20083006 2441216 313 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 596 313 413 48 0 548 0
[pid=5038] vsize: 2384
Current children cumulated CPU time (s) 946.63
Current children cumulated vsize (Kb) 4512

[startup+1380.13 s]
Raw data (loadavg): 1.16 1.12 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 26021 8974 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 952.98
Current children cumulated vsize (Kb) 4516

[startup+1390.13 s]
Raw data (loadavg): 1.13 1.12 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 26391 9179 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 958.73
Current children cumulated vsize (Kb) 4516

[startup+1400.13 s]
Raw data (loadavg): 1.11 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 26780 9380 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 964.63
Current children cumulated vsize (Kb) 4516

[startup+1410.13 s]
Raw data (loadavg): 1.10 1.11 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 27159 9581 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 970.43
Current children cumulated vsize (Kb) 4516

[startup+1420.13 s]
Raw data (loadavg): 1.08 1.10 1.02 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 346 0 0 0 27540 9782 0 0 16 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 976.25
Current children cumulated vsize (Kb) 4516

[startup+1430.14 s]
Raw data (loadavg): 1.07 1.10 1.02 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 27946 9971 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 982.2
Current children cumulated vsize (Kb) 4516

[startup+1440.14 s]
Raw data (loadavg): 1.13 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 28355 10172 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 988.3
Current children cumulated vsize (Kb) 4516

[startup+1450.14 s]
Raw data (loadavg): 1.11 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 28771 10362 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 994.36
Current children cumulated vsize (Kb) 4516

[startup+1460.14 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 29232 10540 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1000.75
Current children cumulated vsize (Kb) 4516

[startup+1470.14 s]
Raw data (loadavg): 1.08 1.10 1.02 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 346 0 0 0 29694 10720 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1007.17
Current children cumulated vsize (Kb) 4516

[startup+1480.14 s]
Raw data (loadavg): 1.15 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 30129 10904 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1013.36
Current children cumulated vsize (Kb) 4516

[startup+1490.14 s]
Raw data (loadavg): 1.12 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 30546 11094 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1019.43
Current children cumulated vsize (Kb) 4516

[startup+1500.14 s]
Raw data (loadavg): 1.10 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 30971 11284 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1025.58
Current children cumulated vsize (Kb) 4516

[startup+1510.14 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 31498 11445 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1032.46
Current children cumulated vsize (Kb) 4516

[startup+1520.14 s]
Raw data (loadavg): 1.15 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 31941 11627 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1038.71
Current children cumulated vsize (Kb) 4516

[startup+1530.15 s]
Raw data (loadavg): 1.13 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 32386 11807 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1044.96
Current children cumulated vsize (Kb) 4516

[startup+1540.15 s]
Raw data (loadavg): 1.11 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 32868 11981 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1051.52
Current children cumulated vsize (Kb) 4516

[startup+1550.15 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 33363 12150 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1058.16
Current children cumulated vsize (Kb) 4516

[startup+1560.15 s]
Raw data (loadavg): 1.15 1.12 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 33813 12328 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1064.44
Current children cumulated vsize (Kb) 4516

[startup+1570.15 s]
Raw data (loadavg): 1.13 1.11 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 34304 12503 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1071.1
Current children cumulated vsize (Kb) 4516

[startup+1580.15 s]
Raw data (loadavg): 1.18 1.12 1.04 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 34808 12663 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1077.74
Current children cumulated vsize (Kb) 4516

[startup+1590.15 s]
Raw data (loadavg): 1.15 1.12 1.03 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 35279 12843 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1084.25
Current children cumulated vsize (Kb) 4516

[startup+1600.15 s]
Raw data (loadavg): 1.13 1.11 1.03 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 346 0 0 0 35824 12995 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1091.22
Current children cumulated vsize (Kb) 4516

[startup+1610.15 s]
Raw data (loadavg): 1.18 1.13 1.04 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 346 0 0 0 36300 13172 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1097.75
Current children cumulated vsize (Kb) 4516

[startup+1620.15 s]
Raw data (loadavg): 1.15 1.12 1.04 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 36761 13350 0 0 16 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1104.14
Current children cumulated vsize (Kb) 4516

[startup+1630.15 s]
Raw data (loadavg): 1.20 1.13 1.04 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 37328 13496 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1111.27
Current children cumulated vsize (Kb) 4516

[startup+1640.15 s]
Raw data (loadavg): 1.17 1.13 1.04 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 37795 13670 0 0 16 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1117.68
Current children cumulated vsize (Kb) 4516

[startup+1650.15 s]
Raw data (loadavg): 1.22 1.14 1.04 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 38358 13818 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1124.79
Current children cumulated vsize (Kb) 4516

[startup+1660.16 s]
Raw data (loadavg): 1.18 1.14 1.04 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 38830 13992 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1131.25
Current children cumulated vsize (Kb) 4516

[startup+1670.16 s]
Raw data (loadavg): 1.24 1.15 1.05 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 39318 14164 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1137.85
Current children cumulated vsize (Kb) 4516

[startup+1680.16 s]
Raw data (loadavg): 1.20 1.14 1.05 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 39877 14312 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1144.92
Current children cumulated vsize (Kb) 4516

[startup+1690.16 s]
Raw data (loadavg): 1.25 1.15 1.05 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 40351 14477 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1151.31
Current children cumulated vsize (Kb) 4516

[startup+1700.16 s]
Raw data (loadavg): 1.21 1.15 1.05 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 40925 14623 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1158.51
Current children cumulated vsize (Kb) 4516

[startup+1710.16 s]
Raw data (loadavg): 1.18 1.14 1.05 2/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) R 4970 4970 4060 0 -1 0 346 0 0 0 41402 14791 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1164.96
Current children cumulated vsize (Kb) 4516

[startup+1720.16 s]
Raw data (loadavg): 1.22 1.15 1.05 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 41980 14932 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1172.15
Current children cumulated vsize (Kb) 4516

[startup+1730.16 s]
Raw data (loadavg): 1.26 1.16 1.06 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 42450 15106 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1178.59
Current children cumulated vsize (Kb) 4516

[startup+1740.16 s]
Raw data (loadavg): 1.22 1.16 1.06 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 43019 15243 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1185.65
Current children cumulated vsize (Kb) 4516

[startup+1750.16 s]
Raw data (loadavg): 1.26 1.17 1.06 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 43511 15405 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1192.19
Current children cumulated vsize (Kb) 4516

[startup+1760.16 s]
Raw data (loadavg): 1.22 1.16 1.06 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 44087 15545 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1199.35
Current children cumulated vsize (Kb) 4516

[startup+1770.16 s]
Raw data (loadavg): 1.18 1.16 1.06 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 44575 15720 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1205.98
Current children cumulated vsize (Kb) 4516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1770.17 s]
Raw data (loadavg): 1.18 1.16 1.06 1/56 5038
Raw data (/proc/4970/stat): 4970 (vallstSAT2005PB) S 4969 4970 4060 0 -1 0 378 713 0 0 1 1 48591 11710 17 0 1 0 19998611 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4970/statm): 532 248 485 147 0 385 0
[pid=4970] vsize: 2128
Raw data (/proc/5038/stat): 5038 (vallst) T 4970 4970 4060 0 -1 0 346 0 0 0 44575 15720 0 0 15 0 1 0 20083006 2445312 317 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5038/statm): 597 317 413 48 0 549 0
[pid=5038] vsize: 2388
Current children cumulated CPU time (s) 1205.98
Current children cumulated vsize (Kb) 4516

Sending SIGTERM to -4970
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5040
New process pid=5041
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
execve syscall for /bin/ps executable
One traced child (pid=5038) exited with status: 3
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/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/4931/stat
open syscall for file /proc/4931/status
open syscall for file /proc/4931/cmdline
open syscall for file /proc/4931/environ
open syscall for file /proc/4969/stat
open syscall for file /proc/4969/status
open syscall for file /proc/4969/cmdline
open syscall for file /proc/4969/environ
open syscall for file /proc/4970/stat
open syscall for file /proc/4970/status
open syscall for file /proc/4970/cmdline
open syscall for file /proc/4970/environ
open syscall for file /proc/5040/stat
open syscall for file /proc/5040/status
open syscall for file /proc/5040/cmdline
open syscall for file /proc/5040/environ
open syscall for file /proc/5041/stat
open syscall for file /proc/5041/status
open syscall for file /proc/5041/cmdline
open syscall for file /proc/5041/environ
One traced child (pid=5040) exited with status: 0
One traced child (pid=5041) exited with status: 0
New process pid=5042
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=5042) exited with status: 0
New process pid=5043
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=5043) exited with status: 0
One traced child (pid=4970) 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): 1770.64
CPU time (s): 1206.1
CPU user time (s): 931.707
CPU system time (s): 274.391
CPU usage (%): 68.1167
Max. virtual memory (cumulated for all children) (Kb): 4524

Verifier Data

ERROR: no interpretation found !