Some explanations

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

General information on the benchmark

Namemps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
MD5SUM54588598df6d934a1c188bcc0918a0bb
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1486831
Optimality of the best value was proved YES
Number of terms in the objective function 100
Biggest coefficient in the objective function 131072000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 309329625
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1273495552
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 20473426875
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark481.221
Number of variables640
Total number of constraints27
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints27
Minimum length of a constraint20
Maximum length of a constraint180

Trace number 9457

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931256 kB
Buffers:         10268 kB
Cached:          76092 kB
SwapCached:          0 kB
Active:          43208 kB
Inactive:        46052 kB
HighTotal:      131008 kB
HighFree:        51884 kB
LowTotal:       903652 kB
LowFree:        879372 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8508 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:08:21 (client local time) WITH STATUS 10 IN 421.275 SECONDS
stats: 8200 6 421.275 10

Solver Data

1:
seed: 0
Nr of vars set: 28  (#equs: 0)
Nr of vars set: 108  (#equs: 0)
#decisions: 698662;  #end-nodes: 295865;
#proof improvement attempts: 0;  #restarts: 1248
Current batch, end-nodes: 0 / 391 (391)
#axs: 35, #non-axs: 34
tight: meta-meta: start: 3, end: 4;  meta: start: 9, end (keep): 17
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 108  (#equs: 0)
Time taken: 5 min, 16 sec

2:
seed: 0
Nr of vars set: 108  (#equs: 0)
Nr of vars set: 108  (#equs: 0)
#decisions: 508617;  #end-nodes: 209624;
#proof improvement attempts: 0;  #restarts: 896
Current batch, end-nodes: 174 / 344 (344)
#axs: 34, #non-axs: 96
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 6
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
seed: 0
Nr of vars set: 494  (#equs: 0)
Time taken: 1 min, 44 sec
times:
0m0.022s 0m0.017s
5m42.254s 1m18.531s
v -X02_bit_7 -X02_bit_6 -X02_bit_5  X02_bit_4  X02_bit_3 -X02_bit_2 -X02_bit_1 -X02_bit0 -X02_bit1  X02_bit2 -X02_bit3 -X02_bit4 -X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 -X14_bit_7 -X14_bit_6  X14_bit_5  X14_bit_4  X14_bit_3  X14_bit_2 -X14_bit_1 -X14_bit0  X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12  X23_bit_7  X23_bit_6  X23_bit_5  X23_bit_4  X23_bit_3 -X23_bit_2  X23_bit_1 -X23_bit0  X23_bit1  X23_bit2  X23_bit3  X23_bit4  X23_bit5  X23_bit6 -X23_bit7  X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3  X36_bit_2  X36_bit_1 -X36_bit0  X36_bit1  X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7  X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2  X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3  X39_bit4  X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X01_bit_7 -X01_bit_6  X01_bit_5 -X01_bit_4  X01_bit_3  X01_bit_2  X01_bit_1  X01_bit0 -X01_bit1  X01_bit2 -X01_bit3  X01_bit4  X01_bit5 -X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X03_bit_7 -X03_bit_6  X03_bit_5  X03_bit_4  X03_bit_3 -X03_bit_2  X03_bit_1  X03_bit0 -X03_bit1 -X03_bit2 -X03_bit3  X03_bit4  X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X04_bit_7  X04_bit_6 -X04_bit_5 -X04_bit_4  X04_bit_3 -X04_bit_2 -X04_bit_1  X04_bit0 -X04_bit1 -X04_bit2  X04_bit3  X04_bit4  X04_bit5 -X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X06_bit_7 -X06_bit_6 -X06_bit_5 -X06_bit_4 -X06_bit_3  X06_bit_2 -X06_bit_1 -X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 -X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12  X07_bit_7  X07_bit_6  X07_bit_5 -X07_bit_4  X07_bit_3 -X07_bit_2  X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 -X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12  X08_bit_7  X08_bit_6  X08_bit_5 -X08_bit_4 -X08_bit_3 -X08_bit_2  X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 -X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12  X09_bit_7 -X09_bit_6  X09_bit_5  X09_bit_4  X09_bit_3  X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6  X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12  X15_bit_7  X15_bit_6  X15_bit_5  X15_bit_4  X15_bit_3  X15_bit_2 -X15_bit_1  X15_bit0  X15_bit1  X15_bit2  X15_bit3  X15_bit4  X15_bit5  X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12  X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3  X16_bit4  X16_bit5  X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3  X22_bit_2  X22_bit_1 -X22_bit0  X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4  X22_bit5 -X22_bit6  X22_bit7  X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12  X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4  X24_bit_3  X24_bit_2  X24_bit_1 -X24_bit0 -X24_bit1 -X24_bit2  X24_bit3  X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4  X25_bit_3 -X25_bit_2 -X25_bit_1  X25_bit0  X25_bit1 -X25_bit2  X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5  X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 -X26_bit0 -X26_bit1  X26_bit2 -X26_bit3  X26_bit4  X26_bit5 -X26_bit6  X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0  X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4  X29_bit5 -X29_bit6  X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 -X31_bit_6 -X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4  X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X38_bit_7 -X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2  X38_bit_1  X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3  X38_bit4 -X38_bit5  X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3  X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5  X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12  X10_bit_7  X10_bit_6  X10_bit_5  X10_bit_4  X10_bit_3  X10_bit_2  X10_bit_1  X10_bit0  X10_bit1  X10_bit2  X10_bit3  X10_bit4  X10_bit5  X10_bit6  X10_bit7  X10_bit8  X10_bit9  X10_bit10  X10_bit11  X10_bit12  X11_bit_7  X11_bit_6  X11_bit_5  X11_bit_4  X11_bit_3  X11_bit_2  X11_bit_1  X11_bit0  X11_bit1  X11_bit2  X11_bit3  X11_bit4  X11_bit5  X11_bit6  X11_bit7  X11_bit8  X11_bit9  X11_bit10  X11_bit11  X11_bit12  X12_bit_7  X12_bit_6  X12_bit_5  X12_bit_4  X12_bit_3  X12_bit_2  X12_bit_1  X12_bit0  X12_bit1  X12_bit2  X12_bit3  X12_bit4  X12_bit5  X12_bit6  X12_bit7  X12_bit8  X12_bit9  X12_bit10  X12_bit11  X12_bit12  X13_bit_7  X13_bit_6  X13_bit_5  X13_bit_4  X13_bit_3  X13_bit_2  X13_bit_1  X13_bit0  X13_bit1  X13_bit2  X13_bit3  X13_bit4  X13_bit5  X13_bit6  X13_bit7  X13_bit8  X13_bit9  X13_bit10  X13_bit11  X13_bit12  X32_bit_7  X32_bit_6  X32_bit_5  X32_bit_4  X32_bit_3  X32_bit_2  X32_bit_1  X32_bit0  X32_bit1  X32_bit2  X32_bit3  X32_bit4  X32_bit5  X32_bit6  X32_bit7  X32_bit8  X32_bit9  X32_bit10  X32_bit11  X32_bit12  X33_bit_7  X33_bit_6  X33_bit_5  X33_bit_4  X33_bit_3  X33_bit_2  X33_bit_1  X33_bit0  X33_bit1  X33_bit2  X33_bit3  X33_bit4  X33_bit5  X33_bit6  X33_bit7  X33_bit8  X33_bit9  X33_bit10  X33_bit11  X33_bit12  X34_bit_7  X34_bit_6  X34_bit_5  X34_bit_4  X34_bit_3  X34_bit_2  X34_bit_1  X34_bit0  X34_bit1  X34_bit2  X34_bit3  X34_bit4  X34_bit5  X34_bit6  X34_bit7  X34_bit8  X34_bit9  X34_bit10  X34_bit11 -X34_bit12  X35_bit_7  X35_bit_6  X35_bit_5  X35_bit_4  X35_bit_3  X35_bit_2  X35_bit_1  X35_bit0  X35_bit1  X35_bit2  X35_bit3  X35_bit4  X35_bit5  X35_bit6  X35_bit7  X35_bit8  X35_bit9  X35_bit10  X35_bit11 -X35_bit12 
s SATISFIABLE

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/5907/stat): 5907 (vallstSAT2005PB) R 5906 5907 4005 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20694812 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5907/statm): 174 3 169 147 0 27 0
[pid=5907] 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=5908
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=5908) exited with status: 0
New process pid=5909
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=5909) exited with status: 0
New process pid=5910
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/wulflinc26/normalized-mps-v2-13-7-afiro.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 223 0 0 0 515 155 0 0 19 0 1 0 20694820 2392064 193 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 584 193 413 48 0 536 0
[pid=5910] vsize: 2336
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (Kb) 4464

[startup+20.0042 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 334 0 0 0 1070 300 0 0 18 0 1 0 20694820 2396160 304 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 585 304 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 13.72
Current children cumulated vsize (Kb) 4468

[startup+30.0049 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 335 0 0 0 1652 441 0 0 18 0 1 0 20694820 2396160 305 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 585 305 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 20.95
Current children cumulated vsize (Kb) 4468

[startup+40.0056 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 341 0 0 0 2252 569 0 0 18 0 1 0 20694820 2396160 311 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 585 311 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 28.23
Current children cumulated vsize (Kb) 4468

[startup+50.0062 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 343 0 0 0 2825 704 0 0 19 0 1 0 20694820 2396160 313 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 585 313 413 48 0 537 0
[pid=5910] vsize: 2340
Current children cumulated CPU time (s) 35.31
Current children cumulated vsize (Kb) 4468

[startup+60.0069 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 346 0 0 0 3478 822 0 0 17 0 1 0 20694820 2527232 316 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 316 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 43.02
Current children cumulated vsize (Kb) 4596

[startup+70.0086 s]
Raw data (loadavg): 1.04 1.00 1.00 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 351 0 0 0 4078 954 0 0 17 0 1 0 20694820 2527232 321 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 321 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (Kb) 4596

[startup+80.0093 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5910
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 352 0 0 0 4698 1081 0 0 19 0 1 0 20694820 2527232 322 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 322 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 57.81
Current children cumulated vsize (Kb) 4596

[startup+90.01 s]
Raw data (loadavg): 1.02 1.00 1.00 3/60 5960
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 358 0 0 0 5318 1202 0 0 16 0 1 0 20694820 2527232 328 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 328 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 65.22
Current children cumulated vsize (Kb) 4596

[startup+100.014 s]
Raw data (loadavg): 1.17 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 361 0 0 0 5917 1329 0 0 15 0 1 0 20694820 2527232 331 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 331 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 72.48
Current children cumulated vsize (Kb) 4596

[startup+110.015 s]
Raw data (loadavg): 1.14 1.03 1.01 2/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4005 0 -1 0 362 0 0 0 6658 1415 0 0 16 0 1 0 20694820 2527232 332 4294967295 134512640 134702520 3221223952 3221222592 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 332 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 80.75
Current children cumulated vsize (Kb) 4596

[startup+120.016 s]
Raw data (loadavg): 1.12 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 366 0 0 0 7330 1525 0 0 15 0 1 0 20694820 2527232 336 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 336 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 88.57
Current children cumulated vsize (Kb) 4596

[startup+130.017 s]
Raw data (loadavg): 1.10 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 369 0 0 0 7940 1652 0 0 16 0 1 0 20694820 2527232 339 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 339 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 95.94
Current children cumulated vsize (Kb) 4596

[startup+140.017 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5965
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 369 0 0 0 8678 1743 0 0 15 0 1 0 20694820 2527232 339 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 617 339 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 104.23
Current children cumulated vsize (Kb) 4596

[startup+150.018 s]
Raw data (loadavg): 1.07 1.03 1.01 1/56 5967
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 372 0 0 0 9354 1846 0 0 15 0 1 0 20694820 2527232 342 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 342 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 112.02
Current children cumulated vsize (Kb) 4596

[startup+160.019 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5969
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 376 0 0 0 9998 1967 0 0 16 0 1 0 20694820 2527232 346 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 617 346 413 48 0 569 0
[pid=5910] vsize: 2468
Current children cumulated CPU time (s) 119.67
Current children cumulated vsize (Kb) 4596

[startup+170.02 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 377 0 0 0 10704 2069 0 0 16 0 1 0 20694820 2662400 347 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 650 347 413 48 0 602 0
[pid=5910] vsize: 2600
Current children cumulated CPU time (s) 127.75
Current children cumulated vsize (Kb) 4728

[startup+180.02 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 379 0 0 0 11405 2173 0 0 16 0 1 0 20694820 2654208 349 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 349 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 135.8
Current children cumulated vsize (Kb) 4720

[startup+190.022 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 383 0 0 0 12075 2284 0 0 15 0 1 0 20694820 2654208 353 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 353 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 143.61
Current children cumulated vsize (Kb) 4720

[startup+200.023 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 384 0 0 0 12717 2405 0 0 15 0 1 0 20694820 2654208 354 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 354 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 151.24
Current children cumulated vsize (Kb) 4720

[startup+210.023 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 385 0 0 0 13420 2509 0 0 16 0 1 0 20694820 2654208 355 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 355 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 159.31
Current children cumulated vsize (Kb) 4720

[startup+220.024 s]
Raw data (loadavg): 1.09 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 388 0 0 0 14093 2616 0 0 16 0 1 0 20694820 2654208 358 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 358 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 167.11
Current children cumulated vsize (Kb) 4720

[startup+230.025 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 391 0 0 0 14721 2738 0 0 15 0 1 0 20694820 2654208 361 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 361 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 174.61
Current children cumulated vsize (Kb) 4720

[startup+240.025 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 392 0 0 0 15454 2824 0 0 15 0 1 0 20694820 2654208 362 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 362 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 182.8
Current children cumulated vsize (Kb) 4720

[startup+250.027 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 396 0 0 0 16127 2933 0 0 15 0 1 0 20694820 2654208 366 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 648 366 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 190.62
Current children cumulated vsize (Kb) 4720

[startup+260.028 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 401 0 0 0 16759 3053 0 0 15 0 1 0 20694820 2654208 371 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 371 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 198.14
Current children cumulated vsize (Kb) 4720

[startup+270.028 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 401 0 0 0 17479 3148 0 0 15 0 1 0 20694820 2654208 371 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 371 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 206.29
Current children cumulated vsize (Kb) 4720

[startup+280.029 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 403 0 0 0 18177 3246 0 0 15 0 1 0 20694820 2654208 373 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 373 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 214.25
Current children cumulated vsize (Kb) 4720

[startup+290.03 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4005 0 -1 0 406 0 0 0 18848 3353 0 0 15 0 1 0 20694820 2654208 376 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5910/statm): 648 376 413 48 0 600 0
[pid=5910] vsize: 2592
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (Kb) 4720

[startup+300.03 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 408 0 0 0 19494 3473 0 0 15 0 1 0 20694820 2789376 378 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 681 378 413 48 0 633 0
[pid=5910] vsize: 2724
Current children cumulated CPU time (s) 229.69
Current children cumulated vsize (Kb) 4852

[startup+310.031 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 409 0 0 0 20208 3571 0 0 15 0 1 0 20694820 2785280 379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 379 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 237.81
Current children cumulated vsize (Kb) 4848

[startup+320.032 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 412 0 0 0 20883 3679 0 0 16 0 1 0 20694820 2785280 382 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 382 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 245.64
Current children cumulated vsize (Kb) 4848

[startup+330.033 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 414 0 0 0 21500 3811 0 0 16 0 1 0 20694820 2785280 384 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 384 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 253.13
Current children cumulated vsize (Kb) 4848

[startup+340.033 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 415 0 0 0 22233 3902 0 0 15 0 1 0 20694820 2785280 385 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 385 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 261.37
Current children cumulated vsize (Kb) 4848

[startup+350.034 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) R 5907 5907 4005 0 -1 0 418 0 0 0 22898 4017 0 0 16 0 1 0 20694820 2785280 388 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 388 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 269.17
Current children cumulated vsize (Kb) 4848

[startup+360.034 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 424 0 0 0 23560 4129 0 0 16 0 1 0 20694820 2785280 394 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 394 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 276.91
Current children cumulated vsize (Kb) 4848

[startup+370.034 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 425 0 0 0 24219 4240 0 0 16 0 1 0 20694820 2785280 395 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 395 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 284.61
Current children cumulated vsize (Kb) 4848

[startup+380.035 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 426 0 0 0 24923 4341 0 0 15 0 1 0 20694820 2785280 396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 396 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 292.66
Current children cumulated vsize (Kb) 4848

[startup+390.036 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 430 0 0 0 25606 4442 0 0 15 0 1 0 20694820 2785280 400 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5910/statm): 680 400 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 300.5
Current children cumulated vsize (Kb) 4848

[startup+400.036 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 434 0 0 0 26220 4574 0 0 15 0 1 0 20694820 2785280 404 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 404 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 307.96
Current children cumulated vsize (Kb) 4848

[startup+410.036 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 5971
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 20694812 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 242 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5910/stat): 5910 (vallst) T 5907 5907 4005 0 -1 0 434 0 0 0 26960 4664 0 0 15 0 1 0 20694820 2785280 404 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5910/statm): 680 404 413 48 0 632 0
[pid=5910] vsize: 2720
Current children cumulated CPU time (s) 316.26
Current children cumulated vsize (Kb) 4848
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=5910) exited with status: 2
New process pid=5972
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=5972) exited with status: 0
New process pid=5973
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+420.037 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 5973
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 279 0 0 0 366 197 0 0 17 0 1 0 20735848 2383872 249 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 582 249 413 48 0 534 0
[pid=5973] vsize: 2328
Current children cumulated CPU time (s) 322.11
Current children cumulated vsize (Kb) 4456

[startup+430.037 s]
Raw data (loadavg): 1.20 1.08 1.01 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 334 0 0 0 768 393 0 0 17 0 1 0 20735848 2383872 304 4294967295 134512640 134702520 3221223712 3221222480 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5973/statm): 582 304 413 48 0 534 0
[pid=5973] vsize: 2328
Current children cumulated CPU time (s) 328.09
Current children cumulated vsize (Kb) 4456

[startup+440.038 s]
Raw data (loadavg): 1.25 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 342 0 0 0 1193 581 0 0 16 0 1 0 20735848 2519040 312 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 312 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 334.22
Current children cumulated vsize (Kb) 4588

[startup+450.039 s]
Raw data (loadavg): 1.21 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 347 0 0 0 1576 778 0 0 17 0 1 0 20735848 2519040 317 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 317 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 4588

[startup+460.039 s]
Raw data (loadavg): 1.18 1.08 1.02 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 353 0 0 0 2035 962 0 0 16 0 1 0 20735848 2519040 323 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 323 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 4588

[startup+470.04 s]
Raw data (loadavg): 1.15 1.08 1.02 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 356 0 0 0 2427 1156 0 0 17 0 1 0 20735848 2519040 326 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5973/statm): 615 326 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 352.31
Current children cumulated vsize (Kb) 4588

[startup+480.04 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 364 0 0 0 2843 1347 0 0 16 0 1 0 20735848 2519040 334 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 615 334 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 358.38
Current children cumulated vsize (Kb) 4588

[startup+490.041 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) R 5907 5907 4005 0 -1 0 369 0 0 0 3267 1532 0 0 17 0 1 0 20735848 2519040 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5973/statm): 615 339 413 48 0 567 0
[pid=5973] vsize: 2460
Current children cumulated CPU time (s) 364.47
Current children cumulated vsize (Kb) 4588

[startup+500.042 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 372 0 0 0 3666 1725 0 0 16 0 1 0 20735848 2646016 342 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 342 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 370.39
Current children cumulated vsize (Kb) 4712

[startup+510.042 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 377 0 0 0 4128 1893 0 0 18 0 1 0 20735848 2646016 347 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 347 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 376.69
Current children cumulated vsize (Kb) 4712

[startup+520.044 s]
Raw data (loadavg): 1.06 1.07 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 379 0 0 0 4523 2089 0 0 18 0 1 0 20735848 2646016 349 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 349 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 382.6
Current children cumulated vsize (Kb) 4712

[startup+530.044 s]
Raw data (loadavg): 1.13 1.08 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 384 0 0 0 4987 2260 0 0 17 0 1 0 20735848 2646016 354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 354 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 388.95
Current children cumulated vsize (Kb) 4712

[startup+540.045 s]
Raw data (loadavg): 1.11 1.08 1.01 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 386 0 0 0 5391 2445 0 0 17 0 1 0 20735848 2646016 356 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 356 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 394.84
Current children cumulated vsize (Kb) 4712

[startup+550.046 s]
Raw data (loadavg): 1.18 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 391 0 0 0 5881 2607 0 0 16 0 1 0 20735848 2646016 361 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 361 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 401.36
Current children cumulated vsize (Kb) 4712

[startup+560.046 s]
Raw data (loadavg): 1.15 1.09 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 393 0 0 0 6288 2798 0 0 18 0 1 0 20735848 2646016 363 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5973/statm): 646 363 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 407.34
Current children cumulated vsize (Kb) 4712

[startup+570.047 s]
Raw data (loadavg): 1.12 1.08 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 397 0 0 0 6773 2966 0 0 16 0 1 0 20735848 2646016 367 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 367 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 413.87
Current children cumulated vsize (Kb) 4712

[startup+580.048 s]
Raw data (loadavg): 1.10 1.08 1.02 1/56 5975
Raw data (/proc/5907/stat): 5907 (vallstSAT2005PB) S 5906 5907 4005 0 -1 0 378 809 0 0 2 1 26976 4669 17 0 1 0 20694812 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5907/statm): 532 248 485 147 0 385 0
[pid=5907] vsize: 2128
Raw data (/proc/5973/stat): 5973 (vallst) T 5907 5907 4005 0 -1 0 399 0 0 0 7194 3157 0 0 18 0 1 0 20735848 2646016 369 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5973/statm): 646 369 413 48 0 598 0
[pid=5973] vsize: 2584
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 4712
One traced child (pid=5973) exited with status: 1
New process pid=5976
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh.model
One traced child (pid=5976) exited with status: 0
New process pid=5977
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
open syscall for file /tmp/vallst_var_map
One traced child (pid=5977) exited with status: 0
New process pid=5978
New process pid=5979
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
execve syscall for /usr/bin/wc 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=5979) exited with status: 0
One traced child (pid=5978) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=5980
New process pid=5981
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
execve syscall for /usr/bin/tail executable
execve syscall for /bin/sed executable
open syscall for file /etc/ld.so.preload
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libc.so.6
open syscall for file mmx/libm.so.6
open syscall for file libc.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
One traced child (pid=5980) exited with status: 0
One traced child (pid=5981) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=5982
New process pid=5983
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/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5868/stat
open syscall for file /proc/5868/status
open syscall for file /proc/5868/cmdline
open syscall for file /proc/5868/environ
open syscall for file /proc/5906/stat
open syscall for file /proc/5906/status
open syscall for file /proc/5906/cmdline
open syscall for file /proc/5906/environ
open syscall for file /proc/5907/stat
open syscall for file /proc/5907/status
open syscall for file /proc/5907/cmdline
open syscall for file /proc/5907/environ
open syscall for file /proc/5982/stat
open syscall for file /proc/5982/status
open syscall for file /proc/5982/cmdline
open syscall for file /proc/5982/environ
open syscall for file /proc/5983/stat
open syscall for file /proc/5983/status
open syscall for file /proc/5983/cmdline
open syscall for file /proc/5983/environ
One traced child (pid=5982) exited with status: 0
One traced child (pid=5983) exited with status: 0
New process pid=5984
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=5984) exited with status: 0
New process pid=5985
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=5985) exited with status: 0
One traced child (pid=5907) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 582.493
CPU time (s): 421.275
CPU user time (s): 342.494
CPU system time (s): 78.781
CPU usage (%): 72.3227
Max. virtual memory (cumulated for all children) (Kb): 4852

Verifier Data

Verifier:	FAILED
ERROR: unsatisfied constraint on line 57