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

Nameweb/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUMccbca61851d5d361647c00bb58b30d92
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15

Trace number 3569

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-19 01:47:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7357 boxname=wulflinc24 idbench=325 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc24/normalized-ooo.ex.mem.LdValue.ucl.opb 0
IDLAUNCH: 7357
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        889916 kB
Buffers:         30532 kB
Cached:          85964 kB
SwapCached:        736 kB
Active:          63016 kB
Inactive:        56088 kB
HighTotal:      131008 kB
HighFree:        41272 kB
LowTotal:       903652 kB
LowFree:        848644 kB
SwapTotal:     2097892 kB
SwapFree:      2096652 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            19740 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 02:07:26 (client local time) WITH STATUS 0 IN 87.9096 SECONDS
stats: 7357 7 87.9096 0

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 3363  (#equs: 6)
#decisions: 250906;  #end-nodes: 12863;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 117 (103)
#axs: 218790, #non-axs: 5468
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)
seed: 0
Nr of vars set: 4978  (#equs: 12)
Time taken: 8 min, 50 sec

2:
seed: 0
Nr of vars set: 4978  (#equs: 0)
Nr of vars set: 4978  (#equs: 0)
#decisions: 224993;  #end-nodes: 18040;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 167 (143)
#axs: 203824, #non-axs: 11678
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)
seed: 0
Nr of vars set: 5050  (#equs: 0)
Time taken: 9 min, 42 sec

3:

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/31401/stat): 31401 (vallstSAT2005PB) R 31400 31401 20728 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846049118 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31401/statm): 174 3 169 147 0 27 0
[pid=31401] 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=31402
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=31402) exited with status: 0
New process pid=31403
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=31403) exited with status: 0
New process pid=31404
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/wulflinc24/normalized-ooo.ex.mem.LdValue.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 1.02 1.11 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 6921 0 0 0 939 36 0 0 25 0 1 0 1846049127 32661504 6361 4294967295 134512640 134702520 3221223952 3221145548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 7974 6361 413 48 0 7926 0
[pid=31404] vsize: 31896
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (Kb) 34024

[startup+20.0053 s]
Raw data (loadavg): 1.02 1.11 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 6921 0 0 0 1939 36 0 0 25 0 1 0 1846049127 32661504 6361 4294967295 134512640 134702520 3221223952 3220609708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 7974 6361 413 48 0 7926 0
[pid=31404] vsize: 31896
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 34024

