Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
MD5SUM0b6e5fd99af8bfe5c5be00124c8da261
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16768
Optimality of the best value was proved NO
Number of terms in the objective function 125
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1062015
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268444670
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.13
Number of variables18711
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 constraint55

Trace number 9491

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        799568 kB
Buffers:         14188 kB
Cached:         201168 kB
SwapCached:          0 kB
Active:         174080 kB
Inactive:        44176 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799316 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11272 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:15:12 (client local time) WITH STATUS 3 IN 168.102 SECONDS
stats: 8194 7 168.102 3

Solver Data

1:
seed: 0
Nr of vars set: 5  (#equs: 0)
Nr of vars set: 20  (#equs: 45)
#decisions: 15192;  #end-nodes: 7706;
#proof improvement attempts: 0;  #restarts: 84
Current batch, end-nodes: 2 / 101 (101)
#axs: 3968, #non-axs: 100
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:  1024510 (37504:>=*);
#decisions: 2417;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1024638 (37376:>=*);
#decisions: 2335;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1024766 (37248:>=*);
#decisions: 2312;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1024894 (37120:>=*);
#decisions: 2343;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1025022 (36992:>=*);
#decisions: 2316;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1025150 (36864:>=*);
#decisions: 2373;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1025278 (36736:>=*);
#decisions: 2325;  #end-nodes: 7;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1025406 (36608:>=*);
#decisions: 2298;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 3968, #non-axs: 101
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:  1025534 (36480:>=*);
#decisions: 64416;  #end-nodes: 17227;
#proof improvement attempts: 0;  #restarts: 165
Current batch, end-nodes: 90 / 121 (121)
#axs: 3974, #non-axs: 631
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:  1025662 (36352:>=*);
#decisions: 190915;  #end-nodes: 53471;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 187 (175)
#axs: 4000, #non-axs: 5212
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:) 1025662 (36352:>=*)

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: 20  (#equs: 77)
Time taken: 6 min, 32 sec

2:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 45)
#decisions: 154919;  #end-nodes: 30586;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 178 (167)
#axs: 3982, #non-axs: 8434
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20  (#equs: 61)
Time taken: 4 min, 40 sec

3:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 45)
#decisions: 149187;  #end-nodes: 38185;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 219 (207)
#axs: 3973, #non-axs: 10904
tight: meta-meta: start: 5, end: 7;  meta: start: 9, end (keep): 17
loose: meta-meta: start: 8, end: 12;  meta: start: 29, end (keep): 48
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: 20  (#equs: 52)
Time taken: 6 min, 1 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: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 45)
Interupt request received.
#decisions: 28376;  #end-nodes: 5453;
#proof improvement attempts: 5403;  #restarts: 24
Current batch, end-nodes: 101 / 218 (206)
#axs: 3967, #non-axs: 12931
tight: meta-meta: start: 5, end: 7;  meta: start: 9, end (keep): 17
loose: meta-meta: start: 8, end: 12;  meta: start: 29, end (keep): 48
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 848  (#equs: 46)
Time taken: 2 min, 47 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/6162/stat): 6162 (vallstSAT2005PB) R 6161 6162 4057 0 -1 0 19 0 0 0 0 0 0 0 20 0 1 0 20701011 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6162/statm): 174 3 169 147 0 27 0
[pid=6162] 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=6163
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=6163) exited with status: 0
New process pid=6164
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=6164) exited with status: 0
New process pid=6165
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0027 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1449 0 0 0 899 35 0 0 25 0 1 0 20701018 7704576 1353 4294967295 134512640 134702520 3221223952 3221223088 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 1881 1353 413 48 0 1833 0
[pid=6165] vsize: 7524
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (Kb) 9652

