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/routing/normalized-s4-4-3-2pb.opb
MD5SUM55739635f7f3741bc4f78c540803ac21
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of terms in the objective function 648
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 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 648
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 benchmark120.759
Number of variables648
Total number of constraints1952
Number of constraints which are clauses1928
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint27

Trace number 3470

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-19 01:06:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7269 boxname=wulflinc17 idbench=237 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  55739635f7f3741bc4f78c540803ac21  /oldhome/oroussel/tmp/wulflinc17/normalized-s4-4-3-2pb.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc17/normalized-s4-4-3-2pb.opb 0
IDLAUNCH: 7269
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        915372 kB
Buffers:         34084 kB
Cached:          58356 kB
SwapCached:        516 kB
Active:          53216 kB
Inactive:        41612 kB
HighTotal:      131008 kB
HighFree:        68740 kB
LowTotal:       903652 kB
LowFree:        846632 kB
SwapTotal:     2097892 kB
SwapFree:      2096672 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            18684 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 01:19:55 (client local time) WITH STATUS 20 IN 642.778 SECONDS
stats: 7269 7 642.778 20

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 42  (#equs: 145)
#decisions: 68514;  #end-nodes: 25047;
#proof improvement attempts: 0;  #restarts: 135
Current batch, end-nodes: 82 / 138 (113)
#axs: 2110, #non-axs: 10418
tight: meta-meta: start: 5, end: 7;  meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  579 (68:>=*);
#decisions: 65955;  #end-nodes: 27049;
#proof improvement attempts: 0;  #restarts: 175
Current batch, end-nodes: 115 / 128 (123)
#axs: 2127, #non-axs: 5792
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 8
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  581 (66:>=*);
#decisions: 436190;  #end-nodes: 225372;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 289 (271)
#axs: 2152, #non-axs: 1123
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 8
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 581 (66:>=*)

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: 128  (#equs: 199)
Time taken: 5 min, 25 sec

2:
seed: 0
Nr of vars set: 128  (#equs: 0)
Nr of vars set: 128  (#equs: 0)
#decisions: 57368;  #end-nodes: 33799;
#proof improvement attempts: 0;  #restarts: 129
Current batch, end-nodes: 19 / 153 (152)
#axs: 1266, #non-axs: 2519
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 8
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  440 (41:>=*);
#decisions: 542432;  #end-nodes: 356301;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 375 (359)
#axs: 1375, #non-axs: 976
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 6
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 440 (41:>=*)

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: 286  (#equs: 118)
Time taken: 4 min, 19 sec

3:
seed: 0
Nr of vars set: 286  (#equs: 0)
Nr of vars set: 287  (#equs: 1)
#decisions: 206225;  #end-nodes: 164568;
#proof improvement attempts: 0;  #restarts: 382
Current batch, end-nodes: 8338 / 9841 (255)
#axs: 512, #non-axs: 488
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
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: 403  (#equs: 35)
Time taken in seconds: 57
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.029s 0m0.021s
9m18.242s 1m24.399s
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/30009/stat): 30009 (vallstSAT2005PB) R 30008 30009 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845830026 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/30009/statm): 174 3 169 147 0 27 0
[pid=30009] 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=30010
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=30010) exited with status: 0
New process pid=30011
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=30011) exited with status: 0
New process pid=30012
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/wulflinc17/normalized-s4-4-3-2pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 0.84 0.93 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 358 0 0 0 313 222 0 0 17 0 1 0 1845830033 3137536 328 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 766 328 413 48 0 718 0
[pid=30012] vsize: 3064
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (Kb) 5192

[startup+20.0046 s]
Raw data (loadavg): 0.86 0.93 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 461 0 0 0 800 388 0 0 16 0 1 0 1845830033 3432448 431 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 838 431 413 48 0 790 0
[pid=30012] vsize: 3352
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (Kb) 5480

[startup+30.0052 s]
Raw data (loadavg): 0.88 0.94 0.97 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 516 0 0 0 1335 547 0 0 18 0 1 0 1845830033 3575808 486 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 873 486 413 48 0 825 0
[pid=30012] vsize: 3492
Current children cumulated CPU time (s) 18.84
Current children cumulated vsize (Kb) 5620

[startup+40.0058 s]
Raw data (loadavg): 0.90 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 2053 643 0 0 20 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 26.98
Current children cumulated vsize (Kb) 5624

[startup+50.0064 s]
Raw data (loadavg): 0.91 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 2763 744 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (Kb) 5624

[startup+60.007 s]
Raw data (loadavg): 0.93 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 3457 855 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 43.14
Current children cumulated vsize (Kb) 5624

[startup+70.0076 s]
Raw data (loadavg): 0.94 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 4171 956 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 51.29
Current children cumulated vsize (Kb) 5624

[startup+80.0082 s]
Raw data (loadavg): 0.95 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 4903 1047 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 59.52
Current children cumulated vsize (Kb) 5624

[startup+90.0088 s]
Raw data (loadavg): 0.95 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 5632 1138 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 67.72
Current children cumulated vsize (Kb) 5624

[startup+100.009 s]
Raw data (loadavg): 0.96 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 6354 1232 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 75.88
Current children cumulated vsize (Kb) 5624

[startup+110.011 s]
Raw data (loadavg): 0.97 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 7079 1327 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 84.08
Current children cumulated vsize (Kb) 5624

[startup+120.012 s]
Raw data (loadavg): 0.97 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 7813 1421 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 92.36
Current children cumulated vsize (Kb) 5624

[startup+130.012 s]
Raw data (loadavg): 0.98 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 8536 1515 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 100.53
Current children cumulated vsize (Kb) 5624

[startup+140.013 s]
Raw data (loadavg): 0.98 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 9249 1617 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 108.68
Current children cumulated vsize (Kb) 5624

[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.97 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 519 0 0 0 9986 1703 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 116.91
Current children cumulated vsize (Kb) 5624

[startup+160.015 s]
Raw data (loadavg): 0.98 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 10726 1788 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 125.16
Current children cumulated vsize (Kb) 5624

[startup+170.016 s]
Raw data (loadavg): 0.99 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 11440 1890 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 133.32
Current children cumulated vsize (Kb) 5624

[startup+180.016 s]
Raw data (loadavg): 0.99 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 12181 1981 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 141.64
Current children cumulated vsize (Kb) 5624

[startup+190.017 s]
Raw data (loadavg): 0.99 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 558 0 0 0 12940 2071 0 0 15 0 1 0 1845830033 3579904 528 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 528 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 150.13
Current children cumulated vsize (Kb) 5624

[startup+200.017 s]
Raw data (loadavg): 0.99 0.95 0.97 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 566 0 0 0 13677 2159 0 0 16 0 1 0 1845830033 3579904 536 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 536 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 158.38
Current children cumulated vsize (Kb) 5624

[startup+210.019 s]
Raw data (loadavg): 1.07 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 566 0 0 0 14423 2248 0 0 16 0 1 0 1845830033 3579904 536 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 536 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 166.73
Current children cumulated vsize (Kb) 5624

[startup+220.02 s]
Raw data (loadavg): 1.06 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 577 0 0 0 15184 2331 0 0 16 0 1 0 1845830033 3579904 547 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 547 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 175.17
Current children cumulated vsize (Kb) 5624

[startup+230.019 s]
Raw data (loadavg): 1.05 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 577 0 0 0 15927 2421 0 0 16 0 1 0 1845830033 3579904 547 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 547 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 183.5
Current children cumulated vsize (Kb) 5624

[startup+240.02 s]
Raw data (loadavg): 1.04 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 16666 2510 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 191.78
Current children cumulated vsize (Kb) 5624

[startup+250.021 s]
Raw data (loadavg): 1.04 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 17429 2588 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 200.19
Current children cumulated vsize (Kb) 5624

[startup+260.022 s]
Raw data (loadavg): 1.03 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 18197 2668 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 208.67
Current children cumulated vsize (Kb) 5624

[startup+270.023 s]
Raw data (loadavg): 1.02 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 18994 2743 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 217.39
Current children cumulated vsize (Kb) 5624

[startup+280.023 s]
Raw data (loadavg): 1.02 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 19770 2823 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 225.95
Current children cumulated vsize (Kb) 5624

[startup+290.025 s]
Raw data (loadavg): 1.02 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 20504 2922 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 234.28
Current children cumulated vsize (Kb) 5624

[startup+300.025 s]
Raw data (loadavg): 1.01 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 21272 3004 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 242.78
Current children cumulated vsize (Kb) 5624

[startup+310.027 s]
Raw data (loadavg): 1.01 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 22028 3088 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222864 134553011 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 251.18
Current children cumulated vsize (Kb) 5624

[startup+320.028 s]
Raw data (loadavg): 1.01 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 22786 3174 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223248 134551055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 259.62
Current children cumulated vsize (Kb) 5624

[startup+330.028 s]
Raw data (loadavg): 1.01 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 23520 3268 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 267.9
Current children cumulated vsize (Kb) 5624

[startup+340.029 s]
Raw data (loadavg): 1.01 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 24293 3345 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 276.4
Current children cumulated vsize (Kb) 5624

[startup+350.029 s]
Raw data (loadavg): 1.00 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 25062 3426 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 284.9
Current children cumulated vsize (Kb) 5624

[startup+360.03 s]
Raw data (loadavg): 1.08 0.99 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 627 0 0 0 25845 3503 0 0 16 0 1 0 1845830033 3579904 597 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 597 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 293.5
Current children cumulated vsize (Kb) 5624

[startup+370.032 s]
Raw data (loadavg): 1.07 0.99 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 643 0 0 0 26647 3570 0 0 15 0 1 0 1845830033 3727360 613 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 910 613 413 48 0 862 0
[pid=30012] vsize: 3640
Current children cumulated CPU time (s) 302.19
Current children cumulated vsize (Kb) 5768

[startup+380.032 s]
Raw data (loadavg): 1.06 0.99 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 673 0 0 0 27474 3634 0 0 16 0 1 0 1845830033 3862528 643 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 943 643 413 48 0 895 0
[pid=30012] vsize: 3772
Current children cumulated CPU time (s) 311.1
Current children cumulated vsize (Kb) 5900

[startup+390.033 s]
Raw data (loadavg): 1.05 0.99 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 673 0 0 0 28206 3728 0 0 16 0 1 0 1845830033 3862528 643 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 943 643 413 48 0 895 0
[pid=30012] vsize: 3772
Current children cumulated CPU time (s) 319.36
Current children cumulated vsize (Kb) 5900
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=30012) exited with status: 2
New process pid=30013
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=30013) exited with status: 0
New process pid=30014
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+400.033 s]
Raw data (loadavg): 1.12 1.01 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 241 0 0 0 123 40 0 0 17 0 1 0 1845869783 2240512 212 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 547 212 413 48 0 499 0
[pid=30014] vsize: 2188
Current children cumulated CPU time (s) 327.31
Current children cumulated vsize (Kb) 4316

[startup+410.035 s]
Raw data (loadavg): 1.17 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 298 0 0 0 627 203 0 0 19 0 1 0 1845869783 2920448 269 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 713 269 413 48 0 665 0
[pid=30014] vsize: 2852
Current children cumulated CPU time (s) 333.98
Current children cumulated vsize (Kb) 4980

[startup+420.036 s]
Raw data (loadavg): 1.14 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 407 0 0 0 1286 316 0 0 21 0 1 0 1845869783 3223552 378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 787 378 413 48 0 739 0
[pid=30014] vsize: 3148
Current children cumulated CPU time (s) 341.7
Current children cumulated vsize (Kb) 5276

[startup+430.036 s]
Raw data (loadavg): 1.12 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 409 0 0 0 1788 487 0 0 18 0 1 0 1845869783 3223552 380 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 787 380 413 48 0 739 0
[pid=30014] vsize: 3148
Current children cumulated CPU time (s) 348.43
Current children cumulated vsize (Kb) 5276

[startup+440.037 s]
Raw data (loadavg): 1.10 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 416 0 0 0 2422 613 0 0 19 0 1 0 1845869783 3227648 387 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 788 387 413 48 0 740 0
[pid=30014] vsize: 3152
Current children cumulated CPU time (s) 356.03
Current children cumulated vsize (Kb) 5280

[startup+450.037 s]
Raw data (loadavg): 1.09 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 421 0 0 0 3096 722 0 0 19 0 1 0 1845869783 3231744 392 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 392 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 363.86
Current children cumulated vsize (Kb) 5284

[startup+460.039 s]
Raw data (loadavg): 1.15 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 422 0 0 0 3665 873 0 0 18 0 1 0 1845869783 3231744 393 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 393 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 371.06
Current children cumulated vsize (Kb) 5284

[startup+470.04 s]
Raw data (loadavg): 1.12 1.03 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 425 0 0 0 4332 983 0 0 18 0 1 0 1845869783 3231744 396 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30014/statm): 789 396 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 378.83
Current children cumulated vsize (Kb) 5284

[startup+480.039 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 457 0 0 0 4996 1097 0 0 18 0 1 0 1845869783 3231744 428 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 428 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 386.61
Current children cumulated vsize (Kb) 5284

[startup+490.041 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 505 0 0 0 5616 1229 0 0 21 0 1 0 1845869783 3231744 476 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 476 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 394.13
Current children cumulated vsize (Kb) 5284

[startup+500.041 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 522 0 0 0 6304 1336 0 0 18 0 1 0 1845869783 3235840 493 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 790 493 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (Kb) 5288

[startup+510.042 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 524 0 0 0 7002 1442 0 0 18 0 1 0 1845869783 3235840 495 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 790 495 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 410.12
Current children cumulated vsize (Kb) 5288

[startup+520.044 s]
Raw data (loadavg): 1.12 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 525 0 0 0 7635 1563 0 0 21 0 1 0 1845869783 3235840 496 4294967295 134512640 134702520 3221223712 3221222992 134553017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 790 496 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 417.66
Current children cumulated vsize (Kb) 5288

[startup+530.044 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 525 0 0 0 8340 1662 0 0 16 0 1 0 1845869783 3235840 496 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 790 496 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 425.7
Current children cumulated vsize (Kb) 5288

[startup+540.045 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 528 0 0 0 9039 1763 0 0 15 0 1 0 1845869783 3375104 499 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 824 499 413 48 0 776 0
[pid=30014] vsize: 3296
Current children cumulated CPU time (s) 433.7
Current children cumulated vsize (Kb) 5424

[startup+550.047 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 528 0 0 0 9660 1893 0 0 15 0 1 0 1845869783 3375104 499 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 824 499 413 48 0 776 0
[pid=30014] vsize: 3296
Current children cumulated CPU time (s) 441.21
Current children cumulated vsize (Kb) 5424

[startup+560.048 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 530 0 0 0 10348 2003 0 0 16 0 1 0 1845869783 3379200 501 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30014/statm): 825 501 413 48 0 777 0
[pid=30014] vsize: 3300
Current children cumulated CPU time (s) 449.19
Current children cumulated vsize (Kb) 5428

[startup+570.049 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 530 0 0 0 11031 2110 0 0 15 0 1 0 1845869783 3379200 501 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 825 501 413 48 0 777 0
[pid=30014] vsize: 3300
Current children cumulated CPU time (s) 457.09
Current children cumulated vsize (Kb) 5428

[startup+580.049 s]
Raw data (loadavg): 1.12 1.05 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 531 0 0 0 11683 2228 0 0 16 0 1 0 1845869783 3379200 502 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 825 502 413 48 0 777 0
[pid=30014] vsize: 3300
Current children cumulated CPU time (s) 464.79
Current children cumulated vsize (Kb) 5428

[startup+590.051 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 532 0 0 0 12406 2326 0 0 16 0 1 0 1845869783 3383296 503 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 503 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 473
Current children cumulated vsize (Kb) 5432

[startup+600.051 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 533 0 0 0 13070 2438 0 0 15 0 1 0 1845869783 3383296 504 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 504 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 480.76
Current children cumulated vsize (Kb) 5432

[startup+610.053 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 533 0 0 0 13759 2550 0 0 16 0 1 0 1845869783 3383296 504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 504 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 488.77
Current children cumulated vsize (Kb) 5432

[startup+620.054 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 533 0 0 0 14486 2647 0 0 16 0 1 0 1845869783 3383296 504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 504 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 497.01
Current children cumulated vsize (Kb) 5432

[startup+630.053 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 534 0 0 0 15143 2768 0 0 15 0 1 0 1845869783 3383296 505 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 505 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 504.79
Current children cumulated vsize (Kb) 5432

[startup+640.055 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 542 0 0 0 15897 2852 0 0 16 0 1 0 1845869783 3383296 513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 513 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 513.17
Current children cumulated vsize (Kb) 5432

[startup+650.055 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 543 0 0 0 16629 2944 0 0 16 0 1 0 1845869783 3383296 514 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 514 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 521.41
Current children cumulated vsize (Kb) 5432

[startup+660.057 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 543 0 0 0 17291 3066 0 0 15 0 1 0 1845869783 3383296 514 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 514 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 529.25
Current children cumulated vsize (Kb) 5432

[startup+670.058 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 546 0 0 0 18036 3151 0 0 15 0 1 0 1845869783 3387392 517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 517 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (Kb) 5436

[startup+680.058 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 546 0 0 0 18779 3242 0 0 16 0 1 0 1845869783 3387392 517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 517 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 545.89
Current children cumulated vsize (Kb) 5436

[startup+690.06 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 547 0 0 0 19459 3352 0 0 15 0 1 0 1845869783 3387392 518 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 518 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 553.79
Current children cumulated vsize (Kb) 5436

[startup+700.06 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 547 0 0 0 20218 3435 0 0 16 0 1 0 1845869783 3387392 518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 518 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 562.21
Current children cumulated vsize (Kb) 5436

[startup+710.062 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 556 0 0 0 21009 3510 0 0 16 0 1 0 1845869783 3387392 527 4294967295 134512640 134702520 3221223712 3221222480 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 527 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 570.87
Current children cumulated vsize (Kb) 5436

[startup+720.063 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 560 0 0 0 21760 3598 0 0 16 0 1 0 1845869783 3387392 531 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 531 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 579.26
Current children cumulated vsize (Kb) 5436
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=30014) exited with status: 2
New process pid=30015
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=30015) exited with status: 0
New process pid=30016
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+730.063 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 232 0 0 0 159 50 0 0 17 0 1 0 1845902736 2093056 203 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 511 203 413 48 0 463 0
[pid=30016] vsize: 2044
Current children cumulated CPU time (s) 586.83
Current children cumulated vsize (Kb) 4172

[startup+740.064 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 404 0 0 0 784 176 0 0 17 0 1 0 1845902736 2785280 375 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 680 375 413 48 0 632 0
[pid=30016] vsize: 2720
Current children cumulated CPU time (s) 594.34
Current children cumulated vsize (Kb) 4848

[startup+750.064 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 407 0 0 0 1395 314 0 0 17 0 1 0 1845902736 2785280 378 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30016/statm): 680 378 413 48 0 632 0
[pid=30016] vsize: 2720
Current children cumulated CPU time (s) 601.83
Current children cumulated vsize (Kb) 4848

[startup+760.066 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 420 0 0 0 2051 430 0 0 19 0 1 0 1845902736 2789376 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 681 391 413 48 0 633 0
[pid=30016] vsize: 2724
Current children cumulated CPU time (s) 609.55
Current children cumulated vsize (Kb) 4852

[startup+770.067 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) R 30009 30009 19316 0 -1 0 422 0 0 0 2636 569 0 0 17 0 1 0 1845902736 2789376 393 4294967295 134512640 134702520 3221223712 3221200748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30016/statm): 681 393 413 48 0 633 0
[pid=30016] vsize: 2724
Current children cumulated CPU time (s) 616.79
Current children cumulated vsize (Kb) 4852

[startup+780.066 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 431 0 0 0 3307 681 0 0 18 0 1 0 1845902736 2924544 402 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30016/statm): 714 402 413 48 0 666 0
[pid=30016] vsize: 2856
Current children cumulated CPU time (s) 624.62
Current children cumulated vsize (Kb) 4984

[startup+790.068 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 434 0 0 0 3894 822 0 0 18 0 1 0 1845902736 2924544 405 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 714 405 413 48 0 666 0
[pid=30016] vsize: 2856
Current children cumulated CPU time (s) 631.9
Current children cumulated vsize (Kb) 4984

[startup+800.068 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) R 30009 30009 19316 0 -1 0 443 0 0 0 4573 932 0 0 19 0 1 0 1845902736 2928640 414 4294967295 134512640 134702520 3221223712 3221215328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30016/statm): 715 414 413 48 0 667 0
[pid=30016] vsize: 2860
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (Kb) 4988
One traced child (pid=30016) exited with status: 0
New process pid=30017
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/wulflinc17/normalized-s4-4-3-2pb.opb
One traced child (pid=30017) exited with status: 0
New process pid=30018
One traced child (pid=30018) exited with status: 127
New process pid=30019
New process pid=30020
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/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/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/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/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/32036/stat
open syscall for file /proc/32036/status
open syscall for file /proc/32036/cmdline
open syscall for file /proc/32036/environ
open syscall for file /proc/1866/stat
open syscall for file /proc/1866/status
open syscall for file /proc/1866/cmdline
open syscall for file /proc/1866/environ
open syscall for file /proc/1893/stat
open syscall for file /proc/1893/status
open syscall for file /proc/1893/cmdline
open syscall for file /proc/1893/environ
open syscall for file /proc/1917/stat
open syscall for file /proc/1917/status
open syscall for file /proc/1917/cmdline
open syscall for file /proc/1917/environ
open syscall for file /proc/12510/stat
open syscall for file /proc/12510/status
open syscall for file /proc/12510/cmdline
open syscall for file /proc/12510/environ
open syscall for file /proc/16403/stat
open syscall for file /proc/16403/status
open syscall for file /proc/16403/cmdline
open syscall for file /proc/16403/environ
open syscall for file /proc/31159/stat
open syscall for file /proc/31159/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/31159/cmdline
open syscall for file /proc/31159/environ
open syscall for file /proc/31194/stat
open syscall for file /proc/31194/status
open syscall for file /proc/31194/cmdline
open syscall for file /proc/31194/environ
open syscall for file /proc/19316/stat
open syscall for file /proc/19316/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/19316/cmdline
open syscall for file /proc/19316/environ
open syscall for file /proc/19317/stat
open syscall for file /proc/19317/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/19317/cmdline
open syscall for file /proc/19317/environ
open syscall for file /proc/19326/stat
open syscall for file /proc/19326/status
open syscall for file /proc/19326/cmdline
open syscall for file /proc/19326/environ
open syscall for file /proc/29972/stat
open syscall for file /proc/29972/status
open syscall for file /proc/29972/cmdline
open syscall for file /proc/29972/environ
open syscall for file /proc/30008/stat
open syscall for file /proc/30008/status
open syscall for file /proc/30008/cmdline
open syscall for file /proc/30008/environ
open syscall for file /proc/30009/stat
open syscall for file /proc/30009/status
open syscall for file /proc/30009/cmdline
open syscall for file /proc/30009/environ
open syscall for file /proc/30019/stat
open syscall for file /proc/30019/status
open syscall for file /proc/30019/cmdline
open syscall for file /proc/30019/environ
open syscall for file /proc/30020/stat
open syscall for file /proc/30020/status
open syscall for file /proc/30020/cmdline
open syscall for file /proc/30020/environ
One traced child (pid=30019) exited with status: 0
One traced child (pid=30020) exited with status: 0
New process pid=30021
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=30021) exited with status: 0
New process pid=30022
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=30022) exited with status: 0
One traced child (pid=30009) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 804.063
CPU time (s): 642.778
CPU user time (s): 558.299
CPU system time (s): 84.4792
CPU usage (%): 79.9413
Max. virtual memory (cumulated for all children) (Kb): 5900

Verifier Data

ERROR: no interpretation found !