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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
MD5SUM8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 8388608
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 22020075
Number of bits of the biggest sum of numbers25
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark12.5581
Number of variables4060
Total number of constraints204
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints204
Minimum length of a constraint20
Maximum length of a constraint80

Trace number 9196

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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:        948336 kB
Buffers:          9456 kB
Cached:          60176 kB
SwapCached:          0 kB
Active:          44072 kB
Inactive:        28380 kB
HighTotal:      131008 kB
HighFree:        66388 kB
LowTotal:       903652 kB
LowFree:        881948 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8372 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 11:41:04 (client local time) WITH STATUS 0 IN 1206.91 SECONDS
stats: 7870 7 1206.91 0

Solver Data

1:
seed: 0
Nr of vars set: 235  (#equs: 0)
Nr of vars set: 385  (#equs: 9)
#decisions: 660240;  #end-nodes: 202474;
#proof improvement attempts: 0;  #restarts: 960
Current batch, end-nodes: 0 / 319 (319)
#axs: 306, #non-axs: 357
tight: meta-meta: start: 4, end: 5;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 431  (#equs: 12)
Time taken: 5 min, 5 sec

2:
seed: 0
Nr of vars set: 431  (#equs: 0)
Nr of vars set: 434  (#equs: 4)
#decisions: 2759546;  #end-nodes: 690115;
#proof improvement attempts: 0;  #restarts: 1824
Current batch, end-nodes: 0 / 575 (575)
#axs: 299, #non-axs: 270
tight: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8;  meta: start: 15, end (keep): 24
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: 458  (#equs: 5)
Time taken: 12 min, 5 sec

3:
seed: 0
Nr of vars set: 458  (#equs: 0)
Nr of vars set: 458  (#equs: 4)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 458  (#equs: 4)
Time taken: 2 min, 55 sec

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/4833/stat): 4833 (vallstSAT2005PB) R 4832 4833 4005 0 -1 0 19 0 0 0 0 0 0 0 19 0 1 0 19709366 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4833/statm): 174 3 169 147 0 27 0
[pid=4833] 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=4834
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=4834) exited with status: 0
New process pid=4835
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=4835) exited with status: 0
New process pid=4836
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/wulflinc27/normalized-mps-v2-13-7-sc205.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 0.94 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 411 0 0 0 556 139 0 0 17 0 1 0 19709373 3002368 381 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 733 381 413 48 0 685 0
[pid=4836] vsize: 2932
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (Kb) 5060

[startup+20.0043 s]
Raw data (loadavg): 0.95 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 411 0 0 0 1208 248 0 0 20 0 1 0 19709373 3002368 381 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 733 381 413 48 0 685 0
[pid=4836] vsize: 2932
Current children cumulated CPU time (s) 14.58
Current children cumulated vsize (Kb) 5060

[startup+30.0051 s]
Raw data (loadavg): 0.96 1.01 0.98 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) R 4833 4833 4005 0 -1 0 448 0 0 0 1888 346 0 0 19 0 1 0 19709373 4018176 418 4294967295 134512640 134702520 3221223952 3221201488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4836/statm): 981 418 413 48 0 933 0
[pid=4836] vsize: 3924
Current children cumulated CPU time (s) 22.36
Current children cumulated vsize (Kb) 6052

[startup+40.0049 s]
Raw data (loadavg): 0.96 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 449 0 0 0 2499 470 0 0 18 0 1 0 19709373 4018176 419 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 981 419 413 48 0 933 0
[pid=4836] vsize: 3924
Current children cumulated CPU time (s) 29.71
Current children cumulated vsize (Kb) 6052

[startup+50.0057 s]
Raw data (loadavg): 0.97 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 449 0 0 0 3050 613 0 0 18 0 1 0 19709373 4018176 419 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 981 419 413 48 0 933 0
[pid=4836] vsize: 3924
Current children cumulated CPU time (s) 36.65
Current children cumulated vsize (Kb) 6052

[startup+60.0066 s]
Raw data (loadavg): 0.97 1.00 0.98 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 451 0 0 0 3778 703 0 0 18 0 1 0 19709373 4018176 421 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 981 421 413 48 0 933 0
[pid=4836] vsize: 3924
Current children cumulated CPU time (s) 44.83
Current children cumulated vsize (Kb) 6052

[startup+70.0074 s]
Raw data (loadavg): 0.98 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 455 0 0 0 4423 820 0 0 19 0 1 0 19709373 4022272 425 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 425 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 52.45
Current children cumulated vsize (Kb) 6056

[startup+80.0082 s]
Raw data (loadavg): 0.98 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 456 0 0 0 5014 952 0 0 18 0 1 0 19709373 4022272 426 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 426 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 59.68
Current children cumulated vsize (Kb) 6056

[startup+90.009 s]
Raw data (loadavg): 0.98 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 456 0 0 0 5650 1071 0 0 21 0 1 0 19709373 4022272 426 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 426 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 67.23
Current children cumulated vsize (Kb) 6056

[startup+100.01 s]
Raw data (loadavg): 1.06 1.02 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 461 0 0 0 6302 1185 0 0 19 0 1 0 19709373 4022272 431 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 431 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 74.89
Current children cumulated vsize (Kb) 6056

[startup+110.011 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 470 0 0 0 6933 1303 0 0 18 0 1 0 19709373 4022272 440 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 440 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 82.38
Current children cumulated vsize (Kb) 6056

[startup+120.01 s]
Raw data (loadavg): 1.05 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 470 0 0 0 7528 1436 0 0 18 0 1 0 19709373 4022272 440 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 440 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 89.66
Current children cumulated vsize (Kb) 6056

[startup+130.011 s]
Raw data (loadavg): 1.04 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 470 0 0 0 8208 1542 0 0 20 0 1 0 19709373 4022272 440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 440 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 97.52
Current children cumulated vsize (Kb) 6056

[startup+140.012 s]
Raw data (loadavg): 1.03 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 472 0 0 0 8861 1655 0 0 18 0 1 0 19709373 4022272 442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 442 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 105.18
Current children cumulated vsize (Kb) 6056

[startup+150.014 s]
Raw data (loadavg): 1.03 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 481 0 0 0 9529 1766 0 0 19 0 1 0 19709373 4022272 451 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 451 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 112.97
Current children cumulated vsize (Kb) 6056

[startup+160.015 s]
Raw data (loadavg): 1.02 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 481 0 0 0 10210 1868 0 0 19 0 1 0 19709373 4022272 451 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 451 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 120.8
Current children cumulated vsize (Kb) 6056

[startup+170.014 s]
Raw data (loadavg): 1.02 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 10895 1971 0 0 17 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 128.68
Current children cumulated vsize (Kb) 6056

[startup+180.015 s]
Raw data (loadavg): 1.02 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 11580 2073 0 0 19 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 136.55
Current children cumulated vsize (Kb) 6056

[startup+190.016 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 12276 2172 0 0 20 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 144.5
Current children cumulated vsize (Kb) 6056

[startup+200.017 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 12967 2276 0 0 20 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 152.45
Current children cumulated vsize (Kb) 6056

[startup+210.018 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 13656 2383 0 0 19 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 160.41
Current children cumulated vsize (Kb) 6056

[startup+220.018 s]
Raw data (loadavg): 1.01 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 14335 2490 0 0 19 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 168.27
Current children cumulated vsize (Kb) 6056

[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 0.98 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) R 4833 4833 4005 0 -1 0 490 0 0 0 15021 2591 0 0 19 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221222848 134553444 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 176.14
Current children cumulated vsize (Kb) 6056

[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 15716 2691 0 0 19 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 184.09
Current children cumulated vsize (Kb) 6056

[startup+250.021 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 490 0 0 0 16391 2800 0 0 21 0 1 0 19709373 4022272 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 460 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 191.93
Current children cumulated vsize (Kb) 6056

[startup+260.022 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 17066 2905 0 0 20 0 1 0 19709373 4022272 461 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 461 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 199.73
Current children cumulated vsize (Kb) 6056

[startup+270.022 s]
Raw data (loadavg): 1.08 1.02 0.99 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) R 4833 4833 4005 0 -1 0 491 0 0 0 17758 3008 0 0 19 0 1 0 19709373 4022272 461 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 461 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 207.68
Current children cumulated vsize (Kb) 6056

[startup+280.022 s]
Raw data (loadavg): 1.07 1.02 0.99 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 18444 3112 0 0 20 0 1 0 19709373 4022272 461 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 461 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 215.58
Current children cumulated vsize (Kb) 6056

[startup+290.022 s]
Raw data (loadavg): 1.06 1.01 0.99 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) R 4833 4833 4005 0 -1 0 491 0 0 0 19119 3217 0 0 20 0 1 0 19709373 4022272 461 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 461 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 223.38
Current children cumulated vsize (Kb) 6056

[startup+300.023 s]
Raw data (loadavg): 1.05 1.01 0.99 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 19804 3323 0 0 20 0 1 0 19709373 4022272 461 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 461 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 231.29
Current children cumulated vsize (Kb) 6056

[startup+310.024 s]
Raw data (loadavg): 1.04 1.01 0.99 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 20493 3422 0 0 20 0 1 0 19709373 4022272 461 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 461 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 239.17
Current children cumulated vsize (Kb) 6056

[startup+320.025 s]
Raw data (loadavg): 1.03 1.01 0.99 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) R 4833 4833 4005 0 -1 0 492 0 0 0 21180 3529 0 0 19 0 1 0 19709373 4022272 462 4294967295 134512640 134702520 3221223952 3221223356 1074229970 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 462 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 247.11
Current children cumulated vsize (Kb) 6056

[startup+330.026 s]
Raw data (loadavg): 1.03 1.01 0.99 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 507 0 0 0 21851 3632 0 0 21 0 1 0 19709373 4022272 477 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 477 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 254.85
Current children cumulated vsize (Kb) 6056

[startup+340.026 s]
Raw data (loadavg): 1.02 1.01 0.99 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 507 0 0 0 22522 3737 0 0 19 0 1 0 19709373 4022272 477 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 477 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 262.61
Current children cumulated vsize (Kb) 6056

[startup+350.028 s]
Raw data (loadavg): 1.02 1.01 0.99 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 507 0 0 0 23222 3837 0 0 20 0 1 0 19709373 4022272 477 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 477 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 270.61
Current children cumulated vsize (Kb) 6056

[startup+360.029 s]
Raw data (loadavg): 1.02 1.01 0.99 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 508 0 0 0 23892 3943 0 0 18 0 1 0 19709373 4022272 478 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 478 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 278.37
Current children cumulated vsize (Kb) 6056

[startup+370.03 s]
Raw data (loadavg): 1.01 1.01 0.99 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) R 4833 4833 4005 0 -1 0 510 0 0 0 24567 4048 0 0 19 0 1 0 19709373 4022272 480 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 480 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 286.17
Current children cumulated vsize (Kb) 6056

[startup+380.031 s]
Raw data (loadavg): 1.01 1.01 0.99 1/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) T 4833 4833 4005 0 -1 0 510 0 0 0 25234 4155 0 0 20 0 1 0 19709373 4022272 480 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4836/statm): 982 480 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 293.91
Current children cumulated vsize (Kb) 6056

[startup+390.031 s]
Raw data (loadavg): 1.01 1.00 0.99 2/56 4836
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 330 232 0 0 1 0 0 1 19 0 1 0 19709366 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 242 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4836/stat): 4836 (vallst) R 4833 4833 4005 0 -1 0 510 0 0 0 25934 4255 0 0 20 0 1 0 19709373 4022272 480 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4836/statm): 982 480 413 48 0 934 0
[pid=4836] vsize: 3928
Current children cumulated CPU time (s) 301.91
Current children cumulated vsize (Kb) 6056
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=4836) exited with status: 2
New process pid=4837
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=4837) exited with status: 0
New process pid=4838
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+400.032 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 377 0 0 0 273 71 0 0 18 0 1 0 19748880 2834432 347 4294967295 134512640 134702520 3221223712 3221222848 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 692 347 413 48 0 644 0
[pid=4838] vsize: 2768
Current children cumulated CPU time (s) 309.43
Current children cumulated vsize (Kb) 4896

