Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod010.opb
MD5SUM4f0cac14ed3568050c2c57bb69fdb664
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 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2655
Total number of constraints2801
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2800
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint2655

Trace number 9223

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        948088 kB
Buffers:          9576 kB
Cached:          59988 kB
SwapCached:          0 kB
Active:          43540 kB
Inactive:        28888 kB
HighTotal:      131008 kB
HighFree:        66724 kB
LowTotal:       903652 kB
LowFree:        881364 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6964 kB
Slab:             8516 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:56:27 (client local time) WITH STATUS 0 IN 1206.21 SECONDS
stats: 7941 7 1206.21 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
#decisions: 533888;  #end-nodes: 112163;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 249 (247)
#axs: 292, #non-axs: 369
tight: meta-meta: start: 5, end: 7;  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: 192  (#equs: 0)
Time taken: 5 min, 38 sec

2:
seed: 0
Nr of vars set: 192  (#equs: 0)
Nr of vars set: 192  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 192  (#equs: 0)
Time taken: 14 min, 27 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/4849/stat): 4849 (vallstSAT2005PB) R 4848 4849 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19862772 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4849/statm): 174 3 169 147 0 27 0
[pid=4849] 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=4850
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=4850) exited with status: 0
New process pid=4851
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=4851) exited with status: 0
New process pid=4852
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-mod010.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0024 s]
Raw data (loadavg): 0.95 1.00 0.97 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 391 0 0 0 784 70 0 0 22 0 1 0 19862781 2928640 361 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 715 361 413 48 0 667 0
[pid=4852] vsize: 2860
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (Kb) 4988

[startup+20.0033 s]
Raw data (loadavg): 1.04 1.01 0.97 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 486 0 0 0 1584 139 0 0 24 0 1 0 19862781 4321280 456 4294967295 134512640 134702520 3221223952 3221223352 134607284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1055 456 413 48 0 1007 0
[pid=4852] vsize: 4220
Current children cumulated CPU time (s) 17.25
Current children cumulated vsize (Kb) 6348

[startup+30.0042 s]
Raw data (loadavg): 1.10 1.03 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 505 0 0 0 2399 199 0 0 22 0 1 0 19862781 4345856 475 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1061 475 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 26
Current children cumulated vsize (Kb) 6372

[startup+40.0052 s]
Raw data (loadavg): 1.09 1.03 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 514 0 0 0 3224 260 0 0 24 0 1 0 19862781 4345856 484 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 484 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 34.86
Current children cumulated vsize (Kb) 6372

[startup+50.0061 s]
Raw data (loadavg): 1.07 1.03 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 527 0 0 0 4055 316 0 0 25 0 1 0 19862781 4345856 497 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 497 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 43.73
Current children cumulated vsize (Kb) 6372

[startup+60.006 s]
Raw data (loadavg): 1.06 1.02 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 528 0 0 0 4844 386 0 0 22 0 1 0 19862781 4345856 498 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 498 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 52.32
Current children cumulated vsize (Kb) 6372

