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-railway_8_1_0.opb
MD5SUM9689869ef48b5a0c26d142f61d149c48
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51200
Optimality of the best value was proved NO
Number of terms in the objective function 123
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 1061759
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 268469758
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 benchmark1189.11
Number of variables17883
Total number of constraints4322
Number of constraints which are clauses426
Number of constraints which are cardinality constraints (but not clauses)1177
Number of constraints which are nor clauses,nor cardinality constraints2719
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 9502

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922288 kB
Buffers:         11024 kB
Cached:          84040 kB
SwapCached:          0 kB
Active:          46452 kB
Inactive:        51508 kB
HighTotal:      131008 kB
HighFree:        46620 kB
LowTotal:       903652 kB
LowFree:        875668 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8832 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:19:28 (client local time) WITH STATUS 3 IN 23.3664 SECONDS
stats: 8199 7 23.3664 3

Solver Data

1:
seed: 0
Nr of vars set: 4  (#equs: 0)
Nr of vars set: 20  (#equs: 38)
#decisions: 21499;  #end-nodes: 12105;
#proof improvement attempts: 0;  #restarts: 126
Current batch, end-nodes: 6 / 111 (111)
#axs: 3185, #non-axs: 116
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:  985342 (76416:>=*);
#decisions: 2915;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3185, #non-axs: 116
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:  985470 (76288:>=*);
#decisions: 3217;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3185, #non-axs: 116
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:  985598 (76160:>=*);
#decisions: 3178;  #end-nodes: 4;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3185, #non-axs: 116
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:  985726 (76032:>=*);
#decisions: 3398;  #end-nodes: 5;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 3185, #non-axs: 116
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:  985854 (75904:>=*);
#decisions: 3181;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 3185, #non-axs: 116
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:  985982 (75776:>=*);
#decisions: 3229;  #end-nodes: 6;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 3185, #non-axs: 116
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:  986110 (75648:>=*);
#decisions: 4916;  #end-nodes: 8;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 3185, #non-axs: 116
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:  986238 (75520:>=*);
#decisions: 3598;  #end-nodes: 10;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 3185, #non-axs: 116
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:  986366 (75392:>=*);
#decisions: 2695;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3185, #non-axs: 116
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:  986494 (75264:>=*);
#decisions: 2724;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3185, #non-axs: 116
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:  986622 (75136:>=*);
#decisions: 2711;  #end-nodes: 1;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3185, #non-axs: 116
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:  986750 (75008:>=*);
#decisions: 96176;  #end-nodes: 38519;
#proof improvement attempts: 0;  #restarts: 308
Current batch, end-nodes: 150 / 157 (157)
#axs: 3191, #non-axs: 1977
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:  986878 (74880:>=*);
#decisions: 54668;  #end-nodes: 12167;
#proof improvement attempts: 0;  #restarts: 120
Current batch, end-nodes: 37 / 110 (110)
#axs: 3192, #non-axs: 2988
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:  987006 (74752:>=*);
#decisions: 4702;  #end-nodes: 11;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 3192, #non-axs: 2988
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:  987134 (74624:>=*);
#decisions: 37607;  #end-nodes: 9631;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 231 (103)
#axs: 3197, #non-axs: 2904
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:) 987134 (74624:>=*)

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

2:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 39)
#decisions: 163881;  #end-nodes: 49728;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 222 (191)
#axs: 3195, #non-axs: 8327
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
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: 50)
Time taken: 5 min, 45 sec

3:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 37)
#decisions: 76637;  #end-nodes: 20780;
#proof improvement attempts: 0;  #restarts: 108
Current batch, end-nodes: 147 / 187 (187)
#axs: 3189, #non-axs: 6074
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 8, end: 12;  meta: start: 29, end (keep): 48
result: model found (1)
Model found with constant:  2687 (10496:>=*);
#decisions: 143823;  #end-nodes: 39277;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 215 (207)
#axs: 3196, #non-axs: 6965
tight: meta-meta: start: 4, end: 5;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 8, end: 12;  meta: start: 29, end (keep): 48
Model found with constant:
  (pushed:) 2687 (10496:>=*)

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: 51)
Time taken: 8 min, 4 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)
Interupt request received.
Nr of vars set: 20  (#equs: 38)
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: 20  (#equs: 38)
Time taken in seconds: 22

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/6888/stat): 6888 (vallstSAT2005PB) R 6887 6888 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20727386 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6888/statm): 174 3 169 147 0 27 0
[pid=6888] 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=6889
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=6889) exited with status: 0
New process pid=6890
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=6890) exited with status: 0
New process pid=6891
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/wulflinc22/normalized-mps-v2-13-7-railway_8_1_0.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.98 1.02 1.00 2/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1327 0 0 0 904 32 0 0 25 0 1 0 20727393 7020544 1231 4294967295 134512640 134702520 3221223952 3221223088 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 1714 1231 413 48 0 1666 0
[pid=6891] vsize: 6856
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (Kb) 8984

