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.burch_dill.8.accl.ucl.opb
MD5SUM0e5bfa52e1e730089f4eefb216f69dfd
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 73
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 262
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 variables21380
Total number of constraints60984
Number of constraints which are clauses58828
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2156
Minimum length of a constraint1
Maximum length of a constraint13

Trace number 3567

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-19 01:46:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7355 boxname=wulflinc15 idbench=323 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc15/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc15/normalized-ooo.burch_dill.8.accl.ucl.opb 0
IDLAUNCH: 7355
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        895780 kB
Buffers:         34348 kB
Cached:          75256 kB
SwapCached:        692 kB
Active:          66648 kB
Inactive:        45532 kB
HighTotal:      131008 kB
HighFree:        52584 kB
LowTotal:       903652 kB
LowFree:        843196 kB
SwapTotal:     2097136 kB
SwapFree:      2095920 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20828 kB
Committed_AS:    64200 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 02:06:52 (client local time) WITH STATUS 0 IN 355.317 SECONDS
stats: 7355 7 355.317 0

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 7253  (#equs: 2786)
#decisions: 174583;  #end-nodes: 24126;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 137 (127)
#axs: 63774, #non-axs: 6091
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: 7277  (#equs: 2791)
Time taken: 5 min, 3 sec

2:
seed: 0
Nr of vars set: 7277  (#equs: 0)
Nr of vars set: 7277  (#equs: 0)
#decisions: 268138;  #end-nodes: 52927;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 197 (191)
#axs: 32105, #non-axs: 11327
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: 7316  (#equs: 5)
Time taken: 9 min, 3 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/14958/stat): 14958 (vallstSAT2005PB) R 14957 14958 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787807996 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14958/statm): 174 3 169 147 0 27 0
[pid=14958] 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=14959
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=14959) exited with status: 0
New process pid=14960
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=14960) exited with status: 0
New process pid=14961
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/wulflinc15/normalized-ooo.burch_dill.8.accl.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0037 s]
Raw data (loadavg): 0.88 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2248 0 0 0 971 12 0 0 25 0 1 0 1787808003 11763712 2152 4294967295 134512640 134702520 3221223952 3221223216 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 2872 2152 413 48 0 2824 0
[pid=14961] vsize: 11488
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 13616

[startup+20.0045 s]
Raw data (loadavg): 0.90 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2287 0 0 0 1892 37 0 0 21 0 1 0 1787808003 22102016 2191 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5396 2191 413 48 0 5348 0
[pid=14961] vsize: 21584
Current children cumulated CPU time (s) 19.31
Current children cumulated vsize (Kb) 23712

[startup+30.0063 s]
Raw data (loadavg): 0.91 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2300 0 0 0 2842 54 0 0 25 0 1 0 1787808003 22102016 2204 4294967295 134512640 134702520 3221223952 3220930756 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5396 2204 413 48 0 5348 0
[pid=14961] vsize: 21584
Current children cumulated CPU time (s) 28.98
Current children cumulated vsize (Kb) 23712

[startup+40.0072 s]
Raw data (loadavg): 0.93 0.99 0.99 1/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) T 14958 14958 31778 0 -1 0 2315 0 0 0 3781 73 0 0 20 0 1 0 1787808003 22208512 2219 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2219 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 38.56
Current children cumulated vsize (Kb) 23816

[startup+50.008 s]
Raw data (loadavg): 0.94 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2321 0 0 0 4761 79 0 0 25 0 1 0 1787808003 22208512 2225 4294967295 134512640 134702520 3221223952 3221103568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2225 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 48.42
Current children cumulated vsize (Kb) 23816

[startup+60.0088 s]
Raw data (loadavg): 0.95 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2342 0 0 0 5716 94 0 0 25 0 1 0 1787808003 22208512 2246 4294967295 134512640 134702520 3221223952 3221068188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5422 2246 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 58.12
Current children cumulated vsize (Kb) 23816

[startup+70.0096 s]
Raw data (loadavg): 0.95 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2342 0 0 0 6716 94 0 0 25 0 1 0 1787808003 22208512 2246 4294967295 134512640 134702520 3221223952 3220597148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2246 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 68.12
Current children cumulated vsize (Kb) 23816

