Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/routing/normalized-s4-4-3-1pb.opb
MD5SUM9f27aad2edb50c2232eec4dba5ec2271
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of terms in the objective function 672
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 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 672
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark229.103
Number of variables672
Total number of constraints2028
Number of constraints which are clauses2004
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint28

Trace number 3486

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-19 01:06:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7268 boxname=wulflinc23 idbench=236 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9f27aad2edb50c2232eec4dba5ec2271  /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-1pb.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-1pb.opb 0
IDLAUNCH: 7268
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        895304 kB
Buffers:         33976 kB
Cached:          77908 kB
SwapCached:        792 kB
Active:          62412 kB
Inactive:        52116 kB
HighTotal:      131008 kB
HighFree:        49868 kB
LowTotal:       903652 kB
LowFree:        845436 kB
SwapTotal:     2097136 kB
SwapFree:      2095868 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            19148 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 01:32:00 (client local time) WITH STATUS 0 IN 1205.56 SECONDS
stats: 7268 7 1205.56 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 0  (#equs: 112)
#decisions: 54259;  #end-nodes: 14164;
#proof improvement attempts: 0;  #restarts: 99
Current batch, end-nodes: 48 / 146 (104)
#axs: 2151, #non-axs: 5516
tight: meta-meta: start: 5, end: 7;  meta: start: 10, end (keep): 18
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  599 (72:>=*);
#decisions: 26641;  #end-nodes: 7590;
#proof improvement attempts: 0;  #restarts: 65
Current batch, end-nodes: 87 / 101 (96)
#axs: 2170, #non-axs: 10487
tight: meta-meta: start: 5, end: 7;  meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  601 (70:>=*);
#decisions: 29643;  #end-nodes: 9309;
#proof improvement attempts: 0;  #restarts: 72
Current batch, end-nodes: 109 / 110 (98)
#axs: 2184, #non-axs: 4375
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  603 (68:>=*);
#decisions: 9268;  #end-nodes: 2862;
#proof improvement attempts: 0;  #restarts: 25
Current batch, end-nodes: 102 / 128 (86)
#axs: 2189, #non-axs: 4582
tight: meta-meta: start: 5, end: 7;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  605 (66:>=*);
#decisions: 149532;  #end-nodes: 59742;
#proof improvement attempts: 0;  #restarts: 342
Current batch, end-nodes: 123 / 208 (165)
#axs: 2215, #non-axs: 3719
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  607 (64:>=*);
#decisions: 107;  #end-nodes: 44;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 44 / 82 (80)
#axs: 2215, #non-axs: 3721
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  609 (62:>=*);
#decisions: 298403;  #end-nodes: 154070;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 259 (247)
#axs: 2270, #non-axs: 2635
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 609 (62:>=*)

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: 172  (#equs: 241)
Time taken: 5 min, 10 sec

2:
seed: 0
Nr of vars set: 172  (#equs: 0)
Nr of vars set: 173  (#equs: 2)
#decisions: 753670;  #end-nodes: 474964;
#proof improvement attempts: 0;  #restarts: 1248
Current batch, end-nodes: 0 / 509 (431)
#axs: 1140, #non-axs: 1687
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: 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: 215  (#equs: 41)
Time taken: 4 min, 13 sec

3:
seed: 0
Nr of vars set: 215  (#equs: 0)
Nr of vars set: 215  (#equs: 0)
#decisions: 1391961;  #end-nodes: 999744;
#proof improvement attempts: 0;  #restarts: 1824
Current batch, end-nodes: 0 / 645 (615)
#axs: 855, #non-axs: 10506
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10;  meta: start: 24, end (keep): 38
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: 239  (#equs: 30)
Time taken: 9 min, 3 sec

4:
seed: 0
Nr of vars set: 239  (#equs: 0)
Nr of vars set: 240  (#equs: 2)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 241  (#equs: 3)
Time taken in seconds: 97

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/19166/stat): 19166 (vallstSAT2005PB) R 19165 19166 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845814729 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19166/statm): 174 3 169 147 0 27 0
[pid=19166] 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=19167
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=19167) exited with status: 0
New process pid=19168
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=19168) exited with status: 0
New process pid=19169
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/wulflinc23/normalized-s4-4-3-1pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0041 s]
Raw data (loadavg): 1.01 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 333 0 0 0 311 214 0 0 16 0 1 0 1845814736 3039232 303 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 742 303 413 48 0 694 0
[pid=19169] vsize: 2968
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (Kb) 5096

[startup+20.0047 s]
Raw data (loadavg): 1.01 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 459 0 0 0 856 362 0 0 15 0 1 0 1845814736 3489792 429 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 852 429 413 48 0 804 0
[pid=19169] vsize: 3408
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (Kb) 5536

[startup+30.0064 s]
Raw data (loadavg): 1.01 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 460 0 0 0 1382 523 0 0 16 0 1 0 1845814736 3493888 430 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 853 430 413 48 0 805 0
[pid=19169] vsize: 3412
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (Kb) 5540

[startup+40.007 s]
Raw data (loadavg): 1.00 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 460 0 0 0 2069 629 0 0 16 0 1 0 1845814736 3493888 430 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 853 430 413 48 0 805 0
[pid=19169] vsize: 3412
Current children cumulated CPU time (s) 26.99
Current children cumulated vsize (Kb) 5540

[startup+50.0077 s]
Raw data (loadavg): 1.00 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 2759 735 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 34.95
Current children cumulated vsize (Kb) 5664

[startup+60.0084 s]
Raw data (loadavg): 1.00 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 3410 851 0 0 15 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 42.62
Current children cumulated vsize (Kb) 5664

[startup+70.0089 s]
Raw data (loadavg): 1.08 0.99 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 4063 969 0 0 15 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 50.33
Current children cumulated vsize (Kb) 5664

[startup+80.0106 s]
Raw data (loadavg): 1.07 0.99 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 4721 1087 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 58.09
Current children cumulated vsize (Kb) 5664

[startup+90.0112 s]
Raw data (loadavg): 1.06 0.99 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 5402 1195 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 65.98
Current children cumulated vsize (Kb) 5664

[startup+100.012 s]
Raw data (loadavg): 1.12 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 6086 1298 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 73.85
Current children cumulated vsize (Kb) 5664

[startup+110.012 s]
Raw data (loadavg): 1.10 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 6734 1421 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 81.56
Current children cumulated vsize (Kb) 5664

[startup+120.013 s]
Raw data (loadavg): 1.09 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 518 0 0 0 7390 1536 0 0 16 0 1 0 1845814736 3620864 488 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 488 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 89.27
Current children cumulated vsize (Kb) 5664

[startup+130.015 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 518 0 0 0 8085 1644 0 0 15 0 1 0 1845814736 3620864 488 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 488 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 97.3
Current children cumulated vsize (Kb) 5664

[startup+140.015 s]
Raw data (loadavg): 1.06 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 550 0 0 0 8747 1759 0 0 15 0 1 0 1845814736 3620864 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 520 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 105.07
Current children cumulated vsize (Kb) 5664

[startup+150.016 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 9398 1877 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 112.76
Current children cumulated vsize (Kb) 5664

[startup+160.017 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 10085 1983 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 120.69
Current children cumulated vsize (Kb) 5664

[startup+170.017 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 10779 2088 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 128.68
Current children cumulated vsize (Kb) 5664

[startup+180.019 s]
Raw data (loadavg): 1.10 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 11442 2201 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 136.44
Current children cumulated vsize (Kb) 5664

[startup+190.02 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 12119 2313 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 144.33
Current children cumulated vsize (Kb) 5664

[startup+200.02 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 12807 2413 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 152.21
Current children cumulated vsize (Kb) 5664

[startup+210.021 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 13457 2535 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 5664

[startup+220.022 s]
Raw data (loadavg): 1.13 1.03 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 14146 2643 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 167.9
Current children cumulated vsize (Kb) 5664

[startup+230.022 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 14885 2731 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 176.17
Current children cumulated vsize (Kb) 5664

[startup+240.023 s]
Raw data (loadavg): 1.17 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 15604 2826 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 184.31
Current children cumulated vsize (Kb) 5664

[startup+250.023 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 16307 2925 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 192.33
Current children cumulated vsize (Kb) 5664

[startup+260.024 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 17061 3011 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 200.73
Current children cumulated vsize (Kb) 5664

[startup+270.025 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 17798 3102 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 209.01
Current children cumulated vsize (Kb) 5664

[startup+280.026 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 18489 3205 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 216.95
Current children cumulated vsize (Kb) 5664

[startup+290.027 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 19227 3295 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 225.23
Current children cumulated vsize (Kb) 5664

[startup+300.028 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 19995 3375 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 233.71
Current children cumulated vsize (Kb) 5664

[startup+310.029 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 20713 3472 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 241.86
Current children cumulated vsize (Kb) 5664

[startup+320.03 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 21407 3581 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 249.89
Current children cumulated vsize (Kb) 5664

[startup+330.031 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 22169 3666 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 258.36
Current children cumulated vsize (Kb) 5664

[startup+340.031 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 22928 3751 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 266.8
Current children cumulated vsize (Kb) 5664

[startup+350.032 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 23630 3852 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 274.83
Current children cumulated vsize (Kb) 5664

[startup+360.033 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 24331 3953 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 282.85
Current children cumulated vsize (Kb) 5664

[startup+370.033 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 25090 4035 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 291.26
Current children cumulated vsize (Kb) 5664

[startup+380.034 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 25844 4122 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 299.67
Current children cumulated vsize (Kb) 5664

[startup+390.034 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 26546 4227 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 307.74
Current children cumulated vsize (Kb) 5664
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=19169) exited with status: 2
New process pid=19170
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=19170) exited with status: 0
New process pid=19171
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+400.035 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 256 0 0 0 298 105 0 0 17 0 1 0 1845854121 2252800 227 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 550 227 413 48 0 502 0
[pid=19171] vsize: 2200
Current children cumulated CPU time (s) 314.86
Current children cumulated vsize (Kb) 4328

[startup+410.036 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 313 0 0 0 867 251 0 0 16 0 1 0 1845854121 3293184 284 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 284 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 322.01
Current children cumulated vsize (Kb) 5344

[startup+420.036 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 327 0 0 0 1407 400 0 0 16 0 1 0 1845854121 3293184 298 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 298 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 328.9
Current children cumulated vsize (Kb) 5344

[startup+430.038 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 344 0 0 0 1996 539 0 0 16 0 1 0 1845854121 3293184 315 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 315 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 336.18
Current children cumulated vsize (Kb) 5344

[startup+440.039 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 345 0 0 0 2559 686 0 0 16 0 1 0 1845854121 3293184 316 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 804 316 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 343.28
Current children cumulated vsize (Kb) 5344

[startup+450.039 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 346 0 0 0 3107 833 0 0 16 0 1 0 1845854121 3293184 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 317 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 350.23
Current children cumulated vsize (Kb) 5344

[startup+460.04 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 347 0 0 0 3681 984 0 0 16 0 1 0 1845854121 3293184 318 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 804 318 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 357.48
Current children cumulated vsize (Kb) 5344

[startup+470.041 s]
Raw data (loadavg): 1.16 1.06 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 363 0 0 0 4235 1134 0 0 15 0 1 0 1845854121 3293184 334 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 804 334 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 364.52
Current children cumulated vsize (Kb) 5344

[startup+480.042 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 370 0 0 0 4846 1266 0 0 16 0 1 0 1845854121 3297280 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 341 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 371.95
Current children cumulated vsize (Kb) 5348

[startup+490.043 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 371 0 0 0 5390 1418 0 0 16 0 1 0 1845854121 3297280 342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 342 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 378.91
Current children cumulated vsize (Kb) 5348

[startup+500.043 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 371 0 0 0 6006 1543 0 0 16 0 1 0 1845854121 3297280 342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 342 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 386.32
Current children cumulated vsize (Kb) 5348

[startup+510.044 s]
Raw data (loadavg): 1.24 1.08 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 372 0 0 0 6539 1703 0 0 15 0 1 0 1845854121 3297280 343 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 805 343 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 393.25
Current children cumulated vsize (Kb) 5348

[startup+520.045 s]
Raw data (loadavg): 1.20 1.08 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 373 0 0 0 7165 1829 0 0 16 0 1 0 1845854121 3297280 344 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 344 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 400.77
Current children cumulated vsize (Kb) 5348

[startup+530.046 s]
Raw data (loadavg): 1.17 1.08 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 407 0 0 0 7743 1974 0 0 15 0 1 0 1845854121 3297280 378 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 378 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 408
Current children cumulated vsize (Kb) 5348

[startup+540.047 s]
Raw data (loadavg): 1.22 1.09 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 407 0 0 0 8371 2097 0 0 16 0 1 0 1845854121 3297280 378 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 378 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 415.51
Current children cumulated vsize (Kb) 5348

[startup+550.048 s]
Raw data (loadavg): 1.19 1.09 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 410 0 0 0 9051 2207 0 0 15 0 1 0 1845854121 3297280 381 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 805 381 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 423.41
Current children cumulated vsize (Kb) 5348

[startup+560.048 s]
Raw data (loadavg): 1.24 1.10 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 412 0 0 0 9585 2369 0 0 16 0 1 0 1845854121 3428352 383 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 383 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 430.37
Current children cumulated vsize (Kb) 5476

[startup+570.049 s]
Raw data (loadavg): 1.20 1.10 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 413 0 0 0 10224 2489 0 0 16 0 1 0 1845854121 3428352 384 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 384 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 437.96
Current children cumulated vsize (Kb) 5476

[startup+580.05 s]
Raw data (loadavg): 1.25 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 414 0 0 0 10827 2624 0 0 15 0 1 0 1845854121 3428352 385 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 385 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 445.34
Current children cumulated vsize (Kb) 5476

[startup+590.05 s]
Raw data (loadavg): 1.21 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 415 0 0 0 11444 2750 0 0 16 0 1 0 1845854121 3428352 386 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 386 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 452.77
Current children cumulated vsize (Kb) 5476

[startup+600.051 s]
Raw data (loadavg): 1.26 1.12 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 540 0 0 0 12162 2842 0 0 16 0 1 0 1845854121 3428352 511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 837 511 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 460.87
Current children cumulated vsize (Kb) 5476

[startup+610.053 s]
Raw data (loadavg): 1.22 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 540 0 0 0 12725 2985 0 0 16 0 1 0 1845854121 3428352 511 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 511 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 467.93
Current children cumulated vsize (Kb) 5476

[startup+620.053 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 541 0 0 0 13399 3096 0 0 16 0 1 0 1845854121 3428352 512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 512 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 475.78
Current children cumulated vsize (Kb) 5476

[startup+630.054 s]
Raw data (loadavg): 1.23 1.12 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 541 0 0 0 14084 3203 0 0 16 0 1 0 1845854121 3428352 512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 512 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 483.7
Current children cumulated vsize (Kb) 5476

[startup+640.054 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 542 0 0 0 14662 3351 0 0 15 0 1 0 1845854121 3428352 513 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 837 513 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 490.96
Current children cumulated vsize (Kb) 5476

[startup+650.055 s]
Raw data (loadavg): 1.16 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 542 0 0 0 15353 3454 0 0 16 0 1 0 1845854121 3428352 513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 513 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 498.9
Current children cumulated vsize (Kb) 5476

[startup+660.056 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 547 0 0 0 16041 3563 0 0 16 0 1 0 1845854121 3428352 518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 837 518 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 506.87
Current children cumulated vsize (Kb) 5476

[startup+670.056 s]
Raw data (loadavg): 1.12 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 547 0 0 0 16609 3708 0 0 15 0 1 0 1845854121 3428352 518 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 518 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 514
Current children cumulated vsize (Kb) 5476

[startup+680.058 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 17370 3790 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 522.43
Current children cumulated vsize (Kb) 5612

[startup+690.059 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 18047 3903 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 530.33
Current children cumulated vsize (Kb) 5612

[startup+700.059 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 18647 4038 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 537.68
Current children cumulated vsize (Kb) 5612

[startup+710.06 s]
Raw data (loadavg): 1.13 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 19317 4147 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 545.47
Current children cumulated vsize (Kb) 5612

[startup+720.061 s]
Raw data (loadavg): 1.11 1.10 1.03 2/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 20004 4253 0 0 15 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 553.4
Current children cumulated vsize (Kb) 5612

[startup+730.062 s]
Raw data (loadavg): 1.09 1.10 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 557 0 0 0 20671 4366 0 0 15 0 1 0 1845854121 3567616 528 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 528 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (Kb) 5612
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=19171) exited with status: 2
New process pid=19172
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=19172) exited with status: 0
New process pid=19173
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+740.063 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 248 0 0 0 241 99 0 0 16 0 1 0 1845888223 2228224 219 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 544 219 413 48 0 496 0
[pid=19173] vsize: 2176
Current children cumulated CPU time (s) 567.86
Current children cumulated vsize (Kb) 4304

[startup+750.063 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 305 0 0 0 790 247 0 0 16 0 1 0 1845888223 2809856 276 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 686 276 413 48 0 638 0
[pid=19173] vsize: 2744
Current children cumulated CPU time (s) 574.83
Current children cumulated vsize (Kb) 4872

[startup+760.064 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 334 0 0 0 1310 401 0 0 15 0 1 0 1845888223 2949120 305 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 720 305 413 48 0 672 0
[pid=19173] vsize: 2880
Current children cumulated CPU time (s) 581.57
Current children cumulated vsize (Kb) 5008

[startup+770.065 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 337 0 0 0 1902 535 0 0 16 0 1 0 1845888223 2945024 308 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 308 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 588.83
Current children cumulated vsize (Kb) 5004

[startup+780.068 s]
Raw data (loadavg): 1.16 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 338 0 0 0 2404 702 0 0 16 0 1 0 1845888223 2945024 309 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 719 309 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 595.52
Current children cumulated vsize (Kb) 5004

[startup+790.069 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 340 0 0 0 3010 832 0 0 16 0 1 0 1845888223 2945024 311 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 311 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 602.88
Current children cumulated vsize (Kb) 5004

[startup+800.07 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 364 0 0 0 3540 994 0 0 16 0 1 0 1845888223 2945024 335 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 335 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 609.8
Current children cumulated vsize (Kb) 5004

[startup+810.07 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 367 0 0 0 4150 1125 0 0 15 0 1 0 1845888223 2945024 338 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 338 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 617.21
Current children cumulated vsize (Kb) 5004

[startup+820.071 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 368 0 0 0 4692 1282 0 0 16 0 1 0 1845888223 2945024 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 339 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 624.2
Current children cumulated vsize (Kb) 5004

[startup+830.072 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 431 0 0 0 5337 1403 0 0 16 0 1 0 1845888223 2945024 402 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 402 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 631.86
Current children cumulated vsize (Kb) 5004

[startup+840.072 s]
Raw data (loadavg): 1.13 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 433 0 0 0 5863 1564 0 0 16 0 1 0 1845888223 2945024 404 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 404 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 638.73
Current children cumulated vsize (Kb) 5004

[startup+850.073 s]
Raw data (loadavg): 1.11 1.10 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 433 0 0 0 6512 1680 0 0 16 0 1 0 1845888223 2945024 404 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 719 404 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 646.38
Current children cumulated vsize (Kb) 5004

[startup+860.073 s]
Raw data (loadavg): 1.09 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 460 0 0 0 7190 1785 0 0 16 0 1 0 1845888223 3080192 431 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 431 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 654.21
Current children cumulated vsize (Kb) 5136

[startup+870.074 s]
Raw data (loadavg): 1.16 1.11 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 461 0 0 0 7755 1930 0 0 15 0 1 0 1845888223 3080192 432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 432 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 661.31
Current children cumulated vsize (Kb) 5136

[startup+880.075 s]
Raw data (loadavg): 1.13 1.11 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 461 0 0 0 8404 2046 0 0 16 0 1 0 1845888223 3080192 432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 432 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 668.96
Current children cumulated vsize (Kb) 5136

[startup+890.075 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 466 0 0 0 8963 2196 0 0 16 0 1 0 1845888223 3080192 437 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 437 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 676.05
Current children cumulated vsize (Kb) 5136

[startup+900.076 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 467 0 0 0 9630 2310 0 0 16 0 1 0 1845888223 3080192 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 438 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 683.86
Current children cumulated vsize (Kb) 5136

[startup+910.078 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 467 0 0 0 10256 2434 0 0 15 0 1 0 1845888223 3080192 438 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 438 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 691.36
Current children cumulated vsize (Kb) 5136

[startup+920.078 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 470 0 0 0 10856 2569 0 0 16 0 1 0 1845888223 3080192 441 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 441 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 698.71
Current children cumulated vsize (Kb) 5136

[startup+930.079 s]
Raw data (loadavg): 1.06 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 471 0 0 0 11541 2677 0 0 15 0 1 0 1845888223 3080192 442 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 442 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 706.64
Current children cumulated vsize (Kb) 5136

[startup+940.08 s]
Raw data (loadavg): 1.13 1.10 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 471 0 0 0 12088 2823 0 0 15 0 1 0 1845888223 3080192 442 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 442 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 713.57
Current children cumulated vsize (Kb) 5136

[startup+950.079 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 472 0 0 0 12773 2933 0 0 16 0 1 0 1845888223 3080192 443 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 443 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 721.52
Current children cumulated vsize (Kb) 5136

[startup+960.08 s]
Raw data (loadavg): 1.09 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 476 0 0 0 13462 3038 0 0 16 0 1 0 1845888223 3080192 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 447 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 729.46
Current children cumulated vsize (Kb) 5136

[startup+970.081 s]
Raw data (loadavg): 1.16 1.11 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 479 0 0 0 14018 3188 0 0 16 0 1 0 1845888223 3080192 450 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 450 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 736.52
Current children cumulated vsize (Kb) 5136

[startup+980.081 s]
Raw data (loadavg): 1.20 1.12 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 480 0 0 0 14708 3292 0 0 16 0 1 0 1845888223 3080192 451 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 451 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 744.46
Current children cumulated vsize (Kb) 5136

[startup+990.083 s]
Raw data (loadavg): 1.17 1.11 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 481 0 0 0 15398 3398 0 0 16 0 1 0 1845888223 3080192 452 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 452 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 752.42
Current children cumulated vsize (Kb) 5136

[startup+1000.08 s]
Raw data (loadavg): 1.22 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 482 0 0 0 15949 3553 0 0 15 0 1 0 1845888223 3080192 453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 453 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 759.48
Current children cumulated vsize (Kb) 5136

[startup+1010.08 s]
Raw data (loadavg): 1.18 1.12 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 482 0 0 0 16644 3656 0 0 16 0 1 0 1845888223 3080192 453 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 453 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 767.46
Current children cumulated vsize (Kb) 5136

[startup+1020.08 s]
Raw data (loadavg): 1.16 1.12 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 487 0 0 0 17401 3737 0 0 16 0 1 0 1845888223 3080192 458 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 458 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 775.84
Current children cumulated vsize (Kb) 5136

[startup+1030.09 s]
Raw data (loadavg): 1.21 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 487 0 0 0 17952 3884 0 0 16 0 1 0 1845888223 3080192 458 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 458 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 782.82
Current children cumulated vsize (Kb) 5136

[startup+1040.09 s]
Raw data (loadavg): 1.17 1.12 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 487 0 0 0 18654 3983 0 0 16 0 1 0 1845888223 3080192 458 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 458 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 790.83
Current children cumulated vsize (Kb) 5136

[startup+1050.09 s]
Raw data (loadavg): 1.22 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 489 0 0 0 19360 4082 0 0 16 0 1 0 1845888223 3080192 460 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 460 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 798.88
Current children cumulated vsize (Kb) 5136

[startup+1060.09 s]
Raw data (loadavg): 1.19 1.13 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 489 0 0 0 19950 4223 0 0 16 0 1 0 1845888223 3080192 460 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 460 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 806.19
Current children cumulated vsize (Kb) 5136

[startup+1070.09 s]
Raw data (loadavg): 1.16 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 491 0 0 0 20662 4321 0 0 16 0 1 0 1845888223 3080192 462 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 462 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 814.29
Current children cumulated vsize (Kb) 5136

[startup+1080.09 s]
Raw data (loadavg): 1.13 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 491 0 0 0 21381 4422 0 0 16 0 1 0 1845888223 3080192 462 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 462 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 822.49
Current children cumulated vsize (Kb) 5136

[startup+1090.09 s]
Raw data (loadavg): 1.11 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 492 0 0 0 21948 4568 0 0 15 0 1 0 1845888223 3080192 463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 463 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 829.62
Current children cumulated vsize (Kb) 5136

[startup+1100.09 s]
Raw data (loadavg): 1.09 1.11 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 492 0 0 0 22646 4665 0 0 16 0 1 0 1845888223 3080192 463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 463 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 837.57
Current children cumulated vsize (Kb) 5136

[startup+1110.09 s]
Raw data (loadavg): 1.08 1.11 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 493 0 0 0 23372 4758 0 0 16 0 1 0 1845888223 3207168 464 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 464 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 845.76
Current children cumulated vsize (Kb) 5260

[startup+1120.09 s]
Raw data (loadavg): 1.22 1.14 1.06 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 495 0 0 0 23942 4900 0 0 15 0 1 0 1845888223 3207168 466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 466 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 852.88
Current children cumulated vsize (Kb) 5260

[startup+1130.09 s]
Raw data (loadavg): 1.19 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 495 0 0 0 24663 4995 0 0 16 0 1 0 1845888223 3207168 466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 466 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 861.04
Current children cumulated vsize (Kb) 5260

[startup+1140.09 s]
Raw data (loadavg): 1.16 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 496 0 0 0 25382 5089 0 0 15 0 1 0 1845888223 3207168 467 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 467 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 869.17
Current children cumulated vsize (Kb) 5260

[startup+1150.1 s]
Raw data (loadavg): 1.13 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 496 0 0 0 25982 5226 0 0 16 0 1 0 1845888223 3207168 467 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 467 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 876.54
Current children cumulated vsize (Kb) 5260

[startup+1160.1 s]
Raw data (loadavg): 1.11 1.12 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 497 0 0 0 26665 5333 0 0 15 0 1 0 1845888223 3207168 468 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 468 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 884.44
Current children cumulated vsize (Kb) 5260

[startup+1170.1 s]
Raw data (loadavg): 1.09 1.11 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 499 0 0 0 27415 5414 0 0 16 0 1 0 1845888223 3207168 470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 470 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 892.75
Current children cumulated vsize (Kb) 5260

[startup+1180.1 s]
Raw data (loadavg): 1.08 1.11 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 501 0 0 0 28155 5506 0 0 16 0 1 0 1845888223 3207168 472 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 472 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 901.07
Current children cumulated vsize (Kb) 5260

[startup+1190.1 s]
Raw data (loadavg): 1.07 1.10 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 502 0 0 0 28720 5654 0 0 16 0 1 0 1845888223 3207168 473 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 473 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 908.2
Current children cumulated vsize (Kb) 5260

[startup+1200.1 s]
Raw data (loadavg): 1.06 1.10 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 502 0 0 0 29452 5749 0 0 16 0 1 0 1845888223 3207168 473 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 473 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 916.47
Current children cumulated vsize (Kb) 5260

[startup+1210.1 s]
Raw data (loadavg): 1.05 1.10 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 606 0 0 0 30198 5838 0 0 16 0 1 0 1845888223 3686400 577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 900 577 413 48 0 852 0
[pid=19173] vsize: 3600
Current children cumulated CPU time (s) 924.82
Current children cumulated vsize (Kb) 5728

[startup+1220.1 s]
Raw data (loadavg): 1.04 1.09 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1026 0 0 0 31050 5889 0 0 16 0 1 0 1845888223 5378048 997 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1313 997 413 48 0 1265 0
[pid=19173] vsize: 5252
Current children cumulated CPU time (s) 933.85
Current children cumulated vsize (Kb) 7380

[startup+1230.1 s]
Raw data (loadavg): 1.03 1.09 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 1391 0 0 0 31977 5917 0 0 17 0 1 0 1845888223 6778880 1362 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 1655 1362 413 48 0 1607 0
[pid=19173] vsize: 6620
Current children cumulated CPU time (s) 943.4
Current children cumulated vsize (Kb) 8748

[startup+1240.1 s]
Raw data (loadavg): 1.03 1.09 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1445 0 0 0 32612 6042 0 0 16 0 1 0 1845888223 6963200 1416 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1700 1416 413 48 0 1652 0
[pid=19173] vsize: 6800
Current children cumulated CPU time (s) 951
Current children cumulated vsize (Kb) 8928

[startup+1250.1 s]
Raw data (loadavg): 1.02 1.08 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1445 0 0 0 33489 6083 0 0 18 0 1 0 1845888223 6963200 1416 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1700 1416 413 48 0 1652 0
[pid=19173] vsize: 6800
Current children cumulated CPU time (s) 960.18
Current children cumulated vsize (Kb) 8928

[startup+1260.11 s]
Raw data (loadavg): 1.02 1.08 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1445 0 0 0 34432 6101 0 0 21 0 1 0 1845888223 6963200 1416 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1700 1416 413 48 0 1652 0
[pid=19173] vsize: 6800
Current children cumulated CPU time (s) 969.79
Current children cumulated vsize (Kb) 8928

[startup+1270.11 s]
Raw data (loadavg): 1.02 1.08 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1609 0 0 0 35373 6122 0 0 17 0 1 0 1845888223 7041024 1438 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 1719 1438 413 48 0 1671 0
[pid=19173] vsize: 6876
Current children cumulated CPU time (s) 979.41
Current children cumulated vsize (Kb) 9004

[startup+1280.11 s]
Raw data (loadavg): 1.01 1.07 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1609 0 0 0 36277 6159 0 0 20 0 1 0 1845888223 7041024 1438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1719 1438 413 48 0 1671 0
[pid=19173] vsize: 6876
Current children cumulated CPU time (s) 988.82
Current children cumulated vsize (Kb) 9004

[startup+1290.11 s]
Raw data (loadavg): 1.01 1.07 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1682 0 0 0 37177 6193 0 0 17 0 1 0 1845888223 7380992 1511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1802 1511 413 48 0 1754 0
[pid=19173] vsize: 7208
Current children cumulated CPU time (s) 998.16
Current children cumulated vsize (Kb) 9336

[startup+1300.11 s]
Raw data (loadavg): 1.01 1.07 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1900 0 0 0 38128 6211 0 0 25 0 1 0 1845888223 8380416 1729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2046 1729 413 48 0 1998 0
[pid=19173] vsize: 8184
Current children cumulated CPU time (s) 1007.85
Current children cumulated vsize (Kb) 10312

[startup+1310.11 s]
Raw data (loadavg): 1.01 1.07 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 1970 0 0 0 39034 6242 0 0 20 0 1 0 1845888223 8630272 1798 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2107 1798 413 48 0 2059 0
[pid=19173] vsize: 8428
Current children cumulated CPU time (s) 1017.22
Current children cumulated vsize (Kb) 10556

[startup+1320.11 s]
Raw data (loadavg): 1.00 1.06 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2151 0 0 0 39995 6254 0 0 25 0 1 0 1845888223 9412608 1979 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2298 1979 413 48 0 2250 0
[pid=19173] vsize: 9192
Current children cumulated CPU time (s) 1026.95
Current children cumulated vsize (Kb) 11320

[startup+1330.11 s]
Raw data (loadavg): 1.00 1.06 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2327 0 0 0 40957 6268 0 0 25 0 1 0 1845888223 10186752 2155 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2487 2155 413 48 0 2439 0
[pid=19173] vsize: 9948
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (Kb) 12076

[startup+1340.11 s]
Raw data (loadavg): 1.00 1.06 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2496 0 0 0 41922 6283 0 0 25 0 1 0 1845888223 10801152 2324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2637 2324 413 48 0 2589 0
[pid=19173] vsize: 10548
Current children cumulated CPU time (s) 1046.51
Current children cumulated vsize (Kb) 12676

[startup+1350.11 s]
Raw data (loadavg): 1.00 1.06 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2509 0 0 0 42845 6309 0 0 25 0 1 0 1845888223 10747904 2331 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2624 2331 413 48 0 2576 0
[pid=19173] vsize: 10496
Current children cumulated CPU time (s) 1056
Current children cumulated vsize (Kb) 12624

[startup+1360.11 s]
Raw data (loadavg): 1.00 1.05 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2509 0 0 0 43813 6320 0 0 25 0 1 0 1845888223 10747904 2331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2624 2331 413 48 0 2576 0
[pid=19173] vsize: 10496
Current children cumulated CPU time (s) 1065.79
Current children cumulated vsize (Kb) 12624

[startup+1370.11 s]
Raw data (loadavg): 1.00 1.05 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2599 0 0 0 44777 6334 0 0 25 0 1 0 1845888223 11251712 2421 4294967295 134512640 134702520 3221223712 3221223136 134595904 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2747 2421 413 48 0 2699 0
[pid=19173] vsize: 10988
Current children cumulated CPU time (s) 1075.57
Current children cumulated vsize (Kb) 13116

[startup+1380.11 s]
Raw data (loadavg): 1.00 1.05 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2600 0 0 0 45710 6358 0 0 25 0 1 0 1845888223 11141120 2422 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2720 2422 413 48 0 2672 0
[pid=19173] vsize: 10880
Current children cumulated CPU time (s) 1085.14
Current children cumulated vsize (Kb) 13008

[startup+1390.12 s]
Raw data (loadavg): 1.00 1.05 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2650 0 0 0 46678 6370 0 0 25 0 1 0 1845888223 11444224 2472 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2794 2472 413 48 0 2746 0
[pid=19173] vsize: 11176
Current children cumulated CPU time (s) 1094.94
Current children cumulated vsize (Kb) 13304

[startup+1400.12 s]
Raw data (loadavg): 1.00 1.05 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2723 0 0 0 47517 6423 0 0 16 0 1 0 1845888223 11616256 2538 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2836 2538 413 48 0 2788 0
[pid=19173] vsize: 11344
Current children cumulated CPU time (s) 1103.86
Current children cumulated vsize (Kb) 13472
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=19173) exited with status: 2
New process pid=19174
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=19174) exited with status: 0
New process pid=19175
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+1410.12 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 370 0 0 0 294 43 0 0 19 0 1 0 1845955337 2932736 341 4294967295 134512640 134702520 3221223040 3221222176 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19175/statm): 716 341 413 48 0 668 0
[pid=19175] vsize: 2864
Current children cumulated CPU time (s) 1111.39
Current children cumulated vsize (Kb) 4992

[startup+1420.12 s]
Raw data (loadavg): 1.00 1.04 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 373 0 0 0 949 160 0 0 17 0 1 0 1845955337 2932736 344 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 716 344 413 48 0 668 0
[pid=19175] vsize: 2864
Current children cumulated CPU time (s) 1119.11
Current children cumulated vsize (Kb) 4992

[startup+1430.12 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 426 0 0 0 1590 276 0 0 15 0 1 0 1845955337 4616192 397 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 397 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1126.68
Current children cumulated vsize (Kb) 6636

[startup+1440.12 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 431 0 0 0 2202 408 0 0 16 0 1 0 1845955337 4616192 402 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 402 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1134.12
Current children cumulated vsize (Kb) 6636

[startup+1450.12 s]
Raw data (loadavg): 1.12 1.07 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 431 0 0 0 2759 554 0 0 16 0 1 0 1845955337 4616192 402 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 402 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1141.15
Current children cumulated vsize (Kb) 6636

[startup+1460.12 s]
Raw data (loadavg): 1.19 1.08 1.04 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 432 0 0 0 3242 728 0 0 16 0 1 0 1845955337 4616192 403 4294967295 134512640 134702520 3221223040 3221222584 134571829 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 403 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1147.72
Current children cumulated vsize (Kb) 6636

[startup+1470.12 s]
Raw data (loadavg): 1.16 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 432 0 0 0 3854 859 0 0 16 0 1 0 1845955337 4616192 403 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 403 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1155.15
Current children cumulated vsize (Kb) 6636

[startup+1480.12 s]
Raw data (loadavg): 1.13 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 433 0 0 0 4484 980 0 0 15 0 1 0 1845955337 4616192 404 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 404 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1162.66
Current children cumulated vsize (Kb) 6636

[startup+1490.12 s]
Raw data (loadavg): 1.11 1.07 1.04 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 434 0 0 0 4944 1155 0 0 16 0 1 0 1845955337 4616192 405 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 405 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1169.01
Current children cumulated vsize (Kb) 6636

[startup+1500.12 s]
Raw data (loadavg): 1.09 1.07 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 436 0 0 0 5551 1289 0 0 16 0 1 0 1845955337 4616192 407 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 407 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1176.42
Current children cumulated vsize (Kb) 6636

[startup+1510.13 s]
Raw data (loadavg): 1.16 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 443 0 0 0 6183 1413 0 0 16 0 1 0 1845955337 4616192 414 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 414 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1183.98
Current children cumulated vsize (Kb) 6636

[startup+1520.13 s]
Raw data (loadavg): 1.13 1.08 1.04 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 444 0 0 0 6701 1573 0 0 16 0 1 0 1845955337 4616192 415 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 415 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1190.76
Current children cumulated vsize (Kb) 6636

[startup+1530.13 s]
Raw data (loadavg): 1.11 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 444 0 0 0 7245 1724 0 0 16 0 1 0 1845955337 4616192 415 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 415 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1197.71
Current children cumulated vsize (Kb) 6636

[startup+1540.13 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 445 0 0 0 7897 1844 0 0 16 0 1 0 1845955337 4616192 416 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 416 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1205.43
Current children cumulated vsize (Kb) 6636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1540.13 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 445 0 0 0 7897 1844 0 0 16 0 1 0 1845955337 4616192 416 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 416 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1205.43
Current children cumulated vsize (Kb) 6636

Sending SIGTERM to -19166
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=19177
New process pid=19178
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
One traced child (pid=19175) exited with status: 3
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/25252/stat
open syscall for file /proc/25252/status
open syscall for file /proc/25252/cmdline
open syscall for file /proc/25252/environ
open syscall for file /proc/32447/stat
open syscall for file /proc/32447/status
open syscall for file /proc/32447/cmdline
open syscall for file /proc/32447/environ
open syscall for file /proc/32474/stat
open syscall for file /proc/32474/status
open syscall for file /proc/32474/cmdline
open syscall for file /proc/32474/environ
open syscall for file /proc/32498/stat
open syscall for file /proc/32498/status
open syscall for file /proc/32498/cmdline
open syscall for file /proc/32498/environ
open syscall for file /proc/4537/stat
open syscall for file /proc/4537/status
open syscall for file /proc/4537/cmdline
open syscall for file /proc/4537/environ
open syscall for file /proc/4557/stat
open syscall for file /proc/4557/status
open syscall for file /proc/4557/cmdline
open syscall for file /proc/4557/environ
open syscall for file /proc/18962/stat
open syscall for file /proc/18962/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/18962/cmdline
open syscall for file /proc/18962/environ
open syscall for file /proc/18997/stat
open syscall for file /proc/18997/status
open syscall for file /proc/18997/cmdline
open syscall for file /proc/18997/environ
open syscall for file /proc/5299/stat
open syscall for file /proc/5299/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/5299/cmdline
open syscall for file /proc/5299/environ
open syscall for file /proc/5300/stat
open syscall for file /proc/5300/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/5300/cmdline
open syscall for file /proc/5300/environ
open syscall for file /proc/5309/stat
open syscall for file /proc/5309/status
open syscall for file /proc/5309/cmdline
open syscall for file /proc/5309/environ
open syscall for file /proc/19129/stat
open syscall for file /proc/19129/status
open syscall for file /proc/19129/cmdline
open syscall for file /proc/19129/environ
open syscall for file /proc/19165/stat
open syscall for file /proc/19165/status
open syscall for file /proc/19165/cmdline
open syscall for file /proc/19165/environ
open syscall for file /proc/19166/stat
open syscall for file /proc/19166/status
open syscall for file /proc/19166/cmdline
open syscall for file /proc/19166/environ
open syscall for file /proc/19177/stat
open syscall for file /proc/19177/status
open syscall for file /proc/19177/cmdline
open syscall for file /proc/19177/environ
open syscall for file /proc/19178/stat
open syscall for file /proc/19178/status
open syscall for file /proc/19178/cmdline
open syscall for file /proc/19178/environ
One traced child (pid=19177) exited with status: 0
One traced child (pid=19178) exited with status: 0
New process pid=19179
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=19179) exited with status: 0
New process pid=19180
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=19180) exited with status: 0
One traced child (pid=19166) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1540.62
CPU time (s): 1205.56
CPU user time (s): 1034.82
CPU system time (s): 170.747
CPU usage (%): 78.2518
Max. virtual memory (cumulated for all children) (Kb): 13472

Verifier Data

ERROR: no interpretation found !