[startup+20.0039 s]
Raw data (loadavg): 0.98 1.02 1.00 1/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1356 0 0 0 1826 60 0 0 17 0 1 0 20727393 12451840 1260 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3040 1260 413 48 0 2992 0
[pid=6891] vsize: 12160
Current children cumulated CPU time (s) 18.88
Current children cumulated vsize (Kb) 14288

[startup+30.0047 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1358 0 0 0 2574 136 0 0 25 0 1 0 20727393 12451840 1262 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3040 1262 413 48 0 2992 0
[pid=6891] vsize: 12160
Current children cumulated CPU time (s) 27.12
Current children cumulated vsize (Kb) 14288

[startup+40.0054 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1360 0 0 0 3419 186 0 0 25 0 1 0 20727393 12451840 1264 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3040 1264 413 48 0 2992 0
[pid=6891] vsize: 12160
Current children cumulated CPU time (s) 36.07
Current children cumulated vsize (Kb) 14288

[startup+50.0061 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1360 0 0 0 4397 193 0 0 25 0 1 0 20727393 12451840 1264 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3040 1264 413 48 0 2992 0
[pid=6891] vsize: 12160
Current children cumulated CPU time (s) 45.92
Current children cumulated vsize (Kb) 14288

[startup+60.0078 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1398 0 0 0 5174 267 0 0 22 0 1 0 20727393 12591104 1302 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3074 1302 413 48 0 3026 0
[pid=6891] vsize: 12296
Current children cumulated CPU time (s) 54.43
Current children cumulated vsize (Kb) 14424

[startup+70.0095 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1401 0 0 0 5962 334 0 0 25 0 1 0 20727393 12591104 1305 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3074 1305 413 48 0 3026 0
[pid=6891] vsize: 12296
Current children cumulated CPU time (s) 62.98
Current children cumulated vsize (Kb) 14424

[startup+80.0102 s]
Raw data (loadavg): 0.99 1.02 1.00 1/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1407 0 0 0 6783 391 0 0 21 0 1 0 20727393 12591104 1311 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3074 1311 413 48 0 3026 0
[pid=6891] vsize: 12296
Current children cumulated CPU time (s) 71.76
Current children cumulated vsize (Kb) 14424

[startup+90.0109 s]
Raw data (loadavg): 0.99 1.02 1.00 2/56 6891
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1409 0 0 0 7642 439 0 0 25 0 1 0 20727393 12591104 1313 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3074 1313 413 48 0 3026 0
[pid=6891] vsize: 12296
Current children cumulated CPU time (s) 80.83
Current children cumulated vsize (Kb) 14424

[startup+100.012 s]
Raw data (loadavg): 1.07 1.03 1.01 2/60 6941
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1409 0 0 0 8617 449 0 0 20 0 1 0 20727393 12591104 1313 4294967295 134512640 134702520 3221223952 3221222832 134553196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3074 1313 413 48 0 3026 0
[pid=6891] vsize: 12296
Current children cumulated CPU time (s) 90.68
Current children cumulated vsize (Kb) 14424

[startup+110.013 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 6946
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1421 0 0 0 9484 492 0 0 16 0 1 0 20727393 12591104 1325 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3074 1325 413 48 0 3026 0
[pid=6891] vsize: 12296
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (Kb) 14424

[startup+120.014 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 6946
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1432 0 0 0 10335 539 0 0 25 0 1 0 20727393 12607488 1334 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3078 1334 413 48 0 3030 0
[pid=6891] vsize: 12312
Current children cumulated CPU time (s) 108.76
Current children cumulated vsize (Kb) 14440

[startup+130.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6946
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1438 0 0 0 11163 596 0 0 25 0 1 0 20727393 12607488 1338 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3078 1338 413 48 0 3030 0
[pid=6891] vsize: 12312
Current children cumulated CPU time (s) 117.61
Current children cumulated vsize (Kb) 14440

[startup+140.016 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 6946
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1442 0 0 0 12074 623 0 0 25 0 1 0 20727393 12750848 1342 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3113 1342 413 48 0 3065 0
[pid=6891] vsize: 12452
Current children cumulated CPU time (s) 126.99
Current children cumulated vsize (Kb) 14580

[startup+150.017 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6946
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1442 0 0 0 13045 633 0 0 25 0 1 0 20727393 12607488 1341 4294967295 134512640 134702520 3221223952 3221223232 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3078 1341 413 48 0 3030 0
[pid=6891] vsize: 12312
Current children cumulated CPU time (s) 136.8
Current children cumulated vsize (Kb) 14440

[startup+160.018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6948
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1444 0 0 0 13871 690 0 0 19 0 1 0 20727393 12750848 1342 4294967295 134512640 134702520 3221223952 3221222848 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3113 1342 413 48 0 3065 0
[pid=6891] vsize: 12452
Current children cumulated CPU time (s) 145.63
Current children cumulated vsize (Kb) 14580

[startup+170.02 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6950
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1445 0 0 0 14759 726 0 0 25 0 1 0 20727393 12607488 1341 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3078 1341 413 48 0 3030 0
[pid=6891] vsize: 12312
Current children cumulated CPU time (s) 154.87
Current children cumulated vsize (Kb) 14440

[startup+180.02 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1497 0 0 0 15629 766 0 0 19 0 1 0 20727393 12607488 1392 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3078 1392 413 48 0 3030 0
[pid=6891] vsize: 12312
Current children cumulated CPU time (s) 163.97
Current children cumulated vsize (Kb) 14440

[startup+190.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1508 0 0 0 16500 810 0 0 25 0 1 0 20727393 12754944 1403 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3114 1403 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 173.12
Current children cumulated vsize (Kb) 14584

[startup+200.023 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1508 0 0 0 17477 817 0 0 25 0 1 0 20727393 12754944 1403 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3114 1403 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 182.96
Current children cumulated vsize (Kb) 14584

[startup+210.024 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1508 0 0 0 18383 850 0 0 16 0 1 0 20727393 12754944 1403 4294967295 134512640 134702520 3221223952 3221222848 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3114 1403 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 192.35
Current children cumulated vsize (Kb) 14584

[startup+220.025 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) T 6888 6888 4060 0 -1 0 1513 0 0 0 19329 866 0 0 25 0 1 0 20727393 12754944 1408 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3114 1408 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 201.97
Current children cumulated vsize (Kb) 14584

[startup+230.026 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1514 0 0 0 20177 916 0 0 21 0 1 0 20727393 12754944 1409 4294967295 134512640 134702520 3221223952 3221222848 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3114 1409 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 210.95
Current children cumulated vsize (Kb) 14584

[startup+240.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1522 0 0 0 21069 951 0 0 25 0 1 0 20727393 12754944 1417 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3114 1417 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (Kb) 14584

[startup+250.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1533 0 0 0 21958 991 0 0 25 0 1 0 20727393 12754944 1428 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3114 1428 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 229.51
Current children cumulated vsize (Kb) 14584

[startup+260.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1544 0 0 0 22863 1022 0 0 25 0 1 0 20727393 12754944 1439 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3114 1439 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 238.87
Current children cumulated vsize (Kb) 14584

[startup+270.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1552 0 0 0 23778 1052 0 0 25 0 1 0 20727393 12898304 1447 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3149 1447 413 48 0 3101 0
[pid=6891] vsize: 12596
Current children cumulated CPU time (s) 248.32
Current children cumulated vsize (Kb) 14724

[startup+280.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1552 0 0 0 24754 1059 0 0 25 0 1 0 20727393 12754944 1446 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3114 1446 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 258.15
Current children cumulated vsize (Kb) 14584

[startup+290.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1553 0 0 0 25665 1090 0 0 25 0 1 0 20727393 12754944 1446 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3114 1446 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 267.57
Current children cumulated vsize (Kb) 14584

[startup+300.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1554 0 0 0 26486 1148 0 0 18 0 1 0 20727393 12898304 1447 4294967295 134512640 134702520 3221223952 3221222848 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3149 1447 413 48 0 3101 0
[pid=6891] vsize: 12596
Current children cumulated CPU time (s) 276.36
Current children cumulated vsize (Kb) 14724

[startup+310.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1555 0 0 0 27396 1179 0 0 21 0 1 0 20727393 12898304 1447 4294967295 134512640 134702520 3221223952 3221222848 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3149 1447 413 48 0 3101 0
[pid=6891] vsize: 12596
Current children cumulated CPU time (s) 285.77
Current children cumulated vsize (Kb) 14724

[startup+320.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1555 0 0 0 28376 1185 0 0 25 0 1 0 20727393 12754944 1446 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3114 1446 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 295.63
Current children cumulated vsize (Kb) 14584

[startup+330.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1556 0 0 0 29293 1214 0 0 25 0 1 0 20727393 12754944 1446 4294967295 134512640 134702520 3221223952 3221223232 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3114 1446 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 305.09
Current children cumulated vsize (Kb) 14584

[startup+340.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 30208 1242 0 0 25 0 1 0 20727393 12754944 1448 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3114 1448 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 314.52
Current children cumulated vsize (Kb) 14584

[startup+350.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1567 0 0 0 31127 1266 0 0 25 0 1 0 20727393 12754944 1455 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6891/statm): 3114 1455 413 48 0 3066 0
[pid=6891] vsize: 12456
Current children cumulated CPU time (s) 323.95
Current children cumulated vsize (Kb) 14584

[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1579 0 0 0 32040 1294 0 0 25 0 1 0 20727393 12898304 1467 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3149 1467 413 48 0 3101 0
[pid=6891] vsize: 12596
Current children cumulated CPU time (s) 333.36
Current children cumulated vsize (Kb) 14724

[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6952
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 330 232 0 0 1 0 0 1 23 0 1 0 20727386 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 242 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6891/stat): 6891 (vallst) R 6888 6888 4060 0 -1 0 1579 0 0 0 33019 1299 0 0 25 0 1 0 20727393 12898304 1467 4294967295 134512640 134702520 3221223952 3221222848 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6891/statm): 3149 1467 413 48 0 3101 0
[pid=6891] vsize: 12596
Current children cumulated CPU time (s) 343.2
Current children cumulated vsize (Kb) 14724
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=6891) exited with status: 2
New process pid=6953
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=6953) exited with status: 0
New process pid=6954
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+380.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6954
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1233 0 0 0 549 31 0 0 25 0 1 0 20764756 7135232 1204 4294967295 134512640 134702520 3221223712 3221222848 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 1742 1204 413 48 0 1694 0
[pid=6954] vsize: 6968
Current children cumulated CPU time (s) 352.58
Current children cumulated vsize (Kb) 9096

[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6954
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1234 0 0 0 1496 49 0 0 25 0 1 0 20764756 7135232 1205 4294967295 134512640 134702520 3221223712 3221222848 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 1742 1205 413 48 0 1694 0
[pid=6954] vsize: 6968
Current children cumulated CPU time (s) 362.23
Current children cumulated vsize (Kb) 9096

[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6954
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1290 0 0 0 2471 57 0 0 25 0 1 0 20764756 12730368 1261 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3108 1261 413 48 0 3060 0
[pid=6954] vsize: 12432
Current children cumulated CPU time (s) 372.06
Current children cumulated vsize (Kb) 14560

[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6954
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1377 0 0 0 3368 90 0 0 25 0 1 0 20764756 12750848 1347 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3113 1347 413 48 0 3065 0
[pid=6954] vsize: 12452
Current children cumulated CPU time (s) 381.36
Current children cumulated vsize (Kb) 14580

[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1388 0 0 0 4283 117 0 0 25 0 1 0 20764756 12759040 1357 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3115 1357 413 48 0 3067 0
[pid=6954] vsize: 12460
Current children cumulated CPU time (s) 390.78
Current children cumulated vsize (Kb) 14588

[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1408 0 0 0 5189 147 0 0 25 0 1 0 20764756 12926976 1377 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3156 1377 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 400.14
Current children cumulated vsize (Kb) 14752

[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1439 0 0 0 6095 178 0 0 16 0 1 0 20764756 12926976 1408 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3156 1408 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 409.51
Current children cumulated vsize (Kb) 14752

[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1462 0 0 0 7060 190 0 0 25 0 1 0 20764756 12926976 1431 4294967295 134512640 134702520 3221223712 3221222736 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3156 1431 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 419.28
Current children cumulated vsize (Kb) 14752

[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1469 0 0 0 7973 218 0 0 25 0 1 0 20764756 12926976 1438 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3156 1438 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 428.69
Current children cumulated vsize (Kb) 14752

[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1480 0 0 0 8886 249 0 0 25 0 1 0 20764756 13070336 1449 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3191 1449 413 48 0 3143 0
[pid=6954] vsize: 12764
Current children cumulated CPU time (s) 438.13
Current children cumulated vsize (Kb) 14892

[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1480 0 0 0 9837 265 0 0 25 0 1 0 20764756 13070336 1449 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3191 1449 413 48 0 3143 0
[pid=6954] vsize: 12764
Current children cumulated CPU time (s) 447.8
Current children cumulated vsize (Kb) 14892

[startup+490.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1480 0 0 0 10798 277 0 0 25 0 1 0 20764756 12926976 1448 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3156 1448 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 457.53
Current children cumulated vsize (Kb) 14752

[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1481 0 0 0 11715 306 0 0 25 0 1 0 20764756 12926976 1448 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3156 1448 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 466.99
Current children cumulated vsize (Kb) 14752

[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1481 0 0 0 12686 317 0 0 25 0 1 0 20764756 12926976 1448 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3156 1448 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 476.81
Current children cumulated vsize (Kb) 14752

[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1482 0 0 0 13598 345 0 0 25 0 1 0 20764756 12926976 1448 4294967295 134512640 134702520 3221223712 3221222992 134552910 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3156 1448 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 486.21
Current children cumulated vsize (Kb) 14752

[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1483 0 0 0 14573 353 0 0 25 0 1 0 20764756 12926976 1449 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3156 1449 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 496.04
Current children cumulated vsize (Kb) 14752

[startup+540.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1486 0 0 0 15489 380 0 0 25 0 1 0 20764756 12926976 1451 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3156 1451 413 48 0 3108 0
[pid=6954] vsize: 12624
Current children cumulated CPU time (s) 505.47
Current children cumulated vsize (Kb) 14752

[startup+550.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1502 0 0 0 16396 410 0 0 25 0 1 0 20764756 13004800 1467 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3175 1467 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 514.84
Current children cumulated vsize (Kb) 14828

[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1512 0 0 0 17352 426 0 0 25 0 1 0 20764756 13004800 1477 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3175 1477 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 524.56
Current children cumulated vsize (Kb) 14828

[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1528 0 0 0 18267 454 0 0 25 0 1 0 20764756 13004800 1492 4294967295 134512640 134702520 3221223712 3221222992 134553055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3175 1492 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 533.99
Current children cumulated vsize (Kb) 14828

[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1542 0 0 0 19241 462 0 0 25 0 1 0 20764756 13004800 1506 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3175 1506 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 543.81
Current children cumulated vsize (Kb) 14828

[startup+590.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1550 0 0 0 20141 495 0 0 25 0 1 0 20764756 13148160 1514 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3210 1514 413 48 0 3162 0
[pid=6954] vsize: 12840
Current children cumulated CPU time (s) 553.14
Current children cumulated vsize (Kb) 14968

[startup+600.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1550 0 0 0 21089 512 0 0 25 0 1 0 20764756 13004800 1513 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3175 1513 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 562.79
Current children cumulated vsize (Kb) 14828

[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1550 0 0 0 22065 521 0 0 25 0 1 0 20764756 13004800 1513 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3175 1513 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 572.64
Current children cumulated vsize (Kb) 14828

[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1551 0 0 0 22978 550 0 0 25 0 1 0 20764756 13004800 1513 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3175 1513 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (Kb) 14828

[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1561 0 0 0 23950 560 0 0 25 0 1 0 20764756 13004800 1523 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3175 1523 413 48 0 3127 0
[pid=6954] vsize: 12700
Current children cumulated CPU time (s) 591.88
Current children cumulated vsize (Kb) 14828

[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1595 0 0 0 24867 588 0 0 25 0 1 0 20764756 13099008 1557 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3198 1557 413 48 0 3150 0
[pid=6954] vsize: 12792
Current children cumulated CPU time (s) 601.33
Current children cumulated vsize (Kb) 14920

[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1624 0 0 0 25845 594 0 0 25 0 1 0 20764756 13815808 1586 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3373 1586 413 48 0 3325 0
[pid=6954] vsize: 13492
Current children cumulated CPU time (s) 611.17
Current children cumulated vsize (Kb) 15620

[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1668 0 0 0 26756 622 0 0 25 0 1 0 20764756 13815808 1629 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3373 1629 413 48 0 3325 0
[pid=6954] vsize: 13492
Current children cumulated CPU time (s) 620.56
Current children cumulated vsize (Kb) 15620

[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1677 0 0 0 27736 629 0 0 25 0 1 0 20764756 13815808 1638 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3373 1638 413 48 0 3325 0
[pid=6954] vsize: 13492
Current children cumulated CPU time (s) 630.43
Current children cumulated vsize (Kb) 15620

[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1715 0 0 0 28628 667 0 0 25 0 1 0 20764756 13815808 1675 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6954/statm): 3373 1675 413 48 0 3325 0
[pid=6954] vsize: 13492
Current children cumulated CPU time (s) 639.73
Current children cumulated vsize (Kb) 15620

[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1739 0 0 0 29603 675 0 0 25 0 1 0 20764756 13815808 1699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3373 1699 413 48 0 3325 0
[pid=6954] vsize: 13492
Current children cumulated CPU time (s) 649.56
Current children cumulated vsize (Kb) 15620

[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) T 6888 6888 4060 0 -1 0 1782 0 0 0 30508 707 0 0 25 0 1 0 20764756 13914112 1742 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3397 1742 413 48 0 3349 0
[pid=6954] vsize: 13588
Current children cumulated CPU time (s) 658.93
Current children cumulated vsize (Kb) 15716

[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1797 0 0 0 31483 716 0 0 25 0 1 0 20764756 13914112 1757 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3397 1757 413 48 0 3349 0
[pid=6954] vsize: 13588
Current children cumulated CPU time (s) 668.77
Current children cumulated vsize (Kb) 15716

[startup+720.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1826 0 0 0 32395 746 0 0 25 0 1 0 20764756 14057472 1786 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3432 1786 413 48 0 3384 0
[pid=6954] vsize: 13728
Current children cumulated CPU time (s) 678.19
Current children cumulated vsize (Kb) 15856

[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6956
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 378 1954 0 0 2 1 33367 1308 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6954/stat): 6954 (vallst) R 6888 6888 4060 0 -1 0 1826 0 0 0 33356 761 0 0 25 0 1 0 20764756 14057472 1786 4294967295 134512640 134702520 3221223712 3221222608 134554430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6954/statm): 3432 1786 413 48 0 3384 0
[pid=6954] vsize: 13728
Current children cumulated CPU time (s) 687.95
Current children cumulated vsize (Kb) 15856
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=6954) exited with status: 2
New process pid=6957
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=6957) exited with status: 0
New process pid=6958
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+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1305 0 0 0 450 29 0 0 25 0 1 0 20800868 7507968 1277 4294967295 134512640 134702520 3221223712 3221222848 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 1833 1277 413 48 0 1785 0
[pid=6958] vsize: 7332
Current children cumulated CPU time (s) 697.21
Current children cumulated vsize (Kb) 9460

[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1309 0 0 0 1413 41 0 0 25 0 1 0 20800868 7507968 1281 4294967295 134512640 134702520 3221223712 3221222848 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 1833 1281 413 48 0 1785 0
[pid=6958] vsize: 7332
Current children cumulated CPU time (s) 706.96
Current children cumulated vsize (Kb) 9460

[startup+760.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1370 0 0 0 2383 52 0 0 25 0 1 0 20800868 13717504 1342 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3349 1342 413 48 0 3301 0
[pid=6958] vsize: 13396
Current children cumulated CPU time (s) 716.77
Current children cumulated vsize (Kb) 15524

[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1396 0 0 0 3360 59 0 0 25 0 1 0 20800868 13717504 1368 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3349 1368 413 48 0 3301 0
[pid=6958] vsize: 13396
Current children cumulated CPU time (s) 726.61
Current children cumulated vsize (Kb) 15524

[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1415 0 0 0 4278 85 0 0 25 0 1 0 20800868 13918208 1387 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1387 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 736.05
Current children cumulated vsize (Kb) 15720

[startup+790.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1437 0 0 0 5253 94 0 0 25 0 1 0 20800868 13918208 1409 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1409 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 745.89
Current children cumulated vsize (Kb) 15720

[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1454 0 0 0 6163 123 0 0 25 0 1 0 20800868 13918208 1426 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3398 1426 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 755.28
Current children cumulated vsize (Kb) 15720

[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1459 0 0 0 7141 131 0 0 25 0 1 0 20800868 13918208 1431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1431 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 765.14
Current children cumulated vsize (Kb) 15720

[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1471 0 0 0 8057 160 0 0 25 0 1 0 20800868 13918208 1442 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1442 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 774.59
Current children cumulated vsize (Kb) 15720

[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1474 0 0 0 9034 168 0 0 25 0 1 0 20800868 13918208 1445 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3398 1445 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 784.44
Current children cumulated vsize (Kb) 15720

[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1477 0 0 0 10011 178 0 0 25 0 1 0 20800868 13918208 1448 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1448 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 794.31
Current children cumulated vsize (Kb) 15720

[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1479 0 0 0 10930 205 0 0 25 0 1 0 20800868 13918208 1449 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1449 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 803.77
Current children cumulated vsize (Kb) 15720

[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1488 0 0 0 11905 214 0 0 25 0 1 0 20800868 13918208 1458 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1458 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 813.61
Current children cumulated vsize (Kb) 15720

[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1501 0 0 0 12816 241 0 0 25 0 1 0 20800868 13918208 1470 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1470 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 822.99
Current children cumulated vsize (Kb) 15720

[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1502 0 0 0 13791 251 0 0 25 0 1 0 20800868 13918208 1471 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1471 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 832.84
Current children cumulated vsize (Kb) 15720

[startup+890.069 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1503 0 0 0 14705 280 0 0 25 0 1 0 20800868 14061568 1472 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3433 1472 413 48 0 3385 0
[pid=6958] vsize: 13732
Current children cumulated CPU time (s) 842.27
Current children cumulated vsize (Kb) 15860

[startup+900.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1503 0 0 0 15663 295 0 0 25 0 1 0 20800868 14061568 1472 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3433 1472 413 48 0 3385 0
[pid=6958] vsize: 13732
Current children cumulated CPU time (s) 852
Current children cumulated vsize (Kb) 15860

[startup+910.071 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1504 0 0 0 16633 306 0 0 25 0 1 0 20800868 13918208 1472 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3398 1472 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 861.81
Current children cumulated vsize (Kb) 15720

[startup+920.071 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1526 0 0 0 17601 317 0 0 23 0 1 0 20800868 13918208 1494 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3398 1494 413 48 0 3350 0
[pid=6958] vsize: 13592
Current children cumulated CPU time (s) 871.6
Current children cumulated vsize (Kb) 15720

[startup+930.072 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1554 0 0 0 18565 329 0 0 25 0 1 0 20800868 13922304 1522 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3399 1522 413 48 0 3351 0
[pid=6958] vsize: 13596
Current children cumulated CPU time (s) 881.36
Current children cumulated vsize (Kb) 15724

[startup+940.073 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 19473 361 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 890.76
Current children cumulated vsize (Kb) 15844

[startup+950.073 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 20453 368 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 900.63
Current children cumulated vsize (Kb) 15844

[startup+960.073 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 21422 379 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 910.43
Current children cumulated vsize (Kb) 15844

[startup+970.074 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 22338 407 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 919.87
Current children cumulated vsize (Kb) 15844

[startup+980.075 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1559 0 0 0 23315 415 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 929.72
Current children cumulated vsize (Kb) 15844

[startup+990.075 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 24222 447 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 939.11
Current children cumulated vsize (Kb) 15844

[startup+1000.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 25200 455 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 948.97
Current children cumulated vsize (Kb) 15844

[startup+1010.08 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1559 0 0 0 26119 485 0 0 16 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 958.46
Current children cumulated vsize (Kb) 15844

[startup+1020.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 27088 498 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 968.28
Current children cumulated vsize (Kb) 15844

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1559 0 0 0 28035 516 0 0 16 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 977.93
Current children cumulated vsize (Kb) 15844

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 28976 532 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 987.5
Current children cumulated vsize (Kb) 15844

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1559 0 0 0 29948 542 0 0 25 0 1 0 20800868 14045184 1527 4294967295 134512640 134702520 3221223712 3221222992 134552523 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1527 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 997.32
Current children cumulated vsize (Kb) 15844

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1565 0 0 0 30857 572 0 0 25 0 1 0 20800868 14188544 1533 4294967295 134512640 134702520 3221223712 3221222608 134550819 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3464 1533 413 48 0 3416 0
[pid=6958] vsize: 13856
Current children cumulated CPU time (s) 1006.71
Current children cumulated vsize (Kb) 15984

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1566 0 0 0 31817 587 0 0 25 0 1 0 20800868 14188544 1534 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3464 1534 413 48 0 3416 0
[pid=6958] vsize: 13856
Current children cumulated CPU time (s) 1016.46
Current children cumulated vsize (Kb) 15984

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1566 0 0 0 32779 601 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1026.22
Current children cumulated vsize (Kb) 15844

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1567 0 0 0 33687 631 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1035.6
Current children cumulated vsize (Kb) 15844

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1567 0 0 0 34665 639 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1045.46
Current children cumulated vsize (Kb) 15844

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1567 0 0 0 35622 653 0 0 21 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1055.17
Current children cumulated vsize (Kb) 15844

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1568 0 0 0 36550 677 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1064.69
Current children cumulated vsize (Kb) 15844

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1568 0 0 0 37535 683 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221222992 134553004 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1074.6
Current children cumulated vsize (Kb) 15844

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1569 0 0 0 38450 710 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1084.02
Current children cumulated vsize (Kb) 15844

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1569 0 0 0 39425 719 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1093.86
Current children cumulated vsize (Kb) 15844

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1569 0 0 0 40409 724 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1103.75
Current children cumulated vsize (Kb) 15844

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1570 0 0 0 41326 751 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1113.19
Current children cumulated vsize (Kb) 15844

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1570 0 0 0 42304 759 0 0 25 0 1 0 20800868 14045184 1533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3429 1533 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1123.05
Current children cumulated vsize (Kb) 15844

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1574 0 0 0 43278 770 0 0 25 0 1 0 20800868 14045184 1537 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1537 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1132.9
Current children cumulated vsize (Kb) 15844

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1581 0 0 0 44201 794 0 0 25 0 1 0 20800868 14045184 1543 4294967295 134512640 134702520 3221223712 3221222960 134549065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1543 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1142.37
Current children cumulated vsize (Kb) 15844

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1616 0 0 0 45182 800 0 0 25 0 1 0 20800868 14045184 1578 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3429 1578 413 48 0 3381 0
[pid=6958] vsize: 13716
Current children cumulated CPU time (s) 1152.24
Current children cumulated vsize (Kb) 15844

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) R 6888 6888 4060 0 -1 0 1651 0 0 0 46103 826 0 0 17 0 1 0 20800868 14852096 1613 4294967295 134512640 134702520 3221223712 3221223004 1074652272 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6958/statm): 3626 1613 413 48 0 3578 0
[pid=6958] vsize: 14504
Current children cumulated CPU time (s) 1161.71
Current children cumulated vsize (Kb) 16632

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6958
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 417 3924 0 0 2 1 67156 2083 19 0 1 0 20727386 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 248 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6958/stat): 6958 (vallst) T 6888 6888 4060 0 -1 0 1652 0 0 0 47054 843 0 0 25 0 1 0 20800868 14995456 1614 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6958/statm): 3661 1614 413 48 0 3613 0
[pid=6958] vsize: 14644
Current children cumulated CPU time (s) 1171.39
Current children cumulated vsize (Kb) 16772
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=6958) exited with status: 2
New process pid=6959
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=6959) exited with status: 0
New process pid=6960
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+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6960
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 457 5719 0 0 2 1 114776 2942 19 0 1 0 20727386 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 249 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6960/stat): 6960 (vallst) T 6888 6888 4060 0 -1 0 1280 0 0 0 319 29 0 0 25 0 1 0 20851012 7401472 1252 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6960/statm): 1807 1252 413 48 0 1759 0
[pid=6960] vsize: 7228
Current children cumulated CPU time (s) 1180.69
Current children cumulated vsize (Kb) 9356

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6960
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 457 5719 0 0 2 1 114776 2942 19 0 1 0 20727386 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 249 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6960/stat): 6960 (vallst) R 6888 6888 4060 0 -1 0 1288 0 0 0 1272 46 0 0 25 0 1 0 20851012 7401472 1260 4294967295 134512640 134702520 3221223040 3221222176 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6960/statm): 1807 1260 413 48 0 1759 0
[pid=6960] vsize: 7228
Current children cumulated CPU time (s) 1190.39
Current children cumulated vsize (Kb) 9356

[startup+1260.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6960
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 457 5719 0 0 2 1 114776 2942 19 0 1 0 20727386 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 249 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6960/stat): 6960 (vallst) R 6888 6888 4060 0 -1 0 1290 0 0 0 2222 63 0 0 25 0 1 0 20851012 7401472 1262 4294967295 134512640 134702520 3221223040 3221222176 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6960/statm): 1807 1262 413 48 0 1759 0
[pid=6960] vsize: 7228
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (Kb) 9356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6960
Raw data (/proc/6888/stat): 6888 (vallstSAT2005PB) S 6887 6888 4060 0 -1 0 457 5719 0 0 2 1 114776 2942 19 0 1 0 20727386 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6888/statm): 532 249 485 147 0 385 0
[pid=6888] vsize: 2128
Raw data (/proc/6960/stat): 6960 (vallst) R 6888 6888 4060 0 -1 0 1290 0 0 0 2222 63 0 0 25 0 1 0 20851012 7401472 1262 4294967295 134512640 134702520 3221223040 3221222176 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6960/statm): 1807 1262 413 48 0 1759 0
[pid=6960] vsize: 7228
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (Kb) 9356

Sending SIGTERM to -6888
Sleeping 2 seconds
New process pid=6962
New process pid=6963
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6849/stat
open syscall for file /proc/6849/status
open syscall for file /proc/6849/cmdline
open syscall for file /proc/6849/environ
open syscall for file /proc/6887/stat
open syscall for file /proc/6887/status
open syscall for file /proc/6887/cmdline
open syscall for file /proc/6887/environ
open syscall for file /proc/6888/stat
open syscall for file /proc/6888/status
open syscall for file /proc/6888/cmdline
open syscall for file /proc/6888/environ
open syscall for file /proc/6960/stat
open syscall for file /proc/6960/status
open syscall for file /proc/6960/cmdline
open syscall for file /proc/6960/environ
open syscall for file /proc/6962/stat
open syscall for file /proc/6962/status
open syscall for file /proc/6962/cmdline
open syscall for file /proc/6962/environ
open syscall for file /proc/6963/stat
open syscall for file /proc/6963/status
open syscall for file /proc/6963/cmdline
open syscall for file /proc/6963/environ
One traced child (pid=6962) exited with status: 0
One traced child (pid=6963) exited with status: 0
New process pid=6964
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=6964) exited with status: 0
New process pid=6965
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=6965) exited with status: 0
One traced child (pid=6888) 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=6960) exited with status: 3
All traced children have exited ! Game is over.

Child status: 3
Real time (s): 1260.64
CPU time (s): 23.3664
CPU user time (s): 22.6686
CPU system time (s): 0.697893
CPU usage (%): 1.85354
Max. virtual memory (cumulated for all children) (Kb): 16772

Verifier Data

ERROR: no interpretation found !