[startup+80.011 s]
Raw data (loadavg): 0.96 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2366 0 0 0 7671 110 0 0 25 0 1 0 1787808003 22208512 2270 4294967295 134512640 134702520 3221223952 3221193808 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5422 2270 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 77.83
Current children cumulated vsize (Kb) 23816

[startup+90.0122 s]
Raw data (loadavg): 0.97 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2366 0 0 0 8670 110 0 0 25 0 1 0 1787808003 22208512 2270 4294967295 134512640 134702520 3221223952 3220871728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2270 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 87.82
Current children cumulated vsize (Kb) 23816

[startup+100.013 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) T 14958 14958 31778 0 -1 0 2370 0 0 0 9664 113 0 0 25 0 1 0 1787808003 22208512 2274 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2274 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 97.79
Current children cumulated vsize (Kb) 23816

[startup+110.014 s]
Raw data (loadavg): 0.97 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2399 0 0 0 10601 136 0 0 25 0 1 0 1787808003 22208512 2303 4294967295 134512640 134702520 3221223952 3221125148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5422 2303 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 107.39
Current children cumulated vsize (Kb) 23816

[startup+120.017 s]
Raw data (loadavg): 0.98 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2399 0 0 0 11601 136 0 0 25 0 1 0 1787808003 22208512 2303 4294967295 134512640 134702520 3221223952 3220696368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2303 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 117.39
Current children cumulated vsize (Kb) 23816

[startup+130.018 s]
Raw data (loadavg): 0.98 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2409 0 0 0 12557 153 0 0 21 0 1 0 1787808003 22302720 2313 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2313 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 127.12
Current children cumulated vsize (Kb) 23908

[startup+140.018 s]
Raw data (loadavg): 0.98 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2417 0 0 0 13541 159 0 0 25 0 1 0 1787808003 22302720 2321 4294967295 134512640 134702520 3221223952 3220963548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2321 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 137.02
Current children cumulated vsize (Kb) 23908

