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-usAbbrv.8.25_70.opb
MD5SUM7f148daab2a076d0407e04408057198b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 134144
Optimality of the best value was proved NO
Number of terms in the objective function 135
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 1073849343
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 2147557374
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 benchmark1195.27
Number of variables20611
Total number of constraints5602
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)1681
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 9150

Launcher Data

LAUNCH ON wulflinc5 THE 2005-09-23 11:00:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7809 boxname=wulflinc5 idbench=777 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7f148daab2a076d0407e04408057198b  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb 0
IDLAUNCH: 7809
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.158
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	: 2
cpu MHz		: 451.158
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        939480 kB
Buffers:         12336 kB
Cached:          63484 kB
SwapCached:          0 kB
Active:          46108 kB
Inactive:        32612 kB
HighTotal:      131008 kB
HighFree:        63532 kB
LowTotal:       903652 kB
LowFree:        875948 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              96 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:            10812 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:21:26 (client local time) WITH STATUS 3 IN 276.808 SECONDS
stats: 7809 7 276.808 3

Solver Data

1:
seed: 0
Nr of vars set: 12  (#equs: 0)
Nr of vars set: 30  (#equs: 45)
#decisions: 35920;  #end-nodes: 18439;
#proof improvement attempts: 0;  #restarts: 179
Current batch, end-nodes: 25 / 124 (124)
#axs: 3969, #non-axs: 141
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:  1073547262 (302080:>=*);
#decisions: 3072;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3969, #non-axs: 141
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:  1073548286 (301056:>=*);
#decisions: 3052;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3969, #non-axs: 141
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:  1073549310 (300032:>=*);
#decisions: 3037;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3969, #non-axs: 141
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:  1073550334 (299008:>=*);
#decisions: 31880;  #end-nodes: 10024;
#proof improvement attempts: 0;  #restarts: 105
Current batch, end-nodes: 4 / 110 (106)
#axs: 3970, #non-axs: 262
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:  1073551358 (297984:>=*);
#decisions: 3208;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3970, #non-axs: 262
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:  1073552382 (296960:>=*);
#decisions: 3218;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 3970, #non-axs: 262
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:  1073553406 (295936:>=*);
#decisions: 51562;  #end-nodes: 14538;
#proof improvement attempts: 0;  #restarts: 143
Current batch, end-nodes: 72 / 119 (115)
#axs: 3973, #non-axs: 798
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:  1073554430 (294912:>=*);
#decisions: 73627;  #end-nodes: 21398;
#proof improvement attempts: 0;  #restarts: 196
Current batch, end-nodes: 102 / 140 (129)
#axs: 3979, #non-axs: 1376
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:  1073555454 (293888:>=*);
#decisions: 3500;  #end-nodes: 3;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 3979, #non-axs: 1376
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:  1073556478 (292864:>=*);
#decisions: 36292;  #end-nodes: 9417;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 105 (103)
#axs: 3981, #non-axs: 1878
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:) 1073556478 (292864:>=*)

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: 58)
Time taken: 5 min, 13 sec

2:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 47)
#decisions: 16955;  #end-nodes: 2968;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 122 / 180 (125)
#axs: 3968, #non-axs: 2899
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:  20479 (87040:>=*);
#decisions: 124059;  #end-nodes: 31240;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 196 (167)
#axs: 3982, #non-axs: 4745
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:) 20479 (87040:>=*)

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: 61)
Time taken: 4 min, 39 sec

