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

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
MD5SUMeb47f4c49e66c2bccec3237bb66dd1b2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 444
Optimality of the best value was proved YES
Number of terms in the objective function 918
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 918
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 918
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark9.38057
Number of variables918
Total number of constraints9671
Number of constraints which are clauses9671
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 3462

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        866588 kB
Buffers:         34560 kB
Cached:         106784 kB
SwapCached:        708 kB
Active:          66348 kB
Inactive:        77640 kB
HighTotal:      131008 kB
HighFree:        51128 kB
LowTotal:       903652 kB
LowFree:        815460 kB
SwapTotal:     2097136 kB
SwapFree:      2095936 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5740 kB
Slab:            18216 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 01:14:37 (client local time) WITH STATUS 20 IN 835.244 SECONDS
stats: 7253 7 835.244 20

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 1789;  #end-nodes: 1212;
#proof improvement attempts: 0;  #restarts: 1
Current batch, end-nodes: 1130 / 1602 (80)
#axs: 9672, #non-axs: 294
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:  473 (444:>=*);
#decisions: 304246;  #end-nodes: 185983;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 10167, #non-axs: 323
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:) 473 (444:>=*)

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: 336  (#equs: 495)
Time taken: 5 min, 21 sec

2:
seed: 0
Nr of vars set: 336  (#equs: 0)
Nr of vars set: 336  (#equs: 0)
#decisions: 902375;  #end-nodes: 454736;
#proof improvement attempts: 0;  #restarts: 1420
Current batch, end-nodes: 18793 / 21594 (475)
#axs: 1410, #non-axs: 62362
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 22, end (keep): 37
result: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 423  (#equs: 0)
Time taken: 8 min, 33 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.026s 0m0.013s
13m20.241s 0m34.890s
s UNSATISFIABLE

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/8712/stat): 8712 (vallstSAT2005PB) R 8711 8712 1333 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1787555378 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 174 3 169 147 0 27 0
[pid=8712] 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=8713
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=8713) exited with status: 0
New process pid=8714
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=8714) exited with status: 0
New process pid=8715
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/wulflinc13/normalized-ii32a1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 364 0 0 0 786 71 0 0 17 0 1 0 1787555387 2899968 334 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 708 334 413 48 0 660 0
[pid=8715] vsize: 2832
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (Kb) 4960

[startup+20.0038 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 599 0 0 0 1594 136 0 0 25 0 1 0 1787555387 4837376 569 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1181 569 413 48 0 1133 0
[pid=8715] vsize: 4724
Current children cumulated CPU time (s) 17.31
Current children cumulated vsize (Kb) 6852

[startup+30.0044 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 956 0 0 0 2521 164 0 0 25 0 1 0 1787555387 5107712 926 4294967295 134512640 134702520 3221223968 3221223088 134578861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1247 926 413 48 0 1199 0
[pid=8715] vsize: 4988
Current children cumulated CPU time (s) 26.86
Current children cumulated vsize (Kb) 7116

[startup+40.0051 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 993 0 0 0 3459 184 0 0 25 0 1 0 1787555387 5115904 963 4294967295 134512640 134702520 3221223968 3221223248 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1249 963 413 48 0 1201 0
[pid=8715] vsize: 4996
Current children cumulated CPU time (s) 36.44
Current children cumulated vsize (Kb) 7124

[startup+50.0068 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1040 0 0 0 4386 209 0 0 19 0 1 0 1787555387 5505024 1010 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1344 1010 413 48 0 1296 0
[pid=8715] vsize: 5376
Current children cumulated CPU time (s) 45.96
Current children cumulated vsize (Kb) 7504

[startup+60.0074 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1050 0 0 0 5305 236 0 0 25 0 1 0 1787555387 5509120 1020 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1345 1020 413 48 0 1297 0
[pid=8715] vsize: 5380
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (Kb) 7508

[startup+70.0081 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1063 0 0 0 6220 266 0 0 25 0 1 0 1787555387 5521408 1033 4294967295 134512640 134702520 3221223968 3221222864 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1348 1033 413 48 0 1300 0
[pid=8715] vsize: 5392
Current children cumulated CPU time (s) 64.87
Current children cumulated vsize (Kb) 7520

[startup+80.0097 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1067 0 0 0 7125 298 0 0 25 0 1 0 1787555387 5656576 1037 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1381 1037 413 48 0 1333 0
[pid=8715] vsize: 5524
Current children cumulated CPU time (s) 74.24
Current children cumulated vsize (Kb) 7652

[startup+90.0104 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1067 0 0 0 8095 309 0 0 25 0 1 0 1787555387 5656576 1037 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1381 1037 413 48 0 1333 0
[pid=8715] vsize: 5524
Current children cumulated CPU time (s) 84.05
Current children cumulated vsize (Kb) 7652

[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1072 0 0 0 9044 326 0 0 25 0 1 0 1787555387 5672960 1042 4294967295 134512640 134702520 3221223968 3221222864 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1042 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 93.71
Current children cumulated vsize (Kb) 7668

[startup+110.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1073 0 0 0 9977 353 0 0 25 0 1 0 1787555387 5672960 1043 4294967295 134512640 134702520 3221223968 3221223360 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1043 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 103.31
Current children cumulated vsize (Kb) 7668

[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1074 0 0 0 10934 369 0 0 25 0 1 0 1787555387 5672960 1044 4294967295 134512640 134702520 3221223968 3221222736 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1044 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 113.04
Current children cumulated vsize (Kb) 7668

[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1074 0 0 0 11895 382 0 0 25 0 1 0 1787555387 5672960 1044 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1044 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 122.78
Current children cumulated vsize (Kb) 7668

[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1075 0 0 0 12823 404 0 0 25 0 1 0 1787555387 5672960 1045 4294967295 134512640 134702520 3221223968 3221222864 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1045 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 132.28
Current children cumulated vsize (Kb) 7668

[startup+150.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1075 0 0 0 13775 422 0 0 25 0 1 0 1787555387 5672960 1045 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1045 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 141.98
Current children cumulated vsize (Kb) 7668

[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1076 0 0 0 14743 434 0 0 25 0 1 0 1787555387 5672960 1046 4294967295 134512640 134702520 3221223968 3221223248 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1046 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 151.78
Current children cumulated vsize (Kb) 7668

[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1076 0 0 0 15675 458 0 0 23 0 1 0 1787555387 5672960 1046 4294967295 134512640 134702520 3221223968 3221222864 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1046 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 161.34
Current children cumulated vsize (Kb) 7668

[startup+180.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1076 0 0 0 16613 479 0 0 25 0 1 0 1787555387 5672960 1046 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1046 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 170.93
Current children cumulated vsize (Kb) 7668

[startup+190.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1077 0 0 0 17582 490 0 0 25 0 1 0 1787555387 5672960 1047 4294967295 134512640 134702520 3221223968 3221222736 134552884 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1047 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 180.73
Current children cumulated vsize (Kb) 7668

[startup+200.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1077 0 0 0 18508 517 0 0 25 0 1 0 1787555387 5672960 1047 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1047 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 190.26
Current children cumulated vsize (Kb) 7668

[startup+210.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1079 0 0 0 19430 544 0 0 22 0 1 0 1787555387 5672960 1049 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1049 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 199.75
Current children cumulated vsize (Kb) 7668

[startup+220.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1080 0 0 0 20388 557 0 0 25 0 1 0 1787555387 5672960 1050 4294967295 134512640 134702520 3221223968 3221222736 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1050 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 209.46
Current children cumulated vsize (Kb) 7668

[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1080 0 0 0 21353 569 0 0 25 0 1 0 1787555387 5672960 1050 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1050 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 219.23
Current children cumulated vsize (Kb) 7668

[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1081 0 0 0 22276 598 0 0 25 0 1 0 1787555387 5672960 1051 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1051 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 228.75
Current children cumulated vsize (Kb) 7668

[startup+250.024 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1081 0 0 0 23206 622 0 0 25 0 1 0 1787555387 5672960 1051 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1051 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 238.29
Current children cumulated vsize (Kb) 7668

[startup+260.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1082 0 0 0 24179 632 0 0 25 0 1 0 1787555387 5672960 1052 4294967295 134512640 134702520 3221223968 3221222736 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1052 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 248.12
Current children cumulated vsize (Kb) 7668

[startup+270.026 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1082 0 0 0 25102 658 0 0 25 0 1 0 1787555387 5672960 1052 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1052 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 257.61
Current children cumulated vsize (Kb) 7668

[startup+280.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1083 0 0 0 26018 687 0 0 25 0 1 0 1787555387 5672960 1053 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1053 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 267.06
Current children cumulated vsize (Kb) 7668

[startup+290.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1084 0 0 0 26958 708 0 0 25 0 1 0 1787555387 5672960 1054 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1054 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 276.67
Current children cumulated vsize (Kb) 7668

[startup+300.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1084 0 0 0 27923 720 0 0 25 0 1 0 1787555387 5672960 1054 4294967295 134512640 134702520 3221223968 3221223248 134553409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1054 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 286.44
Current children cumulated vsize (Kb) 7668

[startup+310.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1085 0 0 0 28846 748 0 0 25 0 1 0 1787555387 5672960 1055 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1055 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 295.95
Current children cumulated vsize (Kb) 7668

[startup+320.031 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1087 0 0 0 29748 779 0 0 25 0 1 0 1787555387 5672960 1057 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1057 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 305.28
Current children cumulated vsize (Kb) 7668

[startup+330.032 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1087 0 0 0 30709 792 0 0 25 0 1 0 1787555387 5672960 1057 4294967295 134512640 134702520 3221223968 3221222736 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1057 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 315.02
Current children cumulated vsize (Kb) 7668
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=8715) exited with status: 2
New process pid=8716
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=8716) exited with status: 0
New process pid=8717
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+340.033 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 244 0 0 0 290 19 0 0 24 0 1 0 1787589037 2666496 215 4294967295 134512640 134702520 3221223712 3221222720 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 651 215 413 48 0 603 0
[pid=8717] vsize: 2604
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (Kb) 4732

[startup+350.034 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 244 0 0 0 1206 50 0 0 25 0 1 0 1787589037 2666496 215 4294967295 134512640 134702520 3221223712 3221222720 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 651 215 413 48 0 603 0
[pid=8717] vsize: 2604
Current children cumulated CPU time (s) 334.02
Current children cumulated vsize (Kb) 4732

[startup+360.035 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 293 0 0 0 2057 98 0 0 21 0 1 0 1787589037 4280320 264 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 264 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 343.01
Current children cumulated vsize (Kb) 6308

[startup+370.036 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 297 0 0 0 2901 148 0 0 19 0 1 0 1787589037 4280320 268 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 268 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 351.95
Current children cumulated vsize (Kb) 6308

[startup+380.036 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 297 0 0 0 3812 177 0 0 25 0 1 0 1787589037 4280320 268 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 268 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 361.35
Current children cumulated vsize (Kb) 6308

[startup+390.036 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 300 0 0 0 4643 232 0 0 19 0 1 0 1787589037 4280320 271 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 271 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 370.21
Current children cumulated vsize (Kb) 6308

[startup+400.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 303 0 0 0 5489 285 0 0 25 0 1 0 1787589037 4280320 274 4294967295 134512640 134702520 3221223712 3221222480 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 274 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 379.2
Current children cumulated vsize (Kb) 6308

[startup+410.038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 303 0 0 0 6409 312 0 0 25 0 1 0 1787589037 4280320 274 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 274 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 388.67
Current children cumulated vsize (Kb) 6308

[startup+420.038 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 310 0 0 0 7227 371 0 0 23 0 1 0 1787589037 4280320 281 4294967295 134512640 134702520 3221223712 3221222480 134553045 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 281 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 397.44
Current children cumulated vsize (Kb) 6308

[startup+430.04 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 311 0 0 0 8072 422 0 0 25 0 1 0 1787589037 4280320 282 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 282 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 406.4
Current children cumulated vsize (Kb) 6308

[startup+440.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 311 0 0 0 8986 453 0 0 25 0 1 0 1787589037 4280320 282 4294967295 134512640 134702520 3221223712 3221222480 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 282 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 415.85
Current children cumulated vsize (Kb) 6308

[startup+450.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 317 0 0 0 9785 523 0 0 24 0 1 0 1787589037 4280320 288 4294967295 134512640 134702520 3221223712 3221222480 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 288 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 424.54
Current children cumulated vsize (Kb) 6308

[startup+460.042 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 320 0 0 0 10626 577 0 0 25 0 1 0 1787589037 4280320 291 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 291 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 433.49
Current children cumulated vsize (Kb) 6308

[startup+470.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 320 0 0 0 11537 607 0 0 24 0 1 0 1787589037 4280320 291 4294967295 134512640 134702520 3221223712 3221222352 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 291 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 442.9
Current children cumulated vsize (Kb) 6308

[startup+480.043 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 340 0 0 0 12327 675 0 0 25 0 1 0 1787589037 4280320 311 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 311 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 451.48
Current children cumulated vsize (Kb) 6308

[startup+490.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 343 0 0 0 13165 730 0 0 25 0 1 0 1787589037 4280320 314 4294967295 134512640 134702520 3221223712 3221222480 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 314 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (Kb) 6308

[startup+500.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 343 0 0 0 14078 762 0 0 23 0 1 0 1787589037 4280320 314 4294967295 134512640 134702520 3221223712 3221222480 134552197 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 314 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 469.86
Current children cumulated vsize (Kb) 6308

[startup+510.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 344 0 0 0 14854 840 0 0 21 0 1 0 1787589037 4280320 315 4294967295 134512640 134702520 3221223712 3221222444 134548992 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 315 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 478.4
Current children cumulated vsize (Kb) 6308

[startup+520.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 345 0 0 0 15687 896 0 0 25 0 1 0 1787589037 4407296 316 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 316 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 487.29
Current children cumulated vsize (Kb) 6432

[startup+530.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 345 0 0 0 16602 923 0 0 25 0 1 0 1787589037 4407296 316 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 316 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 496.71
Current children cumulated vsize (Kb) 6432

[startup+540.048 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 346 0 0 0 17375 997 0 0 22 0 1 0 1787589037 4407296 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 317 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 505.18
Current children cumulated vsize (Kb) 6432

[startup+550.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 347 0 0 0 18199 1053 0 0 25 0 1 0 1787589037 4407296 318 4294967295 134512640 134702520 3221223712 3221222480 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 318 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 513.98
Current children cumulated vsize (Kb) 6432

[startup+560.05 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 347 0 0 0 19112 1083 0 0 25 0 1 0 1787589037 4407296 318 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 318 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 523.41
Current children cumulated vsize (Kb) 6432

[startup+570.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 351 0 0 0 19875 1163 0 0 17 0 1 0 1787589037 4407296 322 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 322 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 531.84
Current children cumulated vsize (Kb) 6432

[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 360 0 0 0 20685 1229 0 0 20 0 1 0 1787589037 4407296 331 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 331 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 540.6
Current children cumulated vsize (Kb) 6432

[startup+590.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 360 0 0 0 21602 1259 0 0 25 0 1 0 1787589037 4407296 331 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 331 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 550.07
Current children cumulated vsize (Kb) 6432

[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 364 0 0 0 22385 1328 0 0 22 0 1 0 1787589037 4407296 335 4294967295 134512640 134702520 3221223712 3221222608 134552799 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 335 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 558.59
Current children cumulated vsize (Kb) 6432

[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 366 0 0 0 23152 1408 0 0 25 0 1 0 1787589037 4407296 337 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 337 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 567.06
Current children cumulated vsize (Kb) 6432

[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 366 0 0 0 24070 1436 0 0 25 0 1 0 1787589037 4407296 337 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 337 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 576.52
Current children cumulated vsize (Kb) 6432

[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 368 0 0 0 24891 1494 0 0 20 0 1 0 1787589037 4407296 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 339 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 585.31
Current children cumulated vsize (Kb) 6432

[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 373 0 0 0 25638 1578 0 0 21 0 1 0 1787589037 4407296 344 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 344 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 593.62
Current children cumulated vsize (Kb) 6432

[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 373 0 0 0 26547 1610 0 0 25 0 1 0 1787589037 4407296 344 4294967295 134512640 134702520 3221223712 3221222480 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 344 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 603.03
Current children cumulated vsize (Kb) 6432

[startup+660.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 375 0 0 0 27371 1665 0 0 19 0 1 0 1787589037 4407296 346 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 346 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 611.82
Current children cumulated vsize (Kb) 6432

[startup+670.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 380 0 0 0 28138 1746 0 0 25 0 1 0 1787589037 4407296 351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 351 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 620.3
Current children cumulated vsize (Kb) 6432

[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 380 0 0 0 28988 1799 0 0 25 0 1 0 1787589037 4407296 351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 351 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 629.33
Current children cumulated vsize (Kb) 6432

[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 380 0 0 0 29858 1841 0 0 21 0 1 0 1787589037 4407296 351 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 351 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 638.45
Current children cumulated vsize (Kb) 6432

[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 384 0 0 0 30608 1925 0 0 18 0 1 0 1787589037 4407296 355 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 355 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 646.79
Current children cumulated vsize (Kb) 6432

[startup+710.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 384 0 0 0 31412 1989 0 0 25 0 1 0 1787589037 4407296 355 4294967295 134512640 134702520 3221223712 3221222608 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 355 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 655.47
Current children cumulated vsize (Kb) 6432

[startup+720.065 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 384 0 0 0 32324 2018 0 0 25 0 1 0 1787589037 4407296 355 4294967295 134512640 134702520 3221223712 3221222480 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 355 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 664.88
Current children cumulated vsize (Kb) 6432

[startup+730.065 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 388 0 0 0 33071 2099 0 0 17 0 1 0 1787589037 4407296 359 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 359 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 673.16
Current children cumulated vsize (Kb) 6432

[startup+740.066 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 390 0 0 0 33805 2186 0 0 16 0 1 0 1787589037 4407296 361 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 361 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 681.37
Current children cumulated vsize (Kb) 6432

[startup+750.067 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 390 0 0 0 34723 2216 0 0 25 0 1 0 1787589037 4407296 361 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 361 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 690.85
Current children cumulated vsize (Kb) 6432

[startup+760.067 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 611 0 0 0 35516 2281 0 0 23 0 1 0 1787589037 5361664 582 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1309 582 413 48 0 1261 0
[pid=8717] vsize: 5236
Current children cumulated CPU time (s) 699.43
Current children cumulated vsize (Kb) 7364

[startup+770.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1075 0 0 0 36362 2332 0 0 25 0 1 0 1787589037 7208960 1046 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1760 1046 413 48 0 1712 0
[pid=8717] vsize: 7040
Current children cumulated CPU time (s) 708.4
Current children cumulated vsize (Kb) 9168

[startup+780.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 1340 0 0 0 37270 2365 0 0 25 0 1 0 1787589037 8380416 1311 4294967295 134512640 134702520 3221223712 3221223104 134604355 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2046 1311 413 48 0 1998 0
[pid=8717] vsize: 8184
Current children cumulated CPU time (s) 717.81
Current children cumulated vsize (Kb) 10312

[startup+790.069 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1534 0 0 0 38200 2386 0 0 25 0 1 0 1787589037 9306112 1505 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2272 1505 413 48 0 2224 0
[pid=8717] vsize: 9088
Current children cumulated CPU time (s) 727.32
Current children cumulated vsize (Kb) 11216

[startup+800.071 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1628 0 0 0 39109 2419 0 0 22 0 1 0 1787589037 6029312 758 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1472 758 413 48 0 1424 0
[pid=8717] vsize: 5888
Current children cumulated CPU time (s) 736.74
Current children cumulated vsize (Kb) 8016

[startup+810.072 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1628 0 0 0 40020 2451 0 0 25 0 1 0 1787589037 6029312 758 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1472 758 413 48 0 1424 0
[pid=8717] vsize: 5888
Current children cumulated CPU time (s) 746.17
Current children cumulated vsize (Kb) 8016

[startup+820.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1922 0 0 0 40813 2523 0 0 23 0 1 0 1787589037 7258112 1052 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1772 1052 413 48 0 1724 0
[pid=8717] vsize: 7088
Current children cumulated CPU time (s) 754.82
Current children cumulated vsize (Kb) 9216

[startup+830.073 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 2203 0 0 0 41693 2564 0 0 17 0 1 0 1787589037 8282112 1333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 2022 1333 413 48 0 1974 0
[pid=8717] vsize: 8088
Current children cumulated CPU time (s) 764.03
Current children cumulated vsize (Kb) 10216

[startup+840.074 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 2360 0 0 0 42623 2589 0 0 25 0 1 0 1787589037 9043968 1490 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2208 1490 413 48 0 2160 0
[pid=8717] vsize: 8832
Current children cumulated CPU time (s) 773.58
Current children cumulated vsize (Kb) 10960

[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 2520 0 0 0 43565 2609 0 0 25 0 1 0 1787589037 9658368 1650 4294967295 134512640 134702520 3221223712 3221223104 134603625 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2358 1650 413 48 0 2310 0
[pid=8717] vsize: 9432
Current children cumulated CPU time (s) 783.2
Current children cumulated vsize (Kb) 11560

[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 2871 0 0 0 44513 2629 0 0 25 0 1 0 1787589037 10436608 2001 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2548 2001 413 48 0 2500 0
[pid=8717] vsize: 10192
Current children cumulated CPU time (s) 792.88
Current children cumulated vsize (Kb) 12320

[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3104 0 0 0 45475 2644 0 0 25 0 1 0 1787589037 11051008 2234 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2698 2234 413 48 0 2650 0
[pid=8717] vsize: 10792
Current children cumulated CPU time (s) 802.65
Current children cumulated vsize (Kb) 12920

[startup+880.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3311 0 0 0 46437 2657 0 0 25 0 1 0 1787589037 11624448 2441 4294967295 134512640 134702520 3221223712 3221223104 134603373 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2838 2441 413 48 0 2790 0
[pid=8717] vsize: 11352
Current children cumulated CPU time (s) 812.4
Current children cumulated vsize (Kb) 13480

[startup+890.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3432 0 0 0 47400 2672 0 0 25 0 1 0 1787589037 12238848 2562 4294967295 134512640 134702520 3221223712 3221223104 134604379 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2988 2562 413 48 0 2940 0
[pid=8717] vsize: 11952
Current children cumulated CPU time (s) 822.18
Current children cumulated vsize (Kb) 14080

[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3552 0 0 0 48366 2685 0 0 25 0 1 0 1787589037 12648448 2682 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 3088 2682 413 48 0 3040 0
[pid=8717] vsize: 12352
Current children cumulated CPU time (s) 831.97
Current children cumulated vsize (Kb) 14480
One traced child (pid=8717) exited with status: 0
New process pid=8718
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
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 /oldhome/oroussel/tmp/wulflinc13/normalized-ii32a1.opb
One traced child (pid=8718) exited with status: 0
New process pid=8719
One traced child (pid=8719) exited with status: 127
New process pid=8720
New process pid=8721
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/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/1564/cmdline
open syscall for file /proc/1564/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/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/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/8675/stat
open syscall for file /proc/8675/status
open syscall for file /proc/8675/cmdline
open syscall for file /proc/8675/environ
open syscall for file /proc/8711/stat
open syscall for file /proc/8711/status
open syscall for file /proc/8711/cmdline
open syscall for file /proc/8711/environ
open syscall for file /proc/8712/stat
open syscall for file /proc/8712/status
open syscall for file /proc/8712/cmdline
open syscall for file /proc/8712/environ
open syscall for file /proc/8720/stat
open syscall for file /proc/8720/status
open syscall for file /proc/8720/cmdline
open syscall for file /proc/8720/environ
open syscall for file /proc/8721/stat
open syscall for file /proc/8721/status
open syscall for file /proc/8721/cmdline
open syscall for file /proc/8721/environ
One traced child (pid=8720) exited with status: 0
One traced child (pid=8721) exited with status: 0
New process pid=8722
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=8722) exited with status: 0
New process pid=8723
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=8723) exited with status: 0
One traced child (pid=8712) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 903.787
CPU time (s): 835.244
CPU user time (s): 800.296
CPU system time (s): 34.9477
CPU usage (%): 92.4161
Max. virtual memory (cumulated for all children) (Kb): 14480

Verifier Data

ERROR: no interpretation found !