Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb
MD5SUMb02172857ce65a3b2db38d953a9873b2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 520
Optimality of the best value was proved YES
Number of terms in the objective function 1064
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 1064
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1064
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark7.05793
Number of variables1064
Total number of constraints8357
Number of constraints which are clauses8357
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16

Trace number 1858

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-18 17:14:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7171 boxname=wulflinc2 idbench=139 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b02172857ce65a3b2db38d953a9873b2  /oldhome/oroussel/tmp/wulflinc2/normalized-ii16e2.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc2/normalized-ii16e2.opb 0
IDLAUNCH: 7171
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        924884 kB
Buffers:         32844 kB
Cached:          52952 kB
SwapCached:       1040 kB
Active:          51572 kB
Inactive:        36924 kB
HighTotal:      131008 kB
HighFree:        74536 kB
LowTotal:       903652 kB
LowFree:        850348 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            15488 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 17:30:22 (client local time) WITH STATUS 20 IN 908.331 SECONDS
stats: 7171 7 908.331 20

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 0)
#decisions: 366;  #end-nodes: 187;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 187 / 559 (80)
#axs: 8358, #non-axs: 151
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  543 (520:>=*);
#decisions: 291081;  #end-nodes: 173271;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 8686, #non-axs: 1114
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 543 (520:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 128  (#equs: 328)
Time taken: 5 min, 2 sec

2:
seed: 0
Nr of vars set: 128  (#equs: 0)
Nr of vars set: 128  (#equs: 178)
#decisions: 282876;  #end-nodes: 166760;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 311 (311)
#axs: 4540, #non-axs: 825
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 128  (#equs: 496)
Time taken: 4 min, 18 sec

3:
seed: 0
Nr of vars set: 128  (#equs: 0)
Nr of vars set: 128  (#equs: 0)
#decisions: 831224;  #end-nodes: 434531;
#proof improvement attempts: 0;  #restarts: 1109
Current batch, end-nodes: 17621 / 20198 (437)
#axs: 3794, #non-axs: 905
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 240  (#equs: 0)
Time taken: 5 min, 46 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.027s 0m0.024s
14m32.797s 0m35.393s
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/14590/stat): 14590 (vallstSAT2005PB) R 14589 14590 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784754946 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14590/statm): 174 3 169 147 0 27 0
[pid=14590] 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=14591
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=14591) exited with status: 0
New process pid=14592
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=14592) exited with status: 0
New process pid=14593
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/wulflinc2/normalized-ii16e2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.004 s]
Raw data (loadavg): 0.93 0.98 0.93 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 374 0 0 0 759 84 0 0 21 0 1 0 1784754953 2867200 344 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 700 344 413 48 0 652 0
[pid=14593] vsize: 2800
Current children cumulated CPU time (s) 8.46
Current children cumulated vsize (Kb) 4928

[startup+20.0048 s]
Raw data (loadavg): 1.02 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 712 0 0 0 1533 163 0 0 25 0 1 0 1784754953 4714496 682 4294967295 134512640 134702520 3221223968 3221223248 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1151 682 413 48 0 1103 0
[pid=14593] vsize: 4604
Current children cumulated CPU time (s) 16.99
Current children cumulated vsize (Kb) 6732

[startup+30.0065 s]
Raw data (loadavg): 1.02 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 926 0 0 0 2442 195 0 0 25 0 1 0 1784754953 4870144 896 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1189 896 413 48 0 1141 0
[pid=14593] vsize: 4756
Current children cumulated CPU time (s) 26.4
Current children cumulated vsize (Kb) 6884

[startup+40.0071 s]
Raw data (loadavg): 1.02 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 955 0 0 0 3348 229 0 0 25 0 1 0 1784754953 5001216 925 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1221 925 413 48 0 1173 0
[pid=14593] vsize: 4884
Current children cumulated CPU time (s) 35.8
Current children cumulated vsize (Kb) 7012

[startup+50.0088 s]
Raw data (loadavg): 1.01 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 968 0 0 0 4253 259 0 0 25 0 1 0 1784754953 5242880 938 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1280 938 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 45.15
Current children cumulated vsize (Kb) 7248

[startup+60.0095 s]
Raw data (loadavg): 1.01 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 970 0 0 0 5166 290 0 0 25 0 1 0 1784754953 5242880 940 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1280 940 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 54.59
Current children cumulated vsize (Kb) 7248

[startup+70.0113 s]
Raw data (loadavg): 1.01 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 970 0 0 0 6068 326 0 0 25 0 1 0 1784754953 5242880 940 4294967295 134512640 134702520 3221223968 3221223248 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1280 940 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (Kb) 7248

[startup+80.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 974 0 0 0 6964 359 0 0 25 0 1 0 1784754953 5242880 944 4294967295 134512640 134702520 3221223968 3221222844 134564336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1280 944 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 73.26
Current children cumulated vsize (Kb) 7248

[startup+90.0137 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 976 0 0 0 7858 393 0 0 25 0 1 0 1784754953 5242880 946 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1280 946 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 82.54
Current children cumulated vsize (Kb) 7248

[startup+100.015 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 977 0 0 0 8779 425 0 0 17 0 1 0 1784754953 5242880 947 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1280 947 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 92.07
Current children cumulated vsize (Kb) 7248

[startup+110.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 978 0 0 0 9685 460 0 0 25 0 1 0 1784754953 5242880 948 4294967295 134512640 134702520 3221223968 3221222864 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1280 948 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (Kb) 7248

[startup+120.017 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 980 0 0 0 10576 499 0 0 25 0 1 0 1784754953 5242880 950 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1280 950 413 48 0 1232 0
[pid=14593] vsize: 5120
Current children cumulated CPU time (s) 110.78
Current children cumulated vsize (Kb) 7248

[startup+130.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 981 0 0 0 11492 528 0 0 25 0 1 0 1784754953 5378048 951 4294967295 134512640 134702520 3221223968 3221222864 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1313 951 413 48 0 1265 0
[pid=14593] vsize: 5252
Current children cumulated CPU time (s) 120.23
Current children cumulated vsize (Kb) 7380

[startup+140.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 981 0 0 0 12457 540 0 0 25 0 1 0 1784754953 5378048 951 4294967295 134512640 134702520 3221223968 3221222864 134557203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1313 951 413 48 0 1265 0
[pid=14593] vsize: 5252
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 7380

[startup+150.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 981 0 0 0 13373 568 0 0 25 0 1 0 1784754953 5369856 951 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 951 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 139.44
Current children cumulated vsize (Kb) 7372

[startup+160.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 983 0 0 0 14286 597 0 0 18 0 1 0 1784754953 5369856 953 4294967295 134512640 134702520 3221223968 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1311 953 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 148.86
Current children cumulated vsize (Kb) 7372

[startup+170.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 984 0 0 0 15256 608 0 0 25 0 1 0 1784754953 5369856 954 4294967295 134512640 134702520 3221223968 3221222864 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1311 954 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 158.67
Current children cumulated vsize (Kb) 7372

[startup+180.023 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 984 0 0 0 16193 631 0 0 25 0 1 0 1784754953 5369856 954 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 954 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 168.27
Current children cumulated vsize (Kb) 7372

[startup+190.024 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 987 0 0 0 17108 660 0 0 25 0 1 0 1784754953 5369856 957 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 957 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 177.71
Current children cumulated vsize (Kb) 7372

[startup+200.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 988 0 0 0 18062 675 0 0 25 0 1 0 1784754953 5369856 958 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 958 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 187.4
Current children cumulated vsize (Kb) 7372

[startup+210.025 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 988 0 0 0 19033 686 0 0 25 0 1 0 1784754953 5369856 958 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 958 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 197.22
Current children cumulated vsize (Kb) 7372

[startup+220.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 990 0 0 0 19944 715 0 0 17 0 1 0 1784754953 5369856 960 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 960 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 206.62
Current children cumulated vsize (Kb) 7372

[startup+230.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 991 0 0 0 20855 746 0 0 25 0 1 0 1784754953 5369856 961 4294967295 134512640 134702520 3221223968 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1311 961 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 216.04
Current children cumulated vsize (Kb) 7372

[startup+240.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 991 0 0 0 21827 757 0 0 25 0 1 0 1784754953 5369856 961 4294967295 134512640 134702520 3221223968 3221222864 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1311 961 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 225.87
Current children cumulated vsize (Kb) 7372

[startup+250.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 992 0 0 0 22761 782 0 0 25 0 1 0 1784754953 5369856 962 4294967295 134512640 134702520 3221223968 3221223248 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 962 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 235.46
Current children cumulated vsize (Kb) 7372

[startup+260.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 993 0 0 0 23682 807 0 0 25 0 1 0 1784754953 5369856 963 4294967295 134512640 134702520 3221223968 3221222864 134552666 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1311 963 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 244.92
Current children cumulated vsize (Kb) 7372

[startup+270.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 995 0 0 0 24610 832 0 0 25 0 1 0 1784754953 5369856 965 4294967295 134512640 134702520 3221223968 3221222864 134552175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 965 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 254.45
Current children cumulated vsize (Kb) 7372

[startup+280.031 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 995 0 0 0 25584 841 0 0 25 0 1 0 1784754953 5369856 965 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 965 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 264.28
Current children cumulated vsize (Kb) 7372

[startup+290.032 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 997 0 0 0 26499 869 0 0 25 0 1 0 1784754953 5369856 967 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 967 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 273.71
Current children cumulated vsize (Kb) 7372

[startup+300.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 999 0 0 0 27404 902 0 0 25 0 1 0 1784754953 5369856 969 4294967295 134512640 134702520 3221223968 3221222992 134551020 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14593/statm): 1311 969 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 283.09
Current children cumulated vsize (Kb) 7372

[startup+310.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) R 14590 14590 6872 0 -1 0 1001 0 0 0 28353 921 0 0 25 0 1 0 1784754953 5369856 971 4294967295 134512640 134702520 3221223968 3221222864 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 971 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 292.77
Current children cumulated vsize (Kb) 7372

[startup+320.033 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14593
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 1784754946 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 242 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14593/stat): 14593 (vallst) T 14590 14590 6872 0 -1 0 1001 0 0 0 29329 929 0 0 25 0 1 0 1784754953 5369856 971 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14593/statm): 1311 971 413 48 0 1263 0
[pid=14593] vsize: 5244
Current children cumulated CPU time (s) 302.61
Current children cumulated vsize (Kb) 7372
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=14593) exited with status: 2
New process pid=14594
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=14594) exited with status: 0
New process pid=14595
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+330.033 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 290 0 0 0 923 18 0 0 25 0 1 0 1784786974 2793472 261 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 682 261 413 48 0 634 0
[pid=14595] vsize: 2728
Current children cumulated CPU time (s) 312.2
Current children cumulated vsize (Kb) 4856

[startup+340.034 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 455 0 0 0 1854 43 0 0 23 0 1 0 1784786974 4501504 426 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1099 426 413 48 0 1051 0
[pid=14595] vsize: 4396
Current children cumulated CPU time (s) 321.76
Current children cumulated vsize (Kb) 6524

[startup+350.035 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 487 0 0 0 2760 75 0 0 23 0 1 0 1784786974 4517888 458 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1103 458 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 331.14
Current children cumulated vsize (Kb) 6540

[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 490 0 0 0 3712 93 0 0 25 0 1 0 1784786974 4517888 461 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 461 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 340.84
Current children cumulated vsize (Kb) 6540

[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 493 0 0 0 4633 119 0 0 17 0 1 0 1784786974 4517888 464 4294967295 134512640 134702520 3221223712 3221222736 134552322 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 464 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 350.31
Current children cumulated vsize (Kb) 6540

[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 514 0 0 0 5540 150 0 0 24 0 1 0 1784786974 4517888 485 4294967295 134512640 134702520 3221223712 3221223228 1074652281 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 485 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 359.69
Current children cumulated vsize (Kb) 6540

[startup+390.039 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 529 0 0 0 6481 171 0 0 25 0 1 0 1784786974 4517888 500 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1103 500 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 369.31
Current children cumulated vsize (Kb) 6540

[startup+400.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 530 0 0 0 7418 194 0 0 24 0 1 0 1784786974 4517888 501 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 501 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 378.91
Current children cumulated vsize (Kb) 6540

[startup+410.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 745 0 0 0 8318 229 0 0 25 0 1 0 1784786974 4517888 716 4294967295 134512640 134702520 3221223712 3221222592 134553215 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 716 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 388.26
Current children cumulated vsize (Kb) 6540

[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 745 0 0 0 9248 251 0 0 25 0 1 0 1784786974 4517888 716 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1103 716 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 397.78
Current children cumulated vsize (Kb) 6540

[startup+430.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 747 0 0 0 10193 268 0 0 25 0 1 0 1784786974 4517888 718 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1103 718 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 407.4
Current children cumulated vsize (Kb) 6540

[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 748 0 0 0 11077 307 0 0 22 0 1 0 1784786974 4517888 719 4294967295 134512640 134702520 3221223712 3221222832 134578861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 719 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 416.63
Current children cumulated vsize (Kb) 6540

[startup+450.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 749 0 0 0 11998 332 0 0 25 0 1 0 1784786974 4517888 720 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 720 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 426.09
Current children cumulated vsize (Kb) 6540

[startup+460.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 750 0 0 0 12957 348 0 0 17 0 1 0 1784786974 4517888 721 4294967295 134512640 134702520 3221223712 3221222832 134578861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 721 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 435.84
Current children cumulated vsize (Kb) 6540

[startup+470.048 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 750 0 0 0 13840 389 0 0 25 0 1 0 1784786974 4517888 721 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 721 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 445.08
Current children cumulated vsize (Kb) 6540

[startup+480.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 751 0 0 0 14747 422 0 0 25 0 1 0 1784786974 4517888 722 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1103 722 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 454.48
Current children cumulated vsize (Kb) 6540

[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 752 0 0 0 15713 436 0 0 25 0 1 0 1784786974 4517888 723 4294967295 134512640 134702520 3221223712 3221222608 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1103 723 413 48 0 1055 0
[pid=14595] vsize: 4412
Current children cumulated CPU time (s) 464.28
Current children cumulated vsize (Kb) 6540

[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 754 0 0 0 16606 473 0 0 25 0 1 0 1784786974 4653056 725 4294967295 134512640 134702520 3221223712 3221222608 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1136 725 413 48 0 1088 0
[pid=14595] vsize: 4544
Current children cumulated CPU time (s) 473.58
Current children cumulated vsize (Kb) 6672

[startup+510.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 759 0 0 0 17497 509 0 0 25 0 1 0 1784786974 4644864 730 4294967295 134512640 134702520 3221223712 3221222608 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1134 730 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 482.85
Current children cumulated vsize (Kb) 6664

[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 760 0 0 0 18449 527 0 0 25 0 1 0 1784786974 4644864 731 4294967295 134512640 134702520 3221223712 3221222480 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1134 731 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 492.55
Current children cumulated vsize (Kb) 6664

[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 760 0 0 0 19370 551 0 0 25 0 1 0 1784786974 4644864 731 4294967295 134512640 134702520 3221223712 3221222608 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1134 731 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 502
Current children cumulated vsize (Kb) 6664

[startup+540.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 762 0 0 0 20252 592 0 0 25 0 1 0 1784786974 4644864 733 4294967295 134512640 134702520 3221223712 3221222608 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1134 733 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 511.23
Current children cumulated vsize (Kb) 6664

[startup+550.057 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 763 0 0 0 21167 622 0 0 25 0 1 0 1784786974 4644864 734 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1134 734 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 520.68
Current children cumulated vsize (Kb) 6664

[startup+560.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 765 0 0 0 22110 642 0 0 22 0 1 0 1784786974 4644864 736 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1134 736 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 530.31
Current children cumulated vsize (Kb) 6664

[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 767 0 0 0 22982 685 0 0 25 0 1 0 1784786974 4644864 738 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1134 738 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 539.46
Current children cumulated vsize (Kb) 6664

[startup+580.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) T 14590 14590 6872 0 -1 0 770 0 0 0 23879 721 0 0 25 0 1 0 1784786974 4644864 741 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14595/statm): 1134 741 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 548.79
Current children cumulated vsize (Kb) 6664

[startup+590.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14595
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 378 1376 0 0 2 1 29344 932 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14595/stat): 14595 (vallst) R 14590 14590 6872 0 -1 0 771 0 0 0 24841 735 0 0 25 0 1 0 1784786974 4644864 742 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14595/statm): 1134 742 413 48 0 1086 0
[pid=14595] vsize: 4536
Current children cumulated CPU time (s) 558.55
Current children cumulated vsize (Kb) 6664
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=14595) exited with status: 2
New process pid=14596
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=14596) exited with status: 0
New process pid=14597
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+600.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 283 0 0 0 663 22 0 0 25 0 1 0 1784814233 2387968 255 4294967295 134512640 134702520 3221223712 3221222720 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14597/statm): 583 255 413 48 0 535 0
[pid=14597] vsize: 2332
Current children cumulated CPU time (s) 568.07
Current children cumulated vsize (Kb) 4460

[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 350 0 0 0 1594 45 0 0 21 0 1 0 1784814233 3493888 322 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 853 322 413 48 0 805 0
[pid=14597] vsize: 3412
Current children cumulated CPU time (s) 577.61
Current children cumulated vsize (Kb) 5540

[startup+620.063 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 361 0 0 0 2457 91 0 0 25 0 1 0 1784814233 3629056 333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 886 333 413 48 0 838 0
[pid=14597] vsize: 3544
Current children cumulated CPU time (s) 586.7
Current children cumulated vsize (Kb) 5672

[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 363 0 0 0 3363 124 0 0 25 0 1 0 1784814233 3620864 335 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 335 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 596.09
Current children cumulated vsize (Kb) 5664

[startup+640.064 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 365 0 0 0 4292 147 0 0 25 0 1 0 1784814233 3620864 337 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 337 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 605.61
Current children cumulated vsize (Kb) 5664

[startup+650.065 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 377 0 0 0 5141 202 0 0 24 0 1 0 1784814233 3620864 349 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 349 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 614.65
Current children cumulated vsize (Kb) 5664

[startup+660.066 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 379 0 0 0 6043 238 0 0 25 0 1 0 1784814233 3620864 351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 351 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 624.03
Current children cumulated vsize (Kb) 5664

[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 379 0 0 0 6945 272 0 0 19 0 1 0 1784814233 3620864 351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14597/statm): 884 351 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 633.39
Current children cumulated vsize (Kb) 5664

[startup+680.068 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 382 0 0 0 7771 335 0 0 18 0 1 0 1784814233 3620864 354 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 354 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (Kb) 5664

[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 383 0 0 0 8702 358 0 0 25 0 1 0 1784814233 3620864 355 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14597/statm): 884 355 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 651.82
Current children cumulated vsize (Kb) 5664

[startup+700.07 s]
Raw data (loadavg): 1.08 1.02 0.94 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 386 0 0 0 9594 393 0 0 20 0 1 0 1784814233 3620864 358 4294967295 134512640 134702520 3221223712 3221222608 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14597/statm): 884 358 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 661.09
Current children cumulated vsize (Kb) 5664

[startup+710.071 s]
Raw data (loadavg): 1.14 1.03 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 413 0 0 0 10408 453 0 0 18 0 1 0 1784814233 3620864 385 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 385 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 669.83
Current children cumulated vsize (Kb) 5664

[startup+720.072 s]
Raw data (loadavg): 1.12 1.03 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 414 0 0 0 11333 480 0 0 25 0 1 0 1784814233 3620864 386 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 386 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 679.35
Current children cumulated vsize (Kb) 5664

[startup+730.072 s]
Raw data (loadavg): 1.10 1.03 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 416 0 0 0 12223 515 0 0 20 0 1 0 1784814233 3620864 388 4294967295 134512640 134702520 3221223712 3221222608 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14597/statm): 884 388 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 688.6
Current children cumulated vsize (Kb) 5664

[startup+740.073 s]
Raw data (loadavg): 1.08 1.03 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 418 0 0 0 13039 578 0 0 19 0 1 0 1784814233 3620864 390 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 390 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 697.39
Current children cumulated vsize (Kb) 5664

[startup+750.075 s]
Raw data (loadavg): 1.07 1.03 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 420 0 0 0 13960 606 0 0 25 0 1 0 1784814233 3620864 392 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 392 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 706.88
Current children cumulated vsize (Kb) 5664

[startup+760.076 s]
Raw data (loadavg): 1.06 1.03 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 420 0 0 0 14852 642 0 0 19 0 1 0 1784814233 3620864 392 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 392 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 716.16
Current children cumulated vsize (Kb) 5664

[startup+770.076 s]
Raw data (loadavg): 1.05 1.02 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 423 0 0 0 15667 707 0 0 25 0 1 0 1784814233 3620864 395 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 395 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 724.96
Current children cumulated vsize (Kb) 5664

[startup+780.077 s]
Raw data (loadavg): 1.04 1.02 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 425 0 0 0 16558 744 0 0 25 0 1 0 1784814233 3620864 397 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 884 397 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 734.24
Current children cumulated vsize (Kb) 5664

[startup+790.078 s]
Raw data (loadavg): 1.04 1.02 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 425 0 0 0 17472 774 0 0 25 0 1 0 1784814233 3620864 397 4294967295 134512640 134702520 3221223712 3221222912 134617912 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14597/statm): 884 397 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 743.68
Current children cumulated vsize (Kb) 5664

[startup+800.078 s]
Raw data (loadavg): 1.03 1.02 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 449 0 0 0 18251 848 0 0 22 0 1 0 1784814233 3620864 421 4294967295 134512640 134702520 3221223712 3221222608 134550688 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14597/statm): 884 421 413 48 0 836 0
[pid=14597] vsize: 3536
Current children cumulated CPU time (s) 752.21
Current children cumulated vsize (Kb) 5664

[startup+810.08 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 451 0 0 0 19127 888 0 0 25 0 1 0 1784814233 3756032 423 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 917 423 413 48 0 869 0
[pid=14597] vsize: 3668
Current children cumulated CPU time (s) 761.37
Current children cumulated vsize (Kb) 5796

[startup+820.081 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 451 0 0 0 20037 921 0 0 17 0 1 0 1784814233 3751936 423 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 916 423 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 770.8
Current children cumulated vsize (Kb) 5792

[startup+830.082 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 453 0 0 0 20863 979 0 0 25 0 1 0 1784814233 3751936 425 4294967295 134512640 134702520 3221223712 3221222608 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14597/statm): 916 425 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 779.64
Current children cumulated vsize (Kb) 5792

[startup+840.082 s]
Raw data (loadavg): 1.01 1.02 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 454 0 0 0 21707 1032 0 0 25 0 1 0 1784814233 3751936 426 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14597/statm): 916 426 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 788.61
Current children cumulated vsize (Kb) 5792

[startup+850.084 s]
Raw data (loadavg): 1.01 1.02 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 454 0 0 0 22660 1048 0 0 25 0 1 0 1784814233 3751936 426 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 916 426 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 798.3
Current children cumulated vsize (Kb) 5792

[startup+860.085 s]
Raw data (loadavg): 1.01 1.02 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 456 0 0 0 23436 1123 0 0 17 0 1 0 1784814233 3751936 428 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 916 428 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 806.81
Current children cumulated vsize (Kb) 5792

[startup+870.085 s]
Raw data (loadavg): 1.01 1.01 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 578 0 0 0 24232 1190 0 0 25 0 1 0 1784814233 3751936 550 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 916 550 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 815.44
Current children cumulated vsize (Kb) 5792

[startup+880.087 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 579 0 0 0 25177 1209 0 0 25 0 1 0 1784814233 3751936 551 4294967295 134512640 134702520 3221223712 3221222480 134552329 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14597/statm): 916 551 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 825.08
Current children cumulated vsize (Kb) 5792

[startup+890.088 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 598 0 0 0 26004 1272 0 0 17 0 1 0 1784814233 3751936 570 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14597/statm): 916 570 413 48 0 868 0
[pid=14597] vsize: 3664
Current children cumulated CPU time (s) 833.98
Current children cumulated vsize (Kb) 5792

[startup+900.088 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 639 0 0 0 26756 1355 0 0 17 0 1 0 1784814233 3887104 611 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14597/statm): 949 611 413 48 0 901 0
[pid=14597] vsize: 3796
Current children cumulated CPU time (s) 842.33
Current children cumulated vsize (Kb) 5924

[startup+910.089 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 639 0 0 0 27636 1397 0 0 25 0 1 0 1784814233 3887104 611 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14597/statm): 949 611 413 48 0 901 0
[pid=14597] vsize: 3796
Current children cumulated CPU time (s) 851.55
Current children cumulated vsize (Kb) 5924

[startup+920.09 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 639 0 0 0 28531 1433 0 0 25 0 1 0 1784814233 3887104 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 949 611 413 48 0 901 0
[pid=14597] vsize: 3796
Current children cumulated CPU time (s) 860.86
Current children cumulated vsize (Kb) 5924

[startup+930.092 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) R 14590 14590 6872 0 -1 0 642 0 0 0 29279 1512 0 0 24 0 1 0 1784814233 3887104 614 4294967295 134512640 134702520 3221223712 3221222608 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14597/statm): 949 614 413 48 0 901 0
[pid=14597] vsize: 3796
Current children cumulated CPU time (s) 869.13
Current children cumulated vsize (Kb) 5924

[startup+940.092 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 664 0 0 0 29986 1608 0 0 24 0 1 0 1784814233 3887104 636 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 949 636 413 48 0 901 0
[pid=14597] vsize: 3796
Current children cumulated CPU time (s) 877.16
Current children cumulated vsize (Kb) 5924

[startup+950.092 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 665 0 0 0 30919 1633 0 0 25 0 1 0 1784814233 3887104 637 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 949 637 413 48 0 901 0
[pid=14597] vsize: 3796
Current children cumulated CPU time (s) 886.74
Current children cumulated vsize (Kb) 5924

[startup+960.093 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 669 0 0 0 31744 1690 0 0 18 0 1 0 1784814233 3887104 641 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 949 641 413 48 0 901 0
[pid=14597] vsize: 3796
Current children cumulated CPU time (s) 895.56
Current children cumulated vsize (Kb) 5924

[startup+970.093 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 14597
Raw data (/proc/14590/stat): 14590 (vallstSAT2005PB) S 14589 14590 6872 0 -1 0 417 2291 0 0 2 1 54448 1671 19 0 1 0 1784754946 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/14590/statm): 532 248 485 147 0 385 0
[pid=14590] vsize: 2128
Raw data (/proc/14597/stat): 14597 (vallst) T 14590 14590 6872 0 -1 0 705 0 0 0 32409 1808 0 0 23 0 1 0 1784814233 4161536 677 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14597/statm): 1016 677 413 48 0 968 0
[pid=14597] vsize: 4064
Current children cumulated CPU time (s) 903.39
Current children cumulated vsize (Kb) 6192
One traced child (pid=14597) exited with status: 0
New process pid=14598
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/wulflinc2/normalized-ii16e2.opb
One traced child (pid=14598) exited with status: 0
New process pid=14599
One traced child (pid=14599) exited with status: 127
New process pid=14600
New process pid=14601
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/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/8131/stat
open syscall for file /proc/8131/status
open syscall for file /proc/8131/cmdline
open syscall for file /proc/8131/environ
open syscall for file /proc/27015/stat
open syscall for file /proc/27015/status
open syscall for file /proc/27015/cmdline
open syscall for file /proc/27015/environ
open syscall for file /proc/27042/stat
open syscall for file /proc/27042/status
open syscall for file /proc/27042/cmdline
open syscall for file /proc/27042/environ
open syscall for file /proc/27066/stat
open syscall for file /proc/27066/status
open syscall for file /proc/27066/cmdline
open syscall for file /proc/27066/environ
open syscall for file /proc/5902/stat
open syscall for file /proc/5902/status
open syscall for file /proc/5902/cmdline
open syscall for file /proc/5902/environ
open syscall for file /proc/12094/stat
open syscall for file /proc/12094/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/12094/cmdline
open syscall for file /proc/12094/environ
open syscall for file /proc/12129/stat
open syscall for file /proc/12129/status
open syscall for file /proc/12129/cmdline
open syscall for file /proc/12129/environ
open syscall for file /proc/6872/stat
open syscall for file /proc/6872/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/6872/cmdline
open syscall for file /proc/6872/environ
open syscall for file /proc/6873/stat
open syscall for file /proc/6873/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/6873/cmdline
open syscall for file /proc/6873/environ
open syscall for file /proc/6882/stat
open syscall for file /proc/6882/status
open syscall for file /proc/6882/cmdline
open syscall for file /proc/6882/environ
open syscall for file /proc/14553/stat
open syscall for file /proc/14553/status
open syscall for file /proc/14553/cmdline
open syscall for file /proc/14553/environ
open syscall for file /proc/14589/stat
open syscall for file /proc/14589/status
open syscall for file /proc/14589/cmdline
open syscall for file /proc/14589/environ
open syscall for file /proc/14590/stat
open syscall for file /proc/14590/status
open syscall for file /proc/14590/cmdline
open syscall for file /proc/14590/environ
open syscall for file /proc/14600/stat
open syscall for file /proc/14600/status
open syscall for file /proc/14600/cmdline
open syscall for file /proc/14600/environ
open syscall for file /proc/14601/stat
open syscall for file /proc/14601/status
open syscall for file /proc/14601/cmdline
open syscall for file /proc/14601/environ
One traced child (pid=14600) exited with status: 0
One traced child (pid=14601) exited with status: 0
New process pid=14602
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=14602) exited with status: 0
New process pid=14603
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=14603) exited with status: 0
One traced child (pid=14590) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 976.675
CPU time (s): 908.331
CPU user time (s): 872.848
CPU system time (s): 35.4826
CPU usage (%): 93.0024
Max. virtual memory (cumulated for all children) (Kb): 7380

Verifier Data

ERROR: no interpretation found !