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-5pb.opb
MD5SUM4ca29b1bc7e76812f7871e2b937d8a23
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved YES
Number of terms in the objective function 720
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 720
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 720
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 benchmark112.282
Number of variables720
Total number of constraints2168
Number of constraints which are clauses2144
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 constraint30

Trace number 3488

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        907892 kB
Buffers:         34680 kB
Cached:          68512 kB
SwapCached:        780 kB
Active:          65268 kB
Inactive:        40584 kB
HighTotal:      131008 kB
HighFree:        58912 kB
LowTotal:       903652 kB
LowFree:        848980 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5804 kB
Slab:            15332 kB
Committed_AS:    64300 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 01:35:02 (client local time) WITH STATUS 20 IN 1151.85 SECONDS
stats: 7272 7 1151.85 20

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 120)
#decisions: 276491;  #end-nodes: 82294;
#proof improvement attempts: 0;  #restarts: 438
Current batch, end-nodes: 104 / 213 (189)
#axs: 2289, #non-axs: 5308
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  647 (72:>=*);
#decisions: 168163;  #end-nodes: 51949;
#proof improvement attempts: 0;  #restarts: 317
Current batch, end-nodes: 80 / 174 (159)
#axs: 2289, #non-axs: 3255
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  649 (70:>=*);
#decisions: 240694;  #end-nodes: 84607;
#proof improvement attempts: 0;  #restarts: 453
Current batch, end-nodes: 146 / 202 (193)
#axs: 2289, #non-axs: 4480
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  651 (68:>=*);
#decisions: 29383;  #end-nodes: 10346;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 106 (103)
#axs: 2289, #non-axs: 2419
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 651 (68:>=*)

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: 0  (#equs: 120)
Time taken: 5 min, 31 sec

2:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 47820;  #end-nodes: 15375;
#proof improvement attempts: 0;  #restarts: 77
Current batch, end-nodes: 424 / 466 (139)
#axs: 1929, #non-axs: 5429
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  641 (54:>=*);
#decisions: 318613;  #end-nodes: 126165;
#proof improvement attempts: 0;  #restarts: 479
Current batch, end-nodes: 290 / 421 (239)
#axs: 1931, #non-axs: 7231
tight: meta-meta: start: 3, end: 3;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  643 (52:>=*);
#decisions: 953001;  #end-nodes: 482778;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 435 (359)
#axs: 1967, #non-axs: 4513
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 643 (52:>=*)

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: 28  (#equs: 38)
Time taken: 8 min, 10 sec

3:
seed: 0
Nr of vars set: 28  (#equs: 0)
Nr of vars set: 28  (#equs: 0)
#decisions: 101458;  #end-nodes: 57816;
#proof improvement attempts: 0;  #restarts: 105
Current batch, end-nodes: 29 / 246 (186)
#axs: 1795, #non-axs: 4490
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  608 (40:>=*);
#decisions: 358675;  #end-nodes: 244930;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 305 (303)
#axs: 1871, #non-axs: 2937
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 608 (40:>=*)

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: 174  (#equs: 136)
Time taken: 4 min, 26 sec

4:
seed: 0
Nr of vars set: 174  (#equs: 0)
Nr of vars set: 181  (#equs: 14)
#decisions: 101703;  #end-nodes: 74231;
#proof improvement attempts: 74050;  #restarts: 89
Current batch, end-nodes: 6007 / 7315 (222)
#axs: 899, #non-axs: 2333
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: 432  (#equs: 42)
Time taken in seconds: 63
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.027s 0m0.026s
16m40.225s 2m31.483s
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/15100/stat): 15100 (vallstSAT2005PB) R 15099 15100 824 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1787609598 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15100/statm): 174 3 169 147 0 27 0
[pid=15100] 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=15101
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=15101) exited with status: 0
New process pid=15102
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=15102) exited with status: 0
New process pid=15103
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/wulflinc5/normalized-s4-4-3-5pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0045 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 333 0 0 0 283 224 0 0 17 0 1 0 1787609607 3059712 303 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 747 303 413 48 0 699 0
[pid=15103] vsize: 2988
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (Kb) 5116

[startup+20.0053 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 440 0 0 0 673 427 0 0 16 0 1 0 1787609607 3477504 410 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 849 410 413 48 0 801 0
[pid=15103] vsize: 3396
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (Kb) 5524

[startup+30.006 s]
Raw data (loadavg): 1.17 1.03 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 478 0 0 0 1097 620 0 0 18 0 1 0 1787609607 3616768 448 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 883 448 413 48 0 835 0
[pid=15103] vsize: 3532
Current children cumulated CPU time (s) 17.19
Current children cumulated vsize (Kb) 5660

[startup+40.0078 s]
Raw data (loadavg): 1.23 1.05 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 519 0 0 0 1650 773 0 0 17 0 1 0 1787609607 3751936 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 916 489 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 24.25
Current children cumulated vsize (Kb) 5792

[startup+50.0085 s]
Raw data (loadavg): 1.19 1.05 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 519 0 0 0 2138 943 0 0 18 0 1 0 1787609607 3751936 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 916 489 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 30.83
Current children cumulated vsize (Kb) 5792

[startup+60.0092 s]
Raw data (loadavg): 1.16 1.04 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 2709 1086 0 0 18 0 1 0 1787609607 3751936 493 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 493 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 37.97
Current children cumulated vsize (Kb) 5792

[startup+70.011 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 3226 1248 0 0 17 0 1 0 1787609607 3751936 493 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 493 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 44.76
Current children cumulated vsize (Kb) 5792

[startup+80.0117 s]
Raw data (loadavg): 1.19 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 3778 1399 0 0 18 0 1 0 1787609607 3751936 493 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 916 493 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 51.79
Current children cumulated vsize (Kb) 5792

[startup+90.0125 s]
Raw data (loadavg): 1.16 1.05 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 531 0 0 0 4353 1542 0 0 17 0 1 0 1787609607 3751936 501 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 501 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 58.97
Current children cumulated vsize (Kb) 5792

[startup+100.013 s]
Raw data (loadavg): 1.22 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 531 0 0 0 4926 1681 0 0 17 0 1 0 1787609607 3751936 501 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 501 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 66.09
Current children cumulated vsize (Kb) 5792

[startup+110.014 s]
Raw data (loadavg): 1.18 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 531 0 0 0 5523 1816 0 0 18 0 1 0 1787609607 3751936 501 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 501 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 73.41
Current children cumulated vsize (Kb) 5792

[startup+120.015 s]
Raw data (loadavg): 1.16 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 6217 1920 0 0 19 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 81.39
Current children cumulated vsize (Kb) 5796

[startup+130.015 s]
Raw data (loadavg): 1.13 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 6902 2026 0 0 19 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (Kb) 5796

[startup+140.016 s]
Raw data (loadavg): 1.11 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 7586 2140 0 0 20 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 97.28
Current children cumulated vsize (Kb) 5796

[startup+150.017 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 8297 2241 0 0 17 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 105.4
Current children cumulated vsize (Kb) 5796

[startup+160.019 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 9004 2340 0 0 17 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 113.46
Current children cumulated vsize (Kb) 5796

[startup+170.019 s]
Raw data (loadavg): 1.14 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 9691 2451 0 0 18 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 121.44
Current children cumulated vsize (Kb) 5796

[startup+180.02 s]
Raw data (loadavg): 1.12 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 10419 2547 0 0 21 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 129.68
Current children cumulated vsize (Kb) 5796

[startup+190.021 s]
Raw data (loadavg): 1.10 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 11129 2645 0 0 18 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 137.76
Current children cumulated vsize (Kb) 5796

[startup+200.022 s]
Raw data (loadavg): 1.08 1.06 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 532 0 0 0 11831 2744 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 145.77
Current children cumulated vsize (Kb) 5796

[startup+210.022 s]
Raw data (loadavg): 1.14 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 12518 2855 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 153.75
Current children cumulated vsize (Kb) 5796

[startup+220.023 s]
Raw data (loadavg): 1.12 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 13276 2939 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (Kb) 5796

[startup+230.024 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 13990 3040 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 170.32
Current children cumulated vsize (Kb) 5796

[startup+240.026 s]
Raw data (loadavg): 1.09 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 14709 3140 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 178.51
Current children cumulated vsize (Kb) 5796

[startup+250.026 s]
Raw data (loadavg): 1.15 1.08 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 532 0 0 0 15407 3242 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222736 134552412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 186.51
Current children cumulated vsize (Kb) 5796

[startup+260.027 s]
Raw data (loadavg): 1.13 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 16161 3333 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 194.96
Current children cumulated vsize (Kb) 5796

[startup+270.028 s]
Raw data (loadavg): 1.11 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 16877 3431 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 203.1
Current children cumulated vsize (Kb) 5796

[startup+280.029 s]
Raw data (loadavg): 1.09 1.07 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 17597 3524 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 211.23
Current children cumulated vsize (Kb) 5796

[startup+290.029 s]
Raw data (loadavg): 1.08 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 18309 3628 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 219.39
Current children cumulated vsize (Kb) 5796

[startup+300.03 s]
Raw data (loadavg): 1.06 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 19065 3711 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 227.78
Current children cumulated vsize (Kb) 5796

[startup+310.032 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 19790 3807 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 235.99
Current children cumulated vsize (Kb) 5796

[startup+320.033 s]
Raw data (loadavg): 1.11 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 20512 3906 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 244.2
Current children cumulated vsize (Kb) 5796

[startup+330.033 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 21240 4002 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 252.44
Current children cumulated vsize (Kb) 5796

[startup+340.035 s]
Raw data (loadavg): 1.08 1.07 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 21987 4090 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223360 134603885 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 260.79
Current children cumulated vsize (Kb) 5796

[startup+350.036 s]
Raw data (loadavg): 1.07 1.06 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 22733 4178 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223216 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 269.13
Current children cumulated vsize (Kb) 5796

[startup+360.038 s]
Raw data (loadavg): 1.21 1.10 1.03 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 23456 4278 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 277.36
Current children cumulated vsize (Kb) 5796

[startup+370.038 s]
Raw data (loadavg): 1.18 1.09 1.03 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 24189 4369 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 285.6
Current children cumulated vsize (Kb) 5796

[startup+380.038 s]
Raw data (loadavg): 1.15 1.09 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 24932 4458 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223088 134572136 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 293.92
Current children cumulated vsize (Kb) 5796

[startup+390.039 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 25675 4549 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 302.26
Current children cumulated vsize (Kb) 5796

[startup+400.039 s]
Raw data (loadavg): 1.11 1.08 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 26428 4633 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222864 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 310.63
Current children cumulated vsize (Kb) 5796

[startup+410.041 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 27161 4728 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 318.91
Current children cumulated vsize (Kb) 5796

[startup+420.042 s]
Raw data (loadavg): 1.16 1.09 1.03 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 27908 4818 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 327.28
Current children cumulated vsize (Kb) 5796
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=15103) exited with status: 2
New process pid=15104
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=15104) exited with status: 0
New process pid=15105
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+430.043 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 274 0 0 0 315 79 0 0 17 0 1 0 1787652061 2293760 245 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 560 245 413 48 0 512 0
[pid=15105] vsize: 2240
Current children cumulated CPU time (s) 335.08
Current children cumulated vsize (Kb) 4368

[startup+440.043 s]
Raw data (loadavg): 1.11 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 332 0 0 0 928 212 0 0 18 0 1 0 1787652061 3313664 303 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 809 303 413 48 0 761 0
[pid=15105] vsize: 3236
Current children cumulated CPU time (s) 342.54
Current children cumulated vsize (Kb) 5364

[startup+450.044 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 351 0 0 0 1552 336 0 0 18 0 1 0 1787652061 3313664 322 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 809 322 413 48 0 761 0
[pid=15105] vsize: 3236
Current children cumulated CPU time (s) 350.02
Current children cumulated vsize (Kb) 5364

[startup+460.046 s]
Raw data (loadavg): 1.08 1.08 1.02 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 377 0 0 0 2202 454 0 0 17 0 1 0 1787652061 3481600 348 4294967295 134512640 134702520 3221223712 3221222772 134617742 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 348 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 357.7
Current children cumulated vsize (Kb) 5528

[startup+470.047 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 410 0 0 0 2857 565 0 0 18 0 1 0 1787652061 3481600 381 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 381 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 365.36
Current children cumulated vsize (Kb) 5528

[startup+480.047 s]
Raw data (loadavg): 1.13 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 411 0 0 0 3456 701 0 0 18 0 1 0 1787652061 3481600 382 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 382 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 372.71
Current children cumulated vsize (Kb) 5528

[startup+490.048 s]
Raw data (loadavg): 1.19 1.10 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 414 0 0 0 4095 823 0 0 19 0 1 0 1787652061 3481600 385 4294967295 134512640 134702520 3221223712 3221222992 134550803 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 385 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 380.32
Current children cumulated vsize (Kb) 5528

[startup+500.049 s]
Raw data (loadavg): 1.24 1.12 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 418 0 0 0 4744 943 0 0 19 0 1 0 1787652061 3481600 389 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 389 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 388.01
Current children cumulated vsize (Kb) 5528

[startup+510.051 s]
Raw data (loadavg): 1.20 1.11 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 419 0 0 0 5348 1076 0 0 18 0 1 0 1787652061 3481600 390 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 390 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 395.38
Current children cumulated vsize (Kb) 5528

[startup+520.051 s]
Raw data (loadavg): 1.17 1.11 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 420 0 0 0 5976 1204 0 0 17 0 1 0 1787652061 3481600 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 391 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 402.94
Current children cumulated vsize (Kb) 5528

[startup+530.051 s]
Raw data (loadavg): 1.14 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 434 0 0 0 6650 1315 0 0 19 0 1 0 1787652061 3481600 405 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 405 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 410.79
Current children cumulated vsize (Kb) 5528

[startup+540.052 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 436 0 0 0 7281 1444 0 0 18 0 1 0 1787652061 3481600 407 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 407 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 418.39
Current children cumulated vsize (Kb) 5528

[startup+550.053 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 436 0 0 0 7912 1567 0 0 19 0 1 0 1787652061 3481600 407 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 407 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 425.93
Current children cumulated vsize (Kb) 5528

[startup+560.053 s]
Raw data (loadavg): 1.09 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 439 0 0 0 8577 1683 0 0 20 0 1 0 1787652061 3604480 410 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 410 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 433.74
Current children cumulated vsize (Kb) 5648

[startup+570.054 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 441 0 0 0 9251 1798 0 0 18 0 1 0 1787652061 3604480 412 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 412 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 441.63
Current children cumulated vsize (Kb) 5648

[startup+580.055 s]
Raw data (loadavg): 1.06 1.08 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 442 0 0 0 9868 1930 0 0 17 0 1 0 1787652061 3604480 413 4294967295 134512640 134702520 3221223712 3221222480 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 413 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 449.12
Current children cumulated vsize (Kb) 5648

[startup+590.056 s]
Raw data (loadavg): 1.13 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 443 0 0 0 10507 2052 0 0 18 0 1 0 1787652061 3604480 414 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 414 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 456.73
Current children cumulated vsize (Kb) 5648

[startup+600.056 s]
Raw data (loadavg): 1.11 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 448 0 0 0 11193 2162 0 0 20 0 1 0 1787652061 3604480 419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 419 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 464.69
Current children cumulated vsize (Kb) 5648

[startup+610.058 s]
Raw data (loadavg): 1.17 1.11 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 544 0 0 0 11871 2270 0 0 17 0 1 0 1787652061 3604480 515 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 515 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 472.55
Current children cumulated vsize (Kb) 5648

[startup+620.059 s]
Raw data (loadavg): 1.15 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 545 0 0 0 12520 2387 0 0 18 0 1 0 1787652061 3604480 516 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 516 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 480.21
Current children cumulated vsize (Kb) 5648

[startup+630.06 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 545 0 0 0 13158 2514 0 0 17 0 1 0 1787652061 3604480 516 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 516 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 487.86
Current children cumulated vsize (Kb) 5648

[startup+640.061 s]
Raw data (loadavg): 1.10 1.10 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 545 0 0 0 13788 2639 0 0 19 0 1 0 1787652061 3604480 516 4294967295 134512640 134702520 3221223712 3221222992 134550752 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 516 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 495.41
Current children cumulated vsize (Kb) 5648

[startup+650.062 s]
Raw data (loadavg): 1.09 1.09 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 548 0 0 0 14441 2762 0 0 20 0 1 0 1787652061 3604480 519 4294967295 134512640 134702520 3221223712 3221222992 134551055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 519 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 503.17
Current children cumulated vsize (Kb) 5648

[startup+660.064 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 548 0 0 0 15086 2885 0 0 17 0 1 0 1787652061 3604480 519 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 519 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 510.85
Current children cumulated vsize (Kb) 5648

[startup+670.065 s]
Raw data (loadavg): 1.06 1.08 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 549 0 0 0 15724 3009 0 0 19 0 1 0 1787652061 3604480 520 4294967295 134512640 134702520 3221223712 3221222992 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 520 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 518.47
Current children cumulated vsize (Kb) 5648

[startup+680.065 s]
Raw data (loadavg): 1.05 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 549 0 0 0 16378 3129 0 0 19 0 1 0 1787652061 3604480 520 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 520 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 526.21
Current children cumulated vsize (Kb) 5648

[startup+690.067 s]
Raw data (loadavg): 1.04 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 550 0 0 0 17027 3247 0 0 18 0 1 0 1787652061 3604480 521 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 521 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 533.88
Current children cumulated vsize (Kb) 5648

[startup+700.068 s]
Raw data (loadavg): 1.12 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 551 0 0 0 17666 3363 0 0 16 0 1 0 1787652061 3604480 522 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 522 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 541.43
Current children cumulated vsize (Kb) 5648

[startup+710.069 s]
Raw data (loadavg): 1.10 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 552 0 0 0 18329 3484 0 0 15 0 1 0 1787652061 3604480 523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 523 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 549.27
Current children cumulated vsize (Kb) 5648

[startup+720.07 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 619 0 0 0 19009 3596 0 0 15 0 1 0 1787652061 3604480 590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 590 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 557.19
Current children cumulated vsize (Kb) 5648

[startup+730.071 s]
Raw data (loadavg): 1.07 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 619 0 0 0 19657 3717 0 0 16 0 1 0 1787652061 3604480 590 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 590 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 564.88
Current children cumulated vsize (Kb) 5648

[startup+740.072 s]
Raw data (loadavg): 1.06 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 620 0 0 0 20298 3838 0 0 15 0 1 0 1787652061 3727360 591 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 591 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 572.5
Current children cumulated vsize (Kb) 5768

[startup+750.072 s]
Raw data (loadavg): 1.05 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 622 0 0 0 20977 3949 0 0 15 0 1 0 1787652061 3727360 593 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 593 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 580.4
Current children cumulated vsize (Kb) 5768

[startup+760.074 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 622 0 0 0 21641 4062 0 0 15 0 1 0 1787652061 3727360 593 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 910 593 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 588.17
Current children cumulated vsize (Kb) 5768

[startup+770.075 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 622 0 0 0 22294 4178 0 0 15 0 1 0 1787652061 3727360 593 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 593 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 595.86
Current children cumulated vsize (Kb) 5768

[startup+780.076 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 623 0 0 0 22965 4291 0 0 15 0 1 0 1787652061 3727360 594 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 910 594 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 603.7
Current children cumulated vsize (Kb) 5768

[startup+790.077 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 624 0 0 0 23646 4401 0 0 15 0 1 0 1787652061 3727360 595 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 595 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 611.61
Current children cumulated vsize (Kb) 5768

[startup+800.078 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 24309 4513 0 0 16 0 1 0 1787652061 3727360 596 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 596 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 619.36
Current children cumulated vsize (Kb) 5768

[startup+810.079 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 24956 4636 0 0 15 0 1 0 1787652061 3727360 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 910 596 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 627.06
Current children cumulated vsize (Kb) 5768

[startup+820.08 s]
Raw data (loadavg): 1.01 1.06 1.02 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 630 0 0 0 25662 4739 0 0 16 0 1 0 1787652061 3727360 601 4294967295 134512640 134702520 3221223712 3221222992 134557378 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 601 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 635.15
Current children cumulated vsize (Kb) 5768

[startup+830.08 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 646 0 0 0 26372 4836 0 0 16 0 1 0 1787652061 3727360 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 617 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 643.22
Current children cumulated vsize (Kb) 5768

[startup+840.082 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 665 0 0 0 27124 4921 0 0 16 0 1 0 1787652061 3862528 636 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 943 636 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 651.59
Current children cumulated vsize (Kb) 5900

[startup+850.083 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 671 0 0 0 27780 5039 0 0 15 0 1 0 1787652061 3862528 642 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 943 642 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 659.33
Current children cumulated vsize (Kb) 5900

[startup+860.085 s]
Raw data (loadavg): 1.00 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 671 0 0 0 28448 5158 0 0 15 0 1 0 1787652061 3862528 642 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 943 642 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 667.2
Current children cumulated vsize (Kb) 5900

[startup+870.085 s]
Raw data (loadavg): 1.08 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 676 0 0 0 29163 5259 0 0 15 0 1 0 1787652061 3862528 647 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 943 647 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 675.36
Current children cumulated vsize (Kb) 5900

[startup+880.086 s]
Raw data (loadavg): 1.07 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 679 0 0 0 29878 5360 0 0 16 0 1 0 1787652061 3862528 650 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 943 650 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 683.52
Current children cumulated vsize (Kb) 5900

[startup+890.087 s]
Raw data (loadavg): 1.06 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 685 0 0 0 30568 5465 0 0 15 0 1 0 1787652061 3997696 656 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 976 656 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 691.47
Current children cumulated vsize (Kb) 6032

[startup+900.089 s]
Raw data (loadavg): 1.05 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 686 0 0 0 31209 5595 0 0 16 0 1 0 1787652061 3997696 657 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 976 657 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 699.18
Current children cumulated vsize (Kb) 6032

[startup+910.089 s]
Raw data (loadavg): 1.04 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 687 0 0 0 31920 5697 0 0 15 0 1 0 1787652061 3997696 658 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 976 658 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 707.31
Current children cumulated vsize (Kb) 6032

[startup+920.09 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 705 0 0 0 32695 5776 0 0 16 0 1 0 1787652061 3997696 676 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 976 676 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 715.85
Current children cumulated vsize (Kb) 6032

[startup+930.091 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 727 0 0 0 33454 5862 0 0 16 0 1 0 1787652061 4132864 698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1009 698 413 48 0 961 0
[pid=15105] vsize: 4036
Current children cumulated CPU time (s) 724.3
Current children cumulated vsize (Kb) 6164

[startup+940.093 s]
Raw data (loadavg): 1.02 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 738 0 0 0 34230 5941 0 0 16 0 1 0 1787652061 4132864 709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1009 709 413 48 0 961 0
[pid=15105] vsize: 4036
Current children cumulated CPU time (s) 732.85
Current children cumulated vsize (Kb) 6164

[startup+950.093 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 747 0 0 0 34999 6021 0 0 16 0 1 0 1787652061 4132864 718 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1009 718 413 48 0 961 0
[pid=15105] vsize: 4036
Current children cumulated CPU time (s) 741.34
Current children cumulated vsize (Kb) 6164

[startup+960.095 s]
Raw data (loadavg): 1.09 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 766 0 0 0 35829 6078 0 0 16 0 1 0 1787652061 4268032 737 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1042 737 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 750.21
Current children cumulated vsize (Kb) 6296

[startup+970.097 s]
Raw data (loadavg): 1.07 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 770 0 0 0 36527 6179 0 0 15 0 1 0 1787652061 4268032 741 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1042 741 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 758.2
Current children cumulated vsize (Kb) 6296

[startup+980.098 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 770 0 0 0 37207 6288 0 0 16 0 1 0 1787652061 4268032 741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1042 741 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 766.09
Current children cumulated vsize (Kb) 6296

[startup+990.098 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 771 0 0 0 37940 6384 0 0 16 0 1 0 1787652061 4268032 742 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1042 742 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 774.38
Current children cumulated vsize (Kb) 6296

[startup+1000.1 s]
Raw data (loadavg): 1.12 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 778 0 0 0 38768 6444 0 0 16 0 1 0 1787652061 4268032 749 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1042 749 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 783.26
Current children cumulated vsize (Kb) 6296

[startup+1010.1 s]
Raw data (loadavg): 1.17 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 781 0 0 0 39508 6531 0 0 16 0 1 0 1787652061 4395008 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1073 752 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 791.53
Current children cumulated vsize (Kb) 6420

[startup+1020.1 s]
Raw data (loadavg): 1.15 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 784 0 0 0 40293 6605 0 0 16 0 1 0 1787652061 4395008 755 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1073 755 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 800.12
Current children cumulated vsize (Kb) 6420

[startup+1030.1 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 789 0 0 0 41093 6672 0 0 15 0 1 0 1787652061 4395008 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1073 760 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 808.79
Current children cumulated vsize (Kb) 6420

[startup+1040.1 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 790 0 0 0 41779 6781 0 0 15 0 1 0 1787652061 4395008 761 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1073 761 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 816.74
Current children cumulated vsize (Kb) 6420
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=15105) exited with status: 2
New process pid=15106
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=15106) exited with status: 0
New process pid=15107
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+1050.1 s]
Raw data (loadavg): 1.09 1.07 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 304 0 0 0 264 50 0 0 19 0 1 0 1787714210 2412544 275 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 589 275 413 48 0 541 0
[pid=15107] vsize: 2356
Current children cumulated CPU time (s) 824.57
Current children cumulated vsize (Kb) 4484

[startup+1060.11 s]
Raw data (loadavg): 1.07 1.07 1.02 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 328 0 0 0 861 181 0 0 18 0 1 0 1787714210 3297280 299 4294967295 134512640 134702520 3221223712 3221222832 134588528 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 805 299 413 48 0 757 0
[pid=15107] vsize: 3220
Current children cumulated CPU time (s) 831.85
Current children cumulated vsize (Kb) 5348

[startup+1070.11 s]
Raw data (loadavg): 1.06 1.06 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 553 0 0 0 1569 282 0 0 20 0 1 0 1787714210 3518464 524 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 859 524 413 48 0 811 0
[pid=15107] vsize: 3436
Current children cumulated CPU time (s) 839.94
Current children cumulated vsize (Kb) 5564

[startup+1080.11 s]
Raw data (loadavg): 1.05 1.06 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 577 0 0 0 2302 371 0 0 18 0 1 0 1787714210 3649536 548 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 891 548 413 48 0 843 0
[pid=15107] vsize: 3564
Current children cumulated CPU time (s) 848.16
Current children cumulated vsize (Kb) 5692

[startup+1090.11 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 598 0 0 0 3105 436 0 0 20 0 1 0 1787714210 3649536 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 891 569 413 48 0 843 0
[pid=15107] vsize: 3564
Current children cumulated CPU time (s) 856.84
Current children cumulated vsize (Kb) 5692

[startup+1100.11 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 598 0 0 0 3821 535 0 0 19 0 1 0 1787714210 3649536 569 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 891 569 413 48 0 843 0
[pid=15107] vsize: 3564
Current children cumulated CPU time (s) 864.99
Current children cumulated vsize (Kb) 5692

[startup+1110.11 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 602 0 0 0 4552 626 0 0 21 0 1 0 1787714210 3653632 573 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 892 573 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 873.21
Current children cumulated vsize (Kb) 5696

[startup+1120.11 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 606 0 0 0 5324 704 0 0 18 0 1 0 1787714210 3653632 577 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 892 577 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (Kb) 5696

[startup+1130.11 s]
Raw data (loadavg): 1.10 1.07 1.02 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 609 0 0 0 6111 778 0 0 18 0 1 0 1787714210 3653632 580 4294967295 134512640 134702520 3221223712 3221222984 134553180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 892 580 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 890.32
Current children cumulated vsize (Kb) 5696

[startup+1140.11 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 612 0 0 0 6856 869 0 0 18 0 1 0 1787714210 3653632 583 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 892 583 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 898.68
Current children cumulated vsize (Kb) 5696

[startup+1150.12 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 612 0 0 0 7555 969 0 0 19 0 1 0 1787714210 3653632 583 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 892 583 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 906.67
Current children cumulated vsize (Kb) 5696

[startup+1160.12 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 614 0 0 0 8320 1048 0 0 21 0 1 0 1787714210 3788800 585 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 925 585 413 48 0 877 0
[pid=15107] vsize: 3700
Current children cumulated CPU time (s) 915.11
Current children cumulated vsize (Kb) 5828

[startup+1170.12 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 9102 1118 0 0 18 0 1 0 1787714210 3780608 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 596 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 923.63
Current children cumulated vsize (Kb) 5820

[startup+1180.12 s]
Raw data (loadavg): 1.04 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 9874 1197 0 0 22 0 1 0 1787714210 3780608 596 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 596 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 932.14
Current children cumulated vsize (Kb) 5820

[startup+1190.12 s]
Raw data (loadavg): 1.04 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 10596 1292 0 0 20 0 1 0 1787714210 3780608 596 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 596 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 940.31
Current children cumulated vsize (Kb) 5820

[startup+1200.12 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 627 0 0 0 11355 1371 0 0 25 0 1 0 1787714210 3780608 598 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 598 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 948.69
Current children cumulated vsize (Kb) 5820

[startup+1210.12 s]
Raw data (loadavg): 1.02 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 628 0 0 0 12105 1460 0 0 21 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 957.08
Current children cumulated vsize (Kb) 5820

[startup+1220.12 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 628 0 0 0 12887 1534 0 0 24 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221222992 134552539 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 965.64
Current children cumulated vsize (Kb) 5820

[startup+1230.12 s]
Raw data (loadavg): 1.02 1.04 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 628 0 0 0 13653 1616 0 0 20 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 974.12
Current children cumulated vsize (Kb) 5820

[startup+1240.13 s]
Raw data (loadavg): 1.09 1.06 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 628 0 0 0 14380 1718 0 0 24 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221222992 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 982.41
Current children cumulated vsize (Kb) 5820

[startup+1250.13 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 629 0 0 0 15168 1788 0 0 24 0 1 0 1787714210 3780608 600 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 600 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 990.99
Current children cumulated vsize (Kb) 5820

[startup+1260.13 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 629 0 0 0 15950 1866 0 0 20 0 1 0 1787714210 3780608 600 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 600 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 999.59
Current children cumulated vsize (Kb) 5820

[startup+1270.13 s]
Raw data (loadavg): 1.12 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 630 0 0 0 16704 1953 0 0 20 0 1 0 1787714210 3784704 601 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 601 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1008
Current children cumulated vsize (Kb) 5824

[startup+1280.13 s]
Raw data (loadavg): 1.18 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 630 0 0 0 17432 2043 0 0 22 0 1 0 1787714210 3784704 601 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 601 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1016.18
Current children cumulated vsize (Kb) 5824

[startup+1290.13 s]
Raw data (loadavg): 1.15 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 634 0 0 0 18227 2115 0 0 20 0 1 0 1787714210 3784704 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 605 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1024.85
Current children cumulated vsize (Kb) 5824

[startup+1300.13 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 634 0 0 0 19023 2185 0 0 25 0 1 0 1787714210 3784704 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 605 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1033.51
Current children cumulated vsize (Kb) 5824

[startup+1310.13 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 636 0 0 0 19811 2265 0 0 21 0 1 0 1787714210 3784704 607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 924 607 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1042.19
Current children cumulated vsize (Kb) 5824

[startup+1320.13 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 637 0 0 0 20524 2362 0 0 20 0 1 0 1787714210 3784704 608 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 924 608 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1050.29
Current children cumulated vsize (Kb) 5824

[startup+1330.13 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 637 0 0 0 21282 2445 0 0 18 0 1 0 1787714210 3784704 608 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 608 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1058.7
Current children cumulated vsize (Kb) 5824

[startup+1340.13 s]
Raw data (loadavg): 1.14 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 641 0 0 0 22107 2505 0 0 24 0 1 0 1787714210 3784704 612 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 924 612 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1067.55
Current children cumulated vsize (Kb) 5824

[startup+1350.13 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 642 0 0 0 22889 2581 0 0 18 0 1 0 1787714210 3784704 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 613 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1076.13
Current children cumulated vsize (Kb) 5824

[startup+1360.14 s]
Raw data (loadavg): 1.10 1.08 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 642 0 0 0 23617 2676 0 0 18 0 1 0 1787714210 3784704 613 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 613 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1084.36
Current children cumulated vsize (Kb) 5824
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=15107) exited with status: 2
New process pid=15108
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=15108) exited with status: 0
New process pid=15109
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+1370.14 s]
Raw data (loadavg): 1.16 1.09 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 270 0 0 0 292 78 0 0 17 0 1 0 1787746094 2281472 241 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 557 241 413 48 0 509 0
[pid=15109] vsize: 2228
Current children cumulated CPU time (s) 1091.82
Current children cumulated vsize (Kb) 4356

[startup+1380.14 s]
Raw data (loadavg): 1.21 1.10 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 271 0 0 0 841 226 0 0 18 0 1 0 1787746094 2281472 242 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15109/statm): 557 242 413 48 0 509 0
[pid=15109] vsize: 2228
Current children cumulated CPU time (s) 1098.79
Current children cumulated vsize (Kb) 4356

[startup+1390.14 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 367 0 0 0 1497 345 0 0 25 0 1 0 1787746094 3162112 338 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 772 338 413 48 0 724 0
[pid=15109] vsize: 3088
Current children cumulated CPU time (s) 1106.54
Current children cumulated vsize (Kb) 5216

[startup+1400.14 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 465 0 0 0 2238 436 0 0 19 0 1 0 1787746094 3170304 436 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 774 436 413 48 0 726 0
[pid=15109] vsize: 3096
Current children cumulated CPU time (s) 1114.86
Current children cumulated vsize (Kb) 5224

[startup+1410.14 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 507 0 0 0 2994 521 0 0 18 0 1 0 1787746094 3174400 478 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15109/statm): 775 478 413 48 0 727 0
[pid=15109] vsize: 3100
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (Kb) 5228

[startup+1420.14 s]
Raw data (loadavg): 1.11 1.09 1.02 2/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 3856 570 0 0 25 0 1 0 1787746094 3309568 494 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 808 494 413 48 0 760 0
[pid=15109] vsize: 3232
Current children cumulated CPU time (s) 1132.38
Current children cumulated vsize (Kb) 5360

[startup+1430.14 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 526 0 0 0 4568 669 0 0 18 0 1 0 1787746094 3313664 497 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 809 497 413 48 0 761 0
[pid=15109] vsize: 3236
Current children cumulated CPU time (s) 1140.49
Current children cumulated vsize (Kb) 5364

[startup+1440.14 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 540 0 0 0 5445 710 0 0 25 0 1 0 1787746094 3313664 511 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15109/statm): 809 511 413 48 0 761 0
[pid=15109] vsize: 3236
Current children cumulated CPU time (s) 1149.67
Current children cumulated vsize (Kb) 5364
One traced child (pid=15109) exited with status: 0
New process pid=15110
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/wulflinc5/normalized-s4-4-3-5pb.opb
One traced child (pid=15110) exited with status: 0
New process pid=15111
One traced child (pid=15111) exited with status: 127
New process pid=15112
New process pid=15113
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/15063/stat
open syscall for file /proc/15063/status
open syscall for file /proc/15063/cmdline
open syscall for file /proc/15063/environ
open syscall for file /proc/15099/stat
open syscall for file /proc/15099/status
open syscall for file /proc/15099/cmdline
open syscall for file /proc/15099/environ
open syscall for file /proc/15100/stat
open syscall for file /proc/15100/status
open syscall for file /proc/15100/cmdline
open syscall for file /proc/15100/environ
open syscall for file /proc/15112/stat
open syscall for file /proc/15112/status
open syscall for file /proc/15112/cmdline
open syscall for file /proc/15112/environ
open syscall for file /proc/15113/stat
open syscall for file /proc/15113/status
open syscall for file /proc/15113/cmdline
open syscall for file /proc/15113/environ
One traced child (pid=15112) exited with status: 0
One traced child (pid=15113) exited with status: 0
New process pid=15114
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=15114) exited with status: 0
New process pid=15115
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=15115) exited with status: 0
One traced child (pid=15100) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 1442.85
CPU time (s): 1151.85
CPU user time (s): 1000.27
CPU system time (s): 151.578
CPU usage (%): 79.832
Max. virtual memory (cumulated for all children) (Kb): 6420

Verifier Data

ERROR: no interpretation found !