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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
MD5SUM0c242afd458949841d3ea7014466f311
Bench Categoryoptimization, big integers (OPTBIGINT)
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 31139
Biggest coefficient in the objective function 5007894118400
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 89107300928876
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 5007894118400
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 89107300928876
Number of bits of the biggest sum of numbers47
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables32607
Total number of constraints3263
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3263
Minimum length of a constraint7
Maximum length of a constraint426

Trace number 9211

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        941944 kB
Buffers:         12156 kB
Cached:          61828 kB
SwapCached:          0 kB
Active:          45808 kB
Inactive:        31076 kB
HighTotal:      131008 kB
HighFree:        64876 kB
LowTotal:       903652 kB
LowFree:        877068 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10216 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:48:39 (client local time) WITH STATUS 3 IN 82.9134 SECONDS
stats: 7894 7 82.9134 3

Solver Data

1:
seed: 0
Nr of vars set: 754  (#equs: 0)
Nr of vars set: 1184  (#equs: 130)
#decisions: 444639;  #end-nodes: 193986;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 319 (319)
#axs: 3946, #non-axs: 2685
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 27, end (keep): 43
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: 1200  (#equs: 184)
Time taken: 5 min, 7 sec

2:
seed: 0
Nr of vars set: 1200  (#equs: 0)
Nr of vars set: 1200  (#equs: 92)
#decisions: 1143421;  #end-nodes: 272241;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 395 (383)
#axs: 3626, #non-axs: 8895
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 23, end (keep): 36
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1200  (#equs: 218)
Time taken: 4 min, 33 sec

3:
seed: 0
Nr of vars set: 1200  (#equs: 0)
Nr of vars set: 1200  (#equs: 95)
#decisions: 734327;  #end-nodes: 311142;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 423 (423)
#axs: 3552, #non-axs: 2817
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 23, end (keep): 36
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1200  (#equs: 146)
Time taken: 4 min, 8 sec

4:
seed: 0
Nr of vars set: 1200  (#equs: 0)
Nr of vars set: 1200  (#equs: 142)
#decisions: 116740;  #end-nodes: 68028;
#proof improvement attempts: 68025;  #restarts: 288
Current batch, end-nodes: 0 / 271 (271)
#axs: 3543, #non-axs: 317
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 23, end (keep): 36
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1200  (#equs: 143)
Time taken: 4 min, 47 sec

5:

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

seed: 0
Nr of vars set: 1200  (#equs: 0)
Nr of vars set: 1200  (#equs: 108)
Interupt request received.
#decisions: 146372;  #end-nodes: 101354;
#proof improvement attempts: 0;  #restarts: 356
Current batch, end-nodes: 57 / 329 (329)
#axs: 3476, #non-axs: 8
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 23, end (keep): 36
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1510  (#equs: 108)
Time taken in seconds: 82

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/4861/stat): 4861 (vallstSAT2005PB) R 4860 4861 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19766609 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4861/statm): 174 3 169 147 0 27 0
[pid=4861] 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=4862
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=4862) exited with status: 0
New process pid=4863
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=4863) exited with status: 0
New process pid=4864
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/wulflinc17/normalized-mps-v2-13-7-sierra.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0029 s]
Raw data (loadavg): 0.93 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2421 0 0 0 887 38 0 0 16 0 1 0 19766616 11202560 2195 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 2735 2195 413 48 0 2687 0
[pid=4864] vsize: 10940
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (Kb) 13068

[startup+20.0035 s]
Raw data (loadavg): 0.94 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2422 0 0 0 1609 129 0 0 20 0 1 0 19766616 11456512 2196 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 2797 2196 413 48 0 2749 0
[pid=4864] vsize: 11188
Current children cumulated CPU time (s) 17.41
Current children cumulated vsize (Kb) 13316

[startup+30.0041 s]
Raw data (loadavg): 0.95 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2445 0 0 0 2325 219 0 0 16 0 1 0 19766616 20611072 2218 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5032 2218 413 48 0 4984 0
[pid=4864] vsize: 20128
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (Kb) 22256

[startup+40.0048 s]
Raw data (loadavg): 0.96 1.05 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2452 0 0 0 2893 360 0 0 18 0 1 0 19766616 20623360 2225 4294967295 134512640 134702520 3221223952 3221222976 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5035 2225 413 48 0 4987 0
[pid=4864] vsize: 20140
Current children cumulated CPU time (s) 32.56
Current children cumulated vsize (Kb) 22268

[startup+50.0063 s]
Raw data (loadavg): 0.96 1.04 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2457 0 0 0 3538 476 0 0 20 0 1 0 19766616 20877312 2229 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2229 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 40.17
Current children cumulated vsize (Kb) 22516

[startup+60.0069 s]
Raw data (loadavg): 0.97 1.04 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2457 0 0 0 4257 569 0 0 20 0 1 0 19766616 20877312 2229 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2229 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 48.29
Current children cumulated vsize (Kb) 22516

[startup+70.0076 s]
Raw data (loadavg): 0.97 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2458 0 0 0 4899 681 0 0 16 0 1 0 19766616 20627456 2229 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2229 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 55.83
Current children cumulated vsize (Kb) 22272

[startup+80.0091 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2459 0 0 0 5477 819 0 0 18 0 1 0 19766616 20627456 2230 4294967295 134512640 134702520 3221223952 3221210428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2230 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 62.99
Current children cumulated vsize (Kb) 22272

[startup+90.0097 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2460 0 0 0 6214 905 0 0 20 0 1 0 19766616 20877312 2231 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2231 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 71.22
Current children cumulated vsize (Kb) 22516

[startup+100.011 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2461 0 0 0 6893 1014 0 0 17 0 1 0 19766616 20627456 2231 4294967295 134512640 134702520 3221223952 3221223228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2231 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 79.1
Current children cumulated vsize (Kb) 22272

[startup+110.012 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2465 0 0 0 7497 1141 0 0 19 0 1 0 19766616 20627456 2234 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2234 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 86.41
Current children cumulated vsize (Kb) 22272

[startup+120.013 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2466 0 0 0 8146 1255 0 0 19 0 1 0 19766616 20877312 2235 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2235 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 94.04
Current children cumulated vsize (Kb) 22516

[startup+130.013 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2466 0 0 0 8878 1343 0 0 19 0 1 0 19766616 20877312 2235 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5097 2235 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (Kb) 22516

[startup+140.014 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2467 0 0 0 9465 1476 0 0 16 0 1 0 19766616 20627456 2235 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2235 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 109.44
Current children cumulated vsize (Kb) 22272

[startup+150.015 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2472 0 0 0 10057 1609 0 0 17 0 1 0 19766616 20627456 2238 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2238 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 116.69
Current children cumulated vsize (Kb) 22272

[startup+160.016 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2473 0 0 0 10780 1703 0 0 20 0 1 0 19766616 20877312 2239 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2239 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 124.86
Current children cumulated vsize (Kb) 22516

[startup+170.017 s]
Raw data (loadavg): 1.07 1.05 1.01 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2475 0 0 0 11437 1824 0 0 18 0 1 0 19766616 20627456 2239 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2239 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 132.64
Current children cumulated vsize (Kb) 22272

[startup+180.018 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2477 0 0 0 12074 1948 0 0 23 0 1 0 19766616 20627456 2241 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2241 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 140.25
Current children cumulated vsize (Kb) 22272

[startup+190.019 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2479 0 0 0 12727 2058 0 0 21 0 1 0 19766616 20877312 2243 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2243 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 147.88
Current children cumulated vsize (Kb) 22516

[startup+200.019 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2479 0 0 0 13438 2150 0 0 20 0 1 0 19766616 20877312 2243 4294967295 134512640 134702520 3221223952 3221222848 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2243 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 155.91
Current children cumulated vsize (Kb) 22516

[startup+210.02 s]
Raw data (loadavg): 1.03 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2480 0 0 0 14051 2284 0 0 17 0 1 0 19766616 20627456 2243 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2243 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 163.38
Current children cumulated vsize (Kb) 22272

[startup+220.021 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2484 0 0 0 14607 2427 0 0 18 0 1 0 19766616 20627456 2246 4294967295 134512640 134702520 3221223952 3221221952 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2246 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 170.37
Current children cumulated vsize (Kb) 22272

[startup+230.021 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2485 0 0 0 15340 2522 0 0 20 0 1 0 19766616 20877312 2247 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5097 2247 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 178.65
Current children cumulated vsize (Kb) 22516

[startup+240.022 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2485 0 0 0 16017 2630 0 0 17 0 1 0 19766616 20627456 2246 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2246 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 186.5
Current children cumulated vsize (Kb) 22272

[startup+250.022 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2489 0 0 0 16607 2762 0 0 17 0 1 0 19766616 20627456 2248 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2248 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 193.72
Current children cumulated vsize (Kb) 22272

[startup+260.024 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2490 0 0 0 17245 2886 0 0 20 0 1 0 19766616 20877312 2249 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2249 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 201.34
Current children cumulated vsize (Kb) 22516

[startup+270.024 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2490 0 0 0 17999 2966 0 0 20 0 1 0 19766616 20877312 2249 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5097 2249 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 209.68
Current children cumulated vsize (Kb) 22516

[startup+280.024 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2494 0 0 0 18608 3093 0 0 17 0 1 0 19766616 20627456 2251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2251 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 217.04
Current children cumulated vsize (Kb) 22272

[startup+290.025 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2495 0 0 0 19205 3225 0 0 21 0 1 0 19766616 20627456 2251 4294967295 134512640 134702520 3221223952 3221149468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5036 2251 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 224.33
Current children cumulated vsize (Kb) 22272

[startup+300.026 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2496 0 0 0 19881 3336 0 0 20 0 1 0 19766616 20877312 2252 4294967295 134512640 134702520 3221223952 3221222848 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5097 2252 413 48 0 5049 0
[pid=4864] vsize: 20388
Current children cumulated CPU time (s) 232.2
Current children cumulated vsize (Kb) 22516

[startup+310.027 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 2496 0 0 0 20595 3432 0 0 18 0 1 0 19766616 20627456 2251 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5036 2251 413 48 0 4988 0
[pid=4864] vsize: 20144
Current children cumulated CPU time (s) 240.3
Current children cumulated vsize (Kb) 22272

[startup+320.028 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 2767 0 0 0 21194 3566 0 0 18 0 1 0 19766616 21839872 2521 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5332 2521 413 48 0 5284 0
[pid=4864] vsize: 21328
Current children cumulated CPU time (s) 247.63
Current children cumulated vsize (Kb) 23456

[startup+330.029 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 3023 0 0 0 21877 3673 0 0 22 0 1 0 19766616 21901312 2776 4294967295 134512640 134702520 3221223952 3221223344 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5347 2776 413 48 0 5299 0
[pid=4864] vsize: 21388
Current children cumulated CPU time (s) 255.53
Current children cumulated vsize (Kb) 23516

[startup+340.03 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 3141 0 0 0 22583 3773 0 0 20 0 1 0 19766616 23371776 2894 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5706 2894 413 48 0 5658 0
[pid=4864] vsize: 22824
Current children cumulated CPU time (s) 263.59
Current children cumulated vsize (Kb) 24952

[startup+350.03 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3141 0 0 0 23314 3862 0 0 20 0 1 0 19766616 23371776 2894 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5706 2894 413 48 0 5658 0
[pid=4864] vsize: 22824
Current children cumulated CPU time (s) 271.79
Current children cumulated vsize (Kb) 24952

[startup+360.032 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) R 4861 4861 4060 0 -1 0 3146 0 0 0 23944 3983 0 0 20 0 1 0 19766616 23244800 2897 4294967295 134512640 134702520 3221223952 3221223344 134606230 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5675 2897 413 48 0 5627 0
[pid=4864] vsize: 22700
Current children cumulated CPU time (s) 279.3
Current children cumulated vsize (Kb) 24828

[startup+370.032 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3181 0 0 0 24602 4096 0 0 21 0 1 0 19766616 23396352 2931 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4864/statm): 5712 2931 413 48 0 5664 0
[pid=4864] vsize: 22848
Current children cumulated CPU time (s) 287.01
Current children cumulated vsize (Kb) 24976

[startup+380.032 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3351 0 0 0 25261 4209 0 0 20 0 1 0 19766616 23601152 3101 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5762 3101 413 48 0 5714 0
[pid=4864] vsize: 23048
Current children cumulated CPU time (s) 294.73
Current children cumulated vsize (Kb) 25176

[startup+390.033 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4864
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19766609 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 242 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4864/stat): 4864 (vallst) T 4861 4861 4060 0 -1 0 3351 0 0 0 25986 4299 0 0 20 0 1 0 19766616 23601152 3101 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4864/statm): 5762 3101 413 48 0 5714 0
[pid=4864] vsize: 23048
Current children cumulated CPU time (s) 302.88
Current children cumulated vsize (Kb) 25176
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=4864) exited with status: 2
New process pid=4865
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=4865) exited with status: 0
New process pid=4866
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+400.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 1848 0 0 0 240 21 0 0 17 0 1 0 19806324 10424320 1818 4294967295 134512640 134702520 3221223712 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 2545 1818 413 48 0 2497 0
[pid=4866] vsize: 10180
Current children cumulated CPU time (s) 311.39
Current children cumulated vsize (Kb) 12308

[startup+410.035 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 1909 0 0 0 618 229 0 0 16 0 1 0 19806324 10838016 1879 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 2646 1879 413 48 0 2598 0
[pid=4866] vsize: 10584
Current children cumulated CPU time (s) 317.25
Current children cumulated vsize (Kb) 12712

[startup+420.036 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 1971 0 0 0 1093 399 0 0 17 0 1 0 19806324 20639744 1941 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5039 1941 413 48 0 4991 0
[pid=4866] vsize: 20156
Current children cumulated CPU time (s) 323.7
Current children cumulated vsize (Kb) 22284

[startup+430.037 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2033 0 0 0 1582 565 0 0 16 0 1 0 19806324 20639744 2003 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5039 2003 413 48 0 4991 0
[pid=4866] vsize: 20156
Current children cumulated CPU time (s) 330.25
Current children cumulated vsize (Kb) 22284

[startup+440.038 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2062 0 0 0 2034 741 0 0 16 0 1 0 19806324 20893696 2031 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5101 2031 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 336.53
Current children cumulated vsize (Kb) 22532

[startup+450.038 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2063 0 0 0 2372 955 0 0 16 0 1 0 19806324 20893696 2032 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5101 2032 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (Kb) 22532

[startup+460.04 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2075 0 0 0 2851 1131 0 0 17 0 1 0 19806324 20643840 2040 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5040 2040 413 48 0 4992 0
[pid=4866] vsize: 20160
Current children cumulated CPU time (s) 348.6
Current children cumulated vsize (Kb) 22288

[startup+470.041 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2084 0 0 0 3349 1296 0 0 17 0 1 0 19806324 20643840 2047 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5040 2047 413 48 0 4992 0
[pid=4866] vsize: 20160
Current children cumulated CPU time (s) 355.23
Current children cumulated vsize (Kb) 22288

[startup+480.042 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2085 0 0 0 3683 1510 0 0 16 0 1 0 19806324 20893696 2048 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5101 2048 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 360.71
Current children cumulated vsize (Kb) 22532

[startup+490.043 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2091 0 0 0 4139 1684 0 0 16 0 1 0 19806324 20893696 2051 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5101 2051 413 48 0 5053 0
[pid=4866] vsize: 20404
Current children cumulated CPU time (s) 367.01
Current children cumulated vsize (Kb) 22532

[startup+500.044 s]
Raw data (loadavg): 1.17 1.06 1.01 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2098 0 0 0 4604 1861 0 0 17 0 1 0 19806324 20766720 2056 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2056 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 373.43
Current children cumulated vsize (Kb) 22408

[startup+510.045 s]
Raw data (loadavg): 1.22 1.08 1.01 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2103 0 0 0 5034 2044 0 0 16 0 1 0 19806324 21020672 2061 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5132 2061 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 379.56
Current children cumulated vsize (Kb) 22656

[startup+520.046 s]
Raw data (loadavg): 1.19 1.07 1.01 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2105 0 0 0 5380 2258 0 0 16 0 1 0 19806324 21270528 2063 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5193 2063 413 48 0 5145 0
[pid=4866] vsize: 20772
Current children cumulated CPU time (s) 385.16
Current children cumulated vsize (Kb) 22900

[startup+530.047 s]
Raw data (loadavg): 1.31 1.10 1.02 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2112 0 0 0 5885 2419 0 0 16 0 1 0 19806324 20766720 2066 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5070 2066 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 391.82
Current children cumulated vsize (Kb) 22408

[startup+540.048 s]
Raw data (loadavg): 1.42 1.13 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2121 0 0 0 6401 2574 0 0 21 0 1 0 19806324 20766720 2073 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2073 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (Kb) 22408

[startup+550.048 s]
Raw data (loadavg): 1.35 1.13 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2122 0 0 0 6734 2787 0 0 17 0 1 0 19806324 21020672 2074 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5132 2074 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 403.99
Current children cumulated vsize (Kb) 22656

[startup+560.049 s]
Raw data (loadavg): 1.30 1.12 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2126 0 0 0 7188 2963 0 0 19 0 1 0 19806324 20766720 2075 4294967295 134512640 134702520 3221223712 3221152128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2075 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 410.29
Current children cumulated vsize (Kb) 22408

[startup+570.05 s]
Raw data (loadavg): 1.25 1.12 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2135 0 0 0 7699 3125 0 0 16 0 1 0 19806324 20766720 2082 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5070 2082 413 48 0 5022 0
[pid=4866] vsize: 20280
Current children cumulated CPU time (s) 417.02
Current children cumulated vsize (Kb) 22408

[startup+580.051 s]
Raw data (loadavg): 1.29 1.13 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2144 0 0 0 8147 3305 0 0 16 0 1 0 19806324 21020672 2089 4294967295 134512640 134702520 3221223712 3221222608 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5132 2089 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 423.3
Current children cumulated vsize (Kb) 22656

[startup+590.052 s]
Raw data (loadavg): 1.24 1.12 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2145 0 0 0 8473 3528 0 0 17 0 1 0 19806324 21020672 2090 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5132 2090 413 48 0 5084 0
[pid=4866] vsize: 20528
Current children cumulated CPU time (s) 428.79
Current children cumulated vsize (Kb) 22656

[startup+600.053 s]
Raw data (loadavg): 1.20 1.12 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2151 0 0 0 8952 3694 0 0 16 0 1 0 19806324 20774912 2093 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5072 2093 413 48 0 5024 0
[pid=4866] vsize: 20288
Current children cumulated CPU time (s) 435.24
Current children cumulated vsize (Kb) 22416

[startup+610.054 s]
Raw data (loadavg): 1.17 1.12 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2162 0 0 0 9482 3849 0 0 16 0 1 0 19806324 20926464 2103 4294967295 134512640 134702520 3221223712 3221223028 134617619 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2103 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 442.09
Current children cumulated vsize (Kb) 22564

[startup+620.055 s]
Raw data (loadavg): 1.15 1.11 1.03 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2167 0 0 0 9838 4060 0 0 16 0 1 0 19806324 21176320 2108 4294967295 134512640 134702520 3221223712 3221222812 1074752304 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2108 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 447.76
Current children cumulated vsize (Kb) 22808

[startup+630.055 s]
Raw data (loadavg): 1.12 1.11 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2169 0 0 0 10260 4253 0 0 20 0 1 0 19806324 20926464 2107 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2107 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 453.91
Current children cumulated vsize (Kb) 22564

[startup+640.057 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2172 0 0 0 10743 4416 0 0 17 0 1 0 19806324 20926464 2109 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2109 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 460.37
Current children cumulated vsize (Kb) 22564

[startup+650.057 s]
Raw data (loadavg): 1.09 1.10 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2181 0 0 0 11276 4570 0 0 16 0 1 0 19806324 20926464 2117 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2117 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 467.24
Current children cumulated vsize (Kb) 22564

[startup+660.058 s]
Raw data (loadavg): 1.15 1.11 1.03 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2182 0 0 0 11611 4789 0 0 16 0 1 0 19806324 21176320 2118 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2118 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 472.78
Current children cumulated vsize (Kb) 22808

[startup+670.059 s]
Raw data (loadavg): 1.20 1.12 1.04 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2188 0 0 0 12048 4970 0 0 17 0 1 0 19806324 20926464 2121 4294967295 134512640 134702520 3221223712 3221223296 134559879 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2121 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 478.96
Current children cumulated vsize (Kb) 22564

[startup+680.059 s]
Raw data (loadavg): 1.24 1.14 1.04 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2196 0 0 0 12554 5133 0 0 17 0 1 0 19806324 21176320 2129 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2129 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 485.65
Current children cumulated vsize (Kb) 22808

[startup+690.06 s]
Raw data (loadavg): 1.20 1.13 1.04 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2206 0 0 0 13006 5311 0 0 16 0 1 0 19806324 21176320 2138 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2138 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 491.95
Current children cumulated vsize (Kb) 22808

[startup+700.061 s]
Raw data (loadavg): 1.17 1.13 1.04 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2207 0 0 0 13326 5537 0 0 16 0 1 0 19806324 21176320 2139 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5170 2139 413 48 0 5122 0
[pid=4866] vsize: 20680
Current children cumulated CPU time (s) 497.41
Current children cumulated vsize (Kb) 22808

[startup+710.062 s]
Raw data (loadavg): 1.14 1.12 1.04 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2210 0 0 0 13794 5712 0 0 17 0 1 0 19806324 20926464 2139 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5109 2139 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 503.84
Current children cumulated vsize (Kb) 22564

[startup+720.063 s]
Raw data (loadavg): 1.20 1.13 1.04 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2218 0 0 0 14272 5882 0 0 17 0 1 0 19806324 20926464 2145 4294967295 134512640 134702520 3221223712 3221222208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5109 2145 413 48 0 5061 0
[pid=4866] vsize: 20436
Current children cumulated CPU time (s) 510.32
Current children cumulated vsize (Kb) 22564

[startup+730.063 s]
Raw data (loadavg): 1.24 1.14 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2222 0 0 0 14683 6078 0 0 16 0 1 0 19806324 21061632 2149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5142 2149 413 48 0 5094 0
[pid=4866] vsize: 20568
Current children cumulated CPU time (s) 516.39
Current children cumulated vsize (Kb) 22696

[startup+740.064 s]
Raw data (loadavg): 1.28 1.16 1.05 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2225 0 0 0 15022 6301 0 0 16 0 1 0 19806324 20934656 2149 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5111 2149 413 48 0 5063 0
[pid=4866] vsize: 20444
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (Kb) 22572

[startup+750.064 s]
Raw data (loadavg): 1.31 1.17 1.06 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2239 0 0 0 15522 6470 0 0 19 0 1 0 19806324 21078016 2161 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5146 2161 413 48 0 5098 0
[pid=4866] vsize: 20584
Current children cumulated CPU time (s) 528.7
Current children cumulated vsize (Kb) 22712

[startup+760.065 s]
Raw data (loadavg): 1.26 1.16 1.05 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2366 0 0 0 16006 6641 0 0 17 0 1 0 19806324 21106688 2288 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5153 2288 413 48 0 5105 0
[pid=4866] vsize: 20612
Current children cumulated CPU time (s) 535.25
Current children cumulated vsize (Kb) 22740

[startup+770.066 s]
Raw data (loadavg): 1.22 1.16 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2541 0 0 0 16447 6826 0 0 16 0 1 0 19806324 22605824 2463 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5519 2463 413 48 0 5471 0
[pid=4866] vsize: 22076
Current children cumulated CPU time (s) 541.51
Current children cumulated vsize (Kb) 24204

[startup+780.067 s]
Raw data (loadavg): 1.19 1.15 1.05 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2543 0 0 0 16799 7040 0 0 17 0 1 0 19806324 22355968 2462 4294967295 134512640 134702520 3221223712 3221223116 1074229931 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5458 2462 413 48 0 5410 0
[pid=4866] vsize: 21832
Current children cumulated CPU time (s) 547.17
Current children cumulated vsize (Kb) 23960

[startup+790.068 s]
Raw data (loadavg): 1.23 1.16 1.06 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2571 0 0 0 17318 7200 0 0 17 0 1 0 19806324 22523904 2490 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5499 2490 413 48 0 5451 0
[pid=4866] vsize: 21996
Current children cumulated CPU time (s) 553.96
Current children cumulated vsize (Kb) 24124

[startup+800.067 s]
Raw data (loadavg): 1.20 1.15 1.06 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2757 0 0 0 17887 7345 0 0 18 0 1 0 19806324 22523904 2675 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4866/statm): 5499 2675 413 48 0 5451 0
[pid=4866] vsize: 21996
Current children cumulated CPU time (s) 561.1
Current children cumulated vsize (Kb) 24124

[startup+810.068 s]
Raw data (loadavg): 1.16 1.15 1.06 2/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) R 4861 4861 4060 0 -1 0 2924 0 0 0 18511 7471 0 0 19 0 1 0 19806324 23830528 2841 4294967295 134512640 134702520 3221223712 3221223096 134609929 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5818 2841 413 48 0 5770 0
[pid=4866] vsize: 23272
Current children cumulated CPU time (s) 568.6
Current children cumulated vsize (Kb) 25400

[startup+820.069 s]
Raw data (loadavg): 1.14 1.14 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2981 0 0 0 19072 7616 0 0 16 0 1 0 19806324 24096768 2898 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5883 2898 413 48 0 5835 0
[pid=4866] vsize: 23532
Current children cumulated CPU time (s) 575.66
Current children cumulated vsize (Kb) 25660

[startup+830.069 s]
Raw data (loadavg): 1.12 1.14 1.05 1/56 4866
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 378 3726 0 0 2 1 26511 4364 19 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4866/stat): 4866 (vallst) T 4861 4861 4060 0 -1 0 2983 0 0 0 19393 7840 0 0 16 0 1 0 19806324 24350720 2900 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4866/statm): 5945 2900 413 48 0 5897 0
[pid=4866] vsize: 23780
Current children cumulated CPU time (s) 581.11
Current children cumulated vsize (Kb) 25908
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=4866) exited with status: 2
New process pid=4867
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=4867) exited with status: 0
New process pid=4868
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+840.07 s]
Raw data (loadavg): 1.10 1.13 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 1900 0 0 0 373 89 0 0 17 0 1 0 19849988 10661888 1871 4294967295 134512640 134702520 3221223712 3221223128 134550241 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 2603 1871 413 48 0 2555 0
[pid=4868] vsize: 10412
Current children cumulated CPU time (s) 588.11
Current children cumulated vsize (Kb) 12540

[startup+850.069 s]
Raw data (loadavg): 1.08 1.13 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 1907 0 0 0 760 287 0 0 17 0 1 0 19849988 10833920 1878 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 2645 1878 413 48 0 2597 0
[pid=4868] vsize: 10580
Current children cumulated CPU time (s) 593.96
Current children cumulated vsize (Kb) 12708

[startup+860.07 s]
Raw data (loadavg): 1.07 1.12 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2059 0 0 0 1312 435 0 0 22 0 1 0 19849988 20033536 2030 4294967295 134512640 134702520 3221223712 3221222736 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2030 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 600.96
Current children cumulated vsize (Kb) 21692

[startup+870.071 s]
Raw data (loadavg): 1.06 1.12 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2102 0 0 0 1796 602 0 0 18 0 1 0 19849988 20033536 2071 4294967295 134512640 134702520 3221223712 3221211488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2071 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 607.47
Current children cumulated vsize (Kb) 21692

[startup+880.072 s]
Raw data (loadavg): 1.13 1.13 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2115 0 0 0 2186 802 0 0 16 0 1 0 19849988 20283392 2084 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4952 2084 413 48 0 4904 0
[pid=4868] vsize: 19808
Current children cumulated CPU time (s) 613.37
Current children cumulated vsize (Kb) 21936

[startup+890.073 s]
Raw data (loadavg): 1.11 1.13 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2117 0 0 0 2545 1016 0 0 18 0 1 0 19849988 20033536 2083 4294967295 134512640 134702520 3221223712 3221179968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2083 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 619.1
Current children cumulated vsize (Kb) 21692

[startup+900.073 s]
Raw data (loadavg): 1.09 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2126 0 0 0 3031 1181 0 0 18 0 1 0 19849988 20033536 2090 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4891 2090 413 48 0 4843 0
[pid=4868] vsize: 19564
Current children cumulated CPU time (s) 625.61
Current children cumulated vsize (Kb) 21692

[startup+910.074 s]
Raw data (loadavg): 1.08 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2131 0 0 0 3508 1354 0 0 16 0 1 0 19849988 20283392 2093 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4952 2093 413 48 0 4904 0
[pid=4868] vsize: 19808
Current children cumulated CPU time (s) 632.11
Current children cumulated vsize (Kb) 21936

[startup+920.075 s]
Raw data (loadavg): 1.07 1.11 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2132 0 0 0 3769 1596 0 0 16 0 1 0 19849988 20283392 2094 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4952 2094 413 48 0 4904 0
[pid=4868] vsize: 19808
Current children cumulated CPU time (s) 637.14
Current children cumulated vsize (Kb) 21936

[startup+930.075 s]
Raw data (loadavg): 1.06 1.11 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2141 0 0 0 4240 1775 0 0 18 0 1 0 19849988 20160512 2099 4294967295 134512640 134702520 3221223712 3221222368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2099 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 643.64
Current children cumulated vsize (Kb) 21816

[startup+940.076 s]
Raw data (loadavg): 1.05 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2148 0 0 0 4747 1934 0 0 17 0 1 0 19849988 20160512 2105 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2105 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 650.3
Current children cumulated vsize (Kb) 21816

[startup+950.076 s]
Raw data (loadavg): 1.11 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2150 0 0 0 5052 2154 0 0 16 0 1 0 19849988 20414464 2107 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2107 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 655.55
Current children cumulated vsize (Kb) 22064

[startup+960.077 s]
Raw data (loadavg): 1.09 1.11 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2157 0 0 0 5506 2328 0 0 20 0 1 0 19849988 20160512 2111 4294967295 134512640 134702520 3221223712 3221173888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2111 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 661.83
Current children cumulated vsize (Kb) 21816

[startup+970.078 s]
Raw data (loadavg): 1.15 1.12 1.06 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2162 0 0 0 5989 2498 0 0 17 0 1 0 19849988 20160512 2114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2114 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 668.36
Current children cumulated vsize (Kb) 21816

[startup+980.079 s]
Raw data (loadavg): 1.13 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2167 0 0 0 6441 2681 0 0 16 0 1 0 19849988 20414464 2119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2119 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 674.71
Current children cumulated vsize (Kb) 22064

[startup+990.08 s]
Raw data (loadavg): 1.11 1.12 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2170 0 0 0 6773 2898 0 0 17 0 1 0 19849988 20160512 2119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2119 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 680.2
Current children cumulated vsize (Kb) 21816

[startup+1000.08 s]
Raw data (loadavg): 1.09 1.11 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2175 0 0 0 7299 3052 0 0 16 0 1 0 19849988 20160512 2122 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2122 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 687
Current children cumulated vsize (Kb) 21816

[startup+1010.08 s]
Raw data (loadavg): 1.08 1.11 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2181 0 0 0 7828 3206 0 0 19 0 1 0 19849988 20160512 2127 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2127 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 693.83
Current children cumulated vsize (Kb) 21816

[startup+1020.08 s]
Raw data (loadavg): 1.06 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2182 0 0 0 8103 3437 0 0 16 0 1 0 19849988 20414464 2128 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4984 2128 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 698.89
Current children cumulated vsize (Kb) 22064

[startup+1030.08 s]
Raw data (loadavg): 1.05 1.10 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2188 0 0 0 8599 3605 0 0 19 0 1 0 19849988 20160512 2131 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2131 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 705.53
Current children cumulated vsize (Kb) 21816

[startup+1040.08 s]
Raw data (loadavg): 1.05 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2194 0 0 0 9135 3746 0 0 18 0 1 0 19849988 20160512 2137 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2137 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 712.3
Current children cumulated vsize (Kb) 21816

[startup+1050.08 s]
Raw data (loadavg): 1.04 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2197 0 0 0 9520 3950 0 0 16 0 1 0 19849988 20414464 2139 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2139 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 718.19
Current children cumulated vsize (Kb) 22064

[startup+1060.08 s]
Raw data (loadavg): 1.03 1.09 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2201 0 0 0 9887 4153 0 0 20 0 1 0 19849988 20160512 2140 4294967295 134512640 134702520 3221223712 3221146208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2140 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 723.89
Current children cumulated vsize (Kb) 21816

[startup+1070.08 s]
Raw data (loadavg): 1.03 1.08 1.05 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2206 0 0 0 10426 4306 0 0 18 0 1 0 19849988 20160512 2145 4294967295 134512640 134702520 3221223712 3221203468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2145 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 730.81
Current children cumulated vsize (Kb) 21816

[startup+1080.09 s]
Raw data (loadavg): 1.02 1.08 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2210 0 0 0 10914 4475 0 0 16 0 1 0 19849988 20414464 2149 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2149 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 737.38
Current children cumulated vsize (Kb) 22064

[startup+1090.09 s]
Raw data (loadavg): 1.09 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2211 0 0 0 11188 4710 0 0 16 0 1 0 19849988 20414464 2150 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2150 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 742.47
Current children cumulated vsize (Kb) 22064

[startup+1100.09 s]
Raw data (loadavg): 1.08 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2215 0 0 0 11696 4871 0 0 17 0 1 0 19849988 20160512 2151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2151 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 749.16
Current children cumulated vsize (Kb) 21816

[startup+1110.09 s]
Raw data (loadavg): 1.14 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2221 0 0 0 12194 5036 0 0 16 0 1 0 19849988 20160512 2156 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2156 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 755.79
Current children cumulated vsize (Kb) 21816

[startup+1120.09 s]
Raw data (loadavg): 1.12 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2225 0 0 0 12564 5238 0 0 16 0 1 0 19849988 20414464 2159 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4984 2159 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 761.51
Current children cumulated vsize (Kb) 22064

[startup+1130.09 s]
Raw data (loadavg): 1.10 1.10 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2227 0 0 0 12964 5439 0 0 16 0 1 0 19849988 20160512 2158 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2158 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 767.52
Current children cumulated vsize (Kb) 21816

[startup+1140.09 s]
Raw data (loadavg): 1.08 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2233 0 0 0 13542 5573 0 0 22 0 1 0 19849988 20160512 2163 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2163 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 774.64
Current children cumulated vsize (Kb) 21816

[startup+1150.09 s]
Raw data (loadavg): 1.07 1.09 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2238 0 0 0 14028 5740 0 0 16 0 1 0 19849988 20414464 2168 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2168 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 781.17
Current children cumulated vsize (Kb) 22064

[startup+1160.09 s]
Raw data (loadavg): 1.06 1.08 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2239 0 0 0 14304 5979 0 0 16 0 1 0 19849988 20414464 2169 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4984 2169 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 786.32
Current children cumulated vsize (Kb) 22064

[startup+1170.09 s]
Raw data (loadavg): 1.05 1.08 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2244 0 0 0 14830 6135 0 0 18 0 1 0 19849988 20160512 2171 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2171 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 793.14
Current children cumulated vsize (Kb) 21816

[startup+1180.09 s]
Raw data (loadavg): 1.04 1.08 1.05 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2248 0 0 0 15358 6295 0 0 21 0 1 0 19849988 20160512 2174 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4868/statm): 4922 2174 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 800.02
Current children cumulated vsize (Kb) 21816

[startup+1190.09 s]
Raw data (loadavg): 1.03 1.08 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2251 0 0 0 15731 6505 0 0 16 0 1 0 19849988 20414464 2177 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4984 2177 413 48 0 4936 0
[pid=4868] vsize: 19936
Current children cumulated CPU time (s) 805.85
Current children cumulated vsize (Kb) 22064

[startup+1200.09 s]
Raw data (loadavg): 1.03 1.07 1.04 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2256 0 0 0 16106 6711 0 0 21 0 1 0 19849988 20160512 2179 4294967295 134512640 134702520 3221223712 3221146028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2179 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 811.66
Current children cumulated vsize (Kb) 21816

[startup+1210.09 s]
Raw data (loadavg): 1.02 1.07 1.04 2/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) R 4861 4861 4060 0 -1 0 2259 0 0 0 16642 6864 0 0 18 0 1 0 19849988 20160512 2182 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4922 2182 413 48 0 4874 0
[pid=4868] vsize: 19688
Current children cumulated CPU time (s) 818.55
Current children cumulated vsize (Kb) 21816

[startup+1220.09 s]
Raw data (loadavg): 1.02 1.07 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2271 0 0 0 17184 7012 0 0 16 0 1 0 19849988 20176896 2194 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4926 2194 413 48 0 4878 0
[pid=4868] vsize: 19704
Current children cumulated CPU time (s) 825.45
Current children cumulated vsize (Kb) 21832

[startup+1230.1 s]
Raw data (loadavg): 1.02 1.06 1.04 1/56 4868
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 417 6854 0 0 2 1 46074 12272 18 0 1 0 19766609 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 248 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4868/stat): 4868 (vallst) T 4861 4861 4060 0 -1 0 2273 0 0 0 17445 7251 0 0 16 0 1 0 19849988 20430848 2196 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4868/statm): 4988 2196 413 48 0 4940 0
[pid=4868] vsize: 19952
Current children cumulated CPU time (s) 830.45
Current children cumulated vsize (Kb) 22080
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=4868) exited with status: 2
New process pid=4869
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=4869) exited with status: 0
New process pid=4870
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+1240.1 s]
Raw data (loadavg): 1.01 1.06 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1840 0 0 0 369 87 0 0 17 0 1 0 19890019 10256384 1811 4294967295 134512640 134702520 3221223040 3221222176 134552819 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1811 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 837.48
Current children cumulated vsize (Kb) 12144

[startup+1250.1 s]
Raw data (loadavg): 1.01 1.06 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1841 0 0 0 745 286 0 0 17 0 1 0 19890019 10256384 1812 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1812 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 843.23
Current children cumulated vsize (Kb) 12144

[startup+1260.1 s]
Raw data (loadavg): 1.01 1.06 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1842 0 0 0 1121 490 0 0 17 0 1 0 19890019 10256384 1813 4294967295 134512640 134702520 3221223040 3221222176 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1813 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 849.03
Current children cumulated vsize (Kb) 12144

[startup+1270.1 s]
Raw data (loadavg): 1.01 1.05 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1842 0 0 0 1493 690 0 0 17 0 1 0 19890019 10256384 1813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1813 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 854.75
Current children cumulated vsize (Kb) 12144

[startup+1280.1 s]
Raw data (loadavg): 1.01 1.05 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 1876 882 0 0 17 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 860.5
Current children cumulated vsize (Kb) 12144

[startup+1290.1 s]
Raw data (loadavg): 1.00 1.05 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 2255 1089 0 0 17 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 866.36
Current children cumulated vsize (Kb) 12144

[startup+1300.1 s]
Raw data (loadavg): 1.00 1.05 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1843 0 0 0 2629 1295 0 0 16 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222116 134549003 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 872.16
Current children cumulated vsize (Kb) 12144

[startup+1310.1 s]
Raw data (loadavg): 1.00 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 2995 1506 0 0 17 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 877.93
Current children cumulated vsize (Kb) 12144

[startup+1320.1 s]
Raw data (loadavg): 1.00 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1843 0 0 0 3361 1709 0 0 16 0 1 0 19890019 10256384 1814 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1814 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 883.62
Current children cumulated vsize (Kb) 12144

[startup+1330.1 s]
Raw data (loadavg): 1.00 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1848 0 0 0 3745 1911 0 0 18 0 1 0 19890019 10256384 1819 4294967295 134512640 134702520 3221223040 3221201936 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 2504 1819 413 48 0 2456 0
[pid=4870] vsize: 10016
Current children cumulated CPU time (s) 889.48
Current children cumulated vsize (Kb) 12144

[startup+1340.1 s]
Raw data (loadavg): 1.00 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1959 0 0 0 4181 2095 0 0 16 0 1 0 19890019 18853888 1929 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4603 1929 413 48 0 4555 0
[pid=4870] vsize: 18412
Current children cumulated CPU time (s) 895.68
Current children cumulated vsize (Kb) 20540

[startup+1350.1 s]
Raw data (loadavg): 1.00 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1979 0 0 0 4653 2269 0 0 16 0 1 0 19890019 18857984 1948 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1948 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 902.14
Current children cumulated vsize (Kb) 20544

[startup+1360.1 s]
Raw data (loadavg): 1.00 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1990 0 0 0 5107 2448 0 0 18 0 1 0 19890019 18857984 1957 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1957 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 908.47
Current children cumulated vsize (Kb) 20544

[startup+1370.1 s]
Raw data (loadavg): 1.00 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 5530 2633 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 914.55
Current children cumulated vsize (Kb) 20544

[startup+1380.11 s]
Raw data (loadavg): 1.00 1.03 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 1993 0 0 0 5903 2837 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 920.32
Current children cumulated vsize (Kb) 20544

[startup+1390.11 s]
Raw data (loadavg): 1.00 1.03 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 6282 3031 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 926.05
Current children cumulated vsize (Kb) 20544

[startup+1400.11 s]
Raw data (loadavg): 1.00 1.03 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 6658 3241 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 931.91
Current children cumulated vsize (Kb) 20544

[startup+1410.11 s]
Raw data (loadavg): 1.00 1.03 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 7042 3439 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 937.73
Current children cumulated vsize (Kb) 20544

[startup+1420.11 s]
Raw data (loadavg): 1.08 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 7423 3651 0 0 16 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 943.66
Current children cumulated vsize (Kb) 20544

[startup+1430.11 s]
Raw data (loadavg): 1.07 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 7802 3850 0 0 16 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 949.44
Current children cumulated vsize (Kb) 20544

[startup+1440.11 s]
Raw data (loadavg): 1.06 1.04 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 8177 4049 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 955.18
Current children cumulated vsize (Kb) 20544

[startup+1450.11 s]
Raw data (loadavg): 1.05 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1993 0 0 0 8552 4253 0 0 17 0 1 0 19890019 18857984 1959 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1959 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 960.97
Current children cumulated vsize (Kb) 20544

[startup+1460.11 s]
Raw data (loadavg): 1.04 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 1994 0 0 0 8923 4453 0 0 16 0 1 0 19890019 19107840 1960 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1960 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 966.68
Current children cumulated vsize (Kb) 20788

[startup+1470.11 s]
Raw data (loadavg): 1.11 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2001 0 0 0 9321 4648 0 0 19 0 1 0 19890019 18857984 1964 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1964 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 972.61
Current children cumulated vsize (Kb) 20544

[startup+1480.11 s]
Raw data (loadavg): 1.10 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2006 0 0 0 9755 4832 0 0 16 0 1 0 19890019 19107840 1968 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1968 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 978.79
Current children cumulated vsize (Kb) 20788

[startup+1490.11 s]
Raw data (loadavg): 1.08 1.05 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2014 0 0 0 10223 4999 0 0 16 0 1 0 19890019 19107840 1973 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1973 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 985.14
Current children cumulated vsize (Kb) 20788

[startup+1500.11 s]
Raw data (loadavg): 1.07 1.04 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2018 0 0 0 10661 5183 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221221936 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 991.36
Current children cumulated vsize (Kb) 20788

[startup+1510.12 s]
Raw data (loadavg): 1.06 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 11039 5388 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 997.19
Current children cumulated vsize (Kb) 20788

[startup+1520.12 s]
Raw data (loadavg): 1.05 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 11424 5590 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1003.06
Current children cumulated vsize (Kb) 20788

[startup+1530.12 s]
Raw data (loadavg): 1.04 1.04 1.02 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 11801 5794 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1008.87
Current children cumulated vsize (Kb) 20788

[startup+1540.12 s]
Raw data (loadavg): 1.19 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 12185 5991 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1014.68
Current children cumulated vsize (Kb) 20788

[startup+1550.12 s]
Raw data (loadavg): 1.16 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 12548 6200 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1020.4
Current children cumulated vsize (Kb) 20788

[startup+1560.12 s]
Raw data (loadavg): 1.13 1.06 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2018 0 0 0 12916 6404 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221221936 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1026.12
Current children cumulated vsize (Kb) 20788

[startup+1570.12 s]
Raw data (loadavg): 1.11 1.06 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 13295 6599 0 0 16 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1031.86
Current children cumulated vsize (Kb) 20788

[startup+1580.12 s]
Raw data (loadavg): 1.17 1.08 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2018 0 0 0 13676 6803 0 0 17 0 1 0 19890019 19107840 1975 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1975 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1037.71
Current children cumulated vsize (Kb) 20788

[startup+1590.12 s]
Raw data (loadavg): 1.15 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2019 0 0 0 14020 7019 0 0 16 0 1 0 19890019 19107840 1976 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1976 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1043.31
Current children cumulated vsize (Kb) 20788

[startup+1600.12 s]
Raw data (loadavg): 1.12 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2027 0 0 0 14495 7185 0 0 17 0 1 0 19890019 18857984 1979 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1979 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 1049.72
Current children cumulated vsize (Kb) 20544

[startup+1610.12 s]
Raw data (loadavg): 1.10 1.07 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2033 0 0 0 14945 7362 0 0 23 0 1 0 19890019 18857984 1981 4294967295 134512640 134702520 3221223040 3221101696 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4604 1981 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 1055.99
Current children cumulated vsize (Kb) 20544

[startup+1620.12 s]
Raw data (loadavg): 1.09 1.06 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2041 0 0 0 15355 7549 0 0 18 0 1 0 19890019 18857984 1985 4294967295 134512640 134702520 3221223040 3221222512 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4604 1985 413 48 0 4556 0
[pid=4870] vsize: 18416
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (Kb) 20544

[startup+1630.12 s]
Raw data (loadavg): 1.07 1.06 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 15803 7730 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1068.25
Current children cumulated vsize (Kb) 20788

[startup+1640.12 s]
Raw data (loadavg): 1.14 1.07 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2043 0 0 0 16183 7932 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222216 134550241 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1074.07
Current children cumulated vsize (Kb) 20788

[startup+1650.12 s]
Raw data (loadavg): 1.12 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 16555 8139 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1079.86
Current children cumulated vsize (Kb) 20788

[startup+1660.13 s]
Raw data (loadavg): 1.17 1.08 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2043 0 0 0 16936 8338 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1085.66
Current children cumulated vsize (Kb) 20788

[startup+1670.13 s]
Raw data (loadavg): 1.15 1.08 1.04 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 17311 8541 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1091.44
Current children cumulated vsize (Kb) 20788

[startup+1680.13 s]
Raw data (loadavg): 1.12 1.08 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2043 0 0 0 17685 8752 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1097.29
Current children cumulated vsize (Kb) 20788

[startup+1690.13 s]
Raw data (loadavg): 1.10 1.08 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 18059 8959 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1103.1
Current children cumulated vsize (Kb) 20788

[startup+1700.13 s]
Raw data (loadavg): 1.09 1.07 1.03 1/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 18436 9157 0 0 16 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1108.85
Current children cumulated vsize (Kb) 20788

[startup+1710.13 s]
Raw data (loadavg): 1.07 1.07 1.03 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) T 4861 4861 4060 0 -1 0 2043 0 0 0 18817 9359 0 0 17 0 1 0 19890019 19107840 1987 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4870/statm): 4665 1987 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1114.68
Current children cumulated vsize (Kb) 20788

[startup+1720.13 s]
Raw data (loadavg): 1.14 1.08 1.04 2/56 4870
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 457 9272 0 0 2 1 63698 19591 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4870/stat): 4870 (vallst) R 4861 4861 4060 0 -1 0 2044 0 0 0 19151 9577 0 0 16 0 1 0 19890019 19107840 1988 4294967295 134512640 134702520 3221223040 3221221808 134557203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4870/statm): 4665 1988 413 48 0 4617 0
[pid=4870] vsize: 18660
Current children cumulated CPU time (s) 1120.2
Current children cumulated vsize (Kb) 20788
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=4870) exited with status: 2
New process pid=4871
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=4871) exited with status: 0
New process pid=4872
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+1730.13 s]
Raw data (loadavg): 1.12 1.08 1.04 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 1833 0 0 0 438 150 0 0 16 0 1 0 19938762 10121216 1802 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 2471 1802 413 48 0 2423 0
[pid=4872] vsize: 9884
Current children cumulated CPU time (s) 1126.95
Current children cumulated vsize (Kb) 12012

[startup+1740.13 s]
Raw data (loadavg): 1.10 1.08 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 1927 0 0 0 816 351 0 0 20 0 1 0 19938762 18386944 1896 4294967295 134512640 134702520 3221223712 3221169388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4489 1896 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1132.74
Current children cumulated vsize (Kb) 20084

[startup+1750.13 s]
Raw data (loadavg): 1.08 1.08 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 1980 0 0 0 1390 488 0 0 22 0 1 0 19938762 18386944 1949 4294967295 134512640 134702520 3221223712 3221222736 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1949 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1139.85
Current children cumulated vsize (Kb) 20084

[startup+1760.13 s]
Raw data (loadavg): 1.07 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 1990 0 0 0 1882 656 0 0 16 0 1 0 19938762 18636800 1959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4550 1959 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1146.45
Current children cumulated vsize (Kb) 20328

[startup+1770.13 s]
Raw data (loadavg): 1.06 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 1991 0 0 0 2174 885 0 0 16 0 1 0 19938762 18636800 1960 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4550 1960 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1151.66
Current children cumulated vsize (Kb) 20328

[startup+1780.13 s]
Raw data (loadavg): 1.05 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2001 0 0 0 2710 1040 0 0 17 0 1 0 19938762 18386944 1967 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1967 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1158.57
Current children cumulated vsize (Kb) 20084

[startup+1790.13 s]
Raw data (loadavg): 1.04 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2006 0 0 0 3270 1182 0 0 16 0 1 0 19938762 18386944 1971 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1971 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1165.59
Current children cumulated vsize (Kb) 20084

[startup+1800.13 s]
Raw data (loadavg): 1.04 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2009 0 0 0 3583 1403 0 0 16 0 1 0 19938762 18636800 1974 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4550 1974 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1170.93
Current children cumulated vsize (Kb) 20328

[startup+1810.14 s]
Raw data (loadavg): 1.10 1.07 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 2014 0 0 0 4042 1584 0 0 16 0 1 0 19938762 18386944 1976 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4489 1976 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1177.33
Current children cumulated vsize (Kb) 20084

[startup+1820.14 s]
Raw data (loadavg): 1.09 1.07 1.03 2/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) R 4861 4861 4060 0 -1 0 2022 0 0 0 4607 1721 0 0 16 0 1 0 19938762 18386944 1983 4294967295 134512640 134702520 3221223712 3221222944 1074752273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4872/statm): 4489 1983 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1184.35
Current children cumulated vsize (Kb) 20084

[startup+1830.14 s]
Raw data (loadavg): 1.07 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2024 0 0 0 5006 1919 0 0 16 0 1 0 19938762 18636800 1985 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4550 1985 413 48 0 4502 0
[pid=4872] vsize: 18200
Current children cumulated CPU time (s) 1190.32
Current children cumulated vsize (Kb) 20328

[startup+1840.14 s]
Raw data (loadavg): 1.06 1.07 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2030 0 0 0 5392 2127 0 0 17 0 1 0 19938762 18386944 1988 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1988 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1196.26
Current children cumulated vsize (Kb) 20084

[startup+1850.14 s]
Raw data (loadavg): 1.05 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2033 0 0 0 5960 2268 0 0 17 0 1 0 19938762 18386944 1991 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1991 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1203.35
Current children cumulated vsize (Kb) 20084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1850.14 s]
Raw data (loadavg): 1.05 1.06 1.03 1/56 4872
Raw data (/proc/4861/stat): 4861 (vallstSAT2005PB) S 4860 4861 4060 0 -1 0 497 11461 0 0 2 1 82919 29185 18 0 1 0 19766609 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4861/statm): 532 249 485 147 0 385 0
[pid=4861] vsize: 2128
Raw data (/proc/4872/stat): 4872 (vallst) T 4861 4861 4060 0 -1 0 2033 0 0 0 5960 2268 0 0 17 0 1 0 19938762 18386944 1991 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4872/statm): 4489 1991 413 48 0 4441 0
[pid=4872] vsize: 17956
Current children cumulated CPU time (s) 1203.35
Current children cumulated vsize (Kb) 20084

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

Child status: 3
Real time (s): 1850.79
CPU time (s): 82.9134
CPU user time (s): 60.1609
CPU system time (s): 22.7525
CPU usage (%): 4.47989
Max. virtual memory (cumulated for all children) (Kb): 25908

Verifier Data

ERROR: no interpretation found !