Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
MD5SUM7bc553fee464cd071c8e3d02b13f4c95
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 409600
Optimality of the best value was proved NO
Number of terms in the objective function 133
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073847295
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147758078
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark
Number of variables19747
Total number of constraints4322
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)1177
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 9164

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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:        912176 kB
Buffers:         12896 kB
Cached:          90328 kB
SwapCached:          0 kB
Active:          67332 kB
Inactive:        38768 kB
HighTotal:      131008 kB
HighFree:        38332 kB
LowTotal:       903652 kB
LowFree:        873844 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:            10752 kB
Committed_AS:    63640 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:28:11 (client local time) WITH STATUS 3 IN 478.56 SECONDS
stats: 7814 7 478.56 3

Solver Data

1:
seed: 0
Nr of vars set: 11  (#equs: 0)
Nr of vars set: 30  (#equs: 38)
#decisions: 47448;  #end-nodes: 24004;
#proof improvement attempts: 0;  #restarts: 219
Current batch, end-nodes: 66 / 144 (134)
#axs: 3188, #non-axs: 432
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: model found (1)
Model found with constant:  1073232894 (614400:>=*);
#decisions: 3766;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3188, #non-axs: 432
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
Model found with constant:  1073233918 (613376:>=*);
#decisions: 3756;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3188, #non-axs: 432
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
Model found with constant:  1073234942 (612352:>=*);
#decisions: 3757;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3188, #non-axs: 432
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
Model found with constant:  1073235966 (611328:>=*);
#decisions: 3662;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3188, #non-axs: 432
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
Model found with constant:  1073236990 (610304:>=*);
#decisions: 3760;  #end-nodes: 29;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 3188, #non-axs: 432
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
Model found with constant:  1073238014 (609280:>=*);
#decisions: 112699;  #end-nodes: 44144;
#proof improvement attempts: 0;  #restarts: 340
Current batch, end-nodes: 97 / 168 (165)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073239038 (608256:>=*);
#decisions: 3714;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073240062 (607232:>=*);
#decisions: 3692;  #end-nodes: 33;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073241086 (606208:>=*);
#decisions: 3676;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073242110 (605184:>=*);
#decisions: 3564;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073243134 (604160:>=*);
#decisions: 3592;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073244158 (603136:>=*);
#decisions: 3630;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073245182 (602112:>=*);
#decisions: 3746;  #end-nodes: 77;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 77 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073246206 (601088:>=*);
#decisions: 3644;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 3199, #non-axs: 3466
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
Model found with constant:  1073247230 (600064:>=*);
#decisions: 31534;  #end-nodes: 9295;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 114 (103)
#axs: 3204, #non-axs: 2750
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
Model found with constant:
  (pushed:) 1073247230 (600064:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 30  (#equs: 57)
Time taken: 6 min, 1 sec

2:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 38)
#decisions: 24442;  #end-nodes: 7294;
#proof improvement attempts: 0;  #restarts: 53
Current batch, end-nodes: 54 / 143 (133)
#axs: 3184, #non-axs: 4653
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: model found (1)
Model found with constant:  18431 (87040:>=*);
#decisions: 122749;  #end-nodes: 35110;
#proof improvement attempts: 0;  #restarts: 221
Current batch, end-nodes: 75 / 178 (175)
#axs: 3197, #non-axs: 6805
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  19455 (86016:>=*);
#decisions: 4419;  #end-nodes: 13;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 13 / 120 (120)
#axs: 3197, #non-axs: 6805
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  20479 (84992:>=*);
#decisions: 3481;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 3197, #non-axs: 6805
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  21503 (83968:>=*);
#decisions: 4253;  #end-nodes: 12;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 3197, #non-axs: 6805
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  22527 (82944:>=*);
#decisions: 4657;  #end-nodes: 92;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 92 / 120 (120)
#axs: 3197, #non-axs: 6805
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  23551 (81920:>=*);
#decisions: 44719;  #end-nodes: 13600;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 150 (143)
#axs: 3198, #non-axs: 3601
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 23551 (81920:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 30  (#equs: 53)
Time taken: 6 min, 2 sec

3:

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

seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 38)
#decisions: 213332;  #end-nodes: 62988;
#proof improvement attempts: 0;  #restarts: 299
Current batch, end-nodes: 211 / 236 (234)
#axs: 3194, #non-axs: 12104
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 44
result: model found (1)
Model found with constant:  24575 (80896:>=*);
#decisions: 7310;  #end-nodes: 150;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 150 / 160 (160)
#axs: 3194, #non-axs: 12104
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 20
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 44
Model found with constant:  25599 (79872:>=*);
Interupt request received.
#decisions: 32424;  #end-nodes: 7085;
#proof improvement attempts: 0;  #restarts: 40
Current batch, end-nodes: 128 / 191 (170)
#axs: 3195, #non-axs: 13617
tight: meta-meta: start: 5, end: 7;  meta: start: 9, end (keep): 16
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 44
Model found with constant:
  (pushed:) 25599 (79872:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5382  (#equs: 50)
Time taken: 7 min, 57 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) R 4847 4848 4059 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19695949 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4848/statm): 174 3 169 147 0 27 0
[pid=4848] 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=4849
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=4849) exited with status: 0
New process pid=4850
execve syscall for /bin/mkdir executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
One traced child (pid=4850) exited with status: 0
New process pid=4851
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-railway_8_1_0.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.003 s]
Raw data (loadavg): 0.99 1.10 1.08 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1439 0 0 0 895 36 0 0 25 0 1 0 19695956 7577600 1343 4294967295 134512640 134702520 3221223952 3221223088 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 1850 1343 413 48 0 1802 0
[pid=4851] vsize: 7400
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 9528

[startup+20.0037 s]
Raw data (loadavg): 0.99 1.09 1.08 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1469 0 0 0 1845 53 0 0 19 0 1 0 19695956 13533184 1373 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3304 1373 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 19
Current children cumulated vsize (Kb) 15344

[startup+30.0054 s]
Raw data (loadavg): 0.99 1.09 1.08 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1477 0 0 0 2610 126 0 0 24 0 1 0 19695956 13533184 1381 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1381 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 27.38
Current children cumulated vsize (Kb) 15344

[startup+40.0061 s]
Raw data (loadavg): 0.99 1.09 1.08 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1478 0 0 0 3376 203 0 0 25 0 1 0 19695956 13533184 1382 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1382 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 35.81
Current children cumulated vsize (Kb) 15344

[startup+50.0068 s]
Raw data (loadavg): 0.99 1.08 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1478 0 0 0 4360 210 0 0 25 0 1 0 19695956 13533184 1382 4294967295 134512640 134702520 3221223952 3221222848 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1382 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 45.72
Current children cumulated vsize (Kb) 15344

[startup+60.0075 s]
Raw data (loadavg): 0.99 1.08 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1478 0 0 0 5185 268 0 0 18 0 1 0 19695956 13533184 1382 4294967295 134512640 134702520 3221223952 3221222848 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3304 1382 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 54.55
Current children cumulated vsize (Kb) 15344

[startup+70.0082 s]
Raw data (loadavg): 0.99 1.08 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1491 0 0 0 5911 361 0 0 20 0 1 0 19695956 13688832 1393 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3342 1393 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 62.74
Current children cumulated vsize (Kb) 15496

[startup+80.0099 s]
Raw data (loadavg): 0.99 1.07 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1495 0 0 0 6813 394 0 0 25 0 1 0 19695956 13688832 1396 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1396 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 72.09
Current children cumulated vsize (Kb) 15496

[startup+90.0105 s]
Raw data (loadavg): 0.99 1.07 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1495 0 0 0 7789 403 0 0 25 0 1 0 19695956 13533184 1395 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1395 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 81.94
Current children cumulated vsize (Kb) 15344

[startup+100.011 s]
Raw data (loadavg): 0.99 1.07 1.07 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1623 0 0 0 8577 474 0 0 21 0 1 0 19695956 13688832 1522 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1522 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 90.53
Current children cumulated vsize (Kb) 15496

[startup+110.013 s]
Raw data (loadavg): 0.99 1.07 1.07 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1629 0 0 0 9452 514 0 0 21 0 1 0 19695956 13688832 1528 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1528 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 99.68
Current children cumulated vsize (Kb) 15496

[startup+120.014 s]
Raw data (loadavg): 0.99 1.06 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1633 0 0 0 10287 568 0 0 25 0 1 0 19695956 13688832 1532 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1532 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 108.57
Current children cumulated vsize (Kb) 15496

[startup+130.015 s]
Raw data (loadavg): 0.99 1.06 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1637 0 0 0 11176 604 0 0 25 0 1 0 19695956 13688832 1536 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1536 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 117.82
Current children cumulated vsize (Kb) 15496

[startup+140.016 s]
Raw data (loadavg): 0.99 1.06 1.07 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1641 0 0 0 12030 653 0 0 16 0 1 0 19695956 13688832 1539 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1539 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 126.85
Current children cumulated vsize (Kb) 15496

[startup+150.017 s]
Raw data (loadavg): 0.99 1.06 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1642 0 0 0 12994 665 0 0 25 0 1 0 19695956 13844480 1540 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3380 1540 413 48 0 3332 0
[pid=4851] vsize: 13520
Current children cumulated CPU time (s) 136.61
Current children cumulated vsize (Kb) 15648

[startup+160.017 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1642 0 0 0 13965 676 0 0 25 0 1 0 19695956 13688832 1539 4294967295 134512640 134702520 3221223952 3221223072 134573381 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1539 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 146.43
Current children cumulated vsize (Kb) 15496

[startup+170.018 s]
Raw data (loadavg): 0.99 1.05 1.06 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1644 0 0 0 14786 736 0 0 25 0 1 0 19695956 13688832 1539 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3342 1539 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 155.24
Current children cumulated vsize (Kb) 15496

[startup+180.02 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1648 0 0 0 15688 770 0 0 25 0 1 0 19695956 13688832 1542 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1542 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 164.6
Current children cumulated vsize (Kb) 15496

[startup+190.02 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1656 0 0 0 16574 809 0 0 25 0 1 0 19695956 13688832 1549 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3342 1549 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 173.85
Current children cumulated vsize (Kb) 15496

[startup+200.021 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1662 0 0 0 17411 861 0 0 21 0 1 0 19695956 13852672 1554 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3382 1554 413 48 0 3334 0
[pid=4851] vsize: 13528
Current children cumulated CPU time (s) 182.74
Current children cumulated vsize (Kb) 15656

[startup+210.022 s]
Raw data (loadavg): 0.99 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1662 0 0 0 18396 867 0 0 25 0 1 0 19695956 13852672 1554 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3382 1554 413 48 0 3334 0
[pid=4851] vsize: 13528
Current children cumulated CPU time (s) 192.65
Current children cumulated vsize (Kb) 15656

[startup+220.023 s]
Raw data (loadavg): 0.99 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1662 0 0 0 19373 877 0 0 25 0 1 0 19695956 13692928 1553 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3343 1553 413 48 0 3295 0
[pid=4851] vsize: 13372
Current children cumulated CPU time (s) 202.52
Current children cumulated vsize (Kb) 15500

[startup+230.023 s]
Raw data (loadavg): 0.99 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1663 0 0 0 20280 906 0 0 25 0 1 0 19695956 13697024 1553 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3344 1553 413 48 0 3296 0
[pid=4851] vsize: 13376
Current children cumulated CPU time (s) 211.88
Current children cumulated vsize (Kb) 15504

[startup+240.024 s]
Raw data (loadavg): 0.99 1.04 1.06 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1665 0 0 0 21103 962 0 0 22 0 1 0 19695956 13783040 1554 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1554 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 220.67
Current children cumulated vsize (Kb) 15588

[startup+250.025 s]
Raw data (loadavg): 1.07 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1667 0 0 0 22002 995 0 0 25 0 1 0 19695956 13783040 1555 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1555 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 15588

[startup+260.025 s]
Raw data (loadavg): 1.06 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1673 0 0 0 22891 1031 0 0 25 0 1 0 19695956 13783040 1560 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1560 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 239.24
Current children cumulated vsize (Kb) 15588

[startup+270.026 s]
Raw data (loadavg): 1.05 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1680 0 0 0 23803 1061 0 0 25 0 1 0 19695956 13938688 1567 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3403 1567 413 48 0 3355 0
[pid=4851] vsize: 13612
Current children cumulated CPU time (s) 248.66
Current children cumulated vsize (Kb) 15740

[startup+280.027 s]
Raw data (loadavg): 1.04 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1680 0 0 0 24784 1068 0 0 25 0 1 0 19695956 13938688 1567 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3403 1567 413 48 0 3355 0
[pid=4851] vsize: 13612
Current children cumulated CPU time (s) 258.54
Current children cumulated vsize (Kb) 15740

[startup+290.027 s]
Raw data (loadavg): 1.04 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1680 0 0 0 25757 1076 0 0 25 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 268.35
Current children cumulated vsize (Kb) 15588

[startup+300.028 s]
Raw data (loadavg): 1.03 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1681 0 0 0 26656 1107 0 0 25 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223232 134552239 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 277.65
Current children cumulated vsize (Kb) 15588

[startup+310.029 s]
Raw data (loadavg): 1.03 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1682 0 0 0 27553 1139 0 0 25 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223232 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 286.94
Current children cumulated vsize (Kb) 15588

[startup+320.029 s]
Raw data (loadavg): 1.02 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 28385 1195 0 0 22 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 295.82
Current children cumulated vsize (Kb) 15588

[startup+330.03 s]
Raw data (loadavg): 1.02 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 29259 1240 0 0 17 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221222976 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 305.01
Current children cumulated vsize (Kb) 15588

[startup+340.031 s]
Raw data (loadavg): 1.01 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1689 0 0 0 30137 1279 0 0 19 0 1 0 19695956 13938688 1571 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3403 1571 413 48 0 3355 0
[pid=4851] vsize: 13612
Current children cumulated CPU time (s) 314.18
Current children cumulated vsize (Kb) 15740

[startup+350.03 s]
Raw data (loadavg): 1.01 1.03 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1694 0 0 0 31028 1314 0 0 25 0 1 0 19695956 13783040 1574 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1574 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 323.44
Current children cumulated vsize (Kb) 15588

[startup+360.032 s]
Raw data (loadavg): 1.01 1.03 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1703 0 0 0 31927 1347 0 0 25 0 1 0 19695956 13783040 1582 4294967295 134512640 134702520 3221223952 3221223232 134552349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1582 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 332.76
Current children cumulated vsize (Kb) 15588

[startup+370.033 s]
Raw data (loadavg): 1.01 1.03 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1712 0 0 0 32829 1378 0 0 25 0 1 0 19695956 13783040 1590 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1590 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (Kb) 15588

[startup+380.034 s]
Raw data (loadavg): 1.09 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4059 0 -1 0 1720 0 0 0 33733 1410 0 0 25 0 1 0 19695956 13950976 1598 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3406 1598 413 48 0 3358 0
[pid=4851] vsize: 13624
Current children cumulated CPU time (s) 351.45
Current children cumulated vsize (Kb) 15752

[startup+390.034 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4059 0 -1 0 1720 0 0 0 34713 1417 0 0 25 0 1 0 19695956 13950976 1598 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3406 1598 413 48 0 3358 0
[pid=4851] vsize: 13624
Current children cumulated CPU time (s) 361.32
Current children cumulated vsize (Kb) 15752
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=4851) exited with status: 2
New process pid=4852
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=4852) exited with status: 0
New process pid=4853
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+400.035 s]
Raw data (loadavg): 1.06 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1334 0 0 0 789 38 0 0 25 0 1 0 19735064 7528448 1305 4294967295 134512640 134702520 3221223712 3221222848 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 1838 1305 413 48 0 1790 0
[pid=4853] vsize: 7352
Current children cumulated CPU time (s) 370.59
Current children cumulated vsize (Kb) 9480

[startup+410.036 s]
Raw data (loadavg): 1.05 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1391 0 0 0 1738 55 0 0 25 0 1 0 19735064 13631488 1362 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3328 1362 413 48 0 3280 0
[pid=4853] vsize: 13312
Current children cumulated CPU time (s) 380.25
Current children cumulated vsize (Kb) 15440

[startup+420.036 s]
Raw data (loadavg): 1.04 1.04 1.05 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1443 0 0 0 2693 69 0 0 16 0 1 0 19735064 13836288 1414 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3378 1414 413 48 0 3330 0
[pid=4853] vsize: 13512
Current children cumulated CPU time (s) 389.94
Current children cumulated vsize (Kb) 15640

[startup+430.038 s]
Raw data (loadavg): 1.04 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1460 0 0 0 3540 118 0 0 25 0 1 0 19735064 13762560 1429 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3360 1429 413 48 0 3312 0
[pid=4853] vsize: 13440
Current children cumulated CPU time (s) 398.9
Current children cumulated vsize (Kb) 15568

[startup+440.039 s]
Raw data (loadavg): 1.03 1.03 1.05 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1476 0 0 0 4502 132 0 0 21 0 1 0 19735064 13762560 1445 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3360 1445 413 48 0 3312 0
[pid=4853] vsize: 13440
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (Kb) 15568

[startup+450.039 s]
Raw data (loadavg): 1.10 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1606 0 0 0 5381 175 0 0 25 0 1 0 19735064 14094336 1575 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1575 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 417.88
Current children cumulated vsize (Kb) 15892

[startup+460.04 s]
Raw data (loadavg): 1.08 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1613 0 0 0 6287 204 0 0 25 0 1 0 19735064 14094336 1582 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1582 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 427.23
Current children cumulated vsize (Kb) 15892

[startup+470.041 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1624 0 0 0 7189 237 0 0 19 0 1 0 19735064 14094336 1593 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1593 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 436.58
Current children cumulated vsize (Kb) 15892

[startup+480.041 s]
Raw data (loadavg): 1.06 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1632 0 0 0 8161 247 0 0 25 0 1 0 19735064 14094336 1601 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1601 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 446.4
Current children cumulated vsize (Kb) 15892

[startup+490.043 s]
Raw data (loadavg): 1.05 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1640 0 0 0 9059 281 0 0 25 0 1 0 19735064 14094336 1609 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1609 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 455.72
Current children cumulated vsize (Kb) 15892

[startup+500.044 s]
Raw data (loadavg): 1.11 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1645 0 0 0 9952 314 0 0 25 0 1 0 19735064 14094336 1614 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1614 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 464.98
Current children cumulated vsize (Kb) 15892

[startup+510.044 s]
Raw data (loadavg): 1.10 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1651 0 0 0 10860 343 0 0 25 0 1 0 19735064 14094336 1619 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1619 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 474.35
Current children cumulated vsize (Kb) 15892

[startup+520.045 s]
Raw data (loadavg): 1.08 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1658 0 0 0 11776 371 0 0 17 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 483.79
Current children cumulated vsize (Kb) 15892

[startup+530.045 s]
Raw data (loadavg): 1.07 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1659 0 0 0 12727 390 0 0 25 0 1 0 19735064 14254080 1627 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3480 1627 413 48 0 3432 0
[pid=4853] vsize: 13920
Current children cumulated CPU time (s) 493.49
Current children cumulated vsize (Kb) 16048

[startup+540.045 s]
Raw data (loadavg): 1.06 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1659 0 0 0 13688 402 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 503.22
Current children cumulated vsize (Kb) 15892

[startup+550.046 s]
Raw data (loadavg): 1.05 1.04 1.05 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1660 0 0 0 14598 434 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 512.64
Current children cumulated vsize (Kb) 15892

[startup+560.048 s]
Raw data (loadavg): 1.04 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1660 0 0 0 15573 444 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 522.49
Current children cumulated vsize (Kb) 15892

[startup+570.049 s]
Raw data (loadavg): 1.03 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1661 0 0 0 16478 476 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222992 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 531.86
Current children cumulated vsize (Kb) 15892

[startup+580.048 s]
Raw data (loadavg): 1.03 1.04 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1662 0 0 0 17383 504 0 0 19 0 1 0 19735064 14254080 1627 4294967295 134512640 134702520 3221223712 3221222736 134552372 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3480 1627 413 48 0 3432 0
[pid=4853] vsize: 13920
Current children cumulated CPU time (s) 541.19
Current children cumulated vsize (Kb) 16048

[startup+590.049 s]
Raw data (loadavg): 1.02 1.04 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1662 0 0 0 18341 518 0 0 23 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222736 134553955 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 550.91
Current children cumulated vsize (Kb) 15892

[startup+600.05 s]
Raw data (loadavg): 1.02 1.04 1.04 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1678 0 0 0 19251 548 0 0 25 0 1 0 19735064 14094336 1641 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1641 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 560.31
Current children cumulated vsize (Kb) 15892

[startup+610.052 s]
Raw data (loadavg): 1.02 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1679 0 0 0 20143 585 0 0 25 0 1 0 19735064 14094336 1641 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1641 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 569.6
Current children cumulated vsize (Kb) 15892

[startup+620.053 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1679 0 0 0 21120 594 0 0 25 0 1 0 19735064 14094336 1641 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1641 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 579.46
Current children cumulated vsize (Kb) 15892

[startup+630.053 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 22022 624 0 0 25 0 1 0 19735064 14254080 1645 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3480 1645 413 48 0 3432 0
[pid=4853] vsize: 13920
Current children cumulated CPU time (s) 588.78
Current children cumulated vsize (Kb) 16048

[startup+640.053 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 22982 637 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 598.51
Current children cumulated vsize (Kb) 15892

[startup+650.054 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 23947 650 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 608.29
Current children cumulated vsize (Kb) 15892

[startup+660.056 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1684 0 0 0 24852 680 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 617.64
Current children cumulated vsize (Kb) 15892

[startup+670.057 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1684 0 0 0 25782 705 0 0 22 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221223296 134558700 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 627.19
Current children cumulated vsize (Kb) 15892

[startup+680.056 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1684 0 0 0 26709 732 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 636.73
Current children cumulated vsize (Kb) 15892

[startup+690.058 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1685 0 0 0 27609 765 0 0 25 0 1 0 19735064 14098432 1644 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3442 1644 413 48 0 3394 0
[pid=4853] vsize: 13768
Current children cumulated CPU time (s) 646.06
Current children cumulated vsize (Kb) 15896

[startup+700.059 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1686 0 0 0 28516 798 0 0 17 0 1 0 19735064 14262272 1645 4294967295 134512640 134702520 3221223712 3221222608 134552944 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3482 1645 413 48 0 3434 0
[pid=4853] vsize: 13928
Current children cumulated CPU time (s) 655.46
Current children cumulated vsize (Kb) 16056

[startup+710.059 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1686 0 0 0 29488 807 0 0 25 0 1 0 19735064 14102528 1644 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3443 1644 413 48 0 3395 0
[pid=4853] vsize: 13772
Current children cumulated CPU time (s) 665.27
Current children cumulated vsize (Kb) 15900

[startup+720.06 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1688 0 0 0 30396 836 0 0 25 0 1 0 19735064 14110720 1645 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3445 1645 413 48 0 3397 0
[pid=4853] vsize: 13780
Current children cumulated CPU time (s) 674.64
Current children cumulated vsize (Kb) 15908

[startup+730.061 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1695 0 0 0 31302 866 0 0 25 0 1 0 19735064 14118912 1651 4294967295 134512640 134702520 3221223712 3221222992 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3447 1651 413 48 0 3399 0
[pid=4853] vsize: 13788
Current children cumulated CPU time (s) 684
Current children cumulated vsize (Kb) 15916

[startup+740.061 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1706 0 0 0 32280 874 0 0 25 0 1 0 19735064 14118912 1662 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3447 1662 413 48 0 3399 0
[pid=4853] vsize: 13788
Current children cumulated CPU time (s) 693.86
Current children cumulated vsize (Kb) 15916

[startup+750.062 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1710 0 0 0 33183 907 0 0 25 0 1 0 19735064 14290944 1666 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3489 1666 413 48 0 3441 0
[pid=4853] vsize: 13956
Current children cumulated CPU time (s) 703.22
Current children cumulated vsize (Kb) 16084

[startup+760.064 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1721 0 0 0 34086 939 0 0 25 0 1 0 19735064 14290944 1677 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3489 1677 413 48 0 3441 0
[pid=4853] vsize: 13956
Current children cumulated CPU time (s) 712.57
Current children cumulated vsize (Kb) 16084

[startup+770.064 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1721 0 0 0 35052 951 0 0 25 0 1 0 19735064 14290944 1677 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3489 1677 413 48 0 3441 0
[pid=4853] vsize: 13956
Current children cumulated CPU time (s) 722.35
Current children cumulated vsize (Kb) 16084
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=4853) exited with status: 2
New process pid=4854
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=4854) exited with status: 0
New process pid=4855
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+780.064 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1340 0 0 0 622 36 0 0 25 0 1 0 19773244 7688192 1312 4294967295 134512640 134702520 3221223712 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 1877 1312 413 48 0 1829 0
[pid=4855] vsize: 7508
Current children cumulated CPU time (s) 731.62
Current children cumulated vsize (Kb) 9636

[startup+790.066 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1342 0 0 0 1577 52 0 0 25 0 1 0 19773244 7688192 1314 4294967295 134512640 134702520 3221223712 3221222848 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 1877 1314 413 48 0 1829 0
[pid=4855] vsize: 7508
Current children cumulated CPU time (s) 741.33
Current children cumulated vsize (Kb) 9636

[startup+800.066 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1410 0 0 0 2551 62 0 0 25 0 1 0 19773244 13815808 1382 4294967295 134512640 134702520 3221223712 3221222968 134564337 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3373 1382 413 48 0 3325 0
[pid=4855] vsize: 13492
Current children cumulated CPU time (s) 751.17
Current children cumulated vsize (Kb) 15620

[startup+810.068 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1428 0 0 0 3499 79 0 0 19 0 1 0 19773244 13815808 1400 4294967295 134512640 134702520 3221223712 3221222736 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3373 1400 413 48 0 3325 0
[pid=4855] vsize: 13492
Current children cumulated CPU time (s) 760.82
Current children cumulated vsize (Kb) 15620

[startup+820.069 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1472 0 0 0 4424 103 0 0 25 0 1 0 19773244 13819904 1443 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3374 1443 413 48 0 3326 0
[pid=4855] vsize: 13496
Current children cumulated CPU time (s) 770.31
Current children cumulated vsize (Kb) 15624

[startup+830.069 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1490 0 0 0 5330 136 0 0 25 0 1 0 19773244 14020608 1461 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1461 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 779.7
Current children cumulated vsize (Kb) 15820

[startup+840.07 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1502 0 0 0 6305 145 0 0 25 0 1 0 19773244 14020608 1473 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1473 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 789.54
Current children cumulated vsize (Kb) 15820

[startup+850.071 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1513 0 0 0 7210 176 0 0 25 0 1 0 19773244 14020608 1484 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1484 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 798.9
Current children cumulated vsize (Kb) 15820

[startup+860.073 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1532 0 0 0 8191 181 0 0 25 0 1 0 19773244 14020608 1503 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1503 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 808.76
Current children cumulated vsize (Kb) 15820

[startup+870.073 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1536 0 0 0 9098 215 0 0 25 0 1 0 19773244 14020608 1507 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1507 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 818.17
Current children cumulated vsize (Kb) 15820

[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1571 0 0 0 10038 237 0 0 19 0 1 0 19773244 14020608 1542 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3423 1542 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 827.79
Current children cumulated vsize (Kb) 15820

[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1579 0 0 0 10968 262 0 0 25 0 1 0 19773244 14020608 1549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1549 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 837.34
Current children cumulated vsize (Kb) 15820

[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1590 0 0 0 11895 286 0 0 17 0 1 0 19773244 14020608 1560 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3423 1560 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 846.85
Current children cumulated vsize (Kb) 15820

[startup+910.076 s]
Raw data (loadavg): 1.07 1.02 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1599 0 0 0 12834 305 0 0 25 0 1 0 19773244 14176256 1569 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3461 1569 413 48 0 3413 0
[pid=4855] vsize: 13844
Current children cumulated CPU time (s) 856.43
Current children cumulated vsize (Kb) 15972

[startup+920.077 s]
Raw data (loadavg): 1.06 1.02 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1599 0 0 0 13791 321 0 0 25 0 1 0 19773244 14020608 1568 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3423 1568 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 866.16
Current children cumulated vsize (Kb) 15820

[startup+930.077 s]
Raw data (loadavg): 1.05 1.02 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1600 0 0 0 14769 328 0 0 25 0 1 0 19773244 14020608 1569 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1569 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 876.01
Current children cumulated vsize (Kb) 15820

[startup+940.078 s]
Raw data (loadavg): 1.04 1.02 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1601 0 0 0 15675 359 0 0 25 0 1 0 19773244 14020608 1569 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1569 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 885.38
Current children cumulated vsize (Kb) 15820

[startup+950.079 s]
Raw data (loadavg): 1.04 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1628 0 0 0 16646 370 0 0 25 0 1 0 19773244 14020608 1596 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1596 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 895.2
Current children cumulated vsize (Kb) 15820

[startup+960.079 s]
Raw data (loadavg): 1.03 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1630 0 0 0 17553 402 0 0 25 0 1 0 19773244 14020608 1597 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1597 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 904.59
Current children cumulated vsize (Kb) 15820

[startup+970.08 s]
Raw data (loadavg): 1.02 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1631 0 0 0 18513 416 0 0 25 0 1 0 19773244 14020608 1598 4294967295 134512640 134702520 3221223712 3221222832 134578788 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1598 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 914.33
Current children cumulated vsize (Kb) 15820

[startup+980.08 s]
Raw data (loadavg): 1.02 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1648 0 0 0 19413 446 0 0 25 0 1 0 19773244 14020608 1614 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1614 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 923.63
Current children cumulated vsize (Kb) 15820

[startup+990.081 s]
Raw data (loadavg): 1.02 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1666 0 0 0 20387 455 0 0 25 0 1 0 19773244 14020608 1632 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1632 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 933.46
Current children cumulated vsize (Kb) 15820

[startup+1000.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1667 0 0 0 21294 484 0 0 25 0 1 0 19773244 14036992 1632 4294967295 134512640 134702520 3221223712 3221223104 134604740 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3427 1632 413 48 0 3379 0
[pid=4855] vsize: 13708
Current children cumulated CPU time (s) 942.82
Current children cumulated vsize (Kb) 15836

[startup+1010.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1672 0 0 0 22197 516 0 0 22 0 1 0 19773244 14209024 1637 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1637 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 952.17
Current children cumulated vsize (Kb) 16004

[startup+1020.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1704 0 0 0 23177 523 0 0 25 0 1 0 19773244 14209024 1669 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1669 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 962.04
Current children cumulated vsize (Kb) 16004

[startup+1030.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1752 0 0 0 24150 532 0 0 25 0 1 0 19773244 14209024 1717 4294967295 134512640 134702520 3221223712 3221222736 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3469 1717 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 971.86
Current children cumulated vsize (Kb) 16004

[startup+1040.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1762 0 0 0 25052 565 0 0 25 0 1 0 19773244 14209024 1727 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1727 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 981.21
Current children cumulated vsize (Kb) 16004

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1762 0 0 0 26017 577 0 0 25 0 1 0 19773244 14209024 1727 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1727 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 990.98
Current children cumulated vsize (Kb) 16004

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1762 0 0 0 26987 587 0 0 25 0 1 0 19773244 14209024 1727 4294967295 134512640 134702520 3221223712 3221222992 134552523 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1727 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 1000.78
Current children cumulated vsize (Kb) 16004

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1764 0 0 0 27891 618 0 0 25 0 1 0 19773244 14209024 1729 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1729 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 1010.13
Current children cumulated vsize (Kb) 16004

[startup+1080.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1781 0 0 0 28861 628 0 0 25 0 1 0 19773244 14209024 1746 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1746 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 1019.93
Current children cumulated vsize (Kb) 16004

[startup+1090.09 s]
Raw data (loadavg): 1.06 1.02 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1793 0 0 0 29763 658 0 0 25 0 1 0 19773244 14995456 1758 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1758 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1029.25
Current children cumulated vsize (Kb) 16772

[startup+1100.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1827 0 0 0 30738 666 0 0 25 0 1 0 19773244 14995456 1792 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1792 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1039.08
Current children cumulated vsize (Kb) 16772

[startup+1110.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1857 0 0 0 31647 695 0 0 25 0 1 0 19773244 14995456 1821 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3661 1821 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1048.46
Current children cumulated vsize (Kb) 16772

[startup+1120.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1868 0 0 0 32625 704 0 0 25 0 1 0 19773244 14995456 1832 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1832 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1058.33
Current children cumulated vsize (Kb) 16772

[startup+1130.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1903 0 0 0 33597 714 0 0 25 0 1 0 19773244 14995456 1867 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1867 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1068.15
Current children cumulated vsize (Kb) 16772

[startup+1140.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1913 0 0 0 34495 747 0 0 25 0 1 0 19773244 15171584 1877 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1877 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1077.46
Current children cumulated vsize (Kb) 16944

[startup+1150.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1943 0 0 0 35460 758 0 0 25 0 1 0 19773244 15171584 1907 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1907 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1087.22
Current children cumulated vsize (Kb) 16944

[startup+1160.09 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1959 0 0 0 36370 785 0 0 25 0 1 0 19773244 15171584 1923 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1923 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1096.59
Current children cumulated vsize (Kb) 16944

[startup+1170.09 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1964 0 0 0 37355 792 0 0 25 0 1 0 19773244 15171584 1928 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1928 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1106.51
Current children cumulated vsize (Kb) 16944

[startup+1180.09 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1994 0 0 0 38328 801 0 0 25 0 1 0 19773244 15171584 1958 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1958 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1116.33
Current children cumulated vsize (Kb) 16944

[startup+1190.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2007 0 0 0 39232 831 0 0 25 0 1 0 19773244 15171584 1971 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1971 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1125.67
Current children cumulated vsize (Kb) 16944

[startup+1200.1 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2007 0 0 0 40196 845 0 0 25 0 1 0 19773244 15171584 1971 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1971 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1135.45
Current children cumulated vsize (Kb) 16944

[startup+1210.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2007 0 0 0 41172 854 0 0 25 0 1 0 19773244 15171584 1971 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1971 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1145.3
Current children cumulated vsize (Kb) 16944

[startup+1220.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 42080 887 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1154.71
Current children cumulated vsize (Kb) 17084

[startup+1230.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 43055 895 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552516 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (Kb) 17084

[startup+1240.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 43959 926 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1173.89
Current children cumulated vsize (Kb) 17084

[startup+1250.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 44935 935 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1183.74
Current children cumulated vsize (Kb) 17084

[startup+1260.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 2075 0 0 0 45841 964 0 0 24 0 1 0 19773244 15314944 2039 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3739 2039 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1193.09
Current children cumulated vsize (Kb) 17084

[startup+1270.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2075 0 0 0 46819 972 0 0 25 0 1 0 19773244 15314944 2039 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2039 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1202.95
Current children cumulated vsize (Kb) 17084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2075 0 0 0 46819 972 0 0 25 0 1 0 19773244 15314944 2039 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2039 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1202.95
Current children cumulated vsize (Kb) 17084

Sending SIGTERM to -4848
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4857
New process pid=4858
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/4809/stat
open syscall for file /proc/4809/status
open syscall for file /proc/4809/cmdline
open syscall for file /proc/4809/environ
open syscall for file /proc/4847/stat
open syscall for file /proc/4847/status
open syscall for file /proc/4847/cmdline
open syscall for file /proc/4847/environ
open syscall for file /proc/4848/stat
open syscall for file /proc/4848/status
open syscall for file /proc/4848/cmdline
open syscall for file /proc/4848/environ
open syscall for file /proc/4855/stat
open syscall for file /proc/4855/status
open syscall for file /proc/4855/cmdline
open syscall for file /proc/4855/environ
open syscall for file /proc/4857/stat
open syscall for file /proc/4857/status
open syscall for file /proc/4857/cmdline
open syscall for file /proc/4857/environ
open syscall for file /proc/4858/stat
open syscall for file /proc/4858/status
open syscall for file /proc/4858/cmdline
open syscall for file /proc/4858/environ
One traced child (pid=4857) exited with status: 0
One traced child (pid=4858) exited with status: 0
New process pid=4859
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=4859) exited with status: 0
New process pid=4860
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=4860) exited with status: 0
One traced child (pid=4848) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4855) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1270.8
CPU time (s): 478.56
CPU user time (s): 468.768
CPU system time (s): 9.79251
CPU usage (%): 37.6582
Max. virtual memory (cumulated for all children) (Kb): 17084

Verifier Data

ERROR: no interpretation found !