3:
seed: 0
Nr of vars set: 30  (#equs: 0)
Nr of vars set: 30  (#equs: 44)
#decisions: 145786;  #end-nodes: 38046;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 222 (207)
#axs: 3979, #non-axs: 9347
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
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 30  (#equs: 58)
Time taken: 5 min, 35 sec

4:

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: 45)
#decisions: 37587;  #end-nodes: 8381;
#proof improvement attempts: 8315;  #restarts: 36
Current batch, end-nodes: 93 / 209 (209)
#axs: 3969, #non-axs: 12882
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  21503 (86016:>=*);
#decisions: 9286;  #end-nodes: 19;
#proof improvement attempts: 19;  #restarts: 0
Current batch, end-nodes: 19 / 200 (200)
#axs: 3969, #non-axs: 12884
tight: meta-meta: start: 5, end: 7;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  22527 (84992:>=*);
Interupt request received.
#decisions: 21113;  #end-nodes: 5017;
#proof improvement attempts: 4978;  #restarts: 21
Current batch, end-nodes: 68 / 205 (205)
#axs: 3969, #non-axs: 13989
tight: meta-meta: start: 5, end: 7;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 22527 (84992:>=*)

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: 5715  (#equs: 48)
Time taken: 4 min, 36 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 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19675497 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 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/wulflinc5/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.94 1.03 0.99 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1565 0 0 0 884 41 0 0 25 0 1 0 19675506 8245248 1469 4294967295 134512640 134702520 3221223952 3221223088 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 2013 1469 413 48 0 1965 0
[pid=4851] vsize: 8052
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (Kb) 10180

[startup+20.0043 s]
Raw data (loadavg): 0.95 1.02 0.99 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1594 0 0 0 1864 48 0 0 25 0 1 0 19675506 15265792 1498 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3727 1498 413 48 0 3679 0
[pid=4851] vsize: 14908
Current children cumulated CPU time (s) 19.13
Current children cumulated vsize (Kb) 17036

[startup+30.004 s]
Raw data (loadavg): 0.95 1.02 0.99 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1606 0 0 0 2522 160 0 0 16 0 1 0 19675506 15298560 1507 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3735 1507 413 48 0 3687 0
[pid=4851] vsize: 14940
Current children cumulated CPU time (s) 26.83
Current children cumulated vsize (Kb) 17068

[startup+40.0058 s]
Raw data (loadavg): 0.96 1.02 0.99 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1612 0 0 0 3327 224 0 0 25 0 1 0 19675506 15462400 1511 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3775 1511 413 48 0 3727 0
[pid=4851] vsize: 15100
Current children cumulated CPU time (s) 35.52
Current children cumulated vsize (Kb) 17228

[startup+50.0065 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1612 0 0 0 4315 230 0 0 25 0 1 0 19675506 15462400 1511 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3775 1511 413 48 0 3727 0
[pid=4851] vsize: 15100
Current children cumulated CPU time (s) 45.46
Current children cumulated vsize (Kb) 17228

[startup+60.0082 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1634 0 0 0 5116 296 0 0 25 0 1 0 19675506 15470592 1531 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3777 1531 413 48 0 3729 0
[pid=4851] vsize: 15108
Current children cumulated CPU time (s) 54.13
Current children cumulated vsize (Kb) 17236

[startup+70.009 s]
Raw data (loadavg): 0.97 1.02 0.99 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1708 0 0 0 5832 387 0 0 22 0 1 0 19675506 15474688 1605 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3778 1605 413 48 0 3730 0
[pid=4851] vsize: 15112
Current children cumulated CPU time (s) 62.2
Current children cumulated vsize (Kb) 17240

[startup+80.0097 s]
Raw data (loadavg): 0.98 1.02 0.99 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1708 0 0 0 6603 462 0 0 25 0 1 0 19675506 15474688 1605 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3778 1605 413 48 0 3730 0
[pid=4851] vsize: 15112
Current children cumulated CPU time (s) 70.66
Current children cumulated vsize (Kb) 17240

[startup+90.0105 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1715 0 0 0 7329 554 0 0 19 0 1 0 19675506 15474688 1612 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3778 1612 413 48 0 3730 0
[pid=4851] vsize: 15112
Current children cumulated CPU time (s) 78.84
Current children cumulated vsize (Kb) 17240

[startup+100.011 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1721 0 0 0 8212 594 0 0 25 0 1 0 19675506 15683584 1618 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3829 1618 413 48 0 3781 0
[pid=4851] vsize: 15316
Current children cumulated CPU time (s) 88.07
Current children cumulated vsize (Kb) 17444

[startup+110.013 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1721 0 0 0 9195 600 0 0 25 0 1 0 19675506 15601664 1618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1618 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 97.96
Current children cumulated vsize (Kb) 17364

[startup+120.014 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1722 0 0 0 10011 659 0 0 23 0 1 0 19675506 15601664 1619 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1619 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 106.71
Current children cumulated vsize (Kb) 17364

[startup+130.013 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1725 0 0 0 10800 722 0 0 19 0 1 0 19675506 15601664 1622 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1622 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 115.23
Current children cumulated vsize (Kb) 17364

[startup+140.014 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1727 0 0 0 11625 781 0 0 21 0 1 0 19675506 15601664 1624 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1624 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 124.07
Current children cumulated vsize (Kb) 17364

[startup+150.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1727 0 0 0 12553 801 0 0 25 0 1 0 19675506 15601664 1624 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1624 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 133.55
Current children cumulated vsize (Kb) 17364

[startup+160.016 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1735 0 0 0 13502 821 0 0 20 0 1 0 19675506 15601664 1632 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1632 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 143.24
Current children cumulated vsize (Kb) 17364

[startup+170.016 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1737 0 0 0 14293 887 0 0 24 0 1 0 19675506 15601664 1634 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3809 1634 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 151.81
Current children cumulated vsize (Kb) 17364

[startup+180.017 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1739 0 0 0 15131 942 0 0 18 0 1 0 19675506 15601664 1636 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3809 1636 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (Kb) 17364

[startup+190.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1742 0 0 0 15968 995 0 0 24 0 1 0 19675506 15601664 1639 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1639 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 17364

[startup+200.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1743 0 0 0 16788 1054 0 0 24 0 1 0 19675506 15601664 1640 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3809 1640 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 178.43
Current children cumulated vsize (Kb) 17364

[startup+210.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1766 0 0 0 17668 1095 0 0 25 0 1 0 19675506 15769600 1663 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3850 1663 413 48 0 3802 0
[pid=4851] vsize: 15400
Current children cumulated CPU time (s) 187.64
Current children cumulated vsize (Kb) 17528

[startup+220.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1766 0 0 0 18657 1099 0 0 25 0 1 0 19675506 15769600 1663 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3850 1663 413 48 0 3802 0
[pid=4851] vsize: 15400
Current children cumulated CPU time (s) 197.57
Current children cumulated vsize (Kb) 17528

[startup+230.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1767 0 0 0 19557 1135 0 0 25 0 1 0 19675506 15605760 1662 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1662 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 206.93
Current children cumulated vsize (Kb) 17368

[startup+240.021 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1768 0 0 0 20408 1184 0 0 18 0 1 0 19675506 15605760 1662 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1662 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 215.93
Current children cumulated vsize (Kb) 17368

[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1773 0 0 0 21242 1239 0 0 25 0 1 0 19675506 15605760 1665 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1665 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 224.82
Current children cumulated vsize (Kb) 17368

[startup+260.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1778 0 0 0 22123 1278 0 0 25 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 234.02
Current children cumulated vsize (Kb) 17368

[startup+270.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1779 0 0 0 23037 1306 0 0 25 0 1 0 19675506 15769600 1670 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3850 1670 413 48 0 3802 0
[pid=4851] vsize: 15400
Current children cumulated CPU time (s) 243.44
Current children cumulated vsize (Kb) 17528

[startup+280.024 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1779 0 0 0 23991 1322 0 0 23 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 253.14
Current children cumulated vsize (Kb) 17368

[startup+290.026 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1780 0 0 0 24853 1367 0 0 25 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 262.21
Current children cumulated vsize (Kb) 17368

[startup+300.027 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1781 0 0 0 25746 1402 0 0 25 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 271.49
Current children cumulated vsize (Kb) 17368

[startup+310.028 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1784 0 0 0 26641 1437 0 0 25 0 1 0 19675506 15605760 1671 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1671 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 280.79
Current children cumulated vsize (Kb) 17368

[startup+320.028 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1790 0 0 0 27499 1482 0 0 18 0 1 0 19675506 15605760 1676 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1676 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 289.82
Current children cumulated vsize (Kb) 17368

[startup+330.029 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1796 0 0 0 28396 1513 0 0 18 0 1 0 19675506 15605760 1681 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1681 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 299.1
Current children cumulated vsize (Kb) 17368

[startup+340.03 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 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 4060 0 -1 0 1799 0 0 0 29349 1530 0 0 25 0 1 0 19675506 15773696 1684 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3851 1684 413 48 0 3803 0
[pid=4851] vsize: 15404
Current children cumulated CPU time (s) 308.8
Current children cumulated vsize (Kb) 17532
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=4858
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=4858) exited with status: 0
New process pid=4859
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+350.03 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1478 0 0 0 330 36 0 0 25 0 1 0 19710081 8392704 1449 4294967295 134512640 134702520 3221223712 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2049 1449 413 48 0 2001 0
[pid=4859] vsize: 8196
Current children cumulated CPU time (s) 318.13
Current children cumulated vsize (Kb) 10324

[startup+360.031 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1481 0 0 0 1300 45 0 0 25 0 1 0 19710081 8392704 1452 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2049 1452 413 48 0 2001 0
[pid=4859] vsize: 8196
Current children cumulated CPU time (s) 327.92
Current children cumulated vsize (Kb) 10324

[startup+370.032 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1551 0 0 0 2269 56 0 0 25 0 1 0 19710081 15421440 1522 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3765 1522 413 48 0 3717 0
[pid=4859] vsize: 15060
Current children cumulated CPU time (s) 337.72
Current children cumulated vsize (Kb) 17188

[startup+380.033 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1596 0 0 0 3159 91 0 0 25 0 1 0 19710081 15429632 1566 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3767 1566 413 48 0 3719 0
[pid=4859] vsize: 15068
Current children cumulated CPU time (s) 346.97
Current children cumulated vsize (Kb) 17196

[startup+390.034 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1651 0 0 0 4101 112 0 0 25 0 1 0 19710081 15433728 1621 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3768 1621 413 48 0 3720 0
[pid=4859] vsize: 15072
Current children cumulated CPU time (s) 356.6
Current children cumulated vsize (Kb) 17200

[startup+400.034 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1666 0 0 0 5001 143 0 0 25 0 1 0 19710081 15556608 1635 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3798 1635 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 365.91
Current children cumulated vsize (Kb) 17320

[startup+410.035 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1673 0 0 0 5878 183 0 0 25 0 1 0 19710081 15556608 1641 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3798 1641 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 375.08
Current children cumulated vsize (Kb) 17320

[startup+420.036 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1683 0 0 0 6857 191 0 0 25 0 1 0 19710081 15556608 1651 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3798 1651 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 384.95
Current children cumulated vsize (Kb) 17320

[startup+430.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1687 0 0 0 7750 224 0 0 25 0 1 0 19710081 15556608 1654 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3798 1654 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 394.21
Current children cumulated vsize (Kb) 17320

[startup+440.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1697 0 0 0 8653 256 0 0 25 0 1 0 19710081 15728640 1664 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1664 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 403.56
Current children cumulated vsize (Kb) 17488

[startup+450.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1714 0 0 0 9621 267 0 0 25 0 1 0 19710081 15728640 1681 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1681 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 413.35
Current children cumulated vsize (Kb) 17488

[startup+460.04 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1722 0 0 0 10519 300 0 0 25 0 1 0 19710081 15728640 1689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1689 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 422.66
Current children cumulated vsize (Kb) 17488

[startup+470.04 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1732 0 0 0 11495 308 0 0 25 0 1 0 19710081 15728640 1699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1699 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 432.5
Current children cumulated vsize (Kb) 17488

[startup+480.041 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1743 0 0 0 12394 338 0 0 25 0 1 0 19710081 15728640 1710 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1710 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 441.79
Current children cumulated vsize (Kb) 17488

[startup+490.043 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1743 0 0 0 13354 352 0 0 25 0 1 0 19710081 15728640 1710 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1710 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 451.53
Current children cumulated vsize (Kb) 17488

[startup+500.044 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1744 0 0 0 14331 359 0 0 25 0 1 0 19710081 15728640 1711 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1711 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 461.37
Current children cumulated vsize (Kb) 17488

[startup+510.044 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1746 0 0 0 15291 371 0 0 20 0 1 0 19710081 15728640 1713 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1713 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 471.09
Current children cumulated vsize (Kb) 17488

[startup+520.045 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1747 0 0 0 16216 396 0 0 25 0 1 0 19710081 15728640 1714 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1714 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 480.59
Current children cumulated vsize (Kb) 17488

[startup+530.045 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1751 0 0 0 17177 409 0 0 22 0 1 0 19710081 15728640 1718 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1718 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 490.33
Current children cumulated vsize (Kb) 17488

[startup+540.047 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1751 0 0 0 18094 435 0 0 25 0 1 0 19710081 15728640 1718 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1718 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 499.76
Current children cumulated vsize (Kb) 17488

[startup+550.047 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1751 0 0 0 19075 442 0 0 25 0 1 0 19710081 15728640 1718 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1718 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 509.64
Current children cumulated vsize (Kb) 17488

[startup+560.048 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1754 0 0 0 19983 474 0 0 25 0 1 0 19710081 15728640 1720 4294967295 134512640 134702520 3221223712 3221222992 134557525 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1720 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 519.04
Current children cumulated vsize (Kb) 17488

[startup+570.049 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1757 0 0 0 20959 482 0 0 25 0 1 0 19710081 15728640 1723 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1723 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 528.88
Current children cumulated vsize (Kb) 17488

[startup+580.049 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1760 0 0 0 21868 510 0 0 25 0 1 0 19710081 15728640 1725 4294967295 134512640 134702520 3221223712 3221222972 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1725 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 538.25
Current children cumulated vsize (Kb) 17488

[startup+590.05 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1772 0 0 0 22846 517 0 0 25 0 1 0 19710081 15728640 1737 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1737 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 548.1
Current children cumulated vsize (Kb) 17488

[startup+600.051 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1777 0 0 0 23748 550 0 0 25 0 1 0 19710081 15728640 1741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1741 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 557.45
Current children cumulated vsize (Kb) 17488

[startup+610.053 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1784 0 0 0 24729 557 0 0 25 0 1 0 19710081 15728640 1748 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1748 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 567.33
Current children cumulated vsize (Kb) 17488

[startup+620.053 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1794 0 0 0 25703 566 0 0 25 0 1 0 19710081 15728640 1758 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1758 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 577.16
Current children cumulated vsize (Kb) 17488

[startup+630.053 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1803 0 0 0 26604 598 0 0 25 0 1 0 19710081 15896576 1767 4294967295 134512640 134702520 3221223712 3221222608 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3881 1767 413 48 0 3833 0
[pid=4859] vsize: 15524
Current children cumulated CPU time (s) 586.49
Current children cumulated vsize (Kb) 17652
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=4859) exited with status: 2
New process pid=4862
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=4862) exited with status: 0
New process pid=4863
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+640.055 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1193 0 0 0 107 7 0 0 25 0 1 0 19739392 7475200 1166 4294967295 134512640 134702520 3221223712 3221223312 134633336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 1825 1166 413 48 0 1777 0
[pid=4863] vsize: 7300
Current children cumulated CPU time (s) 596.18
Current children cumulated vsize (Kb) 9428

[startup+650.056 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1515 0 0 0 1013 41 0 0 25 0 1 0 19739392 8450048 1487 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 2063 1487 413 48 0 2015 0
[pid=4863] vsize: 8252
Current children cumulated CPU time (s) 605.58
Current children cumulated vsize (Kb) 10380

[startup+660.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1557 0 0 0 1981 51 0 0 25 0 1 0 19739392 15740928 1529 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3843 1529 413 48 0 3795 0
[pid=4863] vsize: 15372
Current children cumulated CPU time (s) 615.36
Current children cumulated vsize (Kb) 17500

[startup+670.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1587 0 0 0 2963 58 0 0 25 0 1 0 19739392 15740928 1559 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3843 1559 413 48 0 3795 0
[pid=4863] vsize: 15372
Current children cumulated CPU time (s) 625.25
Current children cumulated vsize (Kb) 17500

[startup+680.058 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1614 0 0 0 3922 73 0 0 21 0 1 0 19739392 15962112 1586 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3897 1586 413 48 0 3849 0
[pid=4863] vsize: 15588
Current children cumulated CPU time (s) 634.99
Current children cumulated vsize (Kb) 17716

[startup+690.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1630 0 0 0 4846 96 0 0 25 0 1 0 19739392 15876096 1601 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3876 1601 413 48 0 3828 0
[pid=4863] vsize: 15504
Current children cumulated CPU time (s) 644.46
Current children cumulated vsize (Kb) 17632

[startup+700.059 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1643 0 0 0 5829 102 0 0 25 0 1 0 19739392 15876096 1614 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3876 1614 413 48 0 3828 0
[pid=4863] vsize: 15504
Current children cumulated CPU time (s) 654.35
Current children cumulated vsize (Kb) 17632

[startup+710.06 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1656 0 0 0 6737 132 0 0 25 0 1 0 19739392 16011264 1627 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3909 1627 413 48 0 3861 0
[pid=4863] vsize: 15636
Current children cumulated CPU time (s) 663.73
Current children cumulated vsize (Kb) 17764

[startup+720.061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1709 0 0 0 7707 141 0 0 25 0 1 0 19739392 16011264 1680 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3909 1680 413 48 0 3861 0
[pid=4863] vsize: 15636
Current children cumulated CPU time (s) 673.52
Current children cumulated vsize (Kb) 17764

[startup+730.061 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1729 0 0 0 8662 158 0 0 16 0 1 0 19739392 16011264 1700 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3909 1700 413 48 0 3861 0
[pid=4863] vsize: 15636
Current children cumulated CPU time (s) 683.24
Current children cumulated vsize (Kb) 17764

[startup+740.063 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1740 0 0 0 9595 180 0 0 25 0 1 0 19739392 16093184 1711 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1711 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 692.79
Current children cumulated vsize (Kb) 17844

[startup+750.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1755 0 0 0 10569 188 0 0 25 0 1 0 19739392 16093184 1726 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1726 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 702.61
Current children cumulated vsize (Kb) 17844

[startup+760.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1759 0 0 0 11478 216 0 0 25 0 1 0 19739392 16093184 1729 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3929 1729 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 711.98
Current children cumulated vsize (Kb) 17844

[startup+770.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1772 0 0 0 12458 223 0 0 25 0 1 0 19739392 16093184 1742 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3929 1742 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 721.85
Current children cumulated vsize (Kb) 17844

[startup+780.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1780 0 0 0 13368 254 0 0 25 0 1 0 19739392 16093184 1749 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1749 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 731.26
Current children cumulated vsize (Kb) 17844

[startup+790.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1786 0 0 0 14353 259 0 0 25 0 1 0 19739392 16093184 1755 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1755 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 741.16
Current children cumulated vsize (Kb) 17844

[startup+800.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1800 0 0 0 15335 266 0 0 25 0 1 0 19739392 16093184 1769 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1769 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 751.05
Current children cumulated vsize (Kb) 17844

[startup+810.069 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1815 0 0 0 16238 295 0 0 25 0 1 0 19739392 16257024 1784 4294967295 134512640 134702520 3221223712 3221222608 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3969 1784 413 48 0 3921 0
[pid=4863] vsize: 15876
Current children cumulated CPU time (s) 760.37
Current children cumulated vsize (Kb) 18004

[startup+820.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1815 0 0 0 17207 307 0 0 25 0 1 0 19739392 16257024 1784 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3969 1784 413 48 0 3921 0
[pid=4863] vsize: 15876
Current children cumulated CPU time (s) 770.18
Current children cumulated vsize (Kb) 18004

[startup+830.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1815 0 0 0 18187 314 0 0 25 0 1 0 19739392 16093184 1783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3929 1783 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 780.05
Current children cumulated vsize (Kb) 17844

[startup+840.071 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1817 0 0 0 19157 323 0 0 25 0 1 0 19739392 16093184 1785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1785 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 789.84
Current children cumulated vsize (Kb) 17844

[startup+850.158 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1818 0 0 0 20068 353 0 0 20 0 1 0 19739392 16093184 1785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1785 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 799.25
Current children cumulated vsize (Kb) 17844

[startup+860.159 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1819 0 0 0 21044 362 0 0 25 0 1 0 19739392 16093184 1786 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1786 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 809.1
Current children cumulated vsize (Kb) 17844

[startup+870.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1834 0 0 0 22015 370 0 0 25 0 1 0 19739392 16093184 1801 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1801 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 818.89
Current children cumulated vsize (Kb) 17844

[startup+880.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1835 0 0 0 22922 399 0 0 25 0 1 0 19739392 16097280 1801 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3930 1801 413 48 0 3882 0
[pid=4863] vsize: 15720
Current children cumulated CPU time (s) 828.25
Current children cumulated vsize (Kb) 17848

[startup+890.161 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1835 0 0 0 23899 405 0 0 25 0 1 0 19739392 16097280 1801 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3930 1801 413 48 0 3882 0
[pid=4863] vsize: 15720
Current children cumulated CPU time (s) 838.08
Current children cumulated vsize (Kb) 17848

[startup+900.162 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1851 0 0 0 24804 434 0 0 25 0 1 0 19739392 16285696 1817 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3976 1817 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 847.42
Current children cumulated vsize (Kb) 18032

[startup+910.164 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1870 0 0 0 25785 440 0 0 25 0 1 0 19739392 16285696 1836 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3976 1836 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 857.29
Current children cumulated vsize (Kb) 18032

[startup+920.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1911 0 0 0 26762 448 0 0 25 0 1 0 19739392 16285696 1877 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3976 1877 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 867.14
Current children cumulated vsize (Kb) 18032

[startup+930.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1925 0 0 0 27646 486 0 0 25 0 1 0 19739392 16285696 1891 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3976 1891 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 876.36
Current children cumulated vsize (Kb) 18032

[startup+940.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1963 0 0 0 28629 493 0 0 25 0 1 0 19739392 17240064 1929 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 4209 1929 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 886.26
Current children cumulated vsize (Kb) 18964

[startup+950.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1988 0 0 0 29531 523 0 0 25 0 1 0 19739392 17240064 1953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 4209 1953 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 895.58
Current children cumulated vsize (Kb) 18964

[startup+960.167 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 2007 0 0 0 30479 542 0 0 25 0 1 0 19739392 17240064 1972 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 4209 1972 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 905.25
Current children cumulated vsize (Kb) 18964

[startup+970.168 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 2037 0 0 0 31450 551 0 0 25 0 1 0 19739392 17240064 2002 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4863/statm): 4209 2002 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 915.05
Current children cumulated vsize (Kb) 18964

[startup+980.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 2046 0 0 0 32352 583 0 0 25 0 1 0 19739392 17403904 2011 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 4249 2011 413 48 0 4201 0
[pid=4863] vsize: 16996
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (Kb) 19124
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=4863) exited with status: 2
New process pid=4864
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=4864) exited with status: 0
New process pid=4865
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+990.169 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1537 0 0 0 247 24 0 0 17 0 1 0 19774217 8617984 1509 4294967295 134512640 134702520 3221223040 3221222536 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2104 1509 413 48 0 2056 0
[pid=4865] vsize: 8416
Current children cumulated CPU time (s) 933.81
Current children cumulated vsize (Kb) 10544

[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1566 0 0 0 1182 48 0 0 25 0 1 0 19774217 8810496 1538 4294967295 134512640 134702520 3221223040 3221222176 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 2151 1538 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 943.4
Current children cumulated vsize (Kb) 10732

[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1567 0 0 0 2136 64 0 0 25 0 1 0 19774217 8810496 1539 4294967295 134512640 134702520 3221223040 3221222176 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1539 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 953.1
Current children cumulated vsize (Kb) 10732

[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1568 0 0 0 3095 77 0 0 25 0 1 0 19774217 8810496 1540 4294967295 134512640 134702520 3221223040 3221222176 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1540 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 962.82
Current children cumulated vsize (Kb) 10732

[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1568 0 0 0 4051 91 0 0 25 0 1 0 19774217 8810496 1540 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1540 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 972.52
Current children cumulated vsize (Kb) 10732

[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1569 0 0 0 5006 106 0 0 25 0 1 0 19774217 8810496 1541 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1541 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 982.22
Current children cumulated vsize (Kb) 10732

[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 5962 121 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 991.93
Current children cumulated vsize (Kb) 10732

[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 6916 136 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (Kb) 10732

[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 7875 150 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1011.35
Current children cumulated vsize (Kb) 10732

[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1570 0 0 0 8828 167 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1021.05
Current children cumulated vsize (Kb) 10732

[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 9778 185 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1030.73
Current children cumulated vsize (Kb) 10732

[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1621 0 0 0 10758 191 0 0 25 0 1 0 19774217 16683008 1593 4294967295 134512640 134702520 3221223040 3221222320 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4073 1593 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1040.59
Current children cumulated vsize (Kb) 18420

[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1636 0 0 0 11746 196 0 0 25 0 1 0 19774217 16683008 1608 4294967295 134512640 134702520 3221223040 3221222288 134568655 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4073 1608 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1050.52
Current children cumulated vsize (Kb) 18420

[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1660 0 0 0 12733 199 0 0 25 0 1 0 19774217 16683008 1632 4294967295 134512640 134702520 3221223040 3221222288 134564962 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 4073 1632 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1060.42
Current children cumulated vsize (Kb) 18420

[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1676 0 0 0 13720 203 0 0 25 0 1 0 19774217 16683008 1648 4294967295 134512640 134702520 3221223040 3221222320 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 4073 1648 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1070.33
Current children cumulated vsize (Kb) 18420

[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1708 0 0 0 14634 231 0 0 21 0 1 0 19774217 16920576 1680 4294967295 134512640 134702520 3221223040 3221221936 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1680 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1079.75
Current children cumulated vsize (Kb) 18652

[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1722 0 0 0 15619 237 0 0 25 0 1 0 19774217 16920576 1694 4294967295 134512640 134702520 3221223040 3221222320 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1694 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1089.66
Current children cumulated vsize (Kb) 18652

[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1726 0 0 0 16608 242 0 0 25 0 1 0 19774217 16920576 1698 4294967295 134512640 134702520 3221223040 3221222320 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1698 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1099.6
Current children cumulated vsize (Kb) 18652

[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1765 0 0 0 17571 255 0 0 25 0 1 0 19774217 16920576 1737 4294967295 134512640 134702520 3221223040 3221222320 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1737 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1109.36
Current children cumulated vsize (Kb) 18652

[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1776 0 0 0 18558 260 0 0 25 0 1 0 19774217 16920576 1748 4294967295 134512640 134702520 3221223040 3221222320 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1748 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1119.28
Current children cumulated vsize (Kb) 18652

[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1783 0 0 0 19548 263 0 0 25 0 1 0 19774217 16920576 1755 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1755 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1129.21
Current children cumulated vsize (Kb) 18652

[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1793 0 0 0 20459 293 0 0 25 0 1 0 19774217 17010688 1765 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4153 1765 413 48 0 4105 0
[pid=4865] vsize: 16612
Current children cumulated CPU time (s) 1138.62
Current children cumulated vsize (Kb) 18740

[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1832 0 0 0 21392 316 0 0 24 0 1 0 19774217 17014784 1804 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4154 1804 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1148.18
Current children cumulated vsize (Kb) 18744

[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1836 0 0 0 22378 321 0 0 25 0 1 0 19774217 17014784 1808 4294967295 134512640 134702520 3221223040 3221222320 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 4154 1808 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1158.09
Current children cumulated vsize (Kb) 18744

[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1843 0 0 0 23360 328 0 0 25 0 1 0 19774217 17014784 1815 4294967295 134512640 134702520 3221223040 3221222320 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4154 1815 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1167.98
Current children cumulated vsize (Kb) 18744

[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1865 0 0 0 24339 335 0 0 25 0 1 0 19774217 17014784 1837 4294967295 134512640 134702520 3221223040 3221222320 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4154 1837 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1177.84
Current children cumulated vsize (Kb) 18744

[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1876 0 0 0 25247 365 0 0 25 0 1 0 19774217 17137664 1848 4294967295 134512640 134702520 3221223040 3221222320 134552959 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1848 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1187.22
Current children cumulated vsize (Kb) 18864

[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1878 0 0 0 26236 369 0 0 25 0 1 0 19774217 17137664 1850 4294967295 134512640 134702520 3221223040 3221222272 134567393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1850 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1197.15
Current children cumulated vsize (Kb) 18864

[startup+1270.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1880 0 0 0 27227 372 0 0 25 0 1 0 19774217 17137664 1852 4294967295 134512640 134702520 3221223040 3221222320 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1852 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1207.09
Current children cumulated vsize (Kb) 18864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1880 0 0 0 27227 372 0 0 25 0 1 0 19774217 17137664 1852 4294967295 134512640 134702520 3221223040 3221222320 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1852 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1207.09
Current children cumulated vsize (Kb) 18864

Sending SIGTERM to -4848
Sleeping 2 seconds
New process pid=4867
New process pid=4868
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4799/stat
open syscall for file /proc/4799/status
open syscall for file /proc/4799/cmdline
open syscall for file /proc/4799/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/4865/stat
open syscall for file /proc/4865/status
open syscall for file /proc/4865/cmdline
open syscall for file /proc/4865/environ
open syscall for file /proc/4867/stat
open syscall for file /proc/4867/status
open syscall for file /proc/4867/cmdline
open syscall for file /proc/4867/environ
open syscall for file /proc/4868/stat
open syscall for file /proc/4868/status
open syscall for file /proc/4868/cmdline
open syscall for file /proc/4868/environ
One traced child (pid=4867) exited with status: 0
One traced child (pid=4868) exited with status: 0
New process pid=4869
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=4869) exited with status: 0
New process pid=4870
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=4870) 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=4865) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1271.04
CPU time (s): 276.808
CPU user time (s): 272.995
CPU system time (s): 3.81242
CPU usage (%): 21.7781
Max. virtual memory (cumulated for all children) (Kb): 19124

Verifier Data

ERROR: no interpretation found !