[startup+410.033 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 378 0 0 0 805 228 0 0 17 0 1 0 19748880 2834432 348 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 692 348 413 48 0 644 0
[pid=4838] vsize: 2768
Current children cumulated CPU time (s) 316.32
Current children cumulated vsize (Kb) 4896

[startup+420.034 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 418 0 0 0 1524 324 0 0 19 0 1 0 19748880 3817472 388 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 932 388 413 48 0 884 0
[pid=4838] vsize: 3728
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (Kb) 5856

[startup+430.035 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 438 0 0 0 2161 442 0 0 19 0 1 0 19748880 3919872 408 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 408 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 332.02
Current children cumulated vsize (Kb) 5956

[startup+440.035 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 440 0 0 0 2735 583 0 0 18 0 1 0 19748880 3919872 410 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 410 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (Kb) 5956

[startup+450.036 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 440 0 0 0 3338 708 0 0 22 0 1 0 19748880 3919872 410 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 410 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 346.45
Current children cumulated vsize (Kb) 5956

[startup+460.037 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 440 0 0 0 4021 811 0 0 18 0 1 0 19748880 3919872 410 4294967295 134512640 134702520 3221223712 3221186688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 410 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 354.31
Current children cumulated vsize (Kb) 5956

[startup+470.037 s]
Raw data (loadavg): 1.10 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 450 0 0 0 4656 929 0 0 18 0 1 0 19748880 3919872 420 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 420 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 361.84
Current children cumulated vsize (Kb) 5956

[startup+480.038 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 450 0 0 0 5234 1067 0 0 18 0 1 0 19748880 3919872 420 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 420 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 369
Current children cumulated vsize (Kb) 5956

[startup+490.039 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 450 0 0 0 5909 1174 0 0 22 0 1 0 19748880 3919872 420 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 420 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 376.82
Current children cumulated vsize (Kb) 5956

[startup+500.039 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 450 0 0 0 6544 1296 0 0 18 0 1 0 19748880 3919872 420 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 420 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 384.39
Current children cumulated vsize (Kb) 5956

[startup+510.04 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 450 0 0 0 7163 1419 0 0 18 0 1 0 19748880 3919872 420 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 420 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 391.81
Current children cumulated vsize (Kb) 5956

[startup+520.04 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 450 0 0 0 7763 1551 0 0 18 0 1 0 19748880 3919872 420 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 420 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 399.13
Current children cumulated vsize (Kb) 5956

[startup+530.041 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 451 0 0 0 8445 1661 0 0 19 0 1 0 19748880 3919872 421 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 421 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 407.05
Current children cumulated vsize (Kb) 5956

[startup+540.042 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 451 0 0 0 9082 1782 0 0 19 0 1 0 19748880 3919872 421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 421 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 414.63
Current children cumulated vsize (Kb) 5956

[startup+550.043 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 453 0 0 0 9687 1912 0 0 18 0 1 0 19748880 3919872 423 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 423 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 421.98
Current children cumulated vsize (Kb) 5956

[startup+560.044 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 453 0 0 0 10276 2050 0 0 19 0 1 0 19748880 3919872 423 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 423 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 429.25
Current children cumulated vsize (Kb) 5956

[startup+570.044 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 453 0 0 0 10970 2148 0 0 19 0 1 0 19748880 3919872 423 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 423 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 437.17
Current children cumulated vsize (Kb) 5956

[startup+580.045 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 460 0 0 0 11608 2270 0 0 20 0 1 0 19748880 3919872 430 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 430 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 444.77
Current children cumulated vsize (Kb) 5956

[startup+590.046 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 462 0 0 0 12169 2416 0 0 17 0 1 0 19748880 3919872 432 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 432 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 451.84
Current children cumulated vsize (Kb) 5956

[startup+600.048 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 462 0 0 0 12769 2551 0 0 21 0 1 0 19748880 3919872 432 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 432 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 459.19
Current children cumulated vsize (Kb) 5956

[startup+610.048 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 466 0 0 0 13435 2663 0 0 19 0 1 0 19748880 3919872 436 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 436 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 466.97
Current children cumulated vsize (Kb) 5956

[startup+620.048 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 468 0 0 0 14058 2788 0 0 19 0 1 0 19748880 3919872 438 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 438 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 474.45
Current children cumulated vsize (Kb) 5956

[startup+630.049 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 468 0 0 0 14619 2931 0 0 17 0 1 0 19748880 3919872 438 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 438 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 481.49
Current children cumulated vsize (Kb) 5956

[startup+640.05 s]
Raw data (loadavg): 1.09 1.04 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 468 0 0 0 15234 3053 0 0 22 0 1 0 19748880 3919872 438 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 438 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 488.86
Current children cumulated vsize (Kb) 5956

[startup+650.051 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 468 0 0 0 15905 3163 0 0 19 0 1 0 19748880 3919872 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 438 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 496.67
Current children cumulated vsize (Kb) 5956

[startup+660.051 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 472 0 0 0 16508 3293 0 0 19 0 1 0 19748880 3919872 442 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 442 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 504
Current children cumulated vsize (Kb) 5956

[startup+670.052 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 474 0 0 0 17063 3432 0 0 17 0 1 0 19748880 3919872 444 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 444 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 510.94
Current children cumulated vsize (Kb) 5956

[startup+680.053 s]
Raw data (loadavg): 1.17 1.07 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 474 0 0 0 17684 3553 0 0 22 0 1 0 19748880 3919872 444 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 444 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 518.36
Current children cumulated vsize (Kb) 5956

[startup+690.054 s]
Raw data (loadavg): 1.15 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 474 0 0 0 18344 3669 0 0 18 0 1 0 19748880 3919872 444 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 444 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 526.12
Current children cumulated vsize (Kb) 5956

[startup+700.056 s]
Raw data (loadavg): 1.12 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 476 0 0 0 18959 3794 0 0 19 0 1 0 19748880 3919872 446 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 446 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 533.52
Current children cumulated vsize (Kb) 5956

[startup+710.057 s]
Raw data (loadavg): 1.18 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 476 0 0 0 19535 3931 0 0 18 0 1 0 19748880 3919872 446 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 446 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 540.65
Current children cumulated vsize (Kb) 5956

[startup+720.056 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 476 0 0 0 20118 4070 0 0 21 0 1 0 19748880 3919872 446 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 446 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 547.87
Current children cumulated vsize (Kb) 5956

[startup+730.058 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 480 0 0 0 20766 4185 0 0 17 0 1 0 19748880 3919872 450 4294967295 134512640 134702520 3221223712 3221222608 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 450 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 555.5
Current children cumulated vsize (Kb) 5956

[startup+740.059 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 482 0 0 0 21388 4310 0 0 19 0 1 0 19748880 3919872 452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 452 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 562.97
Current children cumulated vsize (Kb) 5956

[startup+750.06 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 484 0 0 0 21955 4452 0 0 17 0 1 0 19748880 3919872 454 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 454 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 570.06
Current children cumulated vsize (Kb) 5956

[startup+760.061 s]
Raw data (loadavg): 1.16 1.08 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 484 0 0 0 22511 4593 0 0 18 0 1 0 19748880 3919872 454 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 454 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 577.03
Current children cumulated vsize (Kb) 5956

[startup+770.061 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 490 0 0 0 23209 4690 0 0 19 0 1 0 19748880 3919872 460 4294967295 134512640 134702520 3221223712 3221222608 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 460 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 584.98
Current children cumulated vsize (Kb) 5956

[startup+780.062 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 23813 4815 0 0 17 0 1 0 19748880 3919872 461 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 461 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 592.27
Current children cumulated vsize (Kb) 5956

[startup+790.063 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 24406 4948 0 0 18 0 1 0 19748880 3919872 461 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 461 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 599.53
Current children cumulated vsize (Kb) 5956

[startup+800.065 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 24971 5089 0 0 18 0 1 0 19748880 3919872 461 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 461 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 606.59
Current children cumulated vsize (Kb) 5956

[startup+810.066 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 491 0 0 0 25652 5197 0 0 19 0 1 0 19748880 3919872 461 4294967295 134512640 134702520 3221223712 3221222832 134588880 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 957 461 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 614.48
Current children cumulated vsize (Kb) 5956

[startup+820.065 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 491 0 0 0 26246 5331 0 0 19 0 1 0 19748880 3919872 461 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 957 461 413 48 0 909 0
[pid=4838] vsize: 3828
Current children cumulated CPU time (s) 621.76
Current children cumulated vsize (Kb) 5956

[startup+830.066 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 497 0 0 0 26850 5463 0 0 20 0 1 0 19748880 4055040 467 4294967295 134512640 134702520 3221223712 3221222480 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 990 467 413 48 0 942 0
[pid=4838] vsize: 3960
Current children cumulated CPU time (s) 629.12
Current children cumulated vsize (Kb) 6088

[startup+840.067 s]
Raw data (loadavg): 1.04 1.05 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 497 0 0 0 27409 5605 0 0 18 0 1 0 19748880 4014080 467 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 980 467 413 48 0 932 0
[pid=4838] vsize: 3920
Current children cumulated CPU time (s) 636.13
Current children cumulated vsize (Kb) 6048

[startup+850.068 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 498 0 0 0 28022 5733 0 0 22 0 1 0 19748880 4014080 468 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 980 468 413 48 0 932 0
[pid=4838] vsize: 3920
Current children cumulated CPU time (s) 643.54
Current children cumulated vsize (Kb) 6048

[startup+860.069 s]
Raw data (loadavg): 1.03 1.05 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 498 0 0 0 28672 5841 0 0 19 0 1 0 19748880 4014080 468 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 980 468 413 48 0 932 0
[pid=4838] vsize: 3920
Current children cumulated CPU time (s) 651.12
Current children cumulated vsize (Kb) 6048

[startup+870.069 s]
Raw data (loadavg): 1.02 1.05 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 499 0 0 0 29274 5967 0 0 17 0 1 0 19748880 4014080 469 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222298933 0 0 17 0 0 0
Raw data (/proc/4838/statm): 980 469 413 48 0 932 0
[pid=4838] vsize: 3920
Current children cumulated CPU time (s) 658.4
Current children cumulated vsize (Kb) 6048

[startup+880.07 s]
Raw data (loadavg): 1.02 1.05 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 500 0 0 0 29851 6106 0 0 18 0 1 0 19748880 4014080 470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 980 470 413 48 0 932 0
[pid=4838] vsize: 3920
Current children cumulated CPU time (s) 665.56
Current children cumulated vsize (Kb) 6048

[startup+890.071 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 500 0 0 0 30410 6252 0 0 17 0 1 0 19748880 4014080 470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 980 470 413 48 0 932 0
[pid=4838] vsize: 3920
Current children cumulated CPU time (s) 672.61
Current children cumulated vsize (Kb) 6048

[startup+900.072 s]
Raw data (loadavg): 1.01 1.04 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 500 0 0 0 31104 6352 0 0 19 0 1 0 19748880 4014080 470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 980 470 413 48 0 932 0
[pid=4838] vsize: 3920
Current children cumulated CPU time (s) 680.55
Current children cumulated vsize (Kb) 6048

[startup+910.073 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 914 0 0 0 31785 6459 0 0 20 0 1 0 19748880 5701632 884 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 1392 884 413 48 0 1344 0
[pid=4838] vsize: 5568
Current children cumulated CPU time (s) 688.43
Current children cumulated vsize (Kb) 7696

[startup+920.074 s]
Raw data (loadavg): 1.08 1.06 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1146 0 0 0 32577 6531 0 0 24 0 1 0 19748880 6553600 1116 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 1600 1116 413 48 0 1552 0
[pid=4838] vsize: 6400
Current children cumulated CPU time (s) 697.07
Current children cumulated vsize (Kb) 8528

[startup+930.074 s]
Raw data (loadavg): 1.06 1.05 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1291 0 0 0 33391 6590 0 0 25 0 1 0 19748880 7311360 1261 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 1785 1261 413 48 0 1737 0
[pid=4838] vsize: 7140
Current children cumulated CPU time (s) 705.8
Current children cumulated vsize (Kb) 9268

[startup+940.075 s]
Raw data (loadavg): 1.05 1.05 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1389 0 0 0 34237 6640 0 0 25 0 1 0 19748880 7651328 1359 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 1868 1359 413 48 0 1820 0
[pid=4838] vsize: 7472
Current children cumulated CPU time (s) 714.76
Current children cumulated vsize (Kb) 9600

[startup+950.076 s]
Raw data (loadavg): 1.04 1.05 1.00 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1531 0 0 0 35094 6691 0 0 20 0 1 0 19748880 8204288 1501 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1501 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 723.84
Current children cumulated vsize (Kb) 10140

[startup+960.077 s]
Raw data (loadavg): 1.19 1.08 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1531 0 0 0 35738 6812 0 0 18 0 1 0 19748880 8204288 1501 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1501 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 731.49
Current children cumulated vsize (Kb) 10140

[startup+970.078 s]
Raw data (loadavg): 1.16 1.08 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1531 0 0 0 36403 6922 0 0 20 0 1 0 19748880 8204288 1501 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1501 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 739.24
Current children cumulated vsize (Kb) 10140

[startup+980.078 s]
Raw data (loadavg): 1.21 1.09 1.02 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1551 0 0 0 37101 7021 0 0 21 0 1 0 19748880 8204288 1521 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1521 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 747.21
Current children cumulated vsize (Kb) 10140

[startup+990.079 s]
Raw data (loadavg): 1.18 1.09 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1551 0 0 0 37911 7085 0 0 25 0 1 0 19748880 8204288 1521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1521 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 755.95
Current children cumulated vsize (Kb) 10140

[startup+1000.08 s]
Raw data (loadavg): 1.30 1.12 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1551 0 0 0 38734 7144 0 0 24 0 1 0 19748880 8204288 1521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1521 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 764.77
Current children cumulated vsize (Kb) 10140

[startup+1010.08 s]
Raw data (loadavg): 1.33 1.13 1.03 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1552 0 0 0 39573 7197 0 0 25 0 1 0 19748880 8204288 1522 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1522 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 773.69
Current children cumulated vsize (Kb) 10140

[startup+1020.08 s]
Raw data (loadavg): 1.28 1.12 1.03 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1564 0 0 0 40447 7239 0 0 25 0 1 0 19748880 8204288 1534 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1534 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 782.85
Current children cumulated vsize (Kb) 10140

[startup+1030.08 s]
Raw data (loadavg): 1.24 1.12 1.03 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1647 0 0 0 41296 7292 0 0 25 0 1 0 19748880 8204288 1617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1617 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 791.87
Current children cumulated vsize (Kb) 10140

[startup+1040.08 s]
Raw data (loadavg): 1.20 1.11 1.03 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1647 0 0 0 42062 7371 0 0 19 0 1 0 19748880 8204288 1617 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1617 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 800.32
Current children cumulated vsize (Kb) 10140

[startup+1050.08 s]
Raw data (loadavg): 1.17 1.11 1.02 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1647 0 0 0 42738 7477 0 0 19 0 1 0 19748880 8204288 1617 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1617 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 808.14
Current children cumulated vsize (Kb) 10140

[startup+1060.09 s]
Raw data (loadavg): 1.14 1.11 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1647 0 0 0 43408 7584 0 0 21 0 1 0 19748880 8204288 1617 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1617 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 815.91
Current children cumulated vsize (Kb) 10140

[startup+1070.08 s]
Raw data (loadavg): 1.12 1.10 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1647 0 0 0 44134 7670 0 0 20 0 1 0 19748880 8204288 1617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1617 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 824.03
Current children cumulated vsize (Kb) 10140

[startup+1080.09 s]
Raw data (loadavg): 1.10 1.10 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1700 0 0 0 44943 7730 0 0 24 0 1 0 19748880 8204288 1670 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1670 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 832.72
Current children cumulated vsize (Kb) 10140

[startup+1090.09 s]
Raw data (loadavg): 1.08 1.10 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1700 0 0 0 45697 7811 0 0 22 0 1 0 19748880 8204288 1670 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1670 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 841.07
Current children cumulated vsize (Kb) 10140

[startup+1100.09 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1700 0 0 0 46435 7897 0 0 21 0 1 0 19748880 8204288 1670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1670 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 849.31
Current children cumulated vsize (Kb) 10140

[startup+1110.09 s]
Raw data (loadavg): 1.06 1.09 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1700 0 0 0 47184 7982 0 0 21 0 1 0 19748880 8204288 1670 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1670 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 857.65
Current children cumulated vsize (Kb) 10140

[startup+1120.09 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1700 0 0 0 47985 8050 0 0 20 0 1 0 19748880 8204288 1670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2003 1670 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 866.34
Current children cumulated vsize (Kb) 10140

[startup+1130.09 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1700 0 0 0 48689 8148 0 0 19 0 1 0 19748880 8204288 1670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1670 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 874.36
Current children cumulated vsize (Kb) 10140

[startup+1140.09 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1700 0 0 0 49367 8252 0 0 18 0 1 0 19748880 8204288 1670 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2003 1670 413 48 0 1955 0
[pid=4838] vsize: 8012
Current children cumulated CPU time (s) 882.18
Current children cumulated vsize (Kb) 10140

[startup+1150.09 s]
Raw data (loadavg): 1.03 1.08 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 50045 8359 0 0 19 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 890.03
Current children cumulated vsize (Kb) 10144

[startup+1160.09 s]
Raw data (loadavg): 1.02 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 50718 8464 0 0 21 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 897.81
Current children cumulated vsize (Kb) 10144

[startup+1170.09 s]
Raw data (loadavg): 1.02 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 51325 8596 0 0 20 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 905.2
Current children cumulated vsize (Kb) 10144

[startup+1180.09 s]
Raw data (loadavg): 1.02 1.07 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1701 0 0 0 51911 8729 0 0 17 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 912.39
Current children cumulated vsize (Kb) 10144

[startup+1190.09 s]
Raw data (loadavg): 1.01 1.06 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1701 0 0 0 52525 8851 0 0 19 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 919.75
Current children cumulated vsize (Kb) 10144

[startup+1200.1 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 53179 8965 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 927.43
Current children cumulated vsize (Kb) 10144

[startup+1210.1 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 53764 9101 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 934.64
Current children cumulated vsize (Kb) 10144

[startup+1220.1 s]
Raw data (loadavg): 1.01 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 54345 9237 0 0 19 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (Kb) 10144

[startup+1230.1 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1701 0 0 0 54949 9368 0 0 19 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 949.16
Current children cumulated vsize (Kb) 10144

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.05 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 55585 9488 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 956.72
Current children cumulated vsize (Kb) 10144

[startup+1250.1 s]
Raw data (loadavg): 1.00 1.05 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 56223 9611 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 964.33
Current children cumulated vsize (Kb) 10144

[startup+1260.1 s]
Raw data (loadavg): 1.00 1.05 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 56813 9747 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 971.59
Current children cumulated vsize (Kb) 10144

[startup+1270.1 s]
Raw data (loadavg): 1.00 1.05 1.00 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 57401 9877 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 978.77
Current children cumulated vsize (Kb) 10144

[startup+1280.1 s]
Raw data (loadavg): 1.08 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 58019 10007 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 986.25
Current children cumulated vsize (Kb) 10144

[startup+1290.1 s]
Raw data (loadavg): 1.15 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 58657 10122 0 0 21 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 993.78
Current children cumulated vsize (Kb) 10144

[startup+1300.1 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 59261 10250 0 0 19 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 1001.1
Current children cumulated vsize (Kb) 10144

[startup+1310.11 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 59864 10383 0 0 19 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 1008.46
Current children cumulated vsize (Kb) 10144

[startup+1320.11 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 60457 10518 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 1015.74
Current children cumulated vsize (Kb) 10144

[startup+1330.11 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) R 4833 4833 4005 0 -1 0 1701 0 0 0 61079 10639 0 0 18 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222608 134553052 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 1023.17
Current children cumulated vsize (Kb) 10144

[startup+1340.11 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 4838
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 378 885 0 0 2 1 26291 4305 17 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4838/stat): 4838 (vallst) T 4833 4833 4005 0 -1 0 1701 0 0 0 61743 10747 0 0 23 0 1 0 19748880 8208384 1671 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4838/statm): 2004 1671 413 48 0 1956 0
[pid=4838] vsize: 8016
Current children cumulated CPU time (s) 1030.89
Current children cumulated vsize (Kb) 10144
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=4838) exited with status: 2
New process pid=4839
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=4839) exited with status: 0
New process pid=4840
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+1350.11 s]
Raw data (loadavg): 1.05 1.06 1.01 2/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) R 4833 4833 4005 0 -1 0 377 0 0 0 507 152 0 0 18 0 1 0 19843436 2826240 348 4294967295 134512640 134702520 3221223712 3221222816 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4840/statm): 690 348 413 48 0 642 0
[pid=4840] vsize: 2760
Current children cumulated CPU time (s) 1037.84
Current children cumulated vsize (Kb) 4888

[startup+1360.11 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 378 0 0 0 1150 262 0 0 22 0 1 0 19843436 2826240 349 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 690 349 413 48 0 642 0
[pid=4840] vsize: 2760
Current children cumulated CPU time (s) 1045.37
Current children cumulated vsize (Kb) 4888

[startup+1370.11 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 418 0 0 0 1803 377 0 0 19 0 1 0 19843436 3895296 389 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 389 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1053.05
Current children cumulated vsize (Kb) 5932

[startup+1380.11 s]
Raw data (loadavg): 1.08 1.07 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 423 0 0 0 2406 507 0 0 17 0 1 0 19843436 3895296 394 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 394 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1060.38
Current children cumulated vsize (Kb) 5932

[startup+1390.11 s]
Raw data (loadavg): 1.14 1.08 1.01 2/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) R 4833 4833 4005 0 -1 0 423 0 0 0 2929 654 0 0 17 0 1 0 19843436 3895296 394 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 394 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1067.08
Current children cumulated vsize (Kb) 5932

[startup+1400.11 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 425 0 0 0 3629 756 0 0 17 0 1 0 19843436 3895296 396 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 396 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1075.1
Current children cumulated vsize (Kb) 5932

[startup+1410.11 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 428 0 0 0 4246 883 0 0 18 0 1 0 19843436 3895296 399 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 399 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1082.54
Current children cumulated vsize (Kb) 5932

[startup+1420.11 s]
Raw data (loadavg): 1.17 1.09 1.02 2/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) R 4833 4833 4005 0 -1 0 431 0 0 0 4828 1016 0 0 17 0 1 0 19843436 3895296 402 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 402 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1089.69
Current children cumulated vsize (Kb) 5932

[startup+1430.11 s]
Raw data (loadavg): 1.14 1.08 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 431 0 0 0 5355 1165 0 0 19 0 1 0 19843436 3895296 402 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 402 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1096.45
Current children cumulated vsize (Kb) 5932

[startup+1440.11 s]
Raw data (loadavg): 1.20 1.10 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 433 0 0 0 6071 1262 0 0 19 0 1 0 19843436 3895296 404 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 404 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1104.58
Current children cumulated vsize (Kb) 5932

[startup+1450.12 s]
Raw data (loadavg): 1.17 1.09 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 437 0 0 0 6686 1386 0 0 20 0 1 0 19843436 3895296 408 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 408 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1111.97
Current children cumulated vsize (Kb) 5932

[startup+1460.12 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) R 4833 4833 4005 0 -1 0 444 0 0 0 7232 1533 0 0 17 0 1 0 19843436 3895296 415 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 415 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1118.9
Current children cumulated vsize (Kb) 5932

[startup+1470.12 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 444 0 0 0 7795 1670 0 0 21 0 1 0 19843436 3895296 415 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 415 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1125.9
Current children cumulated vsize (Kb) 5932

[startup+1480.12 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) R 4833 4833 4005 0 -1 0 445 0 0 0 8495 1772 0 0 18 0 1 0 19843436 3895296 416 4294967295 134512640 134702520 3221223712 3221223012 134658439 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 416 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1133.92
Current children cumulated vsize (Kb) 5932

[startup+1490.12 s]
Raw data (loadavg): 1.08 1.08 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 446 0 0 0 9096 1897 0 0 17 0 1 0 19843436 3895296 417 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 417 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1141.18
Current children cumulated vsize (Kb) 5932

[startup+1500.12 s]
Raw data (loadavg): 1.14 1.09 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 446 0 0 0 9638 2047 0 0 18 0 1 0 19843436 3895296 417 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 417 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1148.1
Current children cumulated vsize (Kb) 5932

[startup+1510.12 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 446 0 0 0 10210 2178 0 0 21 0 1 0 19843436 3895296 417 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 417 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1155.13
Current children cumulated vsize (Kb) 5932

[startup+1520.12 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 448 0 0 0 10899 2280 0 0 17 0 1 0 19843436 3895296 419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 419 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1163.04
Current children cumulated vsize (Kb) 5932

[startup+1530.12 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 449 0 0 0 11509 2405 0 0 17 0 1 0 19843436 3895296 420 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 420 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1170.39
Current children cumulated vsize (Kb) 5932

[startup+1540.12 s]
Raw data (loadavg): 1.07 1.08 1.01 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 449 0 0 0 12061 2560 0 0 17 0 1 0 19843436 3895296 420 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 420 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1177.46
Current children cumulated vsize (Kb) 5932

[startup+1550.12 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) R 4833 4833 4005 0 -1 0 450 0 0 0 12634 2698 0 0 21 0 1 0 19843436 3895296 421 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4840/statm): 951 421 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1184.57
Current children cumulated vsize (Kb) 5932

[startup+1560.12 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 451 0 0 0 13311 2804 0 0 17 0 1 0 19843436 3895296 422 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 422 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1192.4
Current children cumulated vsize (Kb) 5932

[startup+1570.13 s]
Raw data (loadavg): 1.18 1.10 1.02 2/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) R 4833 4833 4005 0 -1 0 460 0 0 0 13927 2931 0 0 18 0 1 0 19843436 3895296 431 4294967295 134512640 134702520 3221223712 3221223228 1074652326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 431 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1199.83
Current children cumulated vsize (Kb) 5932

[startup+1580.13 s]
Raw data (loadavg): 1.15 1.10 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 462 0 0 0 14468 3082 0 0 18 0 1 0 19843436 3895296 433 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 433 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1206.75
Current children cumulated vsize (Kb) 5932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1580.13 s]
Raw data (loadavg): 1.15 1.10 1.02 1/56 4840
Raw data (/proc/4833/stat): 4833 (vallstSAT2005PB) S 4832 4833 4005 0 -1 0 417 2730 0 0 2 1 88066 15056 18 0 1 0 19709366 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4833/statm): 532 248 485 147 0 385 0
[pid=4833] vsize: 2128
Raw data (/proc/4840/stat): 4840 (vallst) T 4833 4833 4005 0 -1 0 462 0 0 0 14468 3082 0 0 18 0 1 0 19843436 3895296 433 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4840/statm): 951 433 413 48 0 903 0
[pid=4840] vsize: 3804
Current children cumulated CPU time (s) 1206.75
Current children cumulated vsize (Kb) 5932

Sending SIGTERM to -4833
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4842
New process pid=4843
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=4840) exited with status: 3
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/1694/stat
open syscall for file /proc/1694/status
open syscall for file /proc/1694/cmdline
open syscall for file /proc/1694/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/4794/stat
open syscall for file /proc/4794/status
open syscall for file /proc/4794/cmdline
open syscall for file /proc/4794/environ
open syscall for file /proc/4832/stat
open syscall for file /proc/4832/status
open syscall for file /proc/4832/cmdline
open syscall for file /proc/4832/environ
open syscall for file /proc/4833/stat
open syscall for file /proc/4833/status
open syscall for file /proc/4833/cmdline
open syscall for file /proc/4833/environ
open syscall for file /proc/4842/stat
open syscall for file /proc/4842/status
open syscall for file /proc/4842/cmdline
open syscall for file /proc/4842/environ
open syscall for file /proc/4843/stat
open syscall for file /proc/4843/status
open syscall for file /proc/4843/cmdline
open syscall for file /proc/4843/environ
One traced child (pid=4842) exited with status: 0
One traced child (pid=4843) exited with status: 0
New process pid=4844
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=4844) exited with status: 0
New process pid=4845
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=4845) exited with status: 0
One traced child (pid=4833) 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): 1580.62
CPU time (s): 1206.91
CPU user time (s): 1025.44
CPU system time (s): 181.471
CPU usage (%): 76.3566
Max. virtual memory (cumulated for all children) (Kb): 10144

Verifier Data

ERROR: no interpretation found !