[startup+150.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2417 0 0 0 14541 159 0 0 25 0 1 0 1787808003 22302720 2321 4294967295 134512640 134702520 3221223952 3220430608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2321 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 147.02
Current children cumulated vsize (Kb) 23908

[startup+160.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2429 0 0 0 15480 177 0 0 25 0 1 0 1787808003 22302720 2333 4294967295 134512640 134702520 3221223952 3221201168 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2333 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 156.59
Current children cumulated vsize (Kb) 23908

[startup+170.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2429 0 0 0 16480 177 0 0 25 0 1 0 1787808003 22302720 2333 4294967295 134512640 134702520 3221223952 3220832208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2333 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 166.59
Current children cumulated vsize (Kb) 23908

[startup+180.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 17469 181 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 176.52
Current children cumulated vsize (Kb) 23908

[startup+190.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 18426 194 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3221049328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 186.22
Current children cumulated vsize (Kb) 23908

[startup+200.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 19427 194 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3220564528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 196.23
Current children cumulated vsize (Kb) 23908

[startup+210.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 20366 216 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3221114928 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 205.84
Current children cumulated vsize (Kb) 23908

[startup+220.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 21365 217 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3220875388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 215.84
Current children cumulated vsize (Kb) 23908

[startup+230.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 22365 217 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3220117948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 225.84
Current children cumulated vsize (Kb) 23908

[startup+240.026 s]
Raw data (loadavg): 1.07 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2460 0 0 0 23302 239 0 0 25 0 1 0 1787808003 22302720 2364 4294967295 134512640 134702520 3221223952 3221123228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2364 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 235.43
Current children cumulated vsize (Kb) 23908

[startup+250.026 s]
Raw data (loadavg): 1.06 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2460 0 0 0 24302 239 0 0 25 0 1 0 1787808003 22302720 2364 4294967295 134512640 134702520 3221223952 3220713488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2364 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 245.43
Current children cumulated vsize (Kb) 23908

[startup+260.027 s]
Raw data (loadavg): 1.05 1.01 0.99 1/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) T 14958 14958 31778 0 -1 0 2480 0 0 0 25280 247 0 0 25 0 1 0 1787808003 22302720 2384 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2384 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 255.29
Current children cumulated vsize (Kb) 23908

[startup+270.028 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2495 0 0 0 26261 254 0 0 25 0 1 0 1787808003 22302720 2399 4294967295 134512640 134702520 3221223952 3220969648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2399 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 265.17
Current children cumulated vsize (Kb) 23908

[startup+280.029 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2495 0 0 0 27261 254 0 0 25 0 1 0 1787808003 22302720 2399 4294967295 134512640 134702520 3221223952 3220398928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2399 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 275.17
Current children cumulated vsize (Kb) 23908

[startup+290.03 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2538 0 0 0 28186 280 0 0 25 0 1 0 1787808003 22302720 2442 4294967295 134512640 134702520 3221223952 3221216848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2442 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 284.68
Current children cumulated vsize (Kb) 23908

[startup+300.031 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2538 0 0 0 29186 280 0 0 25 0 1 0 1787808003 22302720 2442 4294967295 134512640 134702520 3221223952 3220838608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2442 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 294.68
Current children cumulated vsize (Kb) 23908
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=14961) exited with status: 2
New process pid=14962
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=14962) exited with status: 0
New process pid=14963
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+310.031 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 620 0 0 0 44 2 0 0 24 0 1 0 1787838953 3973120 592 4294967295 134512640 134702520 3221223712 3221223420 1074140573 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 970 592 413 48 0 922 0
[pid=14963] vsize: 3880
Current children cumulated CPU time (s) 304.61
Current children cumulated vsize (Kb) 6008

[startup+320.032 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1511 0 0 0 1037 7 0 0 25 0 1 0 1787838953 9793536 1482 4294967295 134512640 134702520 3221223712 3220990128 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 2391 1482 413 48 0 2343 0
[pid=14963] vsize: 9564
Current children cumulated CPU time (s) 314.59
Current children cumulated vsize (Kb) 11692

[startup+330.033 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1529 0 0 0 2038 7 0 0 25 0 1 0 1787838953 9867264 1500 4294967295 134512640 134702520 3221223712 3220628368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 2409 1500 413 48 0 2361 0
[pid=14963] vsize: 9636
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (Kb) 11764

[startup+340.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1798 0 0 0 2977 28 0 0 25 0 1 0 1787838953 21266432 1769 4294967295 134512640 134702520 3221223712 3221135312 134612026 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5192 1769 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 334.2
Current children cumulated vsize (Kb) 22896

[startup+350.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1798 0 0 0 3977 28 0 0 25 0 1 0 1787838953 21266432 1769 4294967295 134512640 134702520 3221223712 3220947788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5192 1769 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 344.2
Current children cumulated vsize (Kb) 22896

[startup+360.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1798 0 0 0 4976 28 0 0 25 0 1 0 1787838953 21266432 1769 4294967295 134512640 134702520 3221223712 3220587168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5192 1769 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 354.19
Current children cumulated vsize (Kb) 22896

[startup+370.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1840 0 0 0 5921 47 0 0 25 0 1 0 1787838953 21266432 1811 4294967295 134512640 134702520 3221223712 3221197708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5192 1811 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 363.83
Current children cumulated vsize (Kb) 22896

[startup+380.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1840 0 0 0 6920 47 0 0 25 0 1 0 1787838953 21266432 1811 4294967295 134512640 134702520 3221223712 3220907168 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5192 1811 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 373.82
Current children cumulated vsize (Kb) 22896

[startup+390.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1840 0 0 0 7920 47 0 0 25 0 1 0 1787838953 21266432 1811 4294967295 134512640 134702520 3221223712 3220483148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5192 1811 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 383.82
Current children cumulated vsize (Kb) 22896

[startup+400.039 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1959 0 0 0 8843 75 0 0 25 0 1 0 1787838953 21381120 1930 4294967295 134512640 134702520 3221223712 3221207968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5220 1930 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 393.33
Current children cumulated vsize (Kb) 23008

[startup+410.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1959 0 0 0 9842 75 0 0 25 0 1 0 1787838953 21381120 1930 4294967295 134512640 134702520 3221223712 3220922348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1930 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 403.32
Current children cumulated vsize (Kb) 23008

[startup+420.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1959 0 0 0 10842 75 0 0 25 0 1 0 1787838953 21381120 1930 4294967295 134512640 134702520 3221223712 3220538508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1930 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 413.32
Current children cumulated vsize (Kb) 23008

[startup+430.042 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 1997 0 0 0 11772 99 0 0 25 0 1 0 1787838953 21381120 1968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1968 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 422.86
Current children cumulated vsize (Kb) 23008

[startup+440.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1999 0 0 0 12769 100 0 0 25 0 1 0 1787838953 21381120 1970 4294967295 134512640 134702520 3221223712 3220952428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1970 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 432.84
Current children cumulated vsize (Kb) 23008

[startup+450.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1999 0 0 0 13770 100 0 0 25 0 1 0 1787838953 21381120 1970 4294967295 134512640 134702520 3221223712 3220586368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1970 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 442.85
Current children cumulated vsize (Kb) 23008

[startup+460.045 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2030 0 0 0 14705 123 0 0 24 0 1 0 1787838953 21508096 2001 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2001 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 452.43
Current children cumulated vsize (Kb) 23132

[startup+470.045 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2036 0 0 0 15697 125 0 0 25 0 1 0 1787838953 21508096 2007 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2007 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 462.37
Current children cumulated vsize (Kb) 23132

[startup+480.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2061 0 0 0 16641 144 0 0 25 0 1 0 1787838953 21508096 2032 4294967295 134512640 134702520 3221223712 3221110988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2032 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 472
Current children cumulated vsize (Kb) 23132

[startup+490.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2061 0 0 0 17641 144 0 0 25 0 1 0 1787838953 21508096 2032 4294967295 134512640 134702520 3221223712 3220800748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2032 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 482
Current children cumulated vsize (Kb) 23132

[startup+500.048 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2063 0 0 0 18629 148 0 0 25 0 1 0 1787838953 21614592 2034 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5277 2034 413 48 0 5229 0
[pid=14963] vsize: 21108
Current children cumulated CPU time (s) 491.92
Current children cumulated vsize (Kb) 23236

[startup+510.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2063 0 0 0 19578 165 0 0 25 0 1 0 1787838953 21614592 2034 4294967295 134512640 134702520 3221223712 3221073068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5277 2034 413 48 0 5229 0
[pid=14963] vsize: 21108
Current children cumulated CPU time (s) 501.58
Current children cumulated vsize (Kb) 23236

[startup+520.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2063 0 0 0 20578 165 0 0 25 0 1 0 1787838953 21614592 2034 4294967295 134512640 134702520 3221223712 3220752268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5277 2034 413 48 0 5229 0
[pid=14963] vsize: 21108
Current children cumulated CPU time (s) 511.58
Current children cumulated vsize (Kb) 23236

[startup+530.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2064 0 0 0 21564 169 0 0 25 0 1 0 1787838953 21618688 2035 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5278 2035 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 521.48
Current children cumulated vsize (Kb) 23240

[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2065 0 0 0 22521 183 0 0 25 0 1 0 1787838953 21618688 2036 4294967295 134512640 134702520 3221223712 3221060108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2036 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 531.19
Current children cumulated vsize (Kb) 23240

[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2065 0 0 0 23521 183 0 0 25 0 1 0 1787838953 21618688 2036 4294967295 134512640 134702520 3221223712 3220728128 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2036 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 541.19
Current children cumulated vsize (Kb) 23240

[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2065 0 0 0 24495 193 0 0 25 0 1 0 1787838953 21618688 2036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2036 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 551.03
Current children cumulated vsize (Kb) 23240

[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2066 0 0 0 25462 203 0 0 25 0 1 0 1787838953 21618688 2037 4294967295 134512640 134702520 3221223712 3221030348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2037 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 560.8
Current children cumulated vsize (Kb) 23240

[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2066 0 0 0 26462 203 0 0 25 0 1 0 1787838953 21618688 2037 4294967295 134512640 134702520 3221223712 3220687948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2037 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 570.8
Current children cumulated vsize (Kb) 23240

[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2068 0 0 0 27424 215 0 0 25 0 1 0 1787838953 21618688 2039 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5278 2039 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 580.54
Current children cumulated vsize (Kb) 23240

[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2070 0 0 0 28407 222 0 0 25 0 1 0 1787838953 21618688 2041 4294967295 134512640 134702520 3221223712 3221007648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5278 2041 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 590.44
Current children cumulated vsize (Kb) 23240

[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2070 0 0 0 29407 222 0 0 25 0 1 0 1787838953 21618688 2041 4294967295 134512640 134702520 3221223712 3220655968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2041 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 600.44
Current children cumulated vsize (Kb) 23240

[startup+620.058 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2076 0 0 0 30365 237 0 0 25 0 1 0 1787838953 21618688 2047 4294967295 134512640 134702520 3221223712 3221222932 134549015 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2047 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 610.17
Current children cumulated vsize (Kb) 23240

[startup+630.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 31351 241 0 0 25 0 1 0 1787838953 21618688 2056 4294967295 134512640 134702520 3221223712 3221000288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2056 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 23240

[startup+640.06 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 32352 241 0 0 25 0 1 0 1787838953 21618688 2056 4294967295 134512640 134702520 3221223712 3220646508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2056 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 630.08
Current children cumulated vsize (Kb) 23240

[startup+650.06 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2131 0 0 0 33306 258 0 0 25 0 1 0 1787838953 21618688 2102 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2102 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (Kb) 23240

[startup+660.061 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2149 0 0 0 34291 264 0 0 25 0 1 0 1787838953 21618688 2120 4294967295 134512640 134702520 3221223712 3220996768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2120 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 649.7
Current children cumulated vsize (Kb) 23240

[startup+670.062 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2149 0 0 0 35292 264 0 0 25 0 1 0 1787838953 21618688 2120 4294967295 134512640 134702520 3221223712 3220641568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2120 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 659.71
Current children cumulated vsize (Kb) 23240

[startup+680.063 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2150 0 0 0 36237 282 0 0 25 0 1 0 1787838953 21729280 2121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2121 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 669.34
Current children cumulated vsize (Kb) 23348

[startup+690.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2150 0 0 0 37216 287 0 0 25 0 1 0 1787838953 21729280 2121 4294967295 134512640 134702520 3221223712 3220997548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2121 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 679.18
Current children cumulated vsize (Kb) 23348

[startup+700.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2150 0 0 0 38216 287 0 0 25 0 1 0 1787838953 21729280 2121 4294967295 134512640 134702520 3221223712 3220642028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2121 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 689.18
Current children cumulated vsize (Kb) 23348

[startup+710.065 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2151 0 0 0 39160 306 0 0 25 0 1 0 1787838953 21729280 2122 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2122 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 698.81
Current children cumulated vsize (Kb) 23348

[startup+720.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2151 0 0 0 40145 312 0 0 25 0 1 0 1787838953 21729280 2122 4294967295 134512640 134702520 3221223712 3221002988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2122 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 708.72
Current children cumulated vsize (Kb) 23348

[startup+730.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2151 0 0 0 41146 312 0 0 25 0 1 0 1787838953 21729280 2122 4294967295 134512640 134702520 3221223712 3220650368 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2122 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 718.73
Current children cumulated vsize (Kb) 23348

[startup+740.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2157 0 0 0 42094 330 0 0 25 0 1 0 1787838953 21729280 2128 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2128 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 728.39
Current children cumulated vsize (Kb) 23348

[startup+750.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2158 0 0 0 43068 339 0 0 25 0 1 0 1787838953 21729280 2129 4294967295 134512640 134702520 3221223712 3221028448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2129 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 738.22
Current children cumulated vsize (Kb) 23348

[startup+760.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2158 0 0 0 44068 339 0 0 25 0 1 0 1787838953 21729280 2129 4294967295 134512640 134702520 3221223712 3220693228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2129 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 748.22
Current children cumulated vsize (Kb) 23348

[startup+770.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2167 0 0 0 45038 348 0 0 25 0 1 0 1787838953 21729280 2138 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2138 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 758.01
Current children cumulated vsize (Kb) 23348

[startup+780.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2202 0 0 0 46004 362 0 0 25 0 1 0 1787838953 21729280 2173 4294967295 134512640 134702520 3221223712 3221057728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2173 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 767.81
Current children cumulated vsize (Kb) 23348

[startup+790.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2202 0 0 0 47004 362 0 0 25 0 1 0 1787838953 21729280 2173 4294967295 134512640 134702520 3221223712 3220725248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2173 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 777.81
Current children cumulated vsize (Kb) 23348

[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2227 0 0 0 47980 372 0 0 25 0 1 0 1787838953 21807104 2198 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5324 2198 413 48 0 5276 0
[pid=14963] vsize: 21296
Current children cumulated CPU time (s) 787.67
Current children cumulated vsize (Kb) 23424

[startup+810.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2290 0 0 0 48924 391 0 0 25 0 1 0 1787838953 23236608 2261 4294967295 134512640 134702520 3221223712 3221129888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2261 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 797.3
Current children cumulated vsize (Kb) 24820

[startup+820.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2290 0 0 0 49924 391 0 0 25 0 1 0 1787838953 23236608 2261 4294967295 134512640 134702520 3221223712 3220826048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2261 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 807.3
Current children cumulated vsize (Kb) 24820

[startup+830.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2290 0 0 0 50924 391 0 0 25 0 1 0 1787838953 23236608 2261 4294967295 134512640 134702520 3221223712 3220142988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2261 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 817.3
Current children cumulated vsize (Kb) 24820

[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2355 0 0 0 51853 417 0 0 25 0 1 0 1787838953 23236608 2326 4294967295 134512640 134702520 3221223712 3221159648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5673 2326 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 826.85
Current children cumulated vsize (Kb) 24820

[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2355 0 0 0 52852 417 0 0 25 0 1 0 1787838953 23236608 2326 4294967295 134512640 134702520 3221223712 3220855648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2326 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 836.84
Current children cumulated vsize (Kb) 24820

[startup+860.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2355 0 0 0 53853 417 0 0 25 0 1 0 1787838953 23236608 2326 4294967295 134512640 134702520 3221223712 3220342048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2326 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 846.85
Current children cumulated vsize (Kb) 24820
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=14963) exited with status: 2
New process pid=14964
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=14964) exited with status: 0
New process pid=14965
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+870.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1522 0 0 0 825 7 0 0 25 0 1 0 1787894178 8544256 1494 4294967295 134512640 134702520 3221223712 3221039728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14965/statm): 2086 1494 413 48 0 2038 0
[pid=14965] vsize: 8344
Current children cumulated CPU time (s) 856.78
Current children cumulated vsize (Kb) 10472

[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1576 0 0 0 1824 7 0 0 25 0 1 0 1787894178 8765440 1548 4294967295 134512640 134702520 3221223712 3220714928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 2140 1548 413 48 0 2092 0
[pid=14965] vsize: 8560
Current children cumulated CPU time (s) 866.77
Current children cumulated vsize (Kb) 10688

[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 1864 0 0 0 2783 23 0 0 25 0 1 0 1787894178 17629184 1836 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4304 1836 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 876.52
Current children cumulated vsize (Kb) 19344

[startup+900.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1893 0 0 0 3751 34 0 0 25 0 1 0 1787894178 17629184 1865 4294967295 134512640 134702520 3221223712 3221047488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4304 1865 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 886.31
Current children cumulated vsize (Kb) 19344

[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1893 0 0 0 4751 34 0 0 25 0 1 0 1787894178 17629184 1865 4294967295 134512640 134702520 3221223712 3220717088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4304 1865 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 896.31
Current children cumulated vsize (Kb) 19344

[startup+920.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 1933 0 0 0 5718 46 0 0 24 0 1 0 1787894178 17629184 1905 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4304 1905 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 906.1
Current children cumulated vsize (Kb) 19344

[startup+930.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1957 0 0 0 6681 59 0 0 25 0 1 0 1787894178 17776640 1929 4294967295 134512640 134702520 3221223712 3221039008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4340 1929 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 915.86
Current children cumulated vsize (Kb) 19488

[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1957 0 0 0 7680 59 0 0 25 0 1 0 1787894178 17776640 1929 4294967295 134512640 134702520 3221223712 3220705088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 1929 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 925.85
Current children cumulated vsize (Kb) 19488

[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 1982 0 0 0 8640 74 0 0 25 0 1 0 1787894178 17776640 1954 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 1954 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 935.6
Current children cumulated vsize (Kb) 19488

[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2004 0 0 0 9610 83 0 0 25 0 1 0 1787894178 17776640 1976 4294967295 134512640 134702520 3221223712 3221029568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4340 1976 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 945.39
Current children cumulated vsize (Kb) 19488

[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2004 0 0 0 10609 83 0 0 25 0 1 0 1787894178 17776640 1976 4294967295 134512640 134702520 3221223712 3220690048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 1976 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 955.38
Current children cumulated vsize (Kb) 19488

[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2029 0 0 0 11567 98 0 0 25 0 1 0 1787894178 17776640 2001 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 2001 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 965.11
Current children cumulated vsize (Kb) 19488

[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2042 0 0 0 12543 107 0 0 25 0 1 0 1787894178 17776640 2014 4294967295 134512640 134702520 3221223712 3221026368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 2014 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 974.96
Current children cumulated vsize (Kb) 19488

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2042 0 0 0 13544 107 0 0 25 0 1 0 1787894178 17776640 2014 4294967295 134512640 134702520 3221223712 3220688748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 2014 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 984.97
Current children cumulated vsize (Kb) 19488

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2062 0 0 0 14506 119 0 0 25 0 1 0 1787894178 17879040 2034 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4365 2034 413 48 0 4317 0
[pid=14965] vsize: 17460
Current children cumulated CPU time (s) 994.71
Current children cumulated vsize (Kb) 19588

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 15475 129 0 0 25 0 1 0 1787894178 18923520 2057 4294967295 134512640 134702520 3221223712 3221041228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2057 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1004.5
Current children cumulated vsize (Kb) 20608

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 16476 129 0 0 25 0 1 0 1787894178 18923520 2057 4294967295 134512640 134702520 3221223712 3220709248 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2057 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1014.51
Current children cumulated vsize (Kb) 20608

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2096 0 0 0 17451 138 0 0 25 0 1 0 1787894178 18923520 2068 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4620 2068 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1024.35
Current children cumulated vsize (Kb) 20608

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2117 0 0 0 18416 151 0 0 25 0 1 0 1787894178 18923520 2089 4294967295 134512640 134702520 3221223712 3221064128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2089 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1034.13
Current children cumulated vsize (Kb) 20608

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2117 0 0 0 19417 151 0 0 25 0 1 0 1787894178 18923520 2089 4294967295 134512640 134702520 3221223712 3220738828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2089 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (Kb) 20608

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2119 0 0 0 20387 159 0 0 25 0 1 0 1787894178 19009536 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2091 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1053.92
Current children cumulated vsize (Kb) 20692

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2119 0 0 0 21334 179 0 0 25 0 1 0 1787894178 19009536 2091 4294967295 134512640 134702520 3221223712 3221106828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2091 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1063.59
Current children cumulated vsize (Kb) 20692

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2119 0 0 0 22334 179 0 0 25 0 1 0 1787894178 19009536 2091 4294967295 134512640 134702520 3221223712 3220794508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2091 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1073.59
Current children cumulated vsize (Kb) 20692

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2120 0 0 0 23326 182 0 0 25 0 1 0 1787894178 19009536 2092 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2092 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1083.54
Current children cumulated vsize (Kb) 20692

[startup+1110.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2121 0 0 0 24272 201 0 0 25 0 1 0 1787894178 19009536 2093 4294967295 134512640 134702520 3221223712 3221097868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2093 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1093.19
Current children cumulated vsize (Kb) 20692

[startup+1120.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2121 0 0 0 25273 201 0 0 25 0 1 0 1787894178 19009536 2093 4294967295 134512640 134702520 3221223712 3220782988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2093 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1103.2
Current children cumulated vsize (Kb) 20692

[startup+1130.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2121 0 0 0 26261 204 0 0 25 0 1 0 1787894178 19009536 2093 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2093 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1113.11
Current children cumulated vsize (Kb) 20692

[startup+1140.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2122 0 0 0 27206 222 0 0 25 0 1 0 1787894178 19009536 2094 4294967295 134512640 134702520 3221223712 3221109888 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2094 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1122.74
Current children cumulated vsize (Kb) 20692

[startup+1150.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2122 0 0 0 28206 222 0 0 25 0 1 0 1787894178 19009536 2094 4294967295 134512640 134702520 3221223712 3220798528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2094 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1132.74
Current children cumulated vsize (Kb) 20692

[startup+1160.11 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2124 0 0 0 29201 224 0 0 25 0 1 0 1787894178 19009536 2096 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2096 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1142.71
Current children cumulated vsize (Kb) 20692

[startup+1170.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2147 0 0 0 30127 250 0 0 25 0 1 0 1787894178 19009536 2119 4294967295 134512640 134702520 3221223712 3221163008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2119 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1152.23
Current children cumulated vsize (Kb) 20692

[startup+1180.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2147 0 0 0 31127 250 0 0 25 0 1 0 1787894178 19009536 2119 4294967295 134512640 134702520 3221223712 3220866048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2119 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1162.23
Current children cumulated vsize (Kb) 20692

[startup+1190.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2147 0 0 0 32128 250 0 0 25 0 1 0 1787894178 19009536 2119 4294967295 134512640 134702520 3221223712 3220370208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2119 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1172.24
Current children cumulated vsize (Kb) 20692

[startup+1200.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 33053 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3221197068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (Kb) 20692

[startup+1210.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 34054 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3220908768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1191.76
Current children cumulated vsize (Kb) 20692

[startup+1220.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 35054 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3220500448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1201.76
Current children cumulated vsize (Kb) 20692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 35054 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3220500428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1201.76
Current children cumulated vsize (Kb) 20692

Sending SIGTERM to -14958
Sleeping 2 seconds
New process pid=14967
New process pid=14968
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/19225/stat
open syscall for file /proc/19225/status
open syscall for file /proc/19225/cmdline
open syscall for file /proc/19225/environ
open syscall for file /proc/19546/stat
open syscall for file /proc/19546/status
open syscall for file /proc/19546/cmdline
open syscall for file /proc/19546/environ
open syscall for file /proc/19573/stat
open syscall for file /proc/19573/status
open syscall for file /proc/19573/cmdline
open syscall for file /proc/19573/environ
open syscall for file /proc/19597/stat
open syscall for file /proc/19597/status
open syscall for file /proc/19597/cmdline
open syscall for file /proc/19597/environ
open syscall for file /proc/30224/stat
open syscall for file /proc/30224/status
open syscall for file /proc/30224/cmdline
open syscall for file /proc/30224/environ
open syscall for file /proc/30227/stat
open syscall for file /proc/30227/status
open syscall for file /proc/30227/cmdline
open syscall for file /proc/30227/environ
open syscall for file /proc/12024/stat
open syscall for file /proc/12024/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/12024/cmdline
open syscall for file /proc/12024/environ
open syscall for file /proc/12059/stat
open syscall for file /proc/12059/status
open syscall for file /proc/12059/cmdline
open syscall for file /proc/12059/environ
open syscall for file /proc/31778/stat
open syscall for file /proc/31778/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/31778/cmdline
open syscall for file /proc/31778/environ
open syscall for file /proc/31779/stat
open syscall for file /proc/31779/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/31779/cmdline
open syscall for file /proc/31779/environ
open syscall for file /proc/31788/stat
open syscall for file /proc/31788/status
open syscall for file /proc/31788/cmdline
open syscall for file /proc/31788/environ
open syscall for file /proc/14921/stat
open syscall for file /proc/14921/status
open syscall for file /proc/14921/cmdline
open syscall for file /proc/14921/environ
open syscall for file /proc/14957/stat
open syscall for file /proc/14957/status
open syscall for file /proc/14957/cmdline
open syscall for file /proc/14957/environ
open syscall for file /proc/14958/stat
open syscall for file /proc/14958/status
open syscall for file /proc/14958/cmdline
open syscall for file /proc/14958/environ
open syscall for file /proc/14965/stat
open syscall for file /proc/14965/status
open syscall for file /proc/14965/cmdline
open syscall for file /proc/14965/environ
open syscall for file /proc/14967/stat
open syscall for file /proc/14967/status
open syscall for file /proc/14967/cmdline
open syscall for file /proc/14967/environ
open syscall for file /proc/14968/stat
open syscall for file /proc/14968/status
open syscall for file /proc/14968/cmdline
open syscall for file /proc/14968/environ
One traced child (pid=14967) exited with status: 0
One traced child (pid=14968) exited with status: 0
New process pid=14969
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=14969) exited with status: 0
New process pid=14970
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=14970) exited with status: 0
One traced child (pid=14958) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -14958
One traced child (pid=14965) 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.12
CPU time (s): 355.317
CPU user time (s): 352.543
CPU system time (s): 2.77358
CPU usage (%): 29.0738
Max. virtual memory (cumulated for all children) (Kb): 24820

Verifier Data

ERROR: no interpretation found !