[startup+30.006 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 6976 0 0 0 2939 37 0 0 25 0 1 0 1846049127 32886784 6416 4294967295 134512640 134702520 3221223952 3219842828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8029 6416 413 48 0 7981 0
[pid=31404] vsize: 32116
Current children cumulated CPU time (s) 29.78
Current children cumulated vsize (Kb) 34244

[startup+40.0077 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7627 0 0 0 3937 38 0 0 25 0 1 0 1846049127 35553280 7067 4294967295 134512640 134702520 3221223952 3221175788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8680 7067 413 48 0 8632 0
[pid=31404] vsize: 34720
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 36848

[startup+50.0094 s]
Raw data (loadavg): 1.01 1.09 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7627 0 0 0 4937 38 0 0 25 0 1 0 1846049127 35553280 7067 4294967295 134512640 134702520 3221223952 3220526988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8680 7067 413 48 0 8632 0
[pid=31404] vsize: 34720
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (Kb) 36848

[startup+60.0101 s]
Raw data (loadavg): 1.01 1.09 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7627 0 0 0 5937 39 0 0 25 0 1 0 1846049127 35553280 7067 4294967295 134512640 134702520 3221223952 3219254348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8680 7067 413 48 0 8632 0
[pid=31404] vsize: 34720
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 36848

[startup+70.0109 s]
Raw data (loadavg): 1.01 1.09 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7790 0 0 0 6861 64 0 0 25 0 1 0 1846049127 75530240 7215 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18440 7215 413 48 0 18392 0
[pid=31404] vsize: 73760
Current children cumulated CPU time (s) 69.27
Current children cumulated vsize (Kb) 75888

[startup+80.0125 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 7818 0 0 0 7730 106 0 0 25 0 1 0 1846049127 75665408 7243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7243 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 78.38
Current children cumulated vsize (Kb) 76020

[startup+90.0142 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 8704 115 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3219880028 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 88.21
Current children cumulated vsize (Kb) 76020

[startup+100.015 s]
Raw data (loadavg): 1.00 1.08 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 9703 115 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3221149148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (Kb) 76020

[startup+110.016 s]
Raw data (loadavg): 1.00 1.08 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 10703 116 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3220626908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 108.21
Current children cumulated vsize (Kb) 76020

[startup+120.017 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 11703 116 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3219921468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 118.21
Current children cumulated vsize (Kb) 76020

[startup+130.018 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 12703 116 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3218056348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 128.21
Current children cumulated vsize (Kb) 76020

[startup+140.02 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7845 0 0 0 13638 137 0 0 25 0 1 0 1846049127 75665408 7254 4294967295 134512640 134702520 3221223952 3221223072 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7254 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 137.77
Current children cumulated vsize (Kb) 76020

[startup+150.021 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7871 0 0 0 14553 165 0 0 21 0 1 0 1846049127 75665408 7280 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7280 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 147.2
Current children cumulated vsize (Kb) 76020

[startup+160.022 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7875 0 0 0 15524 174 0 0 25 0 1 0 1846049127 75665408 7284 4294967295 134512640 134702520 3221223952 3221098748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7284 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 157
Current children cumulated vsize (Kb) 76020

[startup+170.023 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7875 0 0 0 16524 174 0 0 25 0 1 0 1846049127 75665408 7284 4294967295 134512640 134702520 3221223952 3220740028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7284 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 167
Current children cumulated vsize (Kb) 76020

[startup+180.024 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7875 0 0 0 17524 175 0 0 25 0 1 0 1846049127 75665408 7284 4294967295 134512640 134702520 3221223952 3219612188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7284 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 177.01
Current children cumulated vsize (Kb) 76020

[startup+190.024 s]
Raw data (loadavg): 1.00 1.05 1.07 1/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 7892 0 0 0 18492 184 0 0 25 0 1 0 1846049127 75665408 7286 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7286 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 186.78
Current children cumulated vsize (Kb) 76020

[startup+200.025 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7910 0 0 0 19410 211 0 0 25 0 1 0 1846049127 75665408 7304 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7304 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 196.23
Current children cumulated vsize (Kb) 76020

[startup+210.026 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 20365 228 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3221100668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 205.95
Current children cumulated vsize (Kb) 76020

[startup+220.027 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 21365 229 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3220815868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 215.96
Current children cumulated vsize (Kb) 76020

[startup+230.028 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 22365 229 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3220492348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 225.96
Current children cumulated vsize (Kb) 76020

[startup+240.03 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 23364 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3220053468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 235.96
Current children cumulated vsize (Kb) 76020

[startup+250.03 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 24365 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3219540508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 245.97
Current children cumulated vsize (Kb) 76020

[startup+260.031 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 25365 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3218930748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 255.97
Current children cumulated vsize (Kb) 76020

[startup+270.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 26364 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3218130908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 265.96
Current children cumulated vsize (Kb) 76020

[startup+280.033 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8247 0 0 0 27364 231 0 0 25 0 1 0 1846049127 76996608 7641 4294967295 134512640 134702520 3221223952 3221215068 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18798 7641 413 48 0 18750 0
[pid=31404] vsize: 75192
Current children cumulated CPU time (s) 275.97
Current children cumulated vsize (Kb) 77320

[startup+290.034 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8269 0 0 0 28346 237 0 0 25 0 1 0 1846049127 76996608 7648 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18798 7648 413 48 0 18750 0
[pid=31404] vsize: 75192
Current children cumulated CPU time (s) 285.85
Current children cumulated vsize (Kb) 77320

[startup+300.035 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8281 0 0 0 29270 263 0 0 25 0 1 0 1846049127 77131776 7660 4294967295 134512640 134702520 3221223952 3221223232 134552757 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7660 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 295.35
Current children cumulated vsize (Kb) 77452

[startup+310.036 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 30203 284 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3221129468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 304.89
Current children cumulated vsize (Kb) 77452

[startup+320.037 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 31203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3220265788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 314.9
Current children cumulated vsize (Kb) 77452

[startup+330.038 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 32203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3221207728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 324.9
Current children cumulated vsize (Kb) 77452

[startup+340.039 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 33203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3221122588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 334.9
Current children cumulated vsize (Kb) 77452

[startup+350.039 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 34203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3220832208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 344.9
Current children cumulated vsize (Kb) 77452

[startup+360.04 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8327 0 0 0 35118 316 0 0 25 0 1 0 1846049127 77131776 7691 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18831 7691 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 354.36
Current children cumulated vsize (Kb) 77452

[startup+370.042 s]
Raw data (loadavg): 1.00 1.02 1.05 1/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 8349 0 0 0 36035 344 0 0 25 0 1 0 1846049127 77131776 7713 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7713 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 363.81
Current children cumulated vsize (Kb) 77452

[startup+380.043 s]
Raw data (loadavg): 1.07 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 37008 353 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3220511068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 373.63
Current children cumulated vsize (Kb) 77452

[startup+390.044 s]
Raw data (loadavg): 1.06 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 38008 353 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3221199228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 383.63
Current children cumulated vsize (Kb) 77452

[startup+400.045 s]
Raw data (loadavg): 1.05 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 39008 354 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3221111228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 393.64
Current children cumulated vsize (Kb) 77452

[startup+410.046 s]
Raw data (loadavg): 1.04 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 40008 354 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3221017168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 403.64
Current children cumulated vsize (Kb) 77452

[startup+420.046 s]
Raw data (loadavg): 1.04 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 41009 354 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3220592048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 413.65
Current children cumulated vsize (Kb) 77452

[startup+430.047 s]
Raw data (loadavg): 1.10 1.05 1.05 1/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 8391 0 0 0 41923 384 0 0 25 0 1 0 1846049127 77131776 7740 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18831 7740 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 423.09
Current children cumulated vsize (Kb) 77452

[startup+440.049 s]
Raw data (loadavg): 1.09 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 42861 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3221190268 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 432.66
Current children cumulated vsize (Kb) 77452

[startup+450.049 s]
Raw data (loadavg): 1.07 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 43862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220823388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 442.67
Current children cumulated vsize (Kb) 77452

[startup+460.05 s]
Raw data (loadavg): 1.06 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 44862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220418108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 452.67
Current children cumulated vsize (Kb) 77452

[startup+470.051 s]
Raw data (loadavg): 1.05 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 45862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3219960668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 462.67
Current children cumulated vsize (Kb) 77452

[startup+480.051 s]
Raw data (loadavg): 1.04 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 46862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3219419552 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 472.67
Current children cumulated vsize (Kb) 77452

[startup+490.052 s]
Raw data (loadavg): 1.04 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 47862 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3218774108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 482.68
Current children cumulated vsize (Kb) 77452

[startup+500.053 s]
Raw data (loadavg): 1.03 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 48863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3217840668 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 492.69
Current children cumulated vsize (Kb) 77452

[startup+510.054 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 49863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220974268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 502.69
Current children cumulated vsize (Kb) 77452

[startup+520.054 s]
Raw data (loadavg): 1.02 1.03 1.04 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 50863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220154428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 512.69
Current children cumulated vsize (Kb) 77452

[startup+530.055 s]
Raw data (loadavg): 1.02 1.03 1.04 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 51863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3221150108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 522.69
Current children cumulated vsize (Kb) 77452
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+540.057 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8428 0 0 0 52842 419 0 0 25 0 1 0 1846049127 77135872 7762 4294967295 134512640 134702520 3221223952 3221222040 1074339326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18832 7762 413 48 0 18784 0
[pid=31404] vsize: 75328
Current children cumulated CPU time (s) 532.63
Current children cumulated vsize (Kb) 77456
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=31404) exited with status: 2
New process pid=31405
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=31405) exited with status: 0
New process pid=31406
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.057 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 5726 0 0 0 903 29 0 0 25 0 1 0 1846103185 30720000 5697 4294967295 134512640 134702520 3221223712 3220987228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 7500 5697 413 48 0 7452 0
[pid=31406] vsize: 30000
Current children cumulated CPU time (s) 542.46
Current children cumulated vsize (Kb) 32128

[startup+560.058 s]
Raw data (loadavg): 1.01 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 5726 0 0 0 1903 29 0 0 25 0 1 0 1846103185 30720000 5697 4294967295 134512640 134702520 3221223712 3220531068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 7500 5697 413 48 0 7452 0
[pid=31406] vsize: 30000
Current children cumulated CPU time (s) 552.46
Current children cumulated vsize (Kb) 32128

[startup+570.06 s]
Raw data (loadavg): 1.01 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6131 0 0 0 2901 31 0 0 25 0 1 0 1846103185 32378880 6102 4294967295 134512640 134702520 3221223712 3221127888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 7905 6102 413 48 0 7857 0
[pid=31406] vsize: 31620
Current children cumulated CPU time (s) 562.46
Current children cumulated vsize (Kb) 33748

[startup+580.061 s]
Raw data (loadavg): 1.01 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6470 0 0 0 3873 40 0 0 25 0 1 0 1846103185 72085504 6439 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17599 6439 413 48 0 17551 0
[pid=31406] vsize: 70396
Current children cumulated CPU time (s) 572.27
Current children cumulated vsize (Kb) 72524

[startup+590.062 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6519 0 0 0 4812 62 0 0 25 0 1 0 1846103185 72085504 6488 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 17599 6488 413 48 0 17551 0
[pid=31406] vsize: 70396
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (Kb) 72524

[startup+600.064 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 6552 0 0 0 5750 84 0 0 25 0 1 0 1846103185 72220672 6521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6521 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 591.48
Current children cumulated vsize (Kb) 72656

[startup+610.065 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 6740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3220932428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 601.41
Current children cumulated vsize (Kb) 72656

[startup+620.065 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 7740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3220520908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 611.41
Current children cumulated vsize (Kb) 72656

[startup+630.066 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 8740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3220050832 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 621.41
Current children cumulated vsize (Kb) 72656

[startup+640.067 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 9740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3219488108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 631.41
Current children cumulated vsize (Kb) 72656

[startup+650.067 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 10741 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3218715488 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 641.42
Current children cumulated vsize (Kb) 72656

[startup+660.068 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6781 0 0 0 11741 87 0 0 25 0 1 0 1846103185 73146368 6750 4294967295 134512640 134702520 3221223712 3217375008 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17858 6750 413 48 0 17810 0
[pid=31406] vsize: 71432
Current children cumulated CPU time (s) 651.42
Current children cumulated vsize (Kb) 73560

[startup+670.07 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7053 0 0 0 12740 88 0 0 25 0 1 0 1846103185 74260480 7022 4294967295 134512640 134702520 3221223712 3220573548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7022 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 661.42
Current children cumulated vsize (Kb) 74648

[startup+680.071 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7053 0 0 0 13741 88 0 0 25 0 1 0 1846103185 74260480 7022 4294967295 134512640 134702520 3221223712 3221168928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7022 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 671.43
Current children cumulated vsize (Kb) 74648

[startup+690.071 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7055 0 0 0 14735 91 0 0 25 0 1 0 1846103185 74260480 7022 4294967295 134512640 134702520 3221223712 3221222832 134573365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7022 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 681.4
Current children cumulated vsize (Kb) 74648

[startup+700.072 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7079 0 0 0 15657 119 0 0 25 0 1 0 1846103185 74260480 7046 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7046 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 690.9
Current children cumulated vsize (Kb) 74648

[startup+710.073 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7098 0 0 0 16597 139 0 0 25 0 1 0 1846103185 74260480 7065 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7065 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 700.5
Current children cumulated vsize (Kb) 74648

[startup+720.074 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 17566 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3221059468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 710.3
Current children cumulated vsize (Kb) 74780

[startup+730.075 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 18566 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3220663948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 720.3
Current children cumulated vsize (Kb) 74780

[startup+740.077 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 19567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3220215148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 730.31
Current children cumulated vsize (Kb) 74780

[startup+750.077 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 20567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3219689728 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 740.31
Current children cumulated vsize (Kb) 74780

[startup+760.078 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 21567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3219013228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 750.31
Current children cumulated vsize (Kb) 74780

[startup+770.08 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 22567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3217964608 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 760.31
Current children cumulated vsize (Kb) 74780

[startup+780.081 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 23567 151 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3221148928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 770.32
Current children cumulated vsize (Kb) 74780

[startup+790.081 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7111 0 0 0 24561 153 0 0 25 0 1 0 1846103185 74395648 7076 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7076 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 780.28
Current children cumulated vsize (Kb) 74780

[startup+800.082 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7125 0 0 0 25508 171 0 0 25 0 1 0 1846103185 74395648 7090 4294967295 134512640 134702520 3221223712 3221222992 134550611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7090 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 789.93
Current children cumulated vsize (Kb) 74780

[startup+810.083 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7144 0 0 0 26454 190 0 0 25 0 1 0 1846103185 74395648 7109 4294967295 134512640 134702520 3221223712 3221222992 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7109 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 799.58
Current children cumulated vsize (Kb) 74780

[startup+820.084 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7147 0 0 0 27441 195 0 0 25 0 1 0 1846103185 74395648 7112 4294967295 134512640 134702520 3221223712 3220575628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7112 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 809.5
Current children cumulated vsize (Kb) 74780

[startup+830.085 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7147 0 0 0 28441 195 0 0 25 0 1 0 1846103185 74395648 7112 4294967295 134512640 134702520 3221223712 3221221408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7112 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 819.5
Current children cumulated vsize (Kb) 74780

[startup+840.087 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7147 0 0 0 29441 196 0 0 25 0 1 0 1846103185 74395648 7112 4294967295 134512640 134702520 3221223712 3221040128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7112 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 829.51
Current children cumulated vsize (Kb) 74780

[startup+850.087 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7159 0 0 0 30428 201 0 0 25 0 1 0 1846103185 74395648 7122 4294967295 134512640 134702520 3221223712 3221222832 134572119 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7122 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 839.43
Current children cumulated vsize (Kb) 74780

[startup+860.088 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7195 0 0 0 31365 223 0 0 25 0 1 0 1846103185 74395648 7158 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7158 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 849.02
Current children cumulated vsize (Kb) 74780

[startup+870.09 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7221 0 0 0 32304 247 0 0 25 0 1 0 1846103185 74395648 7184 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7184 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 858.65
Current children cumulated vsize (Kb) 74780

[startup+880.091 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7228 0 0 0 33287 253 0 0 25 0 1 0 1846103185 74530816 7191 4294967295 134512640 134702520 3221223712 3220809876 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7191 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 868.54
Current children cumulated vsize (Kb) 74912

[startup+890.093 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7228 0 0 0 34287 253 0 0 25 0 1 0 1846103185 74530816 7191 4294967295 134512640 134702520 3221223712 3221212608 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7191 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 878.54
Current children cumulated vsize (Kb) 74912

[startup+900.094 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7228 0 0 0 35287 253 0 0 25 0 1 0 1846103185 74530816 7191 4294967295 134512640 134702520 3221223712 3220753888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7191 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 888.54
Current children cumulated vsize (Kb) 74912

[startup+910.095 s]
Raw data (loadavg): 1.00 1.00 1.01 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7277 0 0 0 36234 272 0 0 25 0 1 0 1846103185 74530816 7238 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7238 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 898.2
Current children cumulated vsize (Kb) 74912

[startup+920.095 s]
Raw data (loadavg): 1.00 1.00 1.01 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7307 0 0 0 37180 290 0 0 25 0 1 0 1846103185 74530816 7268 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18196 7268 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 907.84
Current children cumulated vsize (Kb) 74912

[startup+930.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 38139 302 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3221093068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 75044

[startup+940.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 39140 302 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220703628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 927.56
Current children cumulated vsize (Kb) 75044

[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 40140 302 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220259948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 937.56
Current children cumulated vsize (Kb) 75044

[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 41140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3219742828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 947.57
Current children cumulated vsize (Kb) 75044

[startup+970.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 42140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3219085068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 957.57
Current children cumulated vsize (Kb) 75044

[startup+980.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 43140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3218072288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 967.57
Current children cumulated vsize (Kb) 75044

[startup+990.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 44141 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220174508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 977.58
Current children cumulated vsize (Kb) 75044

[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 45140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220802528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 987.57
Current children cumulated vsize (Kb) 75044

[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7346 0 0 0 46086 321 0 0 25 0 1 0 1846103185 74665984 7305 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7305 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 997.21
Current children cumulated vsize (Kb) 75044

[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7370 0 0 0 47011 345 0 0 25 0 1 0 1846103185 74665984 7329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7329 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1006.7
Current children cumulated vsize (Kb) 75044

[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7395 0 0 0 47951 367 0 0 21 0 1 0 1846103185 74665984 7354 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7354 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1016.32
Current children cumulated vsize (Kb) 75044

[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 48899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3221154348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1025.98
Current children cumulated vsize (Kb) 75044

[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 49899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3220770676 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1035.98
Current children cumulated vsize (Kb) 75044

[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 50899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3220335628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1045.98
Current children cumulated vsize (Kb) 75044

[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 51899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3219832108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1055.98
Current children cumulated vsize (Kb) 75044

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 52899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3219203328 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1065.98
Current children cumulated vsize (Kb) 75044

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 53899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3218255788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1075.98
Current children cumulated vsize (Kb) 75044

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 54899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3221055148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1085.98
Current children cumulated vsize (Kb) 75044

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 55900 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3220303468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1095.99
Current children cumulated vsize (Kb) 75044

[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 56900 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3221165228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1105.99
Current children cumulated vsize (Kb) 75044
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7434 0 0 0 57891 392 0 0 25 0 1 0 1846103185 74670080 7391 4294967295 134512640 134702520 3221223712 3221221616 1074898718 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18230 7391 413 48 0 18182 0
[pid=31406] vsize: 72920
Current children cumulated CPU time (s) 1115.97
Current children cumulated vsize (Kb) 75048
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=31406) exited with status: 2
New process pid=31407
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=31407) exited with status: 0
New process pid=31408
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+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 5808 0 0 0 789 30 0 0 25 0 1 0 1846162312 30363648 5780 4294967295 134512640 134702520 3221223712 3220744192 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 7413 5780 413 48 0 7365 0
[pid=31408] vsize: 29652
Current children cumulated CPU time (s) 1125.76
Current children cumulated vsize (Kb) 31780

[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 5812 0 0 0 1788 30 0 0 25 0 1 0 1846162312 30380032 5784 4294967295 134512640 134702520 3221223712 3220519548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 7417 5784 413 48 0 7369 0
[pid=31408] vsize: 29668
Current children cumulated CPU time (s) 1135.75
Current children cumulated vsize (Kb) 31796

[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6194 0 0 0 2788 31 0 0 25 0 1 0 1846162312 31944704 6166 4294967295 134512640 134702520 3221223712 3221084348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 7799 6166 413 48 0 7751 0
[pid=31408] vsize: 31196
Current children cumulated CPU time (s) 1145.76
Current children cumulated vsize (Kb) 33324

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6554 0 0 0 3758 42 0 0 25 0 1 0 1846162312 70975488 6524 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31408/statm): 17328 6524 413 48 0 17280 0
[pid=31408] vsize: 69312
Current children cumulated CPU time (s) 1155.57
Current children cumulated vsize (Kb) 71440

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) T 31401 31401 20728 0 -1 0 6625 0 0 0 4656 76 0 0 25 0 1 0 1846162312 71110656 6595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31408/statm): 17361 6595 413 48 0 17313 0
[pid=31408] vsize: 69444
Current children cumulated CPU time (s) 1164.89
Current children cumulated vsize (Kb) 71572

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) T 31401 31401 20728 0 -1 0 6647 0 0 0 5559 109 0 0 25 0 1 0 1846162312 71110656 6617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17361 6617 413 48 0 17313 0
[pid=31408] vsize: 69444
Current children cumulated CPU time (s) 1174.25
Current children cumulated vsize (Kb) 71572

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) T 31401 31401 20728 0 -1 0 6669 0 0 0 6468 140 0 0 20 0 1 0 1846162312 71245824 6639 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6639 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1183.65
Current children cumulated vsize (Kb) 71704

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6678 0 0 0 7439 149 0 0 25 0 1 0 1846162312 71245824 6648 4294967295 134512640 134702520 3221223712 3221021408 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6648 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1193.45
Current children cumulated vsize (Kb) 71704

[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6678 0 0 0 8439 150 0 0 25 0 1 0 1846162312 71245824 6648 4294967295 134512640 134702520 3221223712 3220721068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6648 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 71704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6678 0 0 0 8439 150 0 0 25 0 1 0 1846162312 71245824 6648 4294967295 134512640 134702520 3221223712 3220721068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6648 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 71704

Sending SIGTERM to -31401
Sleeping 2 seconds
New process pid=31410
New process pid=31411
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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21148/stat
open syscall for file /proc/21148/status
open syscall for file /proc/21148/cmdline
open syscall for file /proc/21148/environ
open syscall for file /proc/557/stat
open syscall for file /proc/557/status
open syscall for file /proc/557/cmdline
open syscall for file /proc/557/environ
open syscall for file /proc/584/stat
open syscall for file /proc/584/status
open syscall for file /proc/584/cmdline
open syscall for file /proc/584/environ
open syscall for file /proc/608/stat
open syscall for file /proc/608/status
open syscall for file /proc/608/cmdline
open syscall for file /proc/608/environ
open syscall for file /proc/3751/stat
open syscall for file /proc/3751/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/3751/cmdline
open syscall for file /proc/3751/environ
open syscall for file /proc/3786/stat
open syscall for file /proc/3786/status
open syscall for file /proc/3786/cmdline
open syscall for file /proc/3786/environ
open syscall for file /proc/20728/stat
open syscall for file /proc/20728/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20728/cmdline
open syscall for file /proc/20728/environ
open syscall for file /proc/20729/stat
open syscall for file /proc/20729/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20729/cmdline
open syscall for file /proc/20729/environ
open syscall for file /proc/20738/stat
open syscall for file /proc/20738/status
open syscall for file /proc/20738/cmdline
open syscall for file /proc/20738/environ
open syscall for file /proc/31364/stat
open syscall for file /proc/31364/status
open syscall for file /proc/31364/cmdline
open syscall for file /proc/31364/environ
open syscall for file /proc/31400/stat
open syscall for file /proc/31400/status
open syscall for file /proc/31400/cmdline
open syscall for file /proc/31400/environ
open syscall for file /proc/31401/stat
open syscall for file /proc/31401/status
open syscall for file /proc/31401/cmdline
open syscall for file /proc/31401/environ
open syscall for file /proc/31408/stat
open syscall for file /proc/31408/status
open syscall for file /proc/31408/cmdline
open syscall for file /proc/31408/environ
open syscall for file /proc/31410/stat
open syscall for file /proc/31410/status
open syscall for file /proc/31410/cmdline
open syscall for file /proc/31410/environ
open syscall for file /proc/31411/stat
open syscall for file /proc/31411/status
open syscall for file /proc/31411/cmdline
open syscall for file /proc/31411/environ
One traced child (pid=31410) exited with status: 0
One traced child (pid=31411) exited with status: 0
New process pid=31412
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=31412) exited with status: 0
New process pid=31413
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=31413) exited with status: 0
One traced child (pid=31401) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -31401
One traced child (pid=31408) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1222.15
CPU time (s): 87.9096
CPU user time (s): 86.3869
CPU system time (s): 1.52277
CPU usage (%): 7.19306
Max. virtual memory (cumulated for all children) (Kb): 77456

Verifier Data

ERROR: no interpretation found !