[startup+20.0035 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1479 0 0 0 1862 46 0 0 17 0 1 0 20701018 14110720 1383 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3445 1383 413 48 0 3397 0
[pid=6165] vsize: 13780
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (Kb) 15908

[startup+30.0043 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1489 0 0 0 2552 153 0 0 21 0 1 0 20701018 14196736 1393 4294967295 134512640 134702520 3221223952 3221223232 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3466 1393 413 48 0 3418 0
[pid=6165] vsize: 13864
Current children cumulated CPU time (s) 27.07
Current children cumulated vsize (Kb) 15992

[startup+40.0051 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1519 0 0 0 3360 216 0 0 17 0 1 0 20701018 14200832 1423 4294967295 134512640 134702520 3221223952 3221223212 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3467 1423 413 48 0 3419 0
[pid=6165] vsize: 13868
Current children cumulated CPU time (s) 35.78
Current children cumulated vsize (Kb) 15996

[startup+50.0069 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1529 0 0 0 4108 299 0 0 22 0 1 0 20701018 14200832 1430 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3467 1430 413 48 0 3419 0
[pid=6165] vsize: 13868
Current children cumulated CPU time (s) 44.09
Current children cumulated vsize (Kb) 15996

[startup+60.0077 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1535 0 0 0 4864 381 0 0 17 0 1 0 20701018 14372864 1434 4294967295 134512640 134702520 3221223952 3221222848 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3509 1434 413 48 0 3461 0
[pid=6165] vsize: 14036
Current children cumulated CPU time (s) 52.47
Current children cumulated vsize (Kb) 16164

[startup+70.0086 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1544 0 0 0 5852 385 0 0 25 0 1 0 20701018 14372864 1443 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3509 1443 413 48 0 3461 0
[pid=6165] vsize: 14036
Current children cumulated CPU time (s) 62.39
Current children cumulated vsize (Kb) 16164

[startup+80.0104 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1547 0 0 0 6750 416 0 0 22 0 1 0 20701018 14221312 1444 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3472 1444 413 48 0 3424 0
[pid=6165] vsize: 13888
Current children cumulated CPU time (s) 71.68
Current children cumulated vsize (Kb) 16016

[startup+90.0112 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1576 0 0 0 7547 479 0 0 22 0 1 0 20701018 14381056 1472 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1472 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 80.28
Current children cumulated vsize (Kb) 16172

[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1602 0 0 0 8357 542 0 0 24 0 1 0 20701018 14381056 1498 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1498 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 89.01
Current children cumulated vsize (Kb) 16172

[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1610 0 0 0 9182 596 0 0 18 0 1 0 20701018 14381056 1506 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1506 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 97.8
Current children cumulated vsize (Kb) 16172

[startup+120.014 s]
Raw data (loadavg): 1.14 1.02 1.01 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1616 0 0 0 10005 659 0 0 23 0 1 0 20701018 14381056 1512 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1512 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 106.66
Current children cumulated vsize (Kb) 16172

[startup+130.014 s]
Raw data (loadavg): 1.12 1.02 1.00 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1623 0 0 0 10868 701 0 0 17 0 1 0 20701018 14381056 1519 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1519 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 115.71
Current children cumulated vsize (Kb) 16172

[startup+140.015 s]
Raw data (loadavg): 1.10 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1623 0 0 0 11800 726 0 0 25 0 1 0 20701018 14381056 1519 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1519 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 125.28
Current children cumulated vsize (Kb) 16172

[startup+150.017 s]
Raw data (loadavg): 1.08 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1623 0 0 0 12753 738 0 0 25 0 1 0 20701018 14381056 1519 4294967295 134512640 134702520 3221223952 3221223232 134553512 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1519 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 134.93
Current children cumulated vsize (Kb) 16172

[startup+160.018 s]
Raw data (loadavg): 1.07 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1625 0 0 0 13594 792 0 0 16 0 1 0 20701018 14381056 1521 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1521 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 143.88
Current children cumulated vsize (Kb) 16172

[startup+170.019 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1629 0 0 0 14491 826 0 0 25 0 1 0 20701018 14381056 1525 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1525 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 153.19
Current children cumulated vsize (Kb) 16172

[startup+180.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1634 0 0 0 15387 861 0 0 25 0 1 0 20701018 14381056 1530 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1530 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (Kb) 16172

[startup+190.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1647 0 0 0 16272 901 0 0 25 0 1 0 20701018 14479360 1543 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1543 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 171.75
Current children cumulated vsize (Kb) 16268

[startup+200.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 17186 927 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221222848 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 181.15
Current children cumulated vsize (Kb) 16268

[startup+210.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 18168 934 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 191.04
Current children cumulated vsize (Kb) 16268

[startup+220.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 19073 965 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 200.4
Current children cumulated vsize (Kb) 16268

[startup+230.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 19941 1008 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 209.51
Current children cumulated vsize (Kb) 16268

[startup+240.025 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1652 0 0 0 20847 1037 0 0 24 0 1 0 20701018 14479360 1548 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1548 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 218.86
Current children cumulated vsize (Kb) 16268

[startup+250.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1661 0 0 0 21805 1052 0 0 25 0 1 0 20701018 14479360 1557 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1557 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 228.59
Current children cumulated vsize (Kb) 16268

[startup+260.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1663 0 0 0 22711 1082 0 0 22 0 1 0 20701018 14479360 1559 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1559 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 237.95
Current children cumulated vsize (Kb) 16268

[startup+270.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1676 0 0 0 23616 1116 0 0 25 0 1 0 20701018 14479360 1571 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1571 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 247.34
Current children cumulated vsize (Kb) 16268

[startup+280.029 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1683 0 0 0 24533 1144 0 0 16 0 1 0 20701018 14479360 1578 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1578 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 256.79
Current children cumulated vsize (Kb) 16268

[startup+290.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1684 0 0 0 25501 1155 0 0 25 0 1 0 20701018 14630912 1579 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3572 1579 413 48 0 3524 0
[pid=6165] vsize: 14288
Current children cumulated CPU time (s) 266.58
Current children cumulated vsize (Kb) 16416

[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1684 0 0 0 26481 1161 0 0 20 0 1 0 20701018 14479360 1578 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1578 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 276.44
Current children cumulated vsize (Kb) 16268

[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1685 0 0 0 27453 1169 0 0 25 0 1 0 20701018 14479360 1579 4294967295 134512640 134702520 3221223952 3221222976 134552426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1579 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 286.24
Current children cumulated vsize (Kb) 16268

[startup+320.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1687 0 0 0 28360 1198 0 0 25 0 1 0 20701018 14479360 1580 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1580 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 295.6
Current children cumulated vsize (Kb) 16268

[startup+330.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1689 0 0 0 29253 1232 0 0 25 0 1 0 20701018 14479360 1581 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1581 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 304.87
Current children cumulated vsize (Kb) 16268

[startup+340.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1730 0 0 0 30214 1246 0 0 25 0 1 0 20701018 14479360 1622 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1622 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 314.62
Current children cumulated vsize (Kb) 16268

[startup+350.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1760 0 0 0 31121 1278 0 0 25 0 1 0 20701018 14479360 1651 4294967295 134512640 134702520 3221223952 3221223172 134549007 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1651 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 324.01
Current children cumulated vsize (Kb) 16268

[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1782 0 0 0 32101 1284 0 0 25 0 1 0 20701018 14479360 1673 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1673 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 333.87
Current children cumulated vsize (Kb) 16268

[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1815 0 0 0 33012 1312 0 0 25 0 1 0 20701018 14651392 1706 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3577 1706 413 48 0 3529 0
[pid=6165] vsize: 14308
Current children cumulated CPU time (s) 343.26
Current children cumulated vsize (Kb) 16436

[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1857 0 0 0 33979 1323 0 0 17 0 1 0 20701018 15482880 1748 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3780 1748 413 48 0 3732 0
[pid=6165] vsize: 15120
Current children cumulated CPU time (s) 353.04
Current children cumulated vsize (Kb) 17248

[startup+390.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1868 0 0 0 34894 1351 0 0 25 0 1 0 20701018 15482880 1759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3780 1759 413 48 0 3732 0
[pid=6165] vsize: 15120
Current children cumulated CPU time (s) 362.47
Current children cumulated vsize (Kb) 17248

[startup+400.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1906 0 0 0 35853 1365 0 0 25 0 1 0 20701018 15482880 1797 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3780 1797 413 48 0 3732 0
[pid=6165] vsize: 15120
Current children cumulated CPU time (s) 372.2
Current children cumulated vsize (Kb) 17248

[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6222
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1926 0 0 0 36761 1395 0 0 25 0 1 0 20701018 15634432 1817 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3817 1817 413 48 0 3769 0
[pid=6165] vsize: 15268
Current children cumulated CPU time (s) 381.58
Current children cumulated vsize (Kb) 17396

[startup+420.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6224
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1930 0 0 0 37745 1402 0 0 25 0 1 0 20701018 15634432 1821 4294967295 134512640 134702520 3221223952 3221222848 134553301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3817 1821 413 48 0 3769 0
[pid=6165] vsize: 15268
Current children cumulated CPU time (s) 391.49
Current children cumulated vsize (Kb) 17396
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=6165) exited with status: 2
New process pid=6225
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=6225) exited with status: 0
New process pid=6226
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+430.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1416 0 0 0 757 36 0 0 25 0 1 0 20743167 8073216 1387 4294967295 134512640 134702520 3221223712 3221222848 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 1971 1387 413 48 0 1923 0
[pid=6226] vsize: 7884
Current children cumulated CPU time (s) 400.83
Current children cumulated vsize (Kb) 10012

[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1439 0 0 0 1720 48 0 0 25 0 1 0 20743167 14913536 1410 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3641 1410 413 48 0 3593 0
[pid=6226] vsize: 14564
Current children cumulated CPU time (s) 410.58
Current children cumulated vsize (Kb) 16692

[startup+450.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1510 0 0 0 2682 62 0 0 25 0 1 0 20743167 14913536 1481 4294967295 134512640 134702520 3221223712 3221222992 134557261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3641 1481 413 48 0 3593 0
[pid=6226] vsize: 14564
Current children cumulated CPU time (s) 420.34
Current children cumulated vsize (Kb) 16692

[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1535 0 0 0 3568 95 0 0 25 0 1 0 20743167 15081472 1506 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1506 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 429.53
Current children cumulated vsize (Kb) 16856

[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1555 0 0 0 4531 107 0 0 25 0 1 0 20743167 15081472 1526 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1526 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 439.28
Current children cumulated vsize (Kb) 16856

[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1573 0 0 0 5437 138 0 0 25 0 1 0 20743167 15081472 1544 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1544 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 448.65
Current children cumulated vsize (Kb) 16856

[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1587 0 0 0 6343 172 0 0 25 0 1 0 20743167 15081472 1557 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1557 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 458.05
Current children cumulated vsize (Kb) 16856

[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1604 0 0 0 7318 181 0 0 25 0 1 0 20743167 15081472 1574 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1574 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 467.89
Current children cumulated vsize (Kb) 16856

[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1611 0 0 0 8212 214 0 0 25 0 1 0 20743167 15081472 1580 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1580 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 477.16
Current children cumulated vsize (Kb) 16856

[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1626 0 0 0 9190 222 0 0 25 0 1 0 20743167 15081472 1595 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1595 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 487.02
Current children cumulated vsize (Kb) 16856

[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1632 0 0 0 10102 254 0 0 25 0 1 0 20743167 15081472 1600 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1600 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 496.46
Current children cumulated vsize (Kb) 16856

[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1675 0 0 0 11036 278 0 0 25 0 1 0 20743167 15081472 1643 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1643 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 506.04
Current children cumulated vsize (Kb) 16856

[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 11941 308 0 0 25 0 1 0 20743167 15257600 1659 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3725 1659 413 48 0 3677 0
[pid=6226] vsize: 14900
Current children cumulated CPU time (s) 515.39
Current children cumulated vsize (Kb) 17028

[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 12910 320 0 0 25 0 1 0 20743167 15106048 1658 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3688 1658 413 48 0 3640 0
[pid=6226] vsize: 14752
Current children cumulated CPU time (s) 525.2
Current children cumulated vsize (Kb) 16880

[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 13890 328 0 0 25 0 1 0 20743167 15106048 1658 4294967295 134512640 134702520 3221223712 3221222992 134553512 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3688 1658 413 48 0 3640 0
[pid=6226] vsize: 14752
Current children cumulated CPU time (s) 535.08
Current children cumulated vsize (Kb) 16880

[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 14818 351 0 0 16 0 1 0 20743167 15106048 1658 4294967295 134512640 134702520 3221223712 3221223040 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3688 1658 413 48 0 3640 0
[pid=6226] vsize: 14752
Current children cumulated CPU time (s) 544.59
Current children cumulated vsize (Kb) 16880

[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1692 0 0 0 15742 376 0 0 25 0 1 0 20743167 15110144 1658 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3689 1658 413 48 0 3641 0
[pid=6226] vsize: 14756
Current children cumulated CPU time (s) 554.08
Current children cumulated vsize (Kb) 16884

[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1692 0 0 0 16721 383 0 0 25 0 1 0 20743167 15110144 1658 4294967295 134512640 134702520 3221223712 3221222992 134553055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3689 1658 413 48 0 3641 0
[pid=6226] vsize: 14756
Current children cumulated CPU time (s) 563.94
Current children cumulated vsize (Kb) 16884

[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1695 0 0 0 17634 412 0 0 25 0 1 0 20743167 15196160 1661 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1661 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 573.36
Current children cumulated vsize (Kb) 16968

[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1696 0 0 0 18613 419 0 0 25 0 1 0 20743167 15196160 1662 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1662 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 583.22
Current children cumulated vsize (Kb) 16968

[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1702 0 0 0 19527 447 0 0 18 0 1 0 20743167 15196160 1667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1667 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 592.64
Current children cumulated vsize (Kb) 16968

[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 20506 455 0 0 25 0 1 0 20743167 15196160 1669 4294967295 134512640 134702520 3221223712 3221222992 134552467 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1669 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 602.51
Current children cumulated vsize (Kb) 16968

[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1705 0 0 0 21421 484 0 0 25 0 1 0 20743167 15196160 1669 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1669 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 611.95
Current children cumulated vsize (Kb) 16968

[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1707 0 0 0 22402 491 0 0 25 0 1 0 20743167 15196160 1671 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1671 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 621.83
Current children cumulated vsize (Kb) 16968

[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1709 0 0 0 23371 504 0 0 25 0 1 0 20743167 15196160 1673 4294967295 134512640 134702520 3221223712 3221222992 134552851 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1673 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 631.65
Current children cumulated vsize (Kb) 16968

[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1720 0 0 0 24256 543 0 0 25 0 1 0 20743167 15196160 1683 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1683 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 640.89
Current children cumulated vsize (Kb) 16968

[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1745 0 0 0 25235 549 0 0 25 0 1 0 20743167 15196160 1708 4294967295 134512640 134702520 3221223712 3221222992 134552208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1708 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 650.74
Current children cumulated vsize (Kb) 16968

[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1765 0 0 0 26147 580 0 0 25 0 1 0 20743167 15343616 1728 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3746 1728 413 48 0 3698 0
[pid=6226] vsize: 14984
Current children cumulated CPU time (s) 660.17
Current children cumulated vsize (Kb) 17112

[startup+710.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1766 0 0 0 27118 591 0 0 25 0 1 0 20743167 15343616 1729 4294967295 134512640 134702520 3221223712 3221222576 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3746 1729 413 48 0 3698 0
[pid=6226] vsize: 14984
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (Kb) 17112
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=6226) exited with status: 2
New process pid=6231
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=6231) exited with status: 0
New process pid=6232
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+720.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1439 0 0 0 483 29 0 0 25 0 1 0 20772454 8110080 1411 4294967295 134512640 134702520 3221223712 3221222848 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 1980 1411 413 48 0 1932 0
[pid=6232] vsize: 7920
Current children cumulated CPU time (s) 679.27
Current children cumulated vsize (Kb) 10048

[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1442 0 0 0 1453 39 0 0 25 0 1 0 20772454 8110080 1414 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 1980 1414 413 48 0 1932 0
[pid=6232] vsize: 7920
Current children cumulated CPU time (s) 689.07
Current children cumulated vsize (Kb) 10048

[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1533 0 0 0 2402 54 0 0 25 0 1 0 20772454 15286272 1505 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3732 1505 413 48 0 3684 0
[pid=6232] vsize: 14928
Current children cumulated CPU time (s) 698.71
Current children cumulated vsize (Kb) 17056

[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1549 0 0 0 3383 61 0 0 25 0 1 0 20772454 15421440 1521 4294967295 134512640 134702520 3221223712 3221223176 1074230081 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3765 1521 413 48 0 3717 0
[pid=6232] vsize: 15060
Current children cumulated CPU time (s) 708.59
Current children cumulated vsize (Kb) 17188

[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1588 0 0 0 4294 93 0 0 25 0 1 0 20772454 15663104 1560 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1560 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 718.02
Current children cumulated vsize (Kb) 17424

[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1601 0 0 0 5280 98 0 0 25 0 1 0 20772454 15663104 1573 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3824 1573 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 727.93
Current children cumulated vsize (Kb) 17424

[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1618 0 0 0 6260 104 0 0 25 0 1 0 20772454 15663104 1590 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1590 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 737.79
Current children cumulated vsize (Kb) 17424

[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1640 0 0 0 7156 137 0 0 25 0 1 0 20772454 15663104 1612 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1612 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 747.08
Current children cumulated vsize (Kb) 17424

[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1653 0 0 0 8138 143 0 0 25 0 1 0 20772454 15663104 1625 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1625 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 756.96
Current children cumulated vsize (Kb) 17424

[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1669 0 0 0 9050 170 0 0 25 0 1 0 20772454 15667200 1640 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3825 1640 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 766.35
Current children cumulated vsize (Kb) 17428

[startup+820.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1675 0 0 0 10032 178 0 0 25 0 1 0 20772454 15667200 1646 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1646 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 776.25
Current children cumulated vsize (Kb) 17428

[startup+830.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1684 0 0 0 11013 184 0 0 25 0 1 0 20772454 15667200 1655 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1655 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 786.12
Current children cumulated vsize (Kb) 17428

[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1687 0 0 0 11928 210 0 0 25 0 1 0 20772454 15667200 1657 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1657 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 795.53
Current children cumulated vsize (Kb) 17428

[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1692 0 0 0 12904 218 0 0 25 0 1 0 20772454 15667200 1662 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1662 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 805.37
Current children cumulated vsize (Kb) 17428

[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1696 0 0 0 13888 224 0 0 25 0 1 0 20772454 15667200 1666 4294967295 134512640 134702520 3221223712 3221222992 134552969 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1666 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 815.27
Current children cumulated vsize (Kb) 17428

[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1699 0 0 0 14805 251 0 0 25 0 1 0 20772454 15667200 1668 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1668 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 824.71
Current children cumulated vsize (Kb) 17428

[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1699 0 0 0 15785 257 0 0 25 0 1 0 20772454 15667200 1668 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1668 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 834.57
Current children cumulated vsize (Kb) 17428

[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1699 0 0 0 16766 264 0 0 25 0 1 0 20772454 15667200 1668 4294967295 134512640 134702520 3221223712 3221222736 134553830 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3825 1668 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 844.45
Current children cumulated vsize (Kb) 17428

[startup+900.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 17678 294 0 0 25 0 1 0 20772454 15822848 1673 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3863 1673 413 48 0 3815 0
[pid=6232] vsize: 15452
Current children cumulated CPU time (s) 853.87
Current children cumulated vsize (Kb) 17580

[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 18652 304 0 0 25 0 1 0 20772454 15671296 1672 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3826 1672 413 48 0 3778 0
[pid=6232] vsize: 15304
Current children cumulated CPU time (s) 863.71
Current children cumulated vsize (Kb) 17432

[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 19632 311 0 0 25 0 1 0 20772454 15671296 1672 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3826 1672 413 48 0 3778 0
[pid=6232] vsize: 15304
Current children cumulated CPU time (s) 873.58
Current children cumulated vsize (Kb) 17432

[startup+930.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 20608 320 0 0 25 0 1 0 20772454 15671296 1672 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3826 1672 413 48 0 3778 0
[pid=6232] vsize: 15304
Current children cumulated CPU time (s) 883.43
Current children cumulated vsize (Kb) 17432

[startup+940.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1707 0 0 0 21522 349 0 0 25 0 1 0 20772454 15683584 1674 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3829 1674 413 48 0 3781 0
[pid=6232] vsize: 15316
Current children cumulated CPU time (s) 892.86
Current children cumulated vsize (Kb) 17444

[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1707 0 0 0 22502 357 0 0 25 0 1 0 20772454 15683584 1674 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3829 1674 413 48 0 3781 0
[pid=6232] vsize: 15316
Current children cumulated CPU time (s) 902.74
Current children cumulated vsize (Kb) 17444

[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1707 0 0 0 23483 363 0 0 25 0 1 0 20772454 15683584 1674 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3829 1674 413 48 0 3781 0
[pid=6232] vsize: 15316
Current children cumulated CPU time (s) 912.61
Current children cumulated vsize (Kb) 17444

[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1709 0 0 0 24396 391 0 0 25 0 1 0 20772454 15835136 1676 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1676 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 922.02
Current children cumulated vsize (Kb) 17592

[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1710 0 0 0 25379 396 0 0 25 0 1 0 20772454 15835136 1677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1677 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 931.9
Current children cumulated vsize (Kb) 17592

[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1724 0 0 0 26292 424 0 0 25 0 1 0 20772454 15835136 1691 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1691 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 941.31
Current children cumulated vsize (Kb) 17592

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1754 0 0 0 27271 430 0 0 25 0 1 0 20772454 15835136 1721 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1721 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 951.16
Current children cumulated vsize (Kb) 17592

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1806 0 0 0 28244 438 0 0 25 0 1 0 20772454 15835136 1773 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3866 1773 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 960.97
Current children cumulated vsize (Kb) 17592

[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1821 0 0 0 29138 473 0 0 25 0 1 0 20772454 16781312 1788 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 4097 1788 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 970.26
Current children cumulated vsize (Kb) 18516

[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1855 0 0 0 30117 481 0 0 21 0 1 0 20772454 16781312 1822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 4097 1822 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 980.13
Current children cumulated vsize (Kb) 18516

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1888 0 0 0 31094 489 0 0 25 0 1 0 20772454 16781312 1855 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1855 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 989.98
Current children cumulated vsize (Kb) 18516

[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1903 0 0 0 32005 517 0 0 25 0 1 0 20772454 16781312 1869 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1869 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 999.37
Current children cumulated vsize (Kb) 18516

[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1933 0 0 0 32983 523 0 0 25 0 1 0 20772454 16781312 1899 4294967295 134512640 134702520 3221223712 3221222832 134572641 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1899 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 1009.21
Current children cumulated vsize (Kb) 18516

[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1960 0 0 0 33967 527 0 0 25 0 1 0 20772454 16781312 1926 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1926 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 1019.09
Current children cumulated vsize (Kb) 18516

[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1962 0 0 0 34878 556 0 0 25 0 1 0 20772454 16932864 1928 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 4134 1928 413 48 0 4086 0
[pid=6232] vsize: 16536
Current children cumulated CPU time (s) 1028.49
Current children cumulated vsize (Kb) 18664
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=6232) exited with status: 2
New process pid=6233
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=6233) exited with status: 0
New process pid=6234
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+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1450 0 0 0 192 9 0 0 25 0 1 0 20809824 8249344 1422 4294967295 134512640 134702520 3221223040 3221222304 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 2014 1422 413 48 0 1966 0
[pid=6234] vsize: 8056
Current children cumulated CPU time (s) 1038.22
Current children cumulated vsize (Kb) 10184

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1495 0 0 0 1089 44 0 0 25 0 1 0 20809824 8458240 1467 4294967295 134512640 134702520 3221223040 3221222176 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 2065 1467 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1047.54
Current children cumulated vsize (Kb) 10388

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1497 0 0 0 2050 58 0 0 25 0 1 0 20809824 8458240 1469 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1469 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1057.29
Current children cumulated vsize (Kb) 10388

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1499 0 0 0 3006 73 0 0 22 0 1 0 20809824 8458240 1471 4294967295 134512640 134702520 3221223040 3221222176 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1471 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1067
Current children cumulated vsize (Kb) 10388

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1500 0 0 0 3964 88 0 0 25 0 1 0 20809824 8458240 1472 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1472 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1076.73
Current children cumulated vsize (Kb) 10388

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1500 0 0 0 4920 104 0 0 25 0 1 0 20809824 8458240 1472 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1472 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1086.45
Current children cumulated vsize (Kb) 10388

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 5872 121 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1096.14
Current children cumulated vsize (Kb) 10388

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 6833 136 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1105.9
Current children cumulated vsize (Kb) 10388

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 7788 150 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1115.59
Current children cumulated vsize (Kb) 10388

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 8742 165 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1125.28
Current children cumulated vsize (Kb) 10388

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1502 0 0 0 9699 179 0 0 25 0 1 0 20809824 8458240 1474 4294967295 134512640 134702520 3221223040 3221222176 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1474 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1134.99
Current children cumulated vsize (Kb) 10388

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1551 0 0 0 10679 186 0 0 25 0 1 0 20809824 15896576 1523 4294967295 134512640 134702520 3221223040 3221222288 134567501 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3881 1523 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1144.86
Current children cumulated vsize (Kb) 17652

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1569 0 0 0 11664 191 0 0 25 0 1 0 20809824 15896576 1541 4294967295 134512640 134702520 3221223040 3221222320 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 3881 1541 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1154.76
Current children cumulated vsize (Kb) 17652

[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1605 0 0 0 12642 197 0 0 25 0 1 0 20809824 15896576 1577 4294967295 134512640 134702520 3221223040 3221222288 134567357 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3881 1577 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (Kb) 17652

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1621 0 0 0 13603 211 0 0 25 0 1 0 20809824 15896576 1593 4294967295 134512640 134702520 3221223040 3221222320 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3881 1593 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1174.35
Current children cumulated vsize (Kb) 17652

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1646 0 0 0 14522 237 0 0 25 0 1 0 20809824 16031744 1618 4294967295 134512640 134702520 3221223040 3221222320 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 3914 1618 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1183.8
Current children cumulated vsize (Kb) 17784

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1649 0 0 0 15507 242 0 0 25 0 1 0 20809824 16031744 1621 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3914 1621 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1193.7
Current children cumulated vsize (Kb) 17784

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1657 0 0 0 16493 247 0 0 25 0 1 0 20809824 16031744 1629 4294967295 134512640 134702520 3221223040 3221222288 134566702 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3914 1629 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 17784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1657 0 0 0 16493 247 0 0 25 0 1 0 20809824 16031744 1629 4294967295 134512640 134702520 3221223040 3221222288 134567344 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3914 1629 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 17784

Sending SIGTERM to -6162
Sleeping 2 seconds
New process pid=6236
New process pid=6237
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4039/stat
open syscall for file /proc/4039/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/4039/cmdline
open syscall for file /proc/4039/environ
open syscall for file /proc/4065/stat
open syscall for file /proc/4065/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/4065/cmdline
open syscall for file /proc/4065/environ
open syscall for file /proc/6123/stat
open syscall for file /proc/6123/status
open syscall for file /proc/6123/cmdline
open syscall for file /proc/6123/environ
open syscall for file /proc/6161/stat
open syscall for file /proc/6161/status
open syscall for file /proc/6161/cmdline
open syscall for file /proc/6161/environ
open syscall for file /proc/6162/stat
open syscall for file /proc/6162/status
open syscall for file /proc/6162/cmdline
open syscall for file /proc/6162/environ
open syscall for file /proc/6234/stat
open syscall for file /proc/6234/status
open syscall for file /proc/6234/cmdline
open syscall for file /proc/6234/environ
open syscall for file /proc/6236/stat
open syscall for file /proc/6236/status
open syscall for file /proc/6236/cmdline
open syscall for file /proc/6236/environ
open syscall for file /proc/6237/stat
open syscall for file /proc/6237/status
open syscall for file /proc/6237/cmdline
open syscall for file /proc/6237/environ
One traced child (pid=6236) exited with status: 0
One traced child (pid=6237) exited with status: 0
New process pid=6238
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=6238) exited with status: 0
New process pid=6239
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=6239) exited with status: 0
One traced child (pid=6162) 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=6234) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1260.85
CPU time (s): 168.102
CPU user time (s): 165.551
CPU system time (s): 2.55161
CPU usage (%): 13.3325
Max. virtual memory (cumulated for all children) (Kb): 18664

Verifier Data

ERROR: no interpretation found !