Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb
MD5SUM64260230da97c9a2a0e651814175b8e8
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2355200
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 2939977599
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark117.668
Number of variables6641
Total number of constraints7355
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)6951
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint1
Maximum length of a constraint6641

Trace number 9458

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 13:45:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8183 boxname=wulflinc27 idbench=1151 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  64260230da97c9a2a0e651814175b8e8  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-nsrand_ipx.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-nsrand_ipx.opb 0
IDLAUNCH: 8183
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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.039
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:        939828 kB
Buffers:         10304 kB
Cached:          67284 kB
SwapCached:          0 kB
Active:          50316 kB
Inactive:        30132 kB
HighTotal:      131008 kB
HighFree:        59248 kB
LowTotal:       903652 kB
LowFree:        880580 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8748 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:08:40 (client local time) WITH STATUS 3 IN 736.647 SECONDS
stats: 8183 7 736.647 3

Solver Data

1:
seed: 0
Nr of vars set: 550  (#equs: 0)
Nr of vars set: 727  (#equs: 0)
#decisions: 2625096;  #end-nodes: 81240;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 491 (151)
#axs: 722, #non-axs: 12
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 733  (#equs: 0)
Time taken: 7 min, 49 sec

2:

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

seed: 0
Nr of vars set: 733  (#equs: 0)
Nr of vars set: 733  (#equs: 0)
Interupt request received.
#decisions: 3709612;  #end-nodes: 139379;
#proof improvement attempts: 0;  #restarts: 301
Current batch, end-nodes: 173 / 195 (195)
#axs: 722, #non-axs: 2525
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 49
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 4356  (#equs: 0)
Time taken: 12 min, 15 sec

Watcher Data

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

[startup+10.0033 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 932 0 0 0 939 23 0 0 25 0 1 0 20615041 6414336 902 4294967295 134512640 134702520 3221223952 3221223088 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 1566 902 413 48 0 1518 0
[pid=5690] vsize: 6264
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (Kb) 8392

[startup+20.0041 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 932 0 0 0 1883 42 0 0 25 0 1 0 20615041 6414336 902 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 1566 902 413 48 0 1518 0
[pid=5690] vsize: 6264
Current children cumulated CPU time (s) 19.27
Current children cumulated vsize (Kb) 8392

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 1105 0 0 0 2541 152 0 0 21 0 1 0 20615041 14110720 1075 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3445 1075 413 48 0 3397 0
[pid=5690] vsize: 13780
Current children cumulated CPU time (s) 26.95
Current children cumulated vsize (Kb) 15908

[startup+40.0047 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 1115 0 0 0 3178 274 0 0 18 0 1 0 20615041 14139392 1085 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3452 1085 413 48 0 3404 0
[pid=5690] vsize: 13808
Current children cumulated CPU time (s) 34.54
Current children cumulated vsize (Kb) 15936

[startup+50.0056 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 1671 0 0 0 4109 297 0 0 25 0 1 0 20615041 14139392 1641 4294967295 134512640 134702520 3221223952 3221223344 134604468 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3452 1641 413 48 0 3404 0
[pid=5690] vsize: 13808
Current children cumulated CPU time (s) 44.08
Current children cumulated vsize (Kb) 15936

[startup+60.0074 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 1741 0 0 0 4770 408 0 0 17 0 1 0 20615041 14139392 1711 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3452 1711 413 48 0 3404 0
[pid=5690] vsize: 13808
Current children cumulated CPU time (s) 51.8
Current children cumulated vsize (Kb) 15936

[startup+70.0082 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 1751 0 0 0 5459 505 0 0 25 0 1 0 20615041 14139392 1721 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3452 1721 413 48 0 3404 0
[pid=5690] vsize: 13808
Current children cumulated CPU time (s) 59.66
Current children cumulated vsize (Kb) 15936

[startup+80.009 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 1761 0 0 0 5944 667 0 0 18 0 1 0 20615041 14274560 1731 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3485 1731 413 48 0 3437 0
[pid=5690] vsize: 13940
Current children cumulated CPU time (s) 66.13
Current children cumulated vsize (Kb) 16068

[startup+90.0098 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 1768 0 0 0 6622 771 0 0 16 0 1 0 20615041 14274560 1738 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3485 1738 413 48 0 3437 0
[pid=5690] vsize: 13940
Current children cumulated CPU time (s) 73.95
Current children cumulated vsize (Kb) 16068

[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 1772 0 0 0 7426 834 0 0 25 0 1 0 20615041 14274560 1742 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3485 1742 413 48 0 3437 0
[pid=5690] vsize: 13940
Current children cumulated CPU time (s) 82.62
Current children cumulated vsize (Kb) 16068

[startup+110.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 1951 0 0 0 8415 838 0 0 25 0 1 0 20615041 14274560 1921 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3485 1921 413 48 0 3437 0
[pid=5690] vsize: 13940
Current children cumulated CPU time (s) 92.55
Current children cumulated vsize (Kb) 16068

[startup+120.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2207 0 0 0 9112 938 0 0 16 0 1 0 20615041 14409728 2177 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3518 2177 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 100.52
Current children cumulated vsize (Kb) 16200

[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2220 0 0 0 9635 1091 0 0 17 0 1 0 20615041 14409728 2190 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3518 2190 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 107.28
Current children cumulated vsize (Kb) 16200

[startup+140.014 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2240 0 0 0 10372 1174 0 0 25 0 1 0 20615041 14409728 2210 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3518 2210 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 115.48
Current children cumulated vsize (Kb) 16200

[startup+150.015 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2277 0 0 0 11292 1199 0 0 25 0 1 0 20615041 14409728 2247 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3518 2247 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 124.93
Current children cumulated vsize (Kb) 16200

[startup+160.016 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2277 0 0 0 12143 1249 0 0 16 0 1 0 20615041 14409728 2247 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3518 2247 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 133.94
Current children cumulated vsize (Kb) 16200

[startup+170.016 s]
Raw data (loadavg): 1.11 1.02 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2278 0 0 0 12745 1382 0 0 24 0 1 0 20615041 14409728 2248 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3518 2248 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 141.29
Current children cumulated vsize (Kb) 16200

[startup+180.017 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2281 0 0 0 13491 1463 0 0 25 0 1 0 20615041 14409728 2251 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3518 2251 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 149.56
Current children cumulated vsize (Kb) 16200

[startup+190.018 s]
Raw data (loadavg): 1.08 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2284 0 0 0 14178 1559 0 0 25 0 1 0 20615041 14409728 2254 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3518 2254 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 157.39
Current children cumulated vsize (Kb) 16200

[startup+200.019 s]
Raw data (loadavg): 1.07 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2310 0 0 0 14978 1631 0 0 25 0 1 0 20615041 14409728 2280 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3518 2280 413 48 0 3470 0
[pid=5690] vsize: 14072
Current children cumulated CPU time (s) 166.11
Current children cumulated vsize (Kb) 16200

[startup+210.02 s]
Raw data (loadavg): 1.06 1.01 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2650 0 0 0 15898 1658 0 0 23 0 1 0 20615041 14544896 2620 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3551 2620 413 48 0 3503 0
[pid=5690] vsize: 14204
Current children cumulated CPU time (s) 175.58
Current children cumulated vsize (Kb) 16332

[startup+220.02 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2939 0 0 0 16708 1719 0 0 18 0 1 0 20615041 14544896 2909 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3551 2909 413 48 0 3503 0
[pid=5690] vsize: 14204
Current children cumulated CPU time (s) 184.29
Current children cumulated vsize (Kb) 16332

[startup+230.021 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2939 0 0 0 17454 1799 0 0 25 0 1 0 20615041 14544896 2909 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3551 2909 413 48 0 3503 0
[pid=5690] vsize: 14204
Current children cumulated CPU time (s) 192.55
Current children cumulated vsize (Kb) 16332

[startup+240.022 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2949 0 0 0 18326 1843 0 0 23 0 1 0 20615041 14544896 2919 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3551 2919 413 48 0 3503 0
[pid=5690] vsize: 14204
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (Kb) 16332

[startup+250.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2953 0 0 0 19103 1913 0 0 25 0 1 0 20615041 14544896 2923 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3551 2923 413 48 0 3503 0
[pid=5690] vsize: 14204
Current children cumulated CPU time (s) 210.18
Current children cumulated vsize (Kb) 16332

[startup+260.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2957 0 0 0 19797 2016 0 0 22 0 1 0 20615041 14680064 2927 4294967295 134512640 134702520 3221223952 3221223072 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3584 2927 413 48 0 3536 0
[pid=5690] vsize: 14336
Current children cumulated CPU time (s) 218.15
Current children cumulated vsize (Kb) 16464

[startup+270.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2963 0 0 0 20638 2073 0 0 24 0 1 0 20615041 14680064 2933 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3584 2933 413 48 0 3536 0
[pid=5690] vsize: 14336
Current children cumulated CPU time (s) 227.13
Current children cumulated vsize (Kb) 16464

[startup+280.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2966 0 0 0 21362 2160 0 0 22 0 1 0 20615041 14680064 2936 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3584 2936 413 48 0 3536 0
[pid=5690] vsize: 14336
Current children cumulated CPU time (s) 235.24
Current children cumulated vsize (Kb) 16464

[startup+290.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2976 0 0 0 22067 2252 0 0 21 0 1 0 20615041 14680064 2946 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3584 2946 413 48 0 3536 0
[pid=5690] vsize: 14336
Current children cumulated CPU time (s) 243.21
Current children cumulated vsize (Kb) 16464

[startup+300.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2980 0 0 0 22911 2305 0 0 25 0 1 0 20615041 14680064 2950 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3584 2950 413 48 0 3536 0
[pid=5690] vsize: 14336
Current children cumulated CPU time (s) 252.18
Current children cumulated vsize (Kb) 16464

[startup+310.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2987 0 0 0 23867 2319 0 0 22 0 1 0 20615041 14680064 2957 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3584 2957 413 48 0 3536 0
[pid=5690] vsize: 14336
Current children cumulated CPU time (s) 261.88
Current children cumulated vsize (Kb) 16464

[startup+320.03 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2991 0 0 0 24667 2381 0 0 25 0 1 0 20615041 14680064 2961 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3584 2961 413 48 0 3536 0
[pid=5690] vsize: 14336
Current children cumulated CPU time (s) 270.5
Current children cumulated vsize (Kb) 16464

[startup+330.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 2996 0 0 0 25609 2400 0 0 25 0 1 0 20615041 14831616 2966 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3621 2966 413 48 0 3573 0
[pid=5690] vsize: 14484
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (Kb) 16612

[startup+340.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2996 0 0 0 26314 2499 0 0 18 0 1 0 20615041 14807040 2966 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3615 2966 413 48 0 3567 0
[pid=5690] vsize: 14460
Current children cumulated CPU time (s) 288.15
Current children cumulated vsize (Kb) 16588

[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2996 0 0 0 26938 2622 0 0 21 0 1 0 20615041 14807040 2966 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3615 2966 413 48 0 3567 0
[pid=5690] vsize: 14460
Current children cumulated CPU time (s) 295.62
Current children cumulated vsize (Kb) 16588

[startup+360.034 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 2997 0 0 0 27762 2681 0 0 18 0 1 0 20615041 14807040 2967 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3615 2967 413 48 0 3567 0
[pid=5690] vsize: 14460
Current children cumulated CPU time (s) 304.45
Current children cumulated vsize (Kb) 16588

[startup+370.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3002 0 0 0 28411 2789 0 0 21 0 1 0 20615041 14807040 2972 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3615 2972 413 48 0 3567 0
[pid=5690] vsize: 14460
Current children cumulated CPU time (s) 312.02
Current children cumulated vsize (Kb) 16588

[startup+380.035 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3004 0 0 0 29161 2864 0 0 23 0 1 0 20615041 14807040 2974 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3615 2974 413 48 0 3567 0
[pid=5690] vsize: 14460
Current children cumulated CPU time (s) 320.27
Current children cumulated vsize (Kb) 16588

[startup+390.035 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3011 0 0 0 29971 2927 0 0 25 0 1 0 20615041 14807040 2981 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3615 2981 413 48 0 3567 0
[pid=5690] vsize: 14460
Current children cumulated CPU time (s) 329
Current children cumulated vsize (Kb) 16588

[startup+400.036 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 3025 0 0 0 30668 3022 0 0 25 0 1 0 20615041 14811136 2995 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3616 2995 413 48 0 3568 0
[pid=5690] vsize: 14464
Current children cumulated CPU time (s) 336.92
Current children cumulated vsize (Kb) 16592

[startup+410.038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3026 0 0 0 31411 3107 0 0 25 0 1 0 20615041 14811136 2996 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3616 2996 413 48 0 3568 0
[pid=5690] vsize: 14464
Current children cumulated CPU time (s) 345.2
Current children cumulated vsize (Kb) 16592

[startup+420.04 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 3048 0 0 0 32395 3112 0 0 25 0 1 0 20615041 14811136 3018 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3616 3018 413 48 0 3568 0
[pid=5690] vsize: 14464
Current children cumulated CPU time (s) 355.09
Current children cumulated vsize (Kb) 16592

[startup+430.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3053 0 0 0 33365 3122 0 0 25 0 1 0 20615041 14811136 3023 4294967295 134512640 134702520 3221223952 3221223232 134552871 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3616 3023 413 48 0 3568 0
[pid=5690] vsize: 14464
Current children cumulated CPU time (s) 364.89
Current children cumulated vsize (Kb) 16592

[startup+440.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3061 0 0 0 34340 3130 0 0 25 0 1 0 20615041 14811136 3031 4294967295 134512640 134702520 3221223952 3221223072 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3616 3031 413 48 0 3568 0
[pid=5690] vsize: 14464
Current children cumulated CPU time (s) 374.72
Current children cumulated vsize (Kb) 16592

[startup+450.041 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 3077 0 0 0 35216 3169 0 0 25 0 1 0 20615041 14946304 3047 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3649 3047 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 383.87
Current children cumulated vsize (Kb) 16724

[startup+460.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3078 0 0 0 36048 3229 0 0 23 0 1 0 20615041 14946304 3048 4294967295 134512640 134702520 3221223952 3221223072 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3649 3048 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 392.79
Current children cumulated vsize (Kb) 16724

[startup+470.043 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 3153 0 0 0 36919 3272 0 0 19 0 1 0 20615041 14946304 3123 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3649 3123 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 401.93
Current children cumulated vsize (Kb) 16724

[startup+480.044 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3202 0 0 0 37763 3320 0 0 20 0 1 0 20615041 14946304 3172 4294967295 134512640 134702520 3221223952 3221223072 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3649 3172 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 410.85
Current children cumulated vsize (Kb) 16724

[startup+490.045 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3219 0 0 0 38736 3328 0 0 25 0 1 0 20615041 14946304 3189 4294967295 134512640 134702520 3221223952 3221223232 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3649 3189 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 420.66
Current children cumulated vsize (Kb) 16724

[startup+500.045 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3231 0 0 0 39694 3342 0 0 25 0 1 0 20615041 14946304 3201 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3649 3201 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 430.38
Current children cumulated vsize (Kb) 16724

[startup+510.047 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) R 5687 5687 4005 0 -1 0 3242 0 0 0 40643 3358 0 0 25 0 1 0 20615041 14946304 3212 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3649 3212 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 440.03
Current children cumulated vsize (Kb) 16724

[startup+520.048 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 3248 0 0 0 41494 3408 0 0 21 0 1 0 20615041 14946304 3218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5690/statm): 3649 3218 413 48 0 3601 0
[pid=5690] vsize: 14596
Current children cumulated CPU time (s) 449.04
Current children cumulated vsize (Kb) 16724

[startup+530.049 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 3250 0 0 0 42338 3457 0 0 25 0 1 0 20615041 15097856 3220 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3686 3220 413 48 0 3638 0
[pid=5690] vsize: 14744
Current children cumulated CPU time (s) 457.97
Current children cumulated vsize (Kb) 16872

[startup+540.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5690
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20615034 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 242 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5690/stat): 5690 (vallst) T 5687 5687 4005 0 -1 0 3255 0 0 0 43281 3477 0 0 25 0 1 0 20615041 15097856 3225 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5690/statm): 3686 3225 413 48 0 3638 0
[pid=5690] vsize: 14744
Current children cumulated CPU time (s) 467.6
Current children cumulated vsize (Kb) 16872
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=5690) exited with status: 2
New process pid=5691
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=5691) exited with status: 0
New process pid=5692
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+550.051 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 854 0 0 0 690 17 0 0 25 0 1 0 20669316 5492736 825 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 1341 825 413 48 0 1293 0
[pid=5692] vsize: 5364
Current children cumulated CPU time (s) 477.27
Current children cumulated vsize (Kb) 7492

[startup+560.051 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 855 0 0 0 1629 38 0 0 25 0 1 0 20669316 5492736 826 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 1341 826 413 48 0 1293 0
[pid=5692] vsize: 5364
Current children cumulated CPU time (s) 486.87
Current children cumulated vsize (Kb) 7492

[startup+570.052 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 945 0 0 0 1956 250 0 0 16 0 1 0 20669316 11550720 916 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2820 916 413 48 0 2772 0
[pid=5692] vsize: 11280
Current children cumulated CPU time (s) 492.26
Current children cumulated vsize (Kb) 13408

[startup+580.052 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1014 0 0 0 2314 456 0 0 17 0 1 0 20669316 11550720 985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5692/statm): 2820 985 413 48 0 2772 0
[pid=5692] vsize: 11280
Current children cumulated CPU time (s) 497.9
Current children cumulated vsize (Kb) 13408

[startup+590.053 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1200 0 0 0 2994 552 0 0 18 0 1 0 20669316 11685888 1171 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5692/statm): 2853 1171 413 48 0 2805 0
[pid=5692] vsize: 11412
Current children cumulated CPU time (s) 505.66
Current children cumulated vsize (Kb) 13540

[startup+600.054 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1214 0 0 0 3655 661 0 0 17 0 1 0 20669316 11685888 1185 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2853 1185 413 48 0 2805 0
[pid=5692] vsize: 11412
Current children cumulated CPU time (s) 513.36
Current children cumulated vsize (Kb) 13540

[startup+610.054 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1217 0 0 0 4213 805 0 0 25 0 1 0 20669316 11821056 1188 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 2886 1188 413 48 0 2838 0
[pid=5692] vsize: 11544
Current children cumulated CPU time (s) 520.38
Current children cumulated vsize (Kb) 13672

[startup+620.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1232 0 0 0 4972 888 0 0 20 0 1 0 20669316 11821056 1203 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2886 1203 413 48 0 2838 0
[pid=5692] vsize: 11544
Current children cumulated CPU time (s) 528.8
Current children cumulated vsize (Kb) 13672

[startup+630.055 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1241 0 0 0 5681 977 0 0 20 0 1 0 20669316 11821056 1212 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2886 1212 413 48 0 2838 0
[pid=5692] vsize: 11544
Current children cumulated CPU time (s) 536.78
Current children cumulated vsize (Kb) 13672

[startup+640.057 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1247 0 0 0 6323 1093 0 0 17 0 1 0 20669316 11964416 1218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2921 1218 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 544.36
Current children cumulated vsize (Kb) 13812

[startup+650.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1462 0 0 0 7222 1128 0 0 25 0 1 0 20669316 11964416 1433 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 2921 1433 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 553.7
Current children cumulated vsize (Kb) 13812

[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1715 0 0 0 8116 1163 0 0 23 0 1 0 20669316 11964416 1686 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2921 1686 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 562.99
Current children cumulated vsize (Kb) 13812

[startup+670.06 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1731 0 0 0 8867 1249 0 0 19 0 1 0 20669316 11964416 1702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5692/statm): 2921 1702 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 571.36
Current children cumulated vsize (Kb) 13812

[startup+680.06 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1732 0 0 0 9426 1388 0 0 17 0 1 0 20669316 11964416 1703 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2921 1703 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 578.34
Current children cumulated vsize (Kb) 13812

[startup+690.061 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1734 0 0 0 10111 1491 0 0 24 0 1 0 20669316 11964416 1705 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 2921 1705 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 586.22
Current children cumulated vsize (Kb) 13812

[startup+700.062 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1737 0 0 0 10947 1546 0 0 19 0 1 0 20669316 11964416 1708 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 2921 1708 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 595.13
Current children cumulated vsize (Kb) 13812

[startup+710.064 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1739 0 0 0 11679 1633 0 0 18 0 1 0 20669316 11964416 1710 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2921 1710 413 48 0 2873 0
[pid=5692] vsize: 11684
Current children cumulated CPU time (s) 603.32
Current children cumulated vsize (Kb) 13812

[startup+720.064 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1744 0 0 0 12408 1720 0 0 25 0 1 0 20669316 12115968 1715 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2958 1715 413 48 0 2910 0
[pid=5692] vsize: 11832
Current children cumulated CPU time (s) 611.48
Current children cumulated vsize (Kb) 13960

[startup+730.064 s]
Raw data (loadavg): 1.09 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1749 0 0 0 13346 1740 0 0 25 0 1 0 20669316 12115968 1720 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2958 1720 413 48 0 2910 0
[pid=5692] vsize: 11832
Current children cumulated CPU time (s) 621.06
Current children cumulated vsize (Kb) 13960

[startup+740.065 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1752 0 0 0 14148 1804 0 0 17 0 1 0 20669316 12115968 1723 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2958 1723 413 48 0 2910 0
[pid=5692] vsize: 11832
Current children cumulated CPU time (s) 629.72
Current children cumulated vsize (Kb) 13960

[startup+750.066 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1754 0 0 0 14790 1923 0 0 19 0 1 0 20669316 12115968 1725 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 2958 1725 413 48 0 2910 0
[pid=5692] vsize: 11832
Current children cumulated CPU time (s) 637.33
Current children cumulated vsize (Kb) 13960

[startup+760.067 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1814 0 0 0 15582 1991 0 0 20 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 645.93
Current children cumulated vsize (Kb) 14164

[startup+770.068 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1814 0 0 0 16352 2064 0 0 25 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 654.36
Current children cumulated vsize (Kb) 14164

[startup+780.068 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1814 0 0 0 16984 2177 0 0 16 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 661.81
Current children cumulated vsize (Kb) 14164

[startup+790.069 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1814 0 0 0 17786 2242 0 0 23 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 670.48
Current children cumulated vsize (Kb) 14164

[startup+800.07 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1814 0 0 0 18575 2311 0 0 22 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 679.06
Current children cumulated vsize (Kb) 14164

[startup+810.072 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1814 0 0 0 19472 2347 0 0 25 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 688.39
Current children cumulated vsize (Kb) 14164

[startup+820.073 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1814 0 0 0 20146 2455 0 0 24 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 696.21
Current children cumulated vsize (Kb) 14164

[startup+830.073 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1814 0 0 0 20840 2556 0 0 25 0 1 0 20669316 12324864 1785 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1785 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 704.16
Current children cumulated vsize (Kb) 14164

[startup+840.076 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1819 0 0 0 21699 2600 0 0 20 0 1 0 20669316 12324864 1790 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3009 1790 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 713.19
Current children cumulated vsize (Kb) 14164

[startup+850.077 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1845 0 0 0 22487 2668 0 0 21 0 1 0 20669316 12324864 1816 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1816 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 721.75
Current children cumulated vsize (Kb) 14164

[startup+860.078 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5692
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1849 0 0 0 23390 2698 0 0 21 0 1 0 20669316 12324864 1820 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1820 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 731.08
Current children cumulated vsize (Kb) 14164

[startup+870.079 s]
Raw data (loadavg): 1.10 1.04 1.01 2/60 5742
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1849 0 0 0 24195 2763 0 0 18 0 1 0 20669316 12324864 1820 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1820 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 739.78
Current children cumulated vsize (Kb) 14164

[startup+880.08 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5747
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 1860 0 0 0 25081 2801 0 0 24 0 1 0 20669316 12324864 1831 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1831 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 749.02
Current children cumulated vsize (Kb) 14164

[startup+890.08 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5747
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 1922 0 0 0 25987 2831 0 0 25 0 1 0 20669316 12324864 1893 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 1893 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 758.38
Current children cumulated vsize (Kb) 14164

[startup+900.081 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5747
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2273 0 0 0 26873 2870 0 0 24 0 1 0 20669316 12324864 2244 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3009 2244 413 48 0 2961 0
[pid=5692] vsize: 12036
Current children cumulated CPU time (s) 767.63
Current children cumulated vsize (Kb) 14164

[startup+910.082 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5747
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2539 0 0 0 27760 2906 0 0 25 0 1 0 20669316 13271040 2510 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3240 2510 413 48 0 3192 0
[pid=5692] vsize: 12960
Current children cumulated CPU time (s) 776.86
Current children cumulated vsize (Kb) 15088

[startup+920.083 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5747
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2543 0 0 0 28701 2926 0 0 25 0 1 0 20669316 13271040 2514 4294967295 134512640 134702520 3221223712 3221222608 134553409 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3240 2514 413 48 0 3192 0
[pid=5692] vsize: 12960
Current children cumulated CPU time (s) 786.47
Current children cumulated vsize (Kb) 15088

[startup+930.083 s]
Raw data (loadavg): 1.11 1.05 1.00 2/56 5749
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2543 0 0 0 29558 2974 0 0 25 0 1 0 20669316 13246464 2514 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2514 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 795.52
Current children cumulated vsize (Kb) 15064

[startup+940.083 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2546 0 0 0 30457 3009 0 0 21 0 1 0 20669316 13246464 2517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2517 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 804.86
Current children cumulated vsize (Kb) 15064

[startup+950.084 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2549 0 0 0 31320 3053 0 0 25 0 1 0 20669316 13246464 2520 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2520 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 813.93
Current children cumulated vsize (Kb) 15064

[startup+960.086 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2557 0 0 0 32173 3103 0 0 21 0 1 0 20669316 13246464 2528 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2528 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 822.96
Current children cumulated vsize (Kb) 15064

[startup+970.087 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2560 0 0 0 32925 3181 0 0 23 0 1 0 20669316 13246464 2531 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2531 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 831.26
Current children cumulated vsize (Kb) 15064

[startup+980.087 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2562 0 0 0 33808 3220 0 0 25 0 1 0 20669316 13246464 2533 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2533 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 840.48
Current children cumulated vsize (Kb) 15064

[startup+990.088 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2563 0 0 0 34569 3299 0 0 21 0 1 0 20669316 13246464 2534 4294967295 134512640 134702520 3221223712 3221222932 134550208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3234 2534 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 848.88
Current children cumulated vsize (Kb) 15064

[startup+1000.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2566 0 0 0 35448 3338 0 0 25 0 1 0 20669316 13246464 2537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2537 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 858.06
Current children cumulated vsize (Kb) 15064

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2781 0 0 0 36388 3362 0 0 25 0 1 0 20669316 13246464 2752 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3234 2752 413 48 0 3186 0
[pid=5692] vsize: 12936
Current children cumulated CPU time (s) 867.7
Current children cumulated vsize (Kb) 15064

[startup+1020.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2810 0 0 0 37205 3419 0 0 25 0 1 0 20669316 13381632 2781 4294967295 134512640 134702520 3221223712 3221223272 134564449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3267 2781 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 876.44
Current children cumulated vsize (Kb) 15196

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2813 0 0 0 38012 3477 0 0 18 0 1 0 20669316 13381632 2784 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3267 2784 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 885.09
Current children cumulated vsize (Kb) 15196

[startup+1040.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2819 0 0 0 38834 3539 0 0 25 0 1 0 20669316 13381632 2790 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3267 2790 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 893.93
Current children cumulated vsize (Kb) 15196

[startup+1050.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2827 0 0 0 39604 3615 0 0 22 0 1 0 20669316 13381632 2798 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3267 2798 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 902.39
Current children cumulated vsize (Kb) 15196

[startup+1060.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2829 0 0 0 40340 3700 0 0 23 0 1 0 20669316 13381632 2800 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3267 2800 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 910.6
Current children cumulated vsize (Kb) 15196

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2833 0 0 0 41185 3752 0 0 23 0 1 0 20669316 13381632 2804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3267 2804 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 919.57
Current children cumulated vsize (Kb) 15196

[startup+1080.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2835 0 0 0 42095 3779 0 0 25 0 1 0 20669316 13381632 2806 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3267 2806 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 928.94
Current children cumulated vsize (Kb) 15196

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2837 0 0 0 43085 3782 0 0 25 0 1 0 20669316 13381632 2808 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3267 2808 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 938.87
Current children cumulated vsize (Kb) 15196

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2839 0 0 0 44061 3789 0 0 25 0 1 0 20669316 13381632 2810 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3267 2810 413 48 0 3219 0
[pid=5692] vsize: 13068
Current children cumulated CPU time (s) 948.7
Current children cumulated vsize (Kb) 15196

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2848 0 0 0 44788 3874 0 0 25 0 1 0 20669316 13516800 2819 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3300 2819 413 48 0 3252 0
[pid=5692] vsize: 13200
Current children cumulated CPU time (s) 956.82
Current children cumulated vsize (Kb) 15328

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2848 0 0 0 45743 3890 0 0 25 0 1 0 20669316 13516800 2819 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3300 2819 413 48 0 3252 0
[pid=5692] vsize: 13200
Current children cumulated CPU time (s) 966.53
Current children cumulated vsize (Kb) 15328

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2851 0 0 0 46670 3915 0 0 25 0 1 0 20669316 13516800 2822 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3300 2822 413 48 0 3252 0
[pid=5692] vsize: 13200
Current children cumulated CPU time (s) 976.05
Current children cumulated vsize (Kb) 15328

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 2854 0 0 0 47476 3976 0 0 18 0 1 0 20669316 13516800 2825 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3300 2825 413 48 0 3252 0
[pid=5692] vsize: 13200
Current children cumulated CPU time (s) 984.72
Current children cumulated vsize (Kb) 15328

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 2953 0 0 0 48158 4079 0 0 19 0 1 0 20669316 13516800 2924 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3300 2924 413 48 0 3252 0
[pid=5692] vsize: 13200
Current children cumulated CPU time (s) 992.57
Current children cumulated vsize (Kb) 15328

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3083 0 0 0 48999 4130 0 0 24 0 1 0 20669316 14327808 3054 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3498 3054 413 48 0 3450 0
[pid=5692] vsize: 13992
Current children cumulated CPU time (s) 1001.49
Current children cumulated vsize (Kb) 16120

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3117 0 0 0 49943 4148 0 0 25 0 1 0 20669316 14467072 3088 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3532 3088 413 48 0 3484 0
[pid=5692] vsize: 14128
Current children cumulated CPU time (s) 1011.11
Current children cumulated vsize (Kb) 16256

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3129 0 0 0 50916 4158 0 0 25 0 1 0 20669316 14467072 3100 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3532 3100 413 48 0 3484 0
[pid=5692] vsize: 14128
Current children cumulated CPU time (s) 1020.94
Current children cumulated vsize (Kb) 16256

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3157 0 0 0 51735 4216 0 0 21 0 1 0 20669316 14467072 3128 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3532 3128 413 48 0 3484 0
[pid=5692] vsize: 14128
Current children cumulated CPU time (s) 1029.71
Current children cumulated vsize (Kb) 16256

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3171 0 0 0 52556 4278 0 0 23 0 1 0 20669316 14467072 3142 4294967295 134512640 134702520 3221223712 3221223104 134603515 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3532 3142 413 48 0 3484 0
[pid=5692] vsize: 14128
Current children cumulated CPU time (s) 1038.54
Current children cumulated vsize (Kb) 16256

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3173 0 0 0 53521 4290 0 0 25 0 1 0 20669316 14467072 3144 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3532 3144 413 48 0 3484 0
[pid=5692] vsize: 14128
Current children cumulated CPU time (s) 1048.31
Current children cumulated vsize (Kb) 16256

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5753
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3174 0 0 0 54504 4297 0 0 25 0 1 0 20669316 14467072 3145 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3532 3145 413 48 0 3484 0
[pid=5692] vsize: 14128
Current children cumulated CPU time (s) 1058.21
Current children cumulated vsize (Kb) 16256

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3180 0 0 0 55394 4332 0 0 21 0 1 0 20669316 14467072 3151 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3532 3151 413 48 0 3484 0
[pid=5692] vsize: 14128
Current children cumulated CPU time (s) 1067.46
Current children cumulated vsize (Kb) 16256

[startup+1240.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3186 0 0 0 56087 4432 0 0 25 0 1 0 20669316 14602240 3157 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3565 3157 413 48 0 3517 0
[pid=5692] vsize: 14260
Current children cumulated CPU time (s) 1075.39
Current children cumulated vsize (Kb) 16388

[startup+1250.11 s]
Raw data (loadavg): 1.14 1.04 1.01 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3187 0 0 0 57025 4453 0 0 25 0 1 0 20669316 14602240 3158 4294967295 134512640 134702520 3221223712 3221222832 134578611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3565 3158 413 48 0 3517 0
[pid=5692] vsize: 14260
Current children cumulated CPU time (s) 1084.98
Current children cumulated vsize (Kb) 16388

[startup+1260.11 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3190 0 0 0 57980 4468 0 0 25 0 1 0 20669316 14602240 3161 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3565 3161 413 48 0 3517 0
[pid=5692] vsize: 14260
Current children cumulated CPU time (s) 1094.68
Current children cumulated vsize (Kb) 16388

[startup+1270.11 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3192 0 0 0 58962 4476 0 0 25 0 1 0 20669316 14602240 3163 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3565 3163 413 48 0 3517 0
[pid=5692] vsize: 14260
Current children cumulated CPU time (s) 1104.58
Current children cumulated vsize (Kb) 16388

[startup+1280.11 s]
Raw data (loadavg): 1.08 1.03 1.01 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3202 0 0 0 59932 4487 0 0 25 0 1 0 20669316 14602240 3173 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3565 3173 413 48 0 3517 0
[pid=5692] vsize: 14260
Current children cumulated CPU time (s) 1114.39
Current children cumulated vsize (Kb) 16388

[startup+1290.11 s]
Raw data (loadavg): 1.07 1.03 1.01 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3206 0 0 0 60891 4501 0 0 25 0 1 0 20669316 14602240 3177 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3565 3177 413 48 0 3517 0
[pid=5692] vsize: 14260
Current children cumulated CPU time (s) 1124.12
Current children cumulated vsize (Kb) 16388

[startup+1300.11 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3213 0 0 0 61776 4536 0 0 25 0 1 0 20669316 14745600 3184 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3600 3184 413 48 0 3552 0
[pid=5692] vsize: 14400
Current children cumulated CPU time (s) 1133.32
Current children cumulated vsize (Kb) 16528

[startup+1310.11 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3218 0 0 0 62715 4556 0 0 25 0 1 0 20669316 14745600 3189 4294967295 134512640 134702520 3221223712 3221222608 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3600 3189 413 48 0 3552 0
[pid=5692] vsize: 14400
Current children cumulated CPU time (s) 1142.91
Current children cumulated vsize (Kb) 16528

[startup+1320.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3218 0 0 0 63572 4605 0 0 25 0 1 0 20669316 14721024 3189 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3594 3189 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1151.97
Current children cumulated vsize (Kb) 16504

[startup+1330.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3218 0 0 0 64515 4623 0 0 25 0 1 0 20669316 14721024 3189 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3594 3189 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1161.58
Current children cumulated vsize (Kb) 16504

[startup+1340.12 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3218 0 0 0 65461 4643 0 0 25 0 1 0 20669316 14721024 3189 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3594 3189 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1171.24
Current children cumulated vsize (Kb) 16504

[startup+1350.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3219 0 0 0 66393 4663 0 0 24 0 1 0 20669316 14721024 3190 4294967295 134512640 134702520 3221223712 3221222832 134578622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3594 3190 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1180.76
Current children cumulated vsize (Kb) 16504

[startup+1360.12 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3225 0 0 0 67140 4744 0 0 20 0 1 0 20669316 14721024 3196 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5692/statm): 3594 3196 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1189.04
Current children cumulated vsize (Kb) 16504

[startup+1370.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3229 0 0 0 67911 4820 0 0 18 0 1 0 20669316 14721024 3200 4294967295 134512640 134702520 3221223712 3221222832 134578750 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3594 3200 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1197.51
Current children cumulated vsize (Kb) 16504

[startup+1380.12 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) R 5687 5687 4005 0 -1 0 3230 0 0 0 68714 4884 0 0 19 0 1 0 20669316 14721024 3201 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3594 3201 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1206.18
Current children cumulated vsize (Kb) 16504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1380.12 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 5755
Raw data (/proc/5687/stat): 5687 (vallstSAT2005PB) S 5686 5687 4005 0 -1 0 378 3630 0 0 1 2 43531 3486 19 0 1 0 20615034 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5687/statm): 532 248 485 147 0 385 0
[pid=5687] vsize: 2128
Raw data (/proc/5692/stat): 5692 (vallst) T 5687 5687 4005 0 -1 0 3230 0 0 0 68714 4884 0 0 19 0 1 0 20669316 14721024 3201 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5692/statm): 3594 3201 413 48 0 3546 0
[pid=5692] vsize: 14376
Current children cumulated CPU time (s) 1206.18
Current children cumulated vsize (Kb) 16504

Sending SIGTERM to -5687
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5757
New process pid=5758
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/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5648/stat
open syscall for file /proc/5648/status
open syscall for file /proc/5648/cmdline
open syscall for file /proc/5648/environ
open syscall for file /proc/5686/stat
open syscall for file /proc/5686/status
open syscall for file /proc/5686/cmdline
open syscall for file /proc/5686/environ
open syscall for file /proc/5687/stat
open syscall for file /proc/5687/status
open syscall for file /proc/5687/cmdline
open syscall for file /proc/5687/environ
open syscall for file /proc/5692/stat
open syscall for file /proc/5692/status
open syscall for file /proc/5692/cmdline
open syscall for file /proc/5692/environ
open syscall for file /proc/5757/stat
open syscall for file /proc/5757/status
open syscall for file /proc/5757/cmdline
open syscall for file /proc/5757/environ
open syscall for file /proc/5758/stat
open syscall for file /proc/5758/status
open syscall for file /proc/5758/cmdline
open syscall for file /proc/5758/environ
One traced child (pid=5757) exited with status: 0
One traced child (pid=5758) exited with status: 0
New process pid=5759
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=5759) exited with status: 0
New process pid=5760
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=5760) exited with status: 0
One traced child (pid=5687) 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=5692) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1380.82
CPU time (s): 736.647
CPU user time (s): 687.742
CPU system time (s): 48.9046
CPU usage (%): 53.3485
Max. virtual memory (cumulated for all children) (Kb): 16872

Verifier Data

ERROR: no interpretation found !