Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM28123830d5f7e3646d18978bb347487c
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 9505
Biggest coefficient in the objective function 697303040
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 66656504525
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 697303040
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 66656504525
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9535
Total number of constraints365
Number of constraints which are clauses27
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint1
Maximum length of a constraint280

Trace number 9328

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        955952 kB
Buffers:          4352 kB
Cached:          54944 kB
SwapCached:          0 kB
Active:          16976 kB
Inactive:        45192 kB
HighTotal:      131008 kB
HighFree:        93996 kB
LowTotal:       903652 kB
LowFree:        861956 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:            10988 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:49:14 (client local time) WITH STATUS 0 IN 1202.77 SECONDS
stats: 8039 7 1202.77 0

Solver Data

1:
seed: 0
Nr of vars set: 448  (#equs: 0)
Nr of vars set: 1648  (#equs: 3)
#decisions: 840137;  #end-nodes: 92354;
#proof improvement attempts: 0;  #restarts: 576
Current batch, end-nodes: 0 / 227 (223)
#axs: 372, #non-axs: 2098
tight: meta-meta: start: 3, end: 4;  meta: start: 7, end (keep): 12
loose: meta-meta: start: 7, end: 10;  meta: start: 24, end (keep): 36
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: 1652  (#equs: 3)
Time taken: 5 min, 20 sec

2:
seed: 0
Nr of vars set: 1652  (#equs: 0)
Nr of vars set: 1652  (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1663  (#equs: 0)
Time taken: 14 min, 41 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (6937) - No such process

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/6932/stat): 6932 (vallstSAT2005PB) R 6931 6932 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20175191 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6932/statm): 174 3 169 147 0 27 0
[pid=6932] 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=6933
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=6933) exited with status: 0
New process pid=6934
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=6934) exited with status: 0
New process pid=6935
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/wulflinc12/normalized-mps-v2-13-7-dcmulti.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 830 0 0 0 957 11 0 0 25 0 1 0 20175198 4481024 741 4294967295 134512640 134702520 3221223952 3221223088 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1094 741 413 48 0 1046 0
[pid=6935] vsize: 4376
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (Kb) 6504

[startup+20.0039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 867 0 0 0 1920 24 0 0 25 0 1 0 20175198 6635520 778 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1620 778 413 48 0 1572 0
[pid=6935] vsize: 6480
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (Kb) 8608

[startup+30.0048 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 884 0 0 0 2809 58 0 0 23 0 1 0 20175198 6660096 795 4294967295 134512640 134702520 3221223952 3221223232 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1626 795 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (Kb) 8632

[startup+40.0056 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 884 0 0 0 3676 102 0 0 22 0 1 0 20175198 6660096 795 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 795 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 37.8
Current children cumulated vsize (Kb) 8632

[startup+50.0074 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 4551 143 0 0 23 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 46.96
Current children cumulated vsize (Kb) 8632

[startup+60.0083 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 5460 173 0 0 25 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 56.35
Current children cumulated vsize (Kb) 8632

[startup+70.0091 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 6454 175 0 0 25 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 66.31
Current children cumulated vsize (Kb) 8632

[startup+80.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 7294 229 0 0 25 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 75.25
Current children cumulated vsize (Kb) 8632

[startup+90.0108 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 893 0 0 0 8167 272 0 0 22 0 1 0 20175198 6660096 804 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 804 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 84.41
Current children cumulated vsize (Kb) 8632

[startup+100.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 894 0 0 0 9028 313 0 0 25 0 1 0 20175198 6660096 805 4294967295 134512640 134702520 3221223952 3221222976 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 805 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 93.43
Current children cumulated vsize (Kb) 8632

[startup+110.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 897 0 0 0 9930 346 0 0 25 0 1 0 20175198 6660096 808 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 808 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 102.78
Current children cumulated vsize (Kb) 8632

[startup+120.012 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 897 0 0 0 10924 348 0 0 25 0 1 0 20175198 6660096 808 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 808 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 112.74
Current children cumulated vsize (Kb) 8632

[startup+130.013 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 903 0 0 0 11771 399 0 0 25 0 1 0 20175198 6660096 814 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1626 814 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 121.72
Current children cumulated vsize (Kb) 8632

[startup+140.014 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 931 0 0 0 12661 435 0 0 25 0 1 0 20175198 6660096 842 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 842 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 130.98
Current children cumulated vsize (Kb) 8632

[startup+150.015 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 13509 487 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221059388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 8632

[startup+160.016 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 14417 519 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 149.38
Current children cumulated vsize (Kb) 8632

[startup+170.017 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 15415 520 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (Kb) 8632

[startup+180.017 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 959 0 0 0 16256 572 0 0 23 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 168.3
Current children cumulated vsize (Kb) 8632

[startup+190.018 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 959 0 0 0 17129 615 0 0 25 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 177.46
Current children cumulated vsize (Kb) 8632

[startup+200.02 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 959 0 0 0 17979 662 0 0 23 0 1 0 20175198 6660096 870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1626 870 413 48 0 1578 0
[pid=6935] vsize: 6504
Current children cumulated CPU time (s) 186.43
Current children cumulated vsize (Kb) 8632

[startup+210.021 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 960 0 0 0 18823 709 0 0 23 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 195.34
Current children cumulated vsize (Kb) 8636

[startup+220.021 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 960 0 0 0 19782 723 0 0 25 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 205.07
Current children cumulated vsize (Kb) 8636

[startup+230.022 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) T 6932 6932 4060 0 -1 0 960 0 0 0 20719 743 0 0 23 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 214.64
Current children cumulated vsize (Kb) 8636

[startup+240.023 s]
Raw data (loadavg): 1.09 1.03 1.01 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 960 0 0 0 21612 777 0 0 25 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221222976 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 223.91
Current children cumulated vsize (Kb) 8636

[startup+250.024 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 960 0 0 0 22460 828 0 0 23 0 1 0 20175198 6664192 871 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 871 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 232.9
Current children cumulated vsize (Kb) 8636

[startup+260.025 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 976 0 0 0 23300 882 0 0 24 0 1 0 20175198 6664192 887 4294967295 134512640 134702520 3221223952 3221223228 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 887 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 241.84
Current children cumulated vsize (Kb) 8636

[startup+270.026 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 988 0 0 0 24156 931 0 0 25 0 1 0 20175198 6664192 899 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 899 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 250.89
Current children cumulated vsize (Kb) 8636

[startup+280.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 25121 943 0 0 25 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 260.66
Current children cumulated vsize (Kb) 8636

[startup+290.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 26031 974 0 0 25 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221145788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 270.07
Current children cumulated vsize (Kb) 8636

[startup+300.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 26898 1017 0 0 24 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 279.17
Current children cumulated vsize (Kb) 8636

[startup+310.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 989 0 0 0 27730 1069 0 0 22 0 1 0 20175198 6664192 900 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1627 900 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 288.01
Current children cumulated vsize (Kb) 8636

[startup+320.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 993 0 0 0 28560 1125 0 0 23 0 1 0 20175198 6664192 904 4294967295 134512640 134702520 3221223952 3221223232 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 904 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 296.87
Current children cumulated vsize (Kb) 8636

[startup+330.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 999 0 0 0 29437 1168 0 0 25 0 1 0 20175198 6664192 910 4294967295 134512640 134702520 3221223952 3221222976 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6935/statm): 1627 910 413 48 0 1579 0
[pid=6935] vsize: 6508
Current children cumulated CPU time (s) 306.07
Current children cumulated vsize (Kb) 8636

[startup+340.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6935
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20175191 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6932/statm): 532 242 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6935/stat): 6935 (vallst) R 6932 6932 4060 0 -1 0 1000 0 0 0 30406 1180 0 0 25 0 1 0 20175198 6807552 911 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6935/statm): 1662 911 413 48 0 1614 0
[pid=6935] vsize: 6648
Current children cumulated CPU time (s) 315.88
Current children cumulated vsize (Kb) 8776
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=6935) exited with status: 2
New process pid=6936
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=6936) exited with status: 0
New process pid=6937
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+350.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 666 0 0 0 470 21 0 0 25 0 1 0 20209670 4370432 636 4294967295 134512640 134702520 3221223712 3221222848 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1067 636 413 48 0 1019 0
[pid=6937] vsize: 4268
Current children cumulated CPU time (s) 325.49
Current children cumulated vsize (Kb) 6396

[startup+360.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 671 0 0 0 1415 38 0 0 25 0 1 0 20209670 4370432 641 4294967295 134512640 134702520 3221223712 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1067 641 413 48 0 1019 0
[pid=6937] vsize: 4268
Current children cumulated CPU time (s) 335.11
Current children cumulated vsize (Kb) 6396

[startup+370.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 726 0 0 0 2202 106 0 0 25 0 1 0 20209670 6598656 696 4294967295 134512640 134702520 3221223712 3221222736 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 696 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 343.66
Current children cumulated vsize (Kb) 8572

[startup+380.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 739 0 0 0 2920 197 0 0 18 0 1 0 20209670 6598656 709 4294967295 134512640 134702520 3221223712 3221222932 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1611 709 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 351.75
Current children cumulated vsize (Kb) 8572

[startup+390.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 744 0 0 0 3696 264 0 0 25 0 1 0 20209670 6598656 714 4294967295 134512640 134702520 3221223712 3221222608 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 714 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 360.18
Current children cumulated vsize (Kb) 8572

[startup+400.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 747 0 0 0 4644 279 0 0 25 0 1 0 20209670 6598656 717 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1611 717 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 369.81
Current children cumulated vsize (Kb) 8572

[startup+410.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 754 0 0 0 5399 358 0 0 25 0 1 0 20209670 6598656 724 4294967295 134512640 134702520 3221223712 3221222676 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 724 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 378.15
Current children cumulated vsize (Kb) 8572

[startup+420.037 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 762 0 0 0 6131 448 0 0 18 0 1 0 20209670 6598656 732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1611 732 413 48 0 1563 0
[pid=6937] vsize: 6444
Current children cumulated CPU time (s) 386.37
Current children cumulated vsize (Kb) 8572

[startup+430.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 767 0 0 0 6835 540 0 0 22 0 1 0 20209670 6733824 737 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1644 737 413 48 0 1596 0
[pid=6937] vsize: 6576
Current children cumulated CPU time (s) 394.33
Current children cumulated vsize (Kb) 8704

[startup+440.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 768 0 0 0 7778 560 0 0 25 0 1 0 20209670 6733824 738 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1644 738 413 48 0 1596 0
[pid=6937] vsize: 6576
Current children cumulated CPU time (s) 403.96
Current children cumulated vsize (Kb) 8704

[startup+450.039 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 769 0 0 0 8562 629 0 0 18 0 1 0 20209670 6701056 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 739 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 412.49
Current children cumulated vsize (Kb) 8672

[startup+460.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 774 0 0 0 9247 730 0 0 20 0 1 0 20209670 6701056 744 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 744 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 420.35
Current children cumulated vsize (Kb) 8672

[startup+470.04 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 778 0 0 0 9906 840 0 0 25 0 1 0 20209670 6701056 748 4294967295 134512640 134702520 3221223712 3221222736 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 748 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 428.04
Current children cumulated vsize (Kb) 8672

[startup+480.042 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 786 0 0 0 10696 909 0 0 25 0 1 0 20209670 6701056 756 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 756 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 436.63
Current children cumulated vsize (Kb) 8672

[startup+490.043 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 789 0 0 0 11647 926 0 0 25 0 1 0 20209670 6701056 759 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 759 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 446.31
Current children cumulated vsize (Kb) 8672

[startup+500.044 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 791 0 0 0 12342 1027 0 0 25 0 1 0 20209670 6701056 761 4294967295 134512640 134702520 3221223712 3221222736 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 761 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 454.27
Current children cumulated vsize (Kb) 8672

[startup+510.044 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 798 0 0 0 13051 1119 0 0 22 0 1 0 20209670 6701056 768 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1636 768 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (Kb) 8672

[startup+520.044 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 801 0 0 0 13745 1220 0 0 22 0 1 0 20209670 6701056 771 4294967295 134512640 134702520 3221223712 3221222736 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1636 771 413 48 0 1588 0
[pid=6937] vsize: 6544
Current children cumulated CPU time (s) 470.23
Current children cumulated vsize (Kb) 8672

[startup+530.045 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 803 0 0 0 14667 1245 0 0 25 0 1 0 20209670 6860800 773 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1675 773 413 48 0 1627 0
[pid=6937] vsize: 6700
Current children cumulated CPU time (s) 479.7
Current children cumulated vsize (Kb) 8828

[startup+540.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 806 0 0 0 15491 1306 0 0 25 0 1 0 20209670 6795264 776 4294967295 134512640 134702520 3221223712 3221222736 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 776 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 488.55
Current children cumulated vsize (Kb) 8764

[startup+550.048 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 810 0 0 0 16190 1405 0 0 19 0 1 0 20209670 6795264 780 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 780 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 496.53
Current children cumulated vsize (Kb) 8764

[startup+560.049 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 813 0 0 0 16893 1501 0 0 20 0 1 0 20209670 6795264 783 4294967295 134512640 134702520 3221223712 3221222832 134578600 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 783 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 504.52
Current children cumulated vsize (Kb) 8764

[startup+570.048 s]
Raw data (loadavg): 1.14 1.04 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 815 0 0 0 17695 1566 0 0 25 0 1 0 20209670 6795264 785 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 785 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 513.19
Current children cumulated vsize (Kb) 8764

[startup+580.049 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 816 0 0 0 18631 1586 0 0 21 0 1 0 20209670 6795264 786 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1659 786 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 522.75
Current children cumulated vsize (Kb) 8764

[startup+590.05 s]
Raw data (loadavg): 1.18 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 823 0 0 0 19324 1684 0 0 19 0 1 0 20209670 6795264 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1659 793 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 530.66
Current children cumulated vsize (Kb) 8764

[startup+600.051 s]
Raw data (loadavg): 1.23 1.07 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 835 0 0 0 20031 1781 0 0 25 0 1 0 20209670 6795264 805 4294967295 134512640 134702520 3221223712 3221222736 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 805 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 538.7
Current children cumulated vsize (Kb) 8764

[startup+610.052 s]
Raw data (loadavg): 1.27 1.08 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 837 0 0 0 20700 1888 0 0 25 0 1 0 20209670 6795264 807 4294967295 134512640 134702520 3221223712 3221041068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1659 807 413 48 0 1611 0
[pid=6937] vsize: 6636
Current children cumulated CPU time (s) 546.46
Current children cumulated vsize (Kb) 8764

[startup+620.053 s]
Raw data (loadavg): 1.22 1.08 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 840 0 0 0 21618 1917 0 0 25 0 1 0 20209670 6938624 810 4294967295 134512640 134702520 3221223712 3221222548 134550184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1694 810 413 48 0 1646 0
[pid=6937] vsize: 6776
Current children cumulated CPU time (s) 555.93
Current children cumulated vsize (Kb) 8904

[startup+630.053 s]
Raw data (loadavg): 1.19 1.08 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 846 0 0 0 22460 1970 0 0 25 0 1 0 20209670 6873088 816 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1678 816 413 48 0 1630 0
[pid=6937] vsize: 6712
Current children cumulated CPU time (s) 564.88
Current children cumulated vsize (Kb) 8840

[startup+640.054 s]
Raw data (loadavg): 1.16 1.08 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 883 0 0 0 23134 2078 0 0 18 0 1 0 20209670 6873088 853 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1678 853 413 48 0 1630 0
[pid=6937] vsize: 6712
Current children cumulated CPU time (s) 572.7
Current children cumulated vsize (Kb) 8840

[startup+650.056 s]
Raw data (loadavg): 1.14 1.07 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 909 0 0 0 23890 2156 0 0 19 0 1 0 20209670 6873088 879 4294967295 134512640 134702520 3221223712 3221223104 134603349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1678 879 413 48 0 1630 0
[pid=6937] vsize: 6712
Current children cumulated CPU time (s) 581.04
Current children cumulated vsize (Kb) 8840

[startup+660.057 s]
Raw data (loadavg): 1.11 1.07 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 928 0 0 0 24575 2256 0 0 19 0 1 0 20209670 7131136 898 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1741 898 413 48 0 1693 0
[pid=6937] vsize: 6964
Current children cumulated CPU time (s) 588.89
Current children cumulated vsize (Kb) 9092

[startup+670.058 s]
Raw data (loadavg): 1.10 1.07 1.02 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 933 0 0 0 25479 2288 0 0 25 0 1 0 20209670 7278592 903 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1777 903 413 48 0 1729 0
[pid=6937] vsize: 7108
Current children cumulated CPU time (s) 598.25
Current children cumulated vsize (Kb) 9236

[startup+680.059 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 936 0 0 0 26344 2332 0 0 18 0 1 0 20209670 7217152 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 906 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 607.34
Current children cumulated vsize (Kb) 9176

[startup+690.06 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 940 0 0 0 27095 2415 0 0 19 0 1 0 20209670 7217152 910 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 910 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 615.68
Current children cumulated vsize (Kb) 9176

[startup+700.06 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 947 0 0 0 27842 2496 0 0 25 0 1 0 20209670 7217152 917 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 917 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 623.96
Current children cumulated vsize (Kb) 9176

[startup+710.061 s]
Raw data (loadavg): 1.12 1.07 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 950 0 0 0 28557 2588 0 0 19 0 1 0 20209670 7217152 920 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1762 920 413 48 0 1714 0
[pid=6937] vsize: 7048
Current children cumulated CPU time (s) 632.03
Current children cumulated vsize (Kb) 9176

[startup+720.062 s]
Raw data (loadavg): 1.10 1.07 1.02 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 953 0 0 0 29445 2624 0 0 25 0 1 0 20209670 7368704 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1799 923 413 48 0 1751 0
[pid=6937] vsize: 7196
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (Kb) 9324

[startup+730.063 s]
Raw data (loadavg): 1.09 1.07 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 957 0 0 0 30331 2664 0 0 19 0 1 0 20209670 7307264 927 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 927 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 650.53
Current children cumulated vsize (Kb) 9264

[startup+740.064 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 959 0 0 0 31098 2739 0 0 19 0 1 0 20209670 7307264 929 4294967295 134512640 134702520 3221223712 3221223112 134607291 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 929 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 658.95
Current children cumulated vsize (Kb) 9264

[startup+750.065 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 961 0 0 0 31815 2830 0 0 25 0 1 0 20209670 7307264 931 4294967295 134512640 134702520 3221223712 3221087168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 931 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 667.03
Current children cumulated vsize (Kb) 9264

[startup+760.065 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 967 0 0 0 32548 2920 0 0 19 0 1 0 20209670 7307264 937 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1784 937 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 675.26
Current children cumulated vsize (Kb) 9264

[startup+770.065 s]
Raw data (loadavg): 1.04 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 969 0 0 0 33424 2960 0 0 25 0 1 0 20209670 7307264 939 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 939 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 684.42
Current children cumulated vsize (Kb) 9264

[startup+780.066 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 971 0 0 0 34327 2993 0 0 20 0 1 0 20209670 7307264 941 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1784 941 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 693.78
Current children cumulated vsize (Kb) 9264

[startup+790.067 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 977 0 0 0 35099 3070 0 0 19 0 1 0 20209670 7307264 947 4294967295 134512640 134702520 3221223712 3221223148 1074228942 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 947 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (Kb) 9264

[startup+800.068 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 990 0 0 0 35835 3153 0 0 25 0 1 0 20209670 7307264 960 4294967295 134512640 134702520 3221223712 3220984288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 960 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 710.46
Current children cumulated vsize (Kb) 9264

[startup+810.069 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 997 0 0 0 36557 3243 0 0 18 0 1 0 20209670 7307264 967 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1784 967 413 48 0 1736 0
[pid=6937] vsize: 7136
Current children cumulated CPU time (s) 718.58
Current children cumulated vsize (Kb) 9264

[startup+820.068 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1000 0 0 0 37455 3274 0 0 25 0 1 0 20209670 7467008 970 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1823 970 413 48 0 1775 0
[pid=6937] vsize: 7292
Current children cumulated CPU time (s) 727.87
Current children cumulated vsize (Kb) 9420

[startup+830.07 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1002 0 0 0 38322 3318 0 0 18 0 1 0 20209670 7401472 972 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 972 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 736.98
Current children cumulated vsize (Kb) 9356

[startup+840.071 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1004 0 0 0 39074 3401 0 0 23 0 1 0 20209670 7401472 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 974 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 745.33
Current children cumulated vsize (Kb) 9356

[startup+850.073 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1006 0 0 0 39744 3510 0 0 17 0 1 0 20209670 7401472 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 976 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 753.12
Current children cumulated vsize (Kb) 9356

[startup+860.074 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1010 0 0 0 40469 3598 0 0 19 0 1 0 20209670 7401472 980 4294967295 134512640 134702520 3221223712 3221223148 1074228931 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 980 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 761.25
Current children cumulated vsize (Kb) 9356

[startup+870.074 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1014 0 0 0 41289 3658 0 0 25 0 1 0 20209670 7401472 984 4294967295 134512640 134702520 3221223712 3221222608 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 984 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 770.05
Current children cumulated vsize (Kb) 9356

[startup+880.074 s]
Raw data (loadavg): 1.00 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1015 0 0 0 42217 3682 0 0 18 0 1 0 20209670 7401472 985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 985 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 779.57
Current children cumulated vsize (Kb) 9356

[startup+890.075 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1016 0 0 0 42848 3799 0 0 18 0 1 0 20209670 7401472 986 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 986 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 787.05
Current children cumulated vsize (Kb) 9356

[startup+900.076 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1017 0 0 0 43509 3910 0 0 22 0 1 0 20209670 7401472 987 4294967295 134512640 134702520 3221223712 3221146528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 987 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 794.77
Current children cumulated vsize (Kb) 9356

[startup+910.077 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1028 0 0 0 44197 4013 0 0 18 0 1 0 20209670 7401472 998 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1807 998 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 802.68
Current children cumulated vsize (Kb) 9356

[startup+920.078 s]
Raw data (loadavg): 1.13 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1030 0 0 0 44875 4117 0 0 25 0 1 0 20209670 7401472 1000 4294967295 134512640 134702520 3221223712 3221106508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1807 1000 413 48 0 1759 0
[pid=6937] vsize: 7228
Current children cumulated CPU time (s) 810.5
Current children cumulated vsize (Kb) 9356

[startup+930.079 s]
Raw data (loadavg): 1.11 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1034 0 0 0 45790 4143 0 0 25 0 1 0 20209670 7565312 1004 4294967295 134512640 134702520 3221223712 3221222548 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1847 1004 413 48 0 1799 0
[pid=6937] vsize: 7388
Current children cumulated CPU time (s) 819.91
Current children cumulated vsize (Kb) 9516

[startup+940.079 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1035 0 0 0 46611 4200 0 0 18 0 1 0 20209670 7499776 1005 4294967295 134512640 134702520 3221223712 3221218528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1005 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 828.69
Current children cumulated vsize (Kb) 9452

[startup+950.08 s]
Raw data (loadavg): 1.08 1.05 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1038 0 0 0 47341 4286 0 0 18 0 1 0 20209670 7499776 1008 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1008 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 836.85
Current children cumulated vsize (Kb) 9452

[startup+960.081 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1040 0 0 0 47979 4396 0 0 19 0 1 0 20209670 7499776 1010 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1010 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 844.33
Current children cumulated vsize (Kb) 9452

[startup+970.082 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1042 0 0 0 48705 4485 0 0 18 0 1 0 20209670 7499776 1012 4294967295 134512640 134702520 3221223712 3221222992 134553367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1012 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 852.48
Current children cumulated vsize (Kb) 9452

[startup+980.083 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1045 0 0 0 49496 4551 0 0 25 0 1 0 20209670 7499776 1015 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1015 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 861.05
Current children cumulated vsize (Kb) 9452

[startup+990.084 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1047 0 0 0 50456 4564 0 0 25 0 1 0 20209670 7499776 1017 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1017 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 870.78
Current children cumulated vsize (Kb) 9452

[startup+1000.09 s]
Raw data (loadavg): 1.03 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1048 0 0 0 51111 4676 0 0 18 0 1 0 20209670 7499776 1018 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1018 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 878.45
Current children cumulated vsize (Kb) 9452

[startup+1010.09 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1052 0 0 0 51827 4768 0 0 25 0 1 0 20209670 7499776 1022 4294967295 134512640 134702520 3221223712 3221222736 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1022 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 886.53
Current children cumulated vsize (Kb) 9452

[startup+1020.09 s]
Raw data (loadavg): 1.02 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1053 0 0 0 52502 4873 0 0 18 0 1 0 20209670 7499776 1023 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1831 1023 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 894.33
Current children cumulated vsize (Kb) 9452

[startup+1030.09 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1072 0 0 0 53189 4975 0 0 25 0 1 0 20209670 7499776 1042 4294967295 134512640 134702520 3221223712 3221085068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1831 1042 413 48 0 1783 0
[pid=6937] vsize: 7324
Current children cumulated CPU time (s) 902.22
Current children cumulated vsize (Kb) 9452

[startup+1040.09 s]
Raw data (loadavg): 1.01 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1075 0 0 0 54107 5002 0 0 25 0 1 0 20209670 7663616 1045 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1871 1045 413 48 0 1823 0
[pid=6937] vsize: 7484
Current children cumulated CPU time (s) 911.67
Current children cumulated vsize (Kb) 9612

[startup+1050.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1076 0 0 0 54908 5068 0 0 18 0 1 0 20209670 7602176 1046 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1046 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 920.34
Current children cumulated vsize (Kb) 9552

[startup+1060.09 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1080 0 0 0 55646 5155 0 0 18 0 1 0 20209670 7602176 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1050 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 928.59
Current children cumulated vsize (Kb) 9552

[startup+1070.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1094 0 0 0 56330 5259 0 0 18 0 1 0 20209670 7602176 1064 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1856 1064 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 936.47
Current children cumulated vsize (Kb) 9552

[startup+1080.09 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1097 0 0 0 57023 5359 0 0 25 0 1 0 20209670 7602176 1067 4294967295 134512640 134702520 3221223712 3221072108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1067 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 944.4
Current children cumulated vsize (Kb) 9552

[startup+1090.09 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1101 0 0 0 57710 5456 0 0 22 0 1 0 20209670 7602176 1071 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1071 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 952.24
Current children cumulated vsize (Kb) 9552

[startup+1100.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1102 0 0 0 58657 5474 0 0 25 0 1 0 20209670 7602176 1072 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1072 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 961.89
Current children cumulated vsize (Kb) 9552

[startup+1110.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1103 0 0 0 59379 5565 0 0 17 0 1 0 20209670 7602176 1073 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1856 1073 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 970.02
Current children cumulated vsize (Kb) 9552

[startup+1120.1 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1106 0 0 0 60096 5655 0 0 19 0 1 0 20209670 7602176 1076 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1856 1076 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 978.09
Current children cumulated vsize (Kb) 9552

[startup+1130.1 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1107 0 0 0 60768 5764 0 0 19 0 1 0 20209670 7602176 1077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1077 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 985.9
Current children cumulated vsize (Kb) 9552

[startup+1140.1 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1111 0 0 0 61476 5856 0 0 25 0 1 0 20209670 7602176 1081 4294967295 134512640 134702520 3221223712 3221096428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1856 1081 413 48 0 1808 0
[pid=6937] vsize: 7424
Current children cumulated CPU time (s) 993.9
Current children cumulated vsize (Kb) 9552

[startup+1150.1 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1115 0 0 0 62208 5939 0 0 25 0 1 0 20209670 7712768 1085 4294967295 134512640 134702520 3221223712 3221222608 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1085 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (Kb) 9660

[startup+1160.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1117 0 0 0 63152 5959 0 0 25 0 1 0 20209670 7712768 1087 4294967295 134512640 134702520 3221223712 3221222608 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1087 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1011.69
Current children cumulated vsize (Kb) 9660

[startup+1170.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1118 0 0 0 63918 6033 0 0 18 0 1 0 20209670 7712768 1088 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1088 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1020.09
Current children cumulated vsize (Kb) 9660

[startup+1180.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1120 0 0 0 64578 6140 0 0 19 0 1 0 20209670 7712768 1090 4294967295 134512640 134702520 3221223712 3221192748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1090 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1027.76
Current children cumulated vsize (Kb) 9660

[startup+1190.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1123 0 0 0 65295 6237 0 0 22 0 1 0 20209670 7712768 1093 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1093 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1035.9
Current children cumulated vsize (Kb) 9660

[startup+1200.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1123 0 0 0 65965 6343 0 0 18 0 1 0 20209670 7712768 1093 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1093 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1043.66
Current children cumulated vsize (Kb) 9660

[startup+1210.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1126 0 0 0 66793 6399 0 0 25 0 1 0 20209670 7712768 1096 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1096 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1052.5
Current children cumulated vsize (Kb) 9660

[startup+1220.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1128 0 0 0 67737 6417 0 0 21 0 1 0 20209670 7712768 1098 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1098 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (Kb) 9660

[startup+1230.11 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1130 0 0 0 68416 6518 0 0 18 0 1 0 20209670 7712768 1100 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1100 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1069.92
Current children cumulated vsize (Kb) 9660

[startup+1240.11 s]
Raw data (loadavg): 1.15 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1132 0 0 0 69096 6617 0 0 18 0 1 0 20209670 7712768 1102 4294967295 134512640 134702520 3221223712 3221215168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1883 1102 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1077.71
Current children cumulated vsize (Kb) 9660

[startup+1250.11 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1137 0 0 0 69826 6708 0 0 18 0 1 0 20209670 7712768 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1883 1107 413 48 0 1835 0
[pid=6937] vsize: 7532
Current children cumulated CPU time (s) 1085.92
Current children cumulated vsize (Kb) 9660

[startup+1260.11 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1139 0 0 0 70494 6808 0 0 18 0 1 0 20209670 7819264 1109 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1909 1109 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1093.6
Current children cumulated vsize (Kb) 9764

[startup+1270.11 s]
Raw data (loadavg): 1.09 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1142 0 0 0 71357 6854 0 0 25 0 1 0 20209670 7819264 1112 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1112 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1102.69
Current children cumulated vsize (Kb) 9764

[startup+1280.11 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1144 0 0 0 72279 6880 0 0 19 0 1 0 20209670 7819264 1114 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1114 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1112.17
Current children cumulated vsize (Kb) 9764

[startup+1290.11 s]
Raw data (loadavg): 1.14 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1149 0 0 0 72949 6991 0 0 20 0 1 0 20209670 7819264 1119 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1119 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1119.98
Current children cumulated vsize (Kb) 9764

[startup+1300.11 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1154 0 0 0 73606 7102 0 0 18 0 1 0 20209670 7819264 1124 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1124 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1127.66
Current children cumulated vsize (Kb) 9764

[startup+1310.12 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1157 0 0 0 74298 7199 0 0 23 0 1 0 20209670 7819264 1127 4294967295 134512640 134702520 3221223712 3221143628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1909 1127 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1135.55
Current children cumulated vsize (Kb) 9764

[startup+1320.12 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1163 0 0 0 75003 7292 0 0 18 0 1 0 20209670 7819264 1133 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1909 1133 413 48 0 1861 0
[pid=6937] vsize: 7636
Current children cumulated CPU time (s) 1143.53
Current children cumulated vsize (Kb) 9764

[startup+1330.12 s]
Raw data (loadavg): 1.07 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1165 0 0 0 75804 7358 0 0 25 0 1 0 20209670 7979008 1135 4294967295 134512640 134702520 3221223712 3221222912 134617886 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1948 1135 413 48 0 1900 0
[pid=6937] vsize: 7792
Current children cumulated CPU time (s) 1152.2
Current children cumulated vsize (Kb) 9920

[startup+1340.12 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1168 0 0 0 76761 7373 0 0 25 0 1 0 20209670 7979008 1138 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1948 1138 413 48 0 1900 0
[pid=6937] vsize: 7792
Current children cumulated CPU time (s) 1161.92
Current children cumulated vsize (Kb) 9920

[startup+1350.12 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1183 0 0 0 77448 7473 0 0 18 0 1 0 20209670 7917568 1153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1933 1153 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1169.79
Current children cumulated vsize (Kb) 9860

[startup+1360.12 s]
Raw data (loadavg): 1.10 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1186 0 0 0 78121 7577 0 0 18 0 1 0 20209670 7917568 1156 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6937/statm): 1933 1156 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1177.56
Current children cumulated vsize (Kb) 9860

[startup+1370.12 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1190 0 0 0 78840 7666 0 0 25 0 1 0 20209670 7917568 1160 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1160 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1185.64
Current children cumulated vsize (Kb) 9860

[startup+1380.12 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) T 6932 6932 4060 0 -1 0 1192 0 0 0 79557 7761 0 0 19 0 1 0 20209670 7917568 1162 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1162 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1193.76
Current children cumulated vsize (Kb) 9860

[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1196 0 0 0 80377 7821 0 0 25 0 1 0 20209670 7917568 1166 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1166 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1202.56
Current children cumulated vsize (Kb) 9860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1390.12 s]
Raw data (loadavg): 1.06 1.05 1.01 2/56 6937
Raw data (/proc/6932/stat): 6932 (vallstSAT2005PB) S 6931 6932 4060 0 -1 0 378 1375 0 0 1 1 30872 1184 19 0 1 0 20175191 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6932/statm): 532 248 485 147 0 385 0
[pid=6932] vsize: 2128
Raw data (/proc/6937/stat): 6937 (vallst) R 6932 6932 4060 0 -1 0 1196 0 0 0 80377 7821 0 0 25 0 1 0 20209670 7917568 1166 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6937/statm): 1933 1166 413 48 0 1885 0
[pid=6937] vsize: 7732
Current children cumulated CPU time (s) 1202.56
Current children cumulated vsize (Kb) 9860

Sending SIGTERM to -6932
Sleeping 2 seconds
New process pid=6939
New process pid=6940
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/6893/stat
open syscall for file /proc/6893/status
open syscall for file /proc/6893/cmdline
open syscall for file /proc/6893/environ
open syscall for file /proc/6931/stat
open syscall for file /proc/6931/status
open syscall for file /proc/6931/cmdline
open syscall for file /proc/6931/environ
open syscall for file /proc/6932/stat
open syscall for file /proc/6932/status
open syscall for file /proc/6932/cmdline
open syscall for file /proc/6932/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/6937/stat
open syscall for file /proc/6937/status
open syscall for file /proc/6937/cmdline
open syscall for file /proc/6937/environ
open syscall for file /proc/6939/stat
open syscall for file /proc/6939/status
open syscall for file /proc/6939/cmdline
open syscall for file /proc/6939/environ
open syscall for file /proc/6940/stat
open syscall for file /proc/6940/status
open syscall for file /proc/6940/cmdline
open syscall for file /proc/6940/environ
One traced child (pid=6939) exited with status: 0
One traced child (pid=6937) exited with status: 3
One traced child (pid=6940) exited with status: 0
New process pid=6941
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=6941) exited with status: 0
New process pid=6942
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=6942) exited with status: 0
One traced child (pid=6932) 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): 1390.61
CPU time (s): 1202.77
CPU user time (s): 1112.63
CPU system time (s): 90.1433
CPU usage (%): 86.4926
Max. virtual memory (cumulated for all children) (Kb): 9920

Verifier Data

ERROR: no interpretation found !