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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM48ed39004ec868a1cad026c865b17eb2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13429
Number of constraints which are clauses13429
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3

Trace number 1940

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        924568 kB
Buffers:         33504 kB
Cached:          52824 kB
SwapCached:        780 kB
Active:          57856 kB
Inactive:        31188 kB
HighTotal:      131008 kB
HighFree:        74508 kB
LowTotal:       903652 kB
LowFree:        850060 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15456 kB
Committed_AS:    64264 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:58:40 (client local time) WITH STATUS 3 IN 902.794 SECONDS
stats: 7224 7 902.794 3

Solver Data

1:
seed: 0
Nr of vars set: 282  (#equs: 0)
Nr of vars set: 1572  (#equs: 3131)
#decisions: 153573;  #end-nodes: 92775;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 225 (223)
#axs: 16497, #non-axs: 10515
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: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1572  (#equs: 3471)
Time taken: 5 min, 5 sec

2:

Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory

seed: 0
Nr of vars set: 1572  (#equs: 0)
Nr of vars set: 1572  (#equs: 0)
Interupt request received.
#decisions: 713526;  #end-nodes: 531084;
#proof improvement attempts: 0;  #restarts: 1601
Current batch, end-nodes: 140 / 535 (520)
#axs: 5308, #non-axs: 20643
tight: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 14
loose: meta-meta: start: 6, end: 8;  meta: start: 19, end (keep): 31
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2078  (#equs: 1)
Time taken: 15 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/8735/stat): 8735 (vallstSAT2005PB) R 8734 8735 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784876332 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8735/statm): 174 3 169 147 0 27 0
[pid=8735] 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=8736
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=8736) exited with status: 0
New process pid=8737
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=8737) exited with status: 0
New process pid=8738
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/wulflinc5/normalized-par32-2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0039 s]
Raw data (loadavg): 0.92 0.98 0.99 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 799 0 0 0 627 119 0 0 17 0 1 0 1784876342 4714496 769 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1151 769 413 48 0 1103 0
[pid=8738] vsize: 4604
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (Kb) 6732

[startup+20.0046 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 799 0 0 0 1293 233 0 0 21 0 1 0 1784876342 4714496 769 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1151 769 413 48 0 1103 0
[pid=8738] vsize: 4604
Current children cumulated CPU time (s) 15.28
Current children cumulated vsize (Kb) 6732

[startup+30.0054 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 839 0 0 0 2131 288 0 0 22 0 1 0 1784876342 7536640 809 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1840 809 413 48 0 1792 0
[pid=8738] vsize: 7360
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (Kb) 9488

[startup+40.0071 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 878 0 0 0 3030 325 0 0 25 0 1 0 1784876342 7536640 848 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1840 848 413 48 0 1792 0
[pid=8738] vsize: 7360
Current children cumulated CPU time (s) 33.57
Current children cumulated vsize (Kb) 9488

[startup+50.0079 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 908 0 0 0 3858 384 0 0 18 0 1 0 1784876342 7536640 878 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1840 878 413 48 0 1792 0
[pid=8738] vsize: 7360
Current children cumulated CPU time (s) 42.44
Current children cumulated vsize (Kb) 9488

[startup+60.0076 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 909 0 0 0 4452 522 0 0 22 0 1 0 1784876342 7680000 879 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1875 879 413 48 0 1827 0
[pid=8738] vsize: 7500
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 9628

[startup+70.0093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 912 0 0 0 5297 573 0 0 25 0 1 0 1784876342 7622656 882 4294967295 134512640 134702520 3221223968 3221167084 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1861 882 413 48 0 1813 0
[pid=8738] vsize: 7444
Current children cumulated CPU time (s) 58.72
Current children cumulated vsize (Kb) 9572

[startup+80.0101 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 921 0 0 0 6188 608 0 0 25 0 1 0 1784876342 7622656 891 4294967295 134512640 134702520 3221223968 3221002764 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1861 891 413 48 0 1813 0
[pid=8738] vsize: 7444
Current children cumulated CPU time (s) 67.98
Current children cumulated vsize (Kb) 9572

[startup+90.0108 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 950 0 0 0 7075 648 0 0 23 0 1 0 1784876342 7622656 920 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1861 920 413 48 0 1813 0
[pid=8738] vsize: 7444
Current children cumulated CPU time (s) 77.25
Current children cumulated vsize (Kb) 9572

[startup+100.012 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 970 0 0 0 7821 727 0 0 17 0 1 0 1784876342 7798784 940 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 940 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 85.5
Current children cumulated vsize (Kb) 9744

[startup+110.012 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 972 0 0 0 8466 847 0 0 22 0 1 0 1784876342 7798784 942 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 942 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 93.15
Current children cumulated vsize (Kb) 9744

[startup+120.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 974 0 0 0 9320 894 0 0 22 0 1 0 1784876342 7798784 944 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 944 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (Kb) 9744

[startup+130.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 983 0 0 0 10212 932 0 0 22 0 1 0 1784876342 7798784 953 4294967295 134512640 134702520 3221223968 3221223248 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1904 953 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 111.46
Current children cumulated vsize (Kb) 9744

[startup+140.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1004 0 0 0 11128 961 0 0 23 0 1 0 1784876342 7798784 974 4294967295 134512640 134702520 3221223968 3221222864 134552441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1904 974 413 48 0 1856 0
[pid=8738] vsize: 7616
Current children cumulated CPU time (s) 120.91
Current children cumulated vsize (Kb) 9744

[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1023 0 0 0 11907 1032 0 0 18 0 1 0 1784876342 7983104 993 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 993 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 129.41
Current children cumulated vsize (Kb) 9924

[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1025 0 0 0 12528 1157 0 0 17 0 1 0 1784876342 7983104 995 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 995 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 136.87
Current children cumulated vsize (Kb) 9924

[startup+170.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1026 0 0 0 13405 1197 0 0 25 0 1 0 1784876342 7983104 996 4294967295 134512640 134702520 3221223968 3221040204 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 996 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 146.04
Current children cumulated vsize (Kb) 9924

[startup+180.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1028 0 0 0 14298 1235 0 0 25 0 1 0 1784876342 7983104 998 4294967295 134512640 134702520 3221223968 3221223088 134572664 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 998 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 155.35
Current children cumulated vsize (Kb) 9924

[startup+190.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1037 0 0 0 15193 1269 0 0 24 0 1 0 1784876342 7983104 1007 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1949 1007 413 48 0 1901 0
[pid=8738] vsize: 7796
Current children cumulated CPU time (s) 164.64
Current children cumulated vsize (Kb) 9924

[startup+200.019 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1054 0 0 0 16116 1295 0 0 25 0 1 0 1784876342 8126464 1024 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1024 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 174.13
Current children cumulated vsize (Kb) 10064

[startup+210.019 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1058 0 0 0 16755 1414 0 0 18 0 1 0 1784876342 8126464 1028 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1028 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 181.71
Current children cumulated vsize (Kb) 10064

[startup+220.02 s]
Raw data (loadavg): 1.08 1.01 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1060 0 0 0 17492 1501 0 0 21 0 1 0 1784876342 8126464 1030 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1030 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 10064

[startup+230.02 s]
Raw data (loadavg): 1.07 1.01 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1064 0 0 0 18403 1533 0 0 25 0 1 0 1784876342 8126464 1034 4294967295 134512640 134702520 3221223968 3221223248 134552857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1034 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 199.38
Current children cumulated vsize (Kb) 10064

[startup+240.021 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1075 0 0 0 19323 1560 0 0 22 0 1 0 1784876342 8126464 1045 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1045 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 208.85
Current children cumulated vsize (Kb) 10064

[startup+250.023 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1078 0 0 0 20236 1592 0 0 25 0 1 0 1784876342 8126464 1048 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 1984 1048 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 218.3
Current children cumulated vsize (Kb) 10064

[startup+260.023 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1094 0 0 0 21170 1615 0 0 25 0 1 0 1784876342 8126464 1064 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1064 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 227.87
Current children cumulated vsize (Kb) 10064

[startup+270.024 s]
Raw data (loadavg): 1.11 1.03 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1099 0 0 0 21832 1729 0 0 18 0 1 0 1784876342 8126464 1069 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1069 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 235.63
Current children cumulated vsize (Kb) 10064

[startup+280.025 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1100 0 0 0 22555 1819 0 0 23 0 1 0 1784876342 8126464 1070 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1070 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 243.76
Current children cumulated vsize (Kb) 10064

[startup+290.027 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1100 0 0 0 23468 1850 0 0 25 0 1 0 1784876342 8126464 1070 4294967295 134512640 134702520 3221223968 3221223248 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8738/statm): 1984 1070 413 48 0 1936 0
[pid=8738] vsize: 7936
Current children cumulated CPU time (s) 253.2
Current children cumulated vsize (Kb) 10064

[startup+300.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1145 0 0 0 24401 1873 0 0 25 0 1 0 1784876342 8458240 1115 4294967295 134512640 134702520 3221223968 3221223248 134550360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2065 1115 413 48 0 2017 0
[pid=8738] vsize: 8260
Current children cumulated CPU time (s) 262.76
Current children cumulated vsize (Kb) 10388

[startup+310.028 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) R 8735 8735 824 0 -1 0 1221 0 0 0 25332 1897 0 0 25 0 1 0 1784876342 8646656 1191 4294967295 134512640 134702520 3221223968 3221196368 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2111 1191 413 48 0 2063 0
[pid=8738] vsize: 8444
Current children cumulated CPU time (s) 272.31
Current children cumulated vsize (Kb) 10572

[startup+320.029 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1283 0 0 0 26261 1925 0 0 25 0 1 0 1784876342 8945664 1253 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2184 1253 413 48 0 2136 0
[pid=8738] vsize: 8736
Current children cumulated CPU time (s) 281.88
Current children cumulated vsize (Kb) 10864

[startup+330.029 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1344 0 0 0 27174 1955 0 0 17 0 1 0 1784876342 9080832 1314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2217 1314 413 48 0 2169 0
[pid=8738] vsize: 8868
Current children cumulated CPU time (s) 291.31
Current children cumulated vsize (Kb) 10996

[startup+340.03 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 8738
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1784876332 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 242 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8738/stat): 8738 (vallst) T 8735 8735 824 0 -1 0 1344 0 0 0 27776 2091 0 0 18 0 1 0 1784876342 9080832 1314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8738/statm): 2217 1314 413 48 0 2169 0
[pid=8738] vsize: 8868
Current children cumulated CPU time (s) 298.69
Current children cumulated vsize (Kb) 10996
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=8738) exited with status: 2
New process pid=8739
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=8739) exited with status: 0
New process pid=8740
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+350.031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 715 0 0 0 135 3 0 0 25 0 1 0 1784911199 4898816 686 4294967295 134512640 134702520 3221223712 3221113628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 1196 686 413 48 0 1148 0
[pid=8740] vsize: 4784
Current children cumulated CPU time (s) 307.35
Current children cumulated vsize (Kb) 6912

[startup+360.032 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 743 0 0 0 582 180 0 0 17 0 1 0 1784911199 5033984 714 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 1229 714 413 48 0 1181 0
[pid=8740] vsize: 4916
Current children cumulated CPU time (s) 313.59
Current children cumulated vsize (Kb) 7044

[startup+370.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 849 0 0 0 1261 286 0 0 18 0 1 0 1784911199 9412608 820 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2298 820 413 48 0 2250 0
[pid=8740] vsize: 9192
Current children cumulated CPU time (s) 321.44
Current children cumulated vsize (Kb) 11320

[startup+380.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 892 0 0 0 2134 329 0 0 25 0 1 0 1784911199 9412608 863 4294967295 134512640 134702520 3221223712 3221124448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2298 863 413 48 0 2250 0
[pid=8740] vsize: 9192
Current children cumulated CPU time (s) 330.6
Current children cumulated vsize (Kb) 11320

[startup+390.035 s]
Raw data (loadavg): 1.09 1.03 1.01 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 932 0 0 0 2996 378 0 0 23 0 1 0 1784911199 9543680 903 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 903 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 339.71
Current children cumulated vsize (Kb) 11448

[startup+400.036 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 933 0 0 0 3425 562 0 0 16 0 1 0 1784911199 9543680 904 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 904 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 345.84
Current children cumulated vsize (Kb) 11448

[startup+410.036 s]
Raw data (loadavg): 1.13 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 935 0 0 0 4139 654 0 0 25 0 1 0 1784911199 9543680 906 4294967295 134512640 134702520 3221223712 3221135632 134611845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 906 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 353.9
Current children cumulated vsize (Kb) 11448

[startup+420.036 s]
Raw data (loadavg): 1.11 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 938 0 0 0 5010 698 0 0 25 0 1 0 1784911199 9543680 909 4294967295 134512640 134702520 3221223712 3221198828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 909 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 363.05
Current children cumulated vsize (Kb) 11448

[startup+430.038 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 951 0 0 0 5868 744 0 0 25 0 1 0 1784911199 9543680 922 4294967295 134512640 134702520 3221223712 3220978028 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 922 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 372.09
Current children cumulated vsize (Kb) 11448

[startup+440.039 s]
Raw data (loadavg): 1.08 1.04 1.01 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 954 0 0 0 6326 923 0 0 17 0 1 0 1784911199 9543680 925 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 925 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 378.46
Current children cumulated vsize (Kb) 11448

[startup+450.039 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 955 0 0 0 7000 1025 0 0 25 0 1 0 1784911199 9543680 926 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 926 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 386.22
Current children cumulated vsize (Kb) 11448

[startup+460.04 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 955 0 0 0 7848 1076 0 0 24 0 1 0 1784911199 9543680 926 4294967295 134512640 134702520 3221223712 3221188448 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2330 926 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 395.21
Current children cumulated vsize (Kb) 11448

[startup+470.041 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 958 0 0 0 8701 1123 0 0 25 0 1 0 1784911199 9543680 929 4294967295 134512640 134702520 3221223712 3221222992 134557229 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 929 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 404.21
Current children cumulated vsize (Kb) 11448

[startup+480.042 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 961 0 0 0 9190 1291 0 0 16 0 1 0 1784911199 9543680 932 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2330 932 413 48 0 2282 0
[pid=8740] vsize: 9320
Current children cumulated CPU time (s) 410.78
Current children cumulated vsize (Kb) 11448

[startup+490.043 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 962 0 0 0 9831 1411 0 0 24 0 1 0 1784911199 9601024 933 4294967295 134512640 134702520 3221223712 3221222992 134553080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 933 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 418.39
Current children cumulated vsize (Kb) 11504

[startup+500.044 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 963 0 0 0 10684 1461 0 0 25 0 1 0 1784911199 9601024 934 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 934 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 427.42
Current children cumulated vsize (Kb) 11504

[startup+510.045 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 970 0 0 0 11545 1504 0 0 20 0 1 0 1784911199 9601024 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 941 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 436.46
Current children cumulated vsize (Kb) 11504

[startup+520.046 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 970 0 0 0 12221 1609 0 0 17 0 1 0 1784911199 9601024 941 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 941 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 444.27
Current children cumulated vsize (Kb) 11504

[startup+530.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 972 0 0 0 12728 1770 0 0 25 0 1 0 1784911199 9601024 943 4294967295 134512640 134702520 3221223712 3221222992 134554409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 943 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 450.95
Current children cumulated vsize (Kb) 11504

[startup+540.047 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 972 0 0 0 13576 1820 0 0 25 0 1 0 1784911199 9601024 943 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 943 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 459.93
Current children cumulated vsize (Kb) 11504

[startup+550.048 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 974 0 0 0 14434 1869 0 0 22 0 1 0 1784911199 9601024 945 4294967295 134512640 134702520 3221223712 3221222832 134578546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 945 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 469
Current children cumulated vsize (Kb) 11504

[startup+560.049 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 977 0 0 0 15335 1901 0 0 25 0 1 0 1784911199 9601024 948 4294967295 134512640 134702520 3221223712 3220906828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 948 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 478.33
Current children cumulated vsize (Kb) 11504

[startup+570.049 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 978 0 0 0 15795 2078 0 0 17 0 1 0 1784911199 9601024 949 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 949 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 484.7
Current children cumulated vsize (Kb) 11504

[startup+580.05 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 979 0 0 0 16479 2181 0 0 23 0 1 0 1784911199 9601024 950 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 950 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 492.57
Current children cumulated vsize (Kb) 11504

[startup+590.051 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 983 0 0 0 17382 2214 0 0 25 0 1 0 1784911199 9601024 954 4294967295 134512640 134702520 3221223712 3220978848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 954 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 501.93
Current children cumulated vsize (Kb) 11504

[startup+600.053 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 984 0 0 0 18238 2261 0 0 25 0 1 0 1784911199 9601024 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 955 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 510.96
Current children cumulated vsize (Kb) 11504

[startup+610.053 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 993 0 0 0 19152 2290 0 0 25 0 1 0 1784911199 9601024 964 4294967295 134512640 134702520 3221223712 3221005548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2344 964 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 520.39
Current children cumulated vsize (Kb) 11504

[startup+620.054 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 995 0 0 0 19558 2486 0 0 16 0 1 0 1784911199 9601024 966 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2344 966 413 48 0 2296 0
[pid=8740] vsize: 9376
Current children cumulated CPU time (s) 526.41
Current children cumulated vsize (Kb) 11504

[startup+630.055 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 996 0 0 0 20288 2572 0 0 25 0 1 0 1784911199 9670656 967 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2361 967 413 48 0 2313 0
[pid=8740] vsize: 9444
Current children cumulated CPU time (s) 534.57
Current children cumulated vsize (Kb) 11572

[startup+640.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1078 0 0 0 21193 2606 0 0 25 0 1 0 1784911199 10162176 1049 4294967295 134512640 134702520 3221223712 3220978028 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2481 1049 413 48 0 2433 0
[pid=8740] vsize: 9924
Current children cumulated CPU time (s) 543.96
Current children cumulated vsize (Kb) 12052

[startup+650.057 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1154 0 0 0 22069 2646 0 0 19 0 1 0 1784911199 10162176 1125 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2481 1125 413 48 0 2433 0
[pid=8740] vsize: 9924
Current children cumulated CPU time (s) 553.12
Current children cumulated vsize (Kb) 12052

[startup+660.058 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1253 0 0 0 22990 2675 0 0 25 0 1 0 1784911199 10788864 1224 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2634 1224 413 48 0 2586 0
[pid=8740] vsize: 10536
Current children cumulated CPU time (s) 562.62
Current children cumulated vsize (Kb) 12664

[startup+670.06 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1336 0 0 0 23843 2724 0 0 16 0 1 0 1784911199 10924032 1307 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2667 1307 413 48 0 2619 0
[pid=8740] vsize: 10668
Current children cumulated CPU time (s) 571.64
Current children cumulated vsize (Kb) 12796

[startup+680.061 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1337 0 0 0 24250 2917 0 0 16 0 1 0 1784911199 10924032 1308 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2667 1308 413 48 0 2619 0
[pid=8740] vsize: 10668
Current children cumulated CPU time (s) 577.64
Current children cumulated vsize (Kb) 12796

[startup+690.062 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1338 0 0 0 25091 2969 0 0 25 0 1 0 1784911199 10887168 1309 4294967295 134512640 134702520 3221223712 3221222992 134552731 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2658 1309 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 586.57
Current children cumulated vsize (Kb) 12760

[startup+700.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1347 0 0 0 26002 3000 0 0 25 0 1 0 1784911199 10887168 1318 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2658 1318 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 595.99
Current children cumulated vsize (Kb) 12760

[startup+710.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1355 0 0 0 26914 3030 0 0 25 0 1 0 1784911199 10887168 1326 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2658 1326 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 605.41
Current children cumulated vsize (Kb) 12760

[startup+720.063 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1364 0 0 0 27839 3056 0 0 25 0 1 0 1784911199 10887168 1335 4294967295 134512640 134702520 3221223712 3221222832 134573733 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2658 1335 413 48 0 2610 0
[pid=8740] vsize: 10632
Current children cumulated CPU time (s) 614.92
Current children cumulated vsize (Kb) 12760

[startup+730.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1391 0 0 0 28767 3082 0 0 25 0 1 0 1784911199 10997760 1362 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2685 1362 413 48 0 2637 0
[pid=8740] vsize: 10740
Current children cumulated CPU time (s) 624.46
Current children cumulated vsize (Kb) 12868

[startup+740.065 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1448 0 0 0 29605 3137 0 0 17 0 1 0 1784911199 11489280 1419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2805 1419 413 48 0 2757 0
[pid=8740] vsize: 11220
Current children cumulated CPU time (s) 633.39
Current children cumulated vsize (Kb) 13348

[startup+750.066 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1449 0 0 0 30024 3325 0 0 16 0 1 0 1784911199 11628544 1420 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2839 1420 413 48 0 2791 0
[pid=8740] vsize: 11356
Current children cumulated CPU time (s) 639.46
Current children cumulated vsize (Kb) 13484

[startup+760.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1450 0 0 0 30887 3370 0 0 18 0 1 0 1784911199 11571200 1421 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1421 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 648.54
Current children cumulated vsize (Kb) 13428

[startup+770.067 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1450 0 0 0 31794 3400 0 0 19 0 1 0 1784911199 11571200 1421 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2825 1421 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 657.91
Current children cumulated vsize (Kb) 13428

[startup+780.068 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1454 0 0 0 32746 3418 0 0 22 0 1 0 1784911199 11571200 1425 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2825 1425 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 667.61
Current children cumulated vsize (Kb) 13428

[startup+790.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1456 0 0 0 33680 3442 0 0 25 0 1 0 1784911199 11571200 1427 4294967295 134512640 134702520 3221223712 3221089548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1427 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 677.19
Current children cumulated vsize (Kb) 13428

[startup+800.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1462 0 0 0 34611 3467 0 0 25 0 1 0 1784911199 11571200 1433 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1433 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 686.75
Current children cumulated vsize (Kb) 13428

[startup+810.071 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1466 0 0 0 35546 3489 0 0 25 0 1 0 1784911199 11571200 1437 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1437 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 696.32
Current children cumulated vsize (Kb) 13428

[startup+820.073 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1475 0 0 0 36394 3539 0 0 17 0 1 0 1784911199 11571200 1446 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2825 1446 413 48 0 2777 0
[pid=8740] vsize: 11300
Current children cumulated CPU time (s) 705.3
Current children cumulated vsize (Kb) 13428

[startup+830.074 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1476 0 0 0 36818 3729 0 0 16 0 1 0 1784911199 11718656 1447 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2861 1447 413 48 0 2813 0
[pid=8740] vsize: 11444
Current children cumulated CPU time (s) 711.44
Current children cumulated vsize (Kb) 13572

[startup+840.075 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1477 0 0 0 37677 3776 0 0 19 0 1 0 1784911199 11661312 1448 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1448 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 720.5
Current children cumulated vsize (Kb) 13516

[startup+850.077 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1479 0 0 0 38616 3797 0 0 25 0 1 0 1784911199 11661312 1450 4294967295 134512640 134702520 3221223712 3221190348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1450 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 730.1
Current children cumulated vsize (Kb) 13516

[startup+860.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1480 0 0 0 39535 3824 0 0 25 0 1 0 1784911199 11661312 1451 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1451 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 739.56
Current children cumulated vsize (Kb) 13516

[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1486 0 0 0 40467 3848 0 0 25 0 1 0 1784911199 11661312 1457 4294967295 134512640 134702520 3221223712 3221222972 134548988 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1457 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 749.12
Current children cumulated vsize (Kb) 13516

[startup+880.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1489 0 0 0 41401 3871 0 0 25 0 1 0 1784911199 11661312 1460 4294967295 134512640 134702520 3221223712 3221222980 134551293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1460 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 758.69
Current children cumulated vsize (Kb) 13516

[startup+890.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1492 0 0 0 42333 3897 0 0 25 0 1 0 1784911199 11661312 1463 4294967295 134512640 134702520 3221223712 3221222992 134557712 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2847 1463 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 768.27
Current children cumulated vsize (Kb) 13516

[startup+900.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1498 0 0 0 43299 3910 0 0 25 0 1 0 1784911199 11661312 1469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2847 1469 413 48 0 2799 0
[pid=8740] vsize: 11388
Current children cumulated CPU time (s) 778.06
Current children cumulated vsize (Kb) 13516

[startup+910.081 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1500 0 0 0 43845 4057 0 0 17 0 1 0 1784911199 11169792 1440 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2727 1440 413 48 0 2679 0
[pid=8740] vsize: 10908
Current children cumulated CPU time (s) 784.99
Current children cumulated vsize (Kb) 13036

[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1502 0 0 0 44495 4175 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 792.67
Current children cumulated vsize (Kb) 13108

[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1502 0 0 0 45420 4204 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 802.21
Current children cumulated vsize (Kb) 13108

[startup+940.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1502 0 0 0 46339 4230 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 811.66
Current children cumulated vsize (Kb) 13108

[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1502 0 0 0 47264 4256 0 0 25 0 1 0 1784911199 11243520 1442 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1442 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 821.17
Current children cumulated vsize (Kb) 13108

[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1507 0 0 0 48196 4279 0 0 22 0 1 0 1784911199 11243520 1447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1447 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 830.72
Current children cumulated vsize (Kb) 13108

[startup+970.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1508 0 0 0 49155 4293 0 0 25 0 1 0 1784911199 11243520 1448 4294967295 134512640 134702520 3221223712 3221218528 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1448 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 840.45
Current children cumulated vsize (Kb) 13108

[startup+980.088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1514 0 0 0 50086 4315 0 0 25 0 1 0 1784911199 11243520 1454 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1454 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 849.98
Current children cumulated vsize (Kb) 13108

[startup+990.088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1517 0 0 0 50846 4392 0 0 17 0 1 0 1784911199 11243520 1457 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1457 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 858.35
Current children cumulated vsize (Kb) 13108

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1519 0 0 0 51279 4582 0 0 19 0 1 0 1784911199 11243520 1459 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1459 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 864.58
Current children cumulated vsize (Kb) 13108

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1519 0 0 0 52179 4615 0 0 25 0 1 0 1784911199 11243520 1459 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1459 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 873.91
Current children cumulated vsize (Kb) 13108

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1519 0 0 0 53086 4647 0 0 25 0 1 0 1784911199 11243520 1459 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1459 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 883.3
Current children cumulated vsize (Kb) 13108

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 54006 4675 0 0 23 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222992 134557255 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 892.78
Current children cumulated vsize (Kb) 13108

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 54920 4705 0 0 22 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 902.22
Current children cumulated vsize (Kb) 13108

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1520 0 0 0 55859 4726 0 0 19 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 911.82
Current children cumulated vsize (Kb) 13108

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 56798 4747 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221102988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 921.42
Current children cumulated vsize (Kb) 13108

[startup+1070.1 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1520 0 0 0 57287 4909 0 0 17 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 927.93
Current children cumulated vsize (Kb) 13108

[startup+1080.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 57975 5011 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222832 134573218 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 935.83
Current children cumulated vsize (Kb) 13108

[startup+1090.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 58871 5044 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 945.12
Current children cumulated vsize (Kb) 13108

[startup+1100.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 59780 5077 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221221088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 954.54
Current children cumulated vsize (Kb) 13108

[startup+1110.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1520 0 0 0 60681 5110 0 0 25 0 1 0 1784911199 11243520 1460 4294967295 134512640 134702520 3221223712 3221147168 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1460 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 963.88
Current children cumulated vsize (Kb) 13108

[startup+1120.1 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 61593 5142 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 973.32
Current children cumulated vsize (Kb) 13108

[startup+1130.1 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 62508 5171 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 982.76
Current children cumulated vsize (Kb) 13108

[startup+1140.1 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 63120 5297 0 0 16 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 990.14
Current children cumulated vsize (Kb) 13108

[startup+1150.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 63678 5440 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 997.15
Current children cumulated vsize (Kb) 13108

[startup+1160.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 64561 5478 0 0 23 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1006.36
Current children cumulated vsize (Kb) 13108

[startup+1170.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 65405 5528 0 0 24 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1015.3
Current children cumulated vsize (Kb) 13108

[startup+1180.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 66294 5567 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1024.58
Current children cumulated vsize (Kb) 13108

[startup+1190.11 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 67186 5605 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1033.88
Current children cumulated vsize (Kb) 13108

[startup+1200.11 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 67792 5731 0 0 16 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1041.2
Current children cumulated vsize (Kb) 13108

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 68370 5871 0 0 19 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1048.38
Current children cumulated vsize (Kb) 13108

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1523 0 0 0 69266 5905 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221106828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1057.68
Current children cumulated vsize (Kb) 13108

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 70104 5955 0 0 22 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1066.56
Current children cumulated vsize (Kb) 13108

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1523 0 0 0 70987 5996 0 0 25 0 1 0 1784911199 11243520 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1463 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1075.8
Current children cumulated vsize (Kb) 13108

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1528 0 0 0 71881 6032 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1085.1
Current children cumulated vsize (Kb) 13108

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 72611 6117 0 0 16 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1093.25
Current children cumulated vsize (Kb) 13108

[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 73063 6303 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1099.63
Current children cumulated vsize (Kb) 13108

[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 73936 6346 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1108.79
Current children cumulated vsize (Kb) 13108

[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1528 0 0 0 74824 6384 0 0 25 0 1 0 1784911199 11243520 1468 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1468 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1118.05
Current children cumulated vsize (Kb) 13108

[startup+1300.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1530 0 0 0 75725 6418 0 0 25 0 1 0 1784911199 11243520 1470 4294967295 134512640 134702520 3221223712 3221222992 134552766 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1470 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1127.4
Current children cumulated vsize (Kb) 13108

[startup+1310.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1530 0 0 0 76638 6447 0 0 25 0 1 0 1784911199 11243520 1470 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1470 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1136.82
Current children cumulated vsize (Kb) 13108

[startup+1320.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1534 0 0 0 77595 6464 0 0 25 0 1 0 1784911199 11243520 1474 4294967295 134512640 134702520 3221223712 3221222992 134557173 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1474 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1146.56
Current children cumulated vsize (Kb) 13108

[startup+1330.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1535 0 0 0 78553 6478 0 0 25 0 1 0 1784911199 11243520 1475 4294967295 134512640 134702520 3221223712 3221131008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1475 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1156.28
Current children cumulated vsize (Kb) 13108

[startup+1340.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1535 0 0 0 78958 6670 0 0 17 0 1 0 1784911199 11243520 1475 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1475 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1162.25
Current children cumulated vsize (Kb) 13108

[startup+1350.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1536 0 0 0 79735 6743 0 0 25 0 1 0 1784911199 11243520 1476 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1476 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1170.75
Current children cumulated vsize (Kb) 13108

[startup+1360.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1536 0 0 0 80632 6775 0 0 25 0 1 0 1784911199 11243520 1476 4294967295 134512640 134702520 3221223712 3221222972 134564368 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1476 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1180.04
Current children cumulated vsize (Kb) 13108

[startup+1370.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) T 8735 8735 824 0 -1 0 1536 0 0 0 81542 6805 0 0 25 0 1 0 1784911199 11243520 1476 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1476 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1189.44
Current children cumulated vsize (Kb) 13108

[startup+1380.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1538 0 0 0 82460 6833 0 0 25 0 1 0 1784911199 11243520 1478 4294967295 134512640 134702520 3221223712 3221222992 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8740/statm): 2745 1478 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1198.9
Current children cumulated vsize (Kb) 13108

[startup+1390.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1539 0 0 0 83367 6864 0 0 24 0 1 0 1784911199 11243520 1479 4294967295 134512640 134702520 3221223712 3221222992 134557446 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1479 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 13108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1390.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8740
Raw data (/proc/8735/stat): 8735 (vallstSAT2005PB) S 8734 8735 824 0 -1 0 378 1720 0 0 1 1 28434 2161 19 0 1 0 1784876332 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8735/statm): 532 248 485 147 0 385 0
[pid=8735] vsize: 2128
Raw data (/proc/8740/stat): 8740 (vallst) R 8735 8735 824 0 -1 0 1539 0 0 0 83367 6864 0 0 24 0 1 0 1784911199 11243520 1479 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8740/statm): 2745 1479 413 48 0 2697 0
[pid=8740] vsize: 10980
Current children cumulated CPU time (s) 1208.28
Current children cumulated vsize (Kb) 13108

Sending SIGTERM to -8735
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=8742
New process pid=8743
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/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/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/8698/stat
open syscall for file /proc/8698/status
open syscall for file /proc/8698/cmdline
open syscall for file /proc/8698/environ
open syscall for file /proc/8734/stat
open syscall for file /proc/8734/status
open syscall for file /proc/8734/cmdline
open syscall for file /proc/8734/environ
open syscall for file /proc/8735/stat
open syscall for file /proc/8735/status
open syscall for file /proc/8735/cmdline
open syscall for file /proc/8735/environ
open syscall for file /proc/8740/stat
open syscall for file /proc/8740/status
open syscall for file /proc/8740/cmdline
open syscall for file /proc/8740/environ
open syscall for file /proc/8742/stat
open syscall for file /proc/8742/status
open syscall for file /proc/8742/cmdline
open syscall for file /proc/8742/environ
open syscall for file /proc/8743/stat
open syscall for file /proc/8743/status
open syscall for file /proc/8743/cmdline
open syscall for file /proc/8743/environ
One traced child (pid=8742) exited with status: 0
One traced child (pid=8743) exited with status: 0
New process pid=8744
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=8744) exited with status: 0
New process pid=8745
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=8745) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=8735) ended because it received signal 15 (SIGTERM)
One traced child (pid=8740) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1390.63
CPU time (s): 902.794
CPU user time (s): 834.092
CPU system time (s): 68.7016
CPU usage (%): 64.9195
Max. virtual memory (cumulated for all children) (Kb): 13572

Verifier Data

ERROR: no interpretation found !