[startup+70.0079 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 528 0 0 0 5645 453 0 0 24 0 1 0 19862781 4345856 498 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 498 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 61
Current children cumulated vsize (Kb) 6372

[startup+80.0088 s]
Raw data (loadavg): 1.12 1.04 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 538 0 0 0 6475 507 0 0 23 0 1 0 19862781 4472832 508 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 508 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 6496

[startup+90.0098 s]
Raw data (loadavg): 1.10 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 550 0 0 0 7302 565 0 0 23 0 1 0 19862781 4472832 520 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 520 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 78.69
Current children cumulated vsize (Kb) 6496

[startup+100.011 s]
Raw data (loadavg): 1.09 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 572 0 0 0 8137 618 0 0 24 0 1 0 19862781 4472832 542 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 542 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 87.57
Current children cumulated vsize (Kb) 6496

[startup+110.012 s]
Raw data (loadavg): 1.15 1.05 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 572 0 0 0 8929 691 0 0 22 0 1 0 19862781 4472832 542 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 542 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 96.22
Current children cumulated vsize (Kb) 6496

[startup+120.013 s]
Raw data (loadavg): 1.12 1.05 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 572 0 0 0 9724 761 0 0 24 0 1 0 19862781 4472832 542 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 542 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 104.87
Current children cumulated vsize (Kb) 6496

[startup+130.013 s]
Raw data (loadavg): 1.10 1.05 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 585 0 0 0 10551 821 0 0 23 0 1 0 19862781 4472832 555 4294967295 134512640 134702520 3221223952 3221223436 134608157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1092 555 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 113.74
Current children cumulated vsize (Kb) 6496

[startup+140.014 s]
Raw data (loadavg): 1.09 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 591 0 0 0 11387 874 0 0 19 0 1 0 19862781 4472832 561 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 561 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 122.63
Current children cumulated vsize (Kb) 6496

[startup+150.015 s]
Raw data (loadavg): 1.07 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 774 0 0 0 12231 926 0 0 25 0 1 0 19862781 4472832 744 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 744 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 131.59
Current children cumulated vsize (Kb) 6496

[startup+160.016 s]
Raw data (loadavg): 1.06 1.04 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 775 0 0 0 13022 999 0 0 22 0 1 0 19862781 4472832 745 4294967295 134512640 134702520 3221223952 3221222848 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 745 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 140.23
Current children cumulated vsize (Kb) 6496

[startup+170.017 s]
Raw data (loadavg): 1.05 1.04 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 775 0 0 0 13825 1068 0 0 25 0 1 0 19862781 4472832 745 4294967295 134512640 134702520 3221223952 3221223420 1074230080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 745 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 148.95
Current children cumulated vsize (Kb) 6496

[startup+180.018 s]
Raw data (loadavg): 1.04 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 780 0 0 0 14648 1128 0 0 23 0 1 0 19862781 4472832 750 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 750 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 157.78
Current children cumulated vsize (Kb) 6496

[startup+190.02 s]
Raw data (loadavg): 1.04 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 804 0 0 0 15490 1185 0 0 20 0 1 0 19862781 4612096 774 4294967295 134512640 134702520 3221223952 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1126 774 413 48 0 1078 0
[pid=4852] vsize: 4504
Current children cumulated CPU time (s) 166.77
Current children cumulated vsize (Kb) 6632

[startup+200.021 s]
Raw data (loadavg): 1.03 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 809 0 0 0 16321 1241 0 0 25 0 1 0 19862781 4591616 779 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 779 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 175.64
Current children cumulated vsize (Kb) 6612

[startup+210.021 s]
Raw data (loadavg): 1.02 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 811 0 0 0 17128 1307 0 0 22 0 1 0 19862781 4591616 781 4294967295 134512640 134702520 3221223952 3221222848 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 781 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 184.37
Current children cumulated vsize (Kb) 6612

[startup+220.023 s]
Raw data (loadavg): 1.02 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 811 0 0 0 17927 1376 0 0 22 0 1 0 19862781 4591616 781 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 781 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 193.05
Current children cumulated vsize (Kb) 6612

[startup+230.024 s]
Raw data (loadavg): 1.02 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 815 0 0 0 18775 1425 0 0 25 0 1 0 19862781 4591616 785 4294967295 134512640 134702520 3221223952 3221222976 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 785 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 202.02
Current children cumulated vsize (Kb) 6612

[startup+240.025 s]
Raw data (loadavg): 1.01 1.03 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 820 0 0 0 19609 1482 0 0 25 0 1 0 19862781 4591616 790 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 790 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 210.93
Current children cumulated vsize (Kb) 6612

[startup+250.026 s]
Raw data (loadavg): 1.01 1.03 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 824 0 0 0 20450 1536 0 0 23 0 1 0 19862781 4591616 794 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 794 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 219.88
Current children cumulated vsize (Kb) 6612

[startup+260.026 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 826 0 0 0 21273 1595 0 0 22 0 1 0 19862781 4591616 796 4294967295 134512640 134702520 3221223952 3221222848 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 796 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 228.7
Current children cumulated vsize (Kb) 6612

[startup+270.027 s]
Raw data (loadavg): 1.01 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 826 0 0 0 22070 1665 0 0 22 0 1 0 19862781 4591616 796 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 796 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 237.37
Current children cumulated vsize (Kb) 6612

[startup+280.028 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 828 0 0 0 22911 1719 0 0 25 0 1 0 19862781 4591616 798 4294967295 134512640 134702520 3221223952 3221223352 134607258 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 798 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 246.32
Current children cumulated vsize (Kb) 6612

[startup+290.03 s]
Raw data (loadavg): 1.00 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 832 0 0 0 23763 1768 0 0 25 0 1 0 19862781 4591616 802 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 802 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 255.33
Current children cumulated vsize (Kb) 6612

[startup+300.031 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 836 0 0 0 24604 1821 0 0 24 0 1 0 19862781 4722688 806 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 806 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 264.27
Current children cumulated vsize (Kb) 6740

[startup+310.032 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 840 0 0 0 25453 1872 0 0 24 0 1 0 19862781 4722688 810 4294967295 134512640 134702520 3221223952 3221222848 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 810 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 273.27
Current children cumulated vsize (Kb) 6740

[startup+320.033 s]
Raw data (loadavg): 1.00 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 840 0 0 0 26254 1939 0 0 22 0 1 0 19862781 4722688 810 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 810 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 281.95
Current children cumulated vsize (Kb) 6740

[startup+330.034 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 841 0 0 0 27082 1998 0 0 25 0 1 0 19862781 4722688 811 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 811 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 290.82
Current children cumulated vsize (Kb) 6740

[startup+340.036 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 845 0 0 0 27927 2053 0 0 23 0 1 0 19862781 4722688 815 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 815 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 299.82
Current children cumulated vsize (Kb) 6740

[startup+350.037 s]
Raw data (loadavg): 1.00 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 848 0 0 0 28780 2102 0 0 25 0 1 0 19862781 4722688 818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1153 818 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 308.84
Current children cumulated vsize (Kb) 6740

[startup+360.038 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 852 0 0 0 29625 2155 0 0 23 0 1 0 19862781 4722688 822 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 822 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 317.82
Current children cumulated vsize (Kb) 6740

[startup+370.04 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 856 0 0 0 30464 2212 0 0 21 0 1 0 19862781 4722688 826 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1153 826 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 326.78
Current children cumulated vsize (Kb) 6740

[startup+380.04 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 856 0 0 0 31259 2280 0 0 21 0 1 0 19862781 4722688 826 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1153 826 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 335.41
Current children cumulated vsize (Kb) 6740
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=4852) exited with status: 2
New process pid=4853
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=4853) exited with status: 0
New process pid=4854
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+390.041 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 351 0 0 0 537 36 0 0 23 0 1 0 19901134 2711552 321 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 662 321 413 48 0 614 0
[pid=4854] vsize: 2648
Current children cumulated CPU time (s) 344.21
Current children cumulated vsize (Kb) 4776

[startup+400.042 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 351 0 0 0 1349 100 0 0 23 0 1 0 19901134 2711552 321 4294967295 134512640 134702520 3221223712 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 662 321 413 48 0 614 0
[pid=4854] vsize: 2648
Current children cumulated CPU time (s) 352.97
Current children cumulated vsize (Kb) 4776

[startup+410.042 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 523 0 0 0 2181 157 0 0 25 0 1 0 19901134 3993600 493 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 975 493 413 48 0 927 0
[pid=4854] vsize: 3900
Current children cumulated CPU time (s) 361.86
Current children cumulated vsize (Kb) 6028

[startup+420.043 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 543 0 0 0 3019 215 0 0 25 0 1 0 19901134 3993600 513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 975 513 413 48 0 927 0
[pid=4854] vsize: 3900
Current children cumulated CPU time (s) 370.82
Current children cumulated vsize (Kb) 6028

[startup+430.045 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 554 0 0 0 3857 273 0 0 24 0 1 0 19901134 4120576 524 4294967295 134512640 134702520 3221223712 3221223112 134607256 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 524 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 379.78
Current children cumulated vsize (Kb) 6152

[startup+440.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 619 0 0 0 4682 337 0 0 17 0 1 0 19901134 4120576 589 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 589 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 388.67
Current children cumulated vsize (Kb) 6152

[startup+450.047 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 619 0 0 0 5503 400 0 0 23 0 1 0 19901134 4120576 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1006 589 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 397.51
Current children cumulated vsize (Kb) 6152

[startup+460.048 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 706 0 0 0 6350 452 0 0 23 0 1 0 19901134 4120576 676 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 676 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 406.5
Current children cumulated vsize (Kb) 6152

[startup+470.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 715 0 0 0 7190 506 0 0 25 0 1 0 19901134 4120576 685 4294967295 134512640 134702520 3221223712 3221222832 134584493 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 685 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 415.44
Current children cumulated vsize (Kb) 6152

[startup+480.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 720 0 0 0 8033 561 0 0 25 0 1 0 19901134 4120576 690 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 690 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 424.42
Current children cumulated vsize (Kb) 6152

[startup+490.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 724 0 0 0 8855 624 0 0 23 0 1 0 19901134 4120576 694 4294967295 134512640 134702520 3221223712 3221222576 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 694 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 433.27
Current children cumulated vsize (Kb) 6152

[startup+500.054 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 724 0 0 0 9661 689 0 0 23 0 1 0 19901134 4120576 694 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1006 694 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 441.98
Current children cumulated vsize (Kb) 6152

[startup+510.053 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 727 0 0 0 10496 743 0 0 24 0 1 0 19901134 4120576 697 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 697 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 450.87
Current children cumulated vsize (Kb) 6152

[startup+520.055 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 730 0 0 0 11334 798 0 0 25 0 1 0 19901134 4235264 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 700 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 459.8
Current children cumulated vsize (Kb) 6264

[startup+530.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 737 0 0 0 12178 852 0 0 25 0 1 0 19901134 4235264 707 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 707 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 468.78
Current children cumulated vsize (Kb) 6264

[startup+540.059 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 741 0 0 0 13002 913 0 0 17 0 1 0 19901134 4235264 711 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1034 711 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 477.63
Current children cumulated vsize (Kb) 6264

[startup+550.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 741 0 0 0 13810 982 0 0 23 0 1 0 19901134 4235264 711 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 711 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 486.4
Current children cumulated vsize (Kb) 6264

[startup+560.062 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 744 0 0 0 14655 1035 0 0 25 0 1 0 19901134 4235264 714 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 714 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 495.38
Current children cumulated vsize (Kb) 6264

[startup+570.064 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 751 0 0 0 15498 1092 0 0 23 0 1 0 19901134 4235264 721 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1034 721 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 504.38
Current children cumulated vsize (Kb) 6264

[startup+580.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 756 0 0 0 16341 1143 0 0 25 0 1 0 19901134 4235264 726 4294967295 134512640 134702520 3221223712 3221223112 134607278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 726 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 513.32
Current children cumulated vsize (Kb) 6264

[startup+590.065 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 759 0 0 0 17165 1204 0 0 23 0 1 0 19901134 4354048 729 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 729 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (Kb) 6380

[startup+600.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 759 0 0 0 17976 1268 0 0 23 0 1 0 19901134 4354048 729 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 729 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 530.92
Current children cumulated vsize (Kb) 6380

[startup+610.067 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 761 0 0 0 18812 1325 0 0 24 0 1 0 19901134 4354048 731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1063 731 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 539.85
Current children cumulated vsize (Kb) 6380

[startup+620.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 765 0 0 0 19671 1374 0 0 25 0 1 0 19901134 4354048 735 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1063 735 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 548.93
Current children cumulated vsize (Kb) 6380

[startup+630.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 769 0 0 0 20514 1425 0 0 25 0 1 0 19901134 4354048 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1063 739 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 557.87
Current children cumulated vsize (Kb) 6380

[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 773 0 0 0 21367 1478 0 0 25 0 1 0 19901134 4354048 743 4294967295 134512640 134702520 3221223712 3221223112 134607244 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 743 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 566.93
Current children cumulated vsize (Kb) 6380

[startup+650.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 775 0 0 0 22185 1543 0 0 23 0 1 0 19901134 4354048 745 4294967295 134512640 134702520 3221223712 3221222912 134617475 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 745 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 575.76
Current children cumulated vsize (Kb) 6380

[startup+660.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 777 0 0 0 23001 1606 0 0 25 0 1 0 19901134 4354048 747 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 747 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 584.55
Current children cumulated vsize (Kb) 6380

[startup+670.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 780 0 0 0 23856 1655 0 0 25 0 1 0 19901134 4354048 750 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 750 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 593.59
Current children cumulated vsize (Kb) 6380

[startup+680.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 785 0 0 0 24701 1707 0 0 25 0 1 0 19901134 4354048 755 4294967295 134512640 134702520 3221223712 3221223112 134607263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 755 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 602.56
Current children cumulated vsize (Kb) 6380

[startup+690.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 789 0 0 0 25551 1756 0 0 24 0 1 0 19901134 4472832 759 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1092 759 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 611.55
Current children cumulated vsize (Kb) 6496

[startup+700.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 791 0 0 0 26388 1814 0 0 23 0 1 0 19901134 4472832 761 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 761 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 620.5
Current children cumulated vsize (Kb) 6496

[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 791 0 0 0 27205 1874 0 0 23 0 1 0 19901134 4472832 761 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 761 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 629.27
Current children cumulated vsize (Kb) 6496

[startup+720.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 794 0 0 0 28042 1929 0 0 24 0 1 0 19901134 4472832 764 4294967295 134512640 134702520 3221223712 3221222608 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 764 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 638.19
Current children cumulated vsize (Kb) 6496

[startup+730.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 797 0 0 0 28901 1976 0 0 25 0 1 0 19901134 4472832 767 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 767 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 647.25
Current children cumulated vsize (Kb) 6496

[startup+740.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 802 0 0 0 29766 2022 0 0 25 0 1 0 19901134 4472832 772 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 772 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 656.36
Current children cumulated vsize (Kb) 6496

[startup+750.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 807 0 0 0 30624 2073 0 0 25 0 1 0 19901134 4472832 777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1092 777 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 665.45
Current children cumulated vsize (Kb) 6496

[startup+760.082 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 808 0 0 0 31457 2132 0 0 24 0 1 0 19901134 4472832 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1092 778 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 674.37
Current children cumulated vsize (Kb) 6496

[startup+770.083 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 808 0 0 0 32274 2194 0 0 23 0 1 0 19901134 4472832 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 778 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 683.16
Current children cumulated vsize (Kb) 6496

[startup+780.084 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 811 0 0 0 33124 2246 0 0 25 0 1 0 19901134 4472832 781 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 781 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 692.18
Current children cumulated vsize (Kb) 6496

[startup+790.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 816 0 0 0 33979 2294 0 0 25 0 1 0 19901134 4591616 786 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1121 786 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 701.21
Current children cumulated vsize (Kb) 6612

[startup+800.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 823 0 0 0 34834 2344 0 0 24 0 1 0 19901134 4591616 793 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 793 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 710.26
Current children cumulated vsize (Kb) 6612

[startup+810.087 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 840 0 0 0 35698 2391 0 0 25 0 1 0 19901134 4591616 810 4294967295 134512640 134702520 3221223712 3221223196 134608128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 810 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 719.37
Current children cumulated vsize (Kb) 6612

[startup+820.089 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 848 0 0 0 36517 2453 0 0 23 0 1 0 19901134 4591616 818 4294967295 134512640 134702520 3221223712 3221222608 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 818 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 728.18
Current children cumulated vsize (Kb) 6612

[startup+830.09 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 848 0 0 0 37335 2516 0 0 24 0 1 0 19901134 4591616 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 818 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 736.99
Current children cumulated vsize (Kb) 6612

[startup+840.091 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 852 0 0 0 38199 2565 0 0 25 0 1 0 19901134 4591616 822 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 822 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 746.12
Current children cumulated vsize (Kb) 6612

[startup+850.092 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 862 0 0 0 39055 2615 0 0 25 0 1 0 19901134 4591616 832 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 832 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 755.18
Current children cumulated vsize (Kb) 6612

[startup+860.093 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 878 0 0 0 39919 2661 0 0 24 0 1 0 19901134 4841472 848 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1182 848 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 764.28
Current children cumulated vsize (Kb) 6856

[startup+870.095 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 883 0 0 0 40758 2715 0 0 23 0 1 0 19901134 4841472 853 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 853 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 773.21
Current children cumulated vsize (Kb) 6856

[startup+880.096 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 883 0 0 0 41581 2774 0 0 23 0 1 0 19901134 4841472 853 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 853 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 782.03
Current children cumulated vsize (Kb) 6856

[startup+890.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 884 0 0 0 42436 2821 0 0 25 0 1 0 19901134 4841472 854 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 854 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 791.05
Current children cumulated vsize (Kb) 6856

[startup+900.097 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 889 0 0 0 43316 2863 0 0 22 0 1 0 19901134 4841472 859 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 859 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 800.27
Current children cumulated vsize (Kb) 6856

[startup+910.098 s]
Raw data (loadavg): 1.09 1.02 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 898 0 0 0 44181 2908 0 0 25 0 1 0 19901134 4841472 868 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 868 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 809.37
Current children cumulated vsize (Kb) 6856

[startup+920.099 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 903 0 0 0 45048 2954 0 0 25 0 1 0 19901134 4841472 873 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 873 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 818.5
Current children cumulated vsize (Kb) 6856

[startup+930.101 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 905 0 0 0 45875 3012 0 0 23 0 1 0 19901134 4841472 875 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 875 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 827.35
Current children cumulated vsize (Kb) 6856

[startup+940.102 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 905 0 0 0 46703 3068 0 0 25 0 1 0 19901134 4841472 875 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1182 875 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 836.19
Current children cumulated vsize (Kb) 6856

[startup+950.103 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 911 0 0 0 47572 3112 0 0 25 0 1 0 19901134 4976640 881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 881 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 845.32
Current children cumulated vsize (Kb) 6988

[startup+960.104 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 916 0 0 0 48426 3161 0 0 25 0 1 0 19901134 4976640 886 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 886 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 854.35
Current children cumulated vsize (Kb) 6988

[startup+970.106 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 919 0 0 0 49290 3209 0 0 25 0 1 0 19901134 4976640 889 4294967295 134512640 134702520 3221223712 3221222832 134573701 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 889 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 863.47
Current children cumulated vsize (Kb) 6988

[startup+980.107 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 925 0 0 0 50141 3261 0 0 23 0 1 0 19901134 4976640 895 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 895 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 872.5
Current children cumulated vsize (Kb) 6988

[startup+990.108 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 925 0 0 0 50960 3327 0 0 23 0 1 0 19901134 4976640 895 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 895 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 881.35
Current children cumulated vsize (Kb) 6988

[startup+1000.11 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 926 0 0 0 51809 3381 0 0 25 0 1 0 19901134 4976640 896 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 896 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 890.38
Current children cumulated vsize (Kb) 6988

[startup+1010.11 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 929 0 0 0 52670 3429 0 0 24 0 1 0 19901134 4976640 899 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 899 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 899.47
Current children cumulated vsize (Kb) 6988

[startup+1020.11 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 934 0 0 0 53537 3474 0 0 25 0 1 0 19901134 4976640 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 904 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 908.59
Current children cumulated vsize (Kb) 6988

[startup+1030.11 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 937 0 0 0 54405 3520 0 0 25 0 1 0 19901134 4976640 907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 907 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 917.73
Current children cumulated vsize (Kb) 6988

[startup+1040.11 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 940 0 0 0 55278 3562 0 0 25 0 1 0 19901134 5091328 910 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 910 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 926.88
Current children cumulated vsize (Kb) 7100

[startup+1050.12 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 941 0 0 0 56101 3622 0 0 23 0 1 0 19901134 5091328 911 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 911 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 935.71
Current children cumulated vsize (Kb) 7100

[startup+1060.12 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 942 0 0 0 56927 3682 0 0 25 0 1 0 19901134 5091328 912 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 912 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 944.57
Current children cumulated vsize (Kb) 7100

[startup+1070.12 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 943 0 0 0 57787 3728 0 0 25 0 1 0 19901134 5091328 913 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 913 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 953.63
Current children cumulated vsize (Kb) 7100

[startup+1080.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 947 0 0 0 58650 3775 0 0 25 0 1 0 19901134 5091328 917 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 917 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 962.73
Current children cumulated vsize (Kb) 7100

[startup+1090.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 948 0 0 0 59516 3824 0 0 25 0 1 0 19901134 5091328 918 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 918 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 971.88
Current children cumulated vsize (Kb) 7100

[startup+1100.12 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 950 0 0 0 60378 3873 0 0 24 0 1 0 19901134 5091328 920 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 920 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 980.99
Current children cumulated vsize (Kb) 7100

[startup+1110.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 953 0 0 0 61235 3922 0 0 23 0 1 0 19901134 5091328 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 923 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 990.05
Current children cumulated vsize (Kb) 7100

[startup+1120.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 953 0 0 0 62036 3991 0 0 23 0 1 0 19901134 5091328 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 923 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (Kb) 7100

[startup+1130.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 953 0 0 0 62877 4044 0 0 25 0 1 0 19901134 5091328 923 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 923 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1007.69
Current children cumulated vsize (Kb) 7100

[startup+1140.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 954 0 0 0 63736 4093 0 0 25 0 1 0 19901134 5091328 924 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 924 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1016.77
Current children cumulated vsize (Kb) 7100

[startup+1150.13 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 957 0 0 0 64599 4142 0 0 25 0 1 0 19901134 5091328 927 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 927 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1025.89
Current children cumulated vsize (Kb) 7100

[startup+1160.13 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 959 0 0 0 65467 4186 0 0 25 0 1 0 19901134 5091328 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 929 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1035.01
Current children cumulated vsize (Kb) 7100

[startup+1170.13 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 963 0 0 0 66344 4228 0 0 25 0 1 0 19901134 5091328 933 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 933 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1044.2
Current children cumulated vsize (Kb) 7100

[startup+1180.13 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 967 0 0 0 67205 4275 0 0 25 0 1 0 19901134 5206016 937 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 937 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1053.28
Current children cumulated vsize (Kb) 7212

[startup+1190.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 970 0 0 0 68026 4335 0 0 23 0 1 0 19901134 5206016 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 940 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (Kb) 7212

[startup+1200.13 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 970 0 0 0 68830 4403 0 0 23 0 1 0 19901134 5206016 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 940 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1070.81
Current children cumulated vsize (Kb) 7212

[startup+1210.13 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 972 0 0 0 69682 4451 0 0 25 0 1 0 19901134 5206016 942 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 942 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1079.81
Current children cumulated vsize (Kb) 7212

[startup+1220.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 974 0 0 0 70534 4503 0 0 25 0 1 0 19901134 5206016 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 944 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1088.85
Current children cumulated vsize (Kb) 7212

[startup+1230.13 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 976 0 0 0 71399 4549 0 0 25 0 1 0 19901134 5206016 946 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 946 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1097.96
Current children cumulated vsize (Kb) 7212

[startup+1240.13 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 982 0 0 0 72279 4587 0 0 25 0 1 0 19901134 5206016 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 952 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1107.14
Current children cumulated vsize (Kb) 7212

[startup+1250.13 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 985 0 0 0 73142 4636 0 0 25 0 1 0 19901134 5206016 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 955 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1116.26
Current children cumulated vsize (Kb) 7212

[startup+1260.13 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 986 0 0 0 73991 4687 0 0 23 0 1 0 19901134 5206016 956 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 956 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1125.26
Current children cumulated vsize (Kb) 7212

[startup+1270.14 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 986 0 0 0 74797 4753 0 0 23 0 1 0 19901134 5206016 956 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 956 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1133.98
Current children cumulated vsize (Kb) 7212

[startup+1280.14 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 987 0 0 0 75641 4807 0 0 25 0 1 0 19901134 5206016 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 957 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1142.96
Current children cumulated vsize (Kb) 7212

[startup+1290.14 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 992 0 0 0 76509 4852 0 0 25 0 1 0 19901134 5206016 962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 962 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1152.09
Current children cumulated vsize (Kb) 7212

[startup+1300.14 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 995 0 0 0 77379 4893 0 0 25 0 1 0 19901134 5206016 965 4294967295 134512640 134702520 3221223712 3221223196 134608143 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 965 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1161.2
Current children cumulated vsize (Kb) 7212

[startup+1310.14 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 999 0 0 0 78244 4938 0 0 25 0 1 0 19901134 5332992 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 969 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1170.3
Current children cumulated vsize (Kb) 7336

[startup+1320.14 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 1001 0 0 0 79100 4989 0 0 25 0 1 0 19901134 5332992 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 971 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1179.37
Current children cumulated vsize (Kb) 7336

[startup+1330.14 s]
Raw data (loadavg): 1.10 1.05 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 1004 0 0 0 79972 5033 0 0 25 0 1 0 19901134 5332992 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 974 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1188.53
Current children cumulated vsize (Kb) 7336

[startup+1340.14 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 1005 0 0 0 80795 5094 0 0 23 0 1 0 19901134 5332992 975 4294967295 134512640 134702520 3221223712 3221222608 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 975 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1197.37
Current children cumulated vsize (Kb) 7336

[startup+1350.14 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 1005 0 0 0 81593 5163 0 0 23 0 1 0 19901134 5332992 975 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1302 975 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1206.04
Current children cumulated vsize (Kb) 7336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1350.15 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 1005 0 0 0 81593 5163 0 0 23 0 1 0 19901134 5332992 975 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1302 975 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1206.04
Current children cumulated vsize (Kb) 7336

Sending SIGTERM to -4849
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4856
New process pid=4857
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
One traced child (pid=4854) exited with status: 3
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4810/stat
open syscall for file /proc/4810/status
open syscall for file /proc/4810/cmdline
open syscall for file /proc/4810/environ
open syscall for file /proc/4848/stat
open syscall for file /proc/4848/status
open syscall for file /proc/4848/cmdline
open syscall for file /proc/4848/environ
open syscall for file /proc/4849/stat
open syscall for file /proc/4849/status
open syscall for file /proc/4849/cmdline
open syscall for file /proc/4849/environ
open syscall for file /proc/4856/stat
open syscall for file /proc/4856/status
open syscall for file /proc/4856/cmdline
open syscall for file /proc/4856/environ
open syscall for file /proc/4857/stat
open syscall for file /proc/4857/status
open syscall for file /proc/4857/cmdline
open syscall for file /proc/4857/environ
One traced child (pid=4856) exited with status: 0
One traced child (pid=4857) exited with status: 0
New process pid=4858
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=4858) exited with status: 0
New process pid=4859
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=4859) exited with status: 0
One traced child (pid=4849) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1350.64
CPU time (s): 1206.21
CPU user time (s): 1131.45
CPU system time (s): 74.7636
CPU usage (%): 89.3068
Max. virtual memory (cumulated for all children) (Kb): 7336

Verifier Data

ERROR: no interpretation found !