Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM3d2c3109962e8068c6ff1a393a02942b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2666
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2666
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2666
Total number of constraints6659
Number of constraints which are clauses6659
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 2095

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-18 17:39:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7227 boxname=wulflinc18 idbench=195 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc18/normalized-par32-4-c.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc18/normalized-par32-4-c.opb 0
IDLAUNCH: 7227
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917804 kB
Buffers:         35156 kB
Cached:          46960 kB
SwapCached:        844 kB
Active:          65344 kB
Inactive:        19340 kB
HighTotal:      131008 kB
HighFree:        81144 kB
LowTotal:       903652 kB
LowFree:        836660 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5764 kB
Slab:            26648 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 18:04:08 (client local time) WITH STATUS 0 IN 1205.29 SECONDS
stats: 7227 7 1205.29 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 2  (#equs: 1267)
#decisions: 260169;  #end-nodes: 170154;
#proof improvement attempts: 0;  #restarts: 864
Current batch, end-nodes: 0 / 332 (295)
#axs: 7951, #non-axs: 10370
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2  (#equs: 1291)
Time taken: 5 min, 42 sec

2:
seed: 0
Nr of vars set: 2  (#equs: 0)
Nr of vars set: 2  (#equs: 7)
Interupt request received.
#decisions: 758854;  #end-nodes: 559982;
#proof improvement attempts: 0;  #restarts: 1650
Current batch, end-nodes: 487 / 555 (532)
#axs: 5465, #non-axs: 6704
tight: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 13
loose: meta-meta: start: 8, end: 12;  meta: start: 26, end (keep): 44
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 292  (#equs: 10)
Time taken: 14 min, 22 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (4457) - No such process

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) R 4451 4452 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843091718 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4452/statm): 174 3 169 147 0 27 0
[pid=4452] 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=4453
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=4453) exited with status: 0
New process pid=4454
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=4454) exited with status: 0
New process pid=4455
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/wulflinc18/normalized-par32-4-c.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 443 0 0 0 322 210 0 0 16 0 1 0 1843091727 3100672 413 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 757 413 413 48 0 709 0
[pid=4455] vsize: 3028
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (Kb) 5156

[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 508 0 0 0 967 327 0 0 16 0 1 0 1843091727 4706304 478 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1149 478 413 48 0 1101 0
[pid=4455] vsize: 4596
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (Kb) 6724

[startup+30.0055 s]
Raw data (loadavg): 0.95 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 562 0 0 0 1655 431 0 0 16 0 1 0 1843091727 4833280 532 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1180 532 413 48 0 1132 0
[pid=4455] vsize: 4720
Current children cumulated CPU time (s) 20.88
Current children cumulated vsize (Kb) 6848

[startup+40.0074 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 563 0 0 0 2118 610 0 0 16 0 1 0 1843091727 4833280 533 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1180 533 413 48 0 1132 0
[pid=4455] vsize: 4720
Current children cumulated CPU time (s) 27.3
Current children cumulated vsize (Kb) 6848

[startup+50.0083 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 577 0 0 0 2756 732 0 0 17 0 1 0 1843091727 4833280 547 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1180 547 413 48 0 1132 0
[pid=4455] vsize: 4720
Current children cumulated CPU time (s) 34.9
Current children cumulated vsize (Kb) 6848

[startup+60.0093 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 605 0 0 0 3497 818 0 0 17 0 1 0 1843091727 4943872 575 4294967295 134512640 134702520 3221223968 3221223248 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1207 575 413 48 0 1159 0
[pid=4455] vsize: 4828
Current children cumulated CPU time (s) 43.17
Current children cumulated vsize (Kb) 6956

[startup+70.0112 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 617 0 0 0 4060 965 0 0 16 0 1 0 1843091727 5099520 587 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1245 587 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (Kb) 7108

[startup+80.0121 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 623 0 0 0 4597 1117 0 0 16 0 1 0 1843091727 5099520 593 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1245 593 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 57.16
Current children cumulated vsize (Kb) 7108

[startup+90.013 s]
Raw data (loadavg): 1.10 1.02 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 626 0 0 0 5375 1191 0 0 16 0 1 0 1843091727 5099520 596 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1245 596 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 65.68
Current children cumulated vsize (Kb) 7108

[startup+100.014 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 656 0 0 0 6122 1279 0 0 16 0 1 0 1843091727 5099520 626 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1245 626 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 74.03
Current children cumulated vsize (Kb) 7108

[startup+110.015 s]
Raw data (loadavg): 1.14 1.03 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 656 0 0 0 6600 1454 0 0 16 0 1 0 1843091727 5099520 626 4294967295 134512640 134702520 3221223968 3221222736 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1245 626 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 80.56
Current children cumulated vsize (Kb) 7108

[startup+120.016 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 658 0 0 0 7278 1564 0 0 16 0 1 0 1843091727 5099520 628 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1245 628 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 88.44
Current children cumulated vsize (Kb) 7108

[startup+130.017 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 664 0 0 0 8074 1633 0 0 16 0 1 0 1843091727 5259264 634 4294967295 134512640 134702520 3221223968 3221223248 134553157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1284 634 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 97.09
Current children cumulated vsize (Kb) 7264

[startup+140.019 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 696 0 0 0 8843 1714 0 0 16 0 1 0 1843091727 5259264 666 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 666 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 105.59
Current children cumulated vsize (Kb) 7264

[startup+150.02 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 697 0 0 0 9322 1888 0 0 16 0 1 0 1843091727 5259264 667 4294967295 134512640 134702520 3221223968 3221222736 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 667 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 112.12
Current children cumulated vsize (Kb) 7264

[startup+160.019 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 697 0 0 0 10045 1983 0 0 18 0 1 0 1843091727 5259264 667 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 667 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 120.3
Current children cumulated vsize (Kb) 7264

[startup+170.021 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 700 0 0 0 10864 2040 0 0 18 0 1 0 1843091727 5259264 670 4294967295 134512640 134702520 3221223968 3221223248 134552741 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 670 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 129.06
Current children cumulated vsize (Kb) 7264

[startup+180.022 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 720 0 0 0 11686 2100 0 0 17 0 1 0 1843091727 5398528 690 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 690 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 137.88
Current children cumulated vsize (Kb) 7400

[startup+190.024 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 731 0 0 0 12314 2224 0 0 16 0 1 0 1843091727 5398528 701 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 701 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 145.4
Current children cumulated vsize (Kb) 7400

[startup+200.026 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 733 0 0 0 12858 2381 0 0 17 0 1 0 1843091727 5398528 703 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 703 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 152.41
Current children cumulated vsize (Kb) 7400

[startup+210.027 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 736 0 0 0 13675 2444 0 0 17 0 1 0 1843091727 5398528 706 4294967295 134512640 134702520 3221223968 3221223444 1074952449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 706 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (Kb) 7400

[startup+220.028 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 743 0 0 0 14494 2508 0 0 17 0 1 0 1843091727 5398528 713 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 713 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 7400

[startup+230.029 s]
Raw data (loadavg): 1.15 1.05 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 758 0 0 0 15378 2548 0 0 18 0 1 0 1843091727 5537792 728 4294967295 134512640 134702520 3221223968 3221223248 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1352 728 413 48 0 1304 0
[pid=4455] vsize: 5408
Current children cumulated CPU time (s) 179.28
Current children cumulated vsize (Kb) 7536

[startup+240.031 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 763 0 0 0 15971 2685 0 0 16 0 1 0 1843091727 5492736 733 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1341 733 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 186.58
Current children cumulated vsize (Kb) 7492

[startup+250.032 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 763 0 0 0 16540 2824 0 0 18 0 1 0 1843091727 5492736 733 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1341 733 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 193.66
Current children cumulated vsize (Kb) 7492

[startup+260.033 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 765 0 0 0 17361 2886 0 0 17 0 1 0 1843091727 5492736 735 4294967295 134512640 134702520 3221223968 3221223248 134554409 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1341 735 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 202.49
Current children cumulated vsize (Kb) 7492

[startup+270.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 765 0 0 0 18248 2925 0 0 19 0 1 0 1843091727 5492736 735 4294967295 134512640 134702520 3221223968 3221223188 134549010 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1341 735 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 211.75
Current children cumulated vsize (Kb) 7492

[startup+280.035 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 780 0 0 0 19075 2989 0 0 16 0 1 0 1843091727 5627904 750 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1374 750 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (Kb) 7624

[startup+290.036 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 794 0 0 0 19869 3061 0 0 16 0 1 0 1843091727 5627904 764 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1374 764 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 229.32
Current children cumulated vsize (Kb) 7624

[startup+300.037 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 794 0 0 0 20334 3241 0 0 16 0 1 0 1843091727 5627904 764 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 764 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 235.77
Current children cumulated vsize (Kb) 7624

[startup+310.038 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 794 0 0 0 21126 3312 0 0 17 0 1 0 1843091727 5627904 764 4294967295 134512640 134702520 3221223968 3221223248 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1374 764 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 244.4
Current children cumulated vsize (Kb) 7624

[startup+320.039 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 795 0 0 0 22013 3354 0 0 19 0 1 0 1843091727 5627904 765 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 765 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 253.69
Current children cumulated vsize (Kb) 7624

[startup+330.04 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 800 0 0 0 22906 3391 0 0 20 0 1 0 1843091727 5627904 770 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 770 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 262.99
Current children cumulated vsize (Kb) 7624

[startup+340.041 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 815 0 0 0 23731 3449 0 0 16 0 1 0 1843091727 5627904 785 4294967295 134512640 134702520 3221223968 3221223248 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 785 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 271.82
Current children cumulated vsize (Kb) 7624

[startup+350.043 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 832 0 0 0 24546 3511 0 0 16 0 1 0 1843091727 5767168 802 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1408 802 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 280.59
Current children cumulated vsize (Kb) 7760

[startup+360.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 833 0 0 0 25036 3681 0 0 16 0 1 0 1843091727 5767168 803 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1408 803 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 287.19
Current children cumulated vsize (Kb) 7760

[startup+370.045 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 837 0 0 0 25792 3762 0 0 17 0 1 0 1843091727 5767168 807 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 807 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 295.56
Current children cumulated vsize (Kb) 7760

[startup+380.049 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 837 0 0 0 26675 3803 0 0 19 0 1 0 1843091727 5767168 807 4294967295 134512640 134702520 3221223968 3221223248 134557449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 807 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 304.8
Current children cumulated vsize (Kb) 7760

[startup+390.051 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 839 0 0 0 27563 3841 0 0 19 0 1 0 1843091727 5767168 809 4294967295 134512640 134702520 3221223968 3221223248 134557466 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 809 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 314.06
Current children cumulated vsize (Kb) 7760

[startup+400.052 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 845 0 0 0 28450 3882 0 0 21 0 1 0 1843091727 5767168 815 4294967295 134512640 134702520 3221223968 3221223248 134553142 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 815 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 323.34
Current children cumulated vsize (Kb) 7760

[startup+410.053 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 879 0 0 0 29340 3920 0 0 25 0 1 0 1843091727 5906432 849 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1442 849 413 48 0 1394 0
[pid=4455] vsize: 5768
Current children cumulated CPU time (s) 332.62
Current children cumulated vsize (Kb) 7896

[startup+420.055 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 880 0 0 0 29882 4071 0 0 16 0 1 0 1843091727 5906432 850 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1442 850 413 48 0 1394 0
[pid=4455] vsize: 5768
Current children cumulated CPU time (s) 339.55
Current children cumulated vsize (Kb) 7896
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=4455) exited with status: 2
New process pid=4456
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=4456) exited with status: 0
New process pid=4457
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+430.055 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 529 0 0 0 244 53 0 0 17 0 1 0 1843134313 4091904 500 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 999 500 413 48 0 951 0
[pid=4457] vsize: 3996
Current children cumulated CPU time (s) 345.99
Current children cumulated vsize (Kb) 6124

[startup+440.057 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 531 0 0 0 799 204 0 0 15 0 1 0 1843134313 4091904 502 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 999 502 413 48 0 951 0
[pid=4457] vsize: 3996
Current children cumulated CPU time (s) 353.05
Current children cumulated vsize (Kb) 6124

[startup+450.059 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 619 0 0 0 1481 308 0 0 17 0 1 0 1843134313 6742016 590 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1646 590 413 48 0 1598 0
[pid=4457] vsize: 6584
Current children cumulated CPU time (s) 360.91
Current children cumulated vsize (Kb) 8712

[startup+460.06 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 663 0 0 0 2232 392 0 0 17 0 1 0 1843134313 6742016 634 4294967295 134512640 134702520 3221223712 3221222992 134551467 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1646 634 413 48 0 1598 0
[pid=4457] vsize: 6584
Current children cumulated CPU time (s) 369.26
Current children cumulated vsize (Kb) 8712

[startup+470.062 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 697 0 0 0 2975 479 0 0 16 0 1 0 1843134313 6864896 668 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 668 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 377.56
Current children cumulated vsize (Kb) 8832

[startup+480.063 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 698 0 0 0 3518 635 0 0 16 0 1 0 1843134313 6864896 669 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 669 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 384.55
Current children cumulated vsize (Kb) 8832

[startup+490.065 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 701 0 0 0 4197 740 0 0 17 0 1 0 1843134313 6864896 672 4294967295 134512640 134702520 3221223712 3221222992 134557229 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 672 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 392.39
Current children cumulated vsize (Kb) 8832

[startup+500.066 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 705 0 0 0 5015 801 0 0 17 0 1 0 1843134313 6864896 676 4294967295 134512640 134702520 3221223712 3221222968 134564367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 676 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 401.18
Current children cumulated vsize (Kb) 8832

[startup+510.067 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 734 0 0 0 5834 862 0 0 18 0 1 0 1843134313 7196672 705 4294967295 134512640 134702520 3221223712 3221222992 134551055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 705 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 9156

[startup+520.069 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 738 0 0 0 6343 1025 0 0 16 0 1 0 1843134313 7196672 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 709 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 416.7
Current children cumulated vsize (Kb) 9156

[startup+530.07 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 740 0 0 0 6937 1163 0 0 16 0 1 0 1843134313 7196672 711 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1757 711 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 424.02
Current children cumulated vsize (Kb) 9156

[startup+540.072 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 742 0 0 0 7729 1236 0 0 17 0 1 0 1843134313 7196672 713 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 713 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 432.67
Current children cumulated vsize (Kb) 9156

[startup+550.073 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 749 0 0 0 8539 1301 0 0 17 0 1 0 1843134313 7196672 720 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 720 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 441.42
Current children cumulated vsize (Kb) 9156

[startup+560.073 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 749 0 0 0 9100 1447 0 0 16 0 1 0 1843134313 7196672 720 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 720 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 448.49
Current children cumulated vsize (Kb) 9156

[startup+570.074 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 750 0 0 0 9683 1590 0 0 17 0 1 0 1843134313 7196672 721 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 721 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 455.75
Current children cumulated vsize (Kb) 9156

[startup+580.075 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 750 0 0 0 10474 1659 0 0 16 0 1 0 1843134313 7196672 721 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 721 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 464.35
Current children cumulated vsize (Kb) 9156

[startup+590.077 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 760 0 0 0 11293 1720 0 0 16 0 1 0 1843134313 7196672 731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 731 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 473.15
Current children cumulated vsize (Kb) 9156

[startup+600.078 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 761 0 0 0 11954 1836 0 0 16 0 1 0 1843134313 7196672 732 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1757 732 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 480.92
Current children cumulated vsize (Kb) 9156

[startup+610.079 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 762 0 0 0 12438 2007 0 0 16 0 1 0 1843134313 7196672 733 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 733 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 487.47
Current children cumulated vsize (Kb) 9156

[startup+620.08 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 763 0 0 0 13208 2087 0 0 15 0 1 0 1843134313 7294976 734 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 734 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 495.97
Current children cumulated vsize (Kb) 9252

[startup+630.081 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 767 0 0 0 14058 2140 0 0 16 0 1 0 1843134313 7294976 738 4294967295 134512640 134702520 3221223712 3221222588 134564336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 738 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 505
Current children cumulated vsize (Kb) 9252

[startup+640.082 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 772 0 0 0 14886 2194 0 0 18 0 1 0 1843134313 7294976 743 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 743 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 513.82
Current children cumulated vsize (Kb) 9252

[startup+650.083 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 772 0 0 0 15403 2355 0 0 15 0 1 0 1843134313 7294976 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 743 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 520.6
Current children cumulated vsize (Kb) 9252

[startup+660.084 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 774 0 0 0 16033 2482 0 0 17 0 1 0 1843134313 7294976 745 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 745 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 528.17
Current children cumulated vsize (Kb) 9252

[startup+670.086 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 774 0 0 0 16845 2548 0 0 18 0 1 0 1843134313 7294976 745 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 745 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 536.95
Current children cumulated vsize (Kb) 9252

[startup+680.087 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 777 0 0 0 17658 2613 0 0 17 0 1 0 1843134313 7294976 748 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 748 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 545.73
Current children cumulated vsize (Kb) 9252

[startup+690.088 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 778 0 0 0 18541 2653 0 0 19 0 1 0 1843134313 7294976 749 4294967295 134512640 134702520 3221223712 3221222992 134557690 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 749 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 554.96
Current children cumulated vsize (Kb) 9252

[startup+700.089 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 778 0 0 0 19075 2812 0 0 16 0 1 0 1843134313 7294976 749 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 749 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 561.89
Current children cumulated vsize (Kb) 9252

[startup+710.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 780 0 0 0 19693 2935 0 0 17 0 1 0 1843134313 7294976 751 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 751 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 569.3
Current children cumulated vsize (Kb) 9252

[startup+720.092 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 783 0 0 0 20502 2998 0 0 17 0 1 0 1843134313 7294976 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 754 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 578.02
Current children cumulated vsize (Kb) 9252

[startup+730.093 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 784 0 0 0 21385 3039 0 0 19 0 1 0 1843134313 7294976 755 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 755 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 587.26
Current children cumulated vsize (Kb) 9252

[startup+740.095 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 786 0 0 0 22199 3101 0 0 17 0 1 0 1843134313 7294976 757 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 757 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 596.02
Current children cumulated vsize (Kb) 9252

[startup+750.096 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 807 0 0 0 22911 3199 0 0 16 0 1 0 1843134313 7294976 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 778 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 604.12
Current children cumulated vsize (Kb) 9252

[startup+760.097 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 808 0 0 0 23408 3371 0 0 16 0 1 0 1843134313 7294976 779 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 779 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 610.81
Current children cumulated vsize (Kb) 9252

[startup+770.099 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 812 0 0 0 24226 3434 0 0 18 0 1 0 1843134313 7389184 783 4294967295 134512640 134702520 3221223712 3221222992 134550752 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 783 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 619.62
Current children cumulated vsize (Kb) 9344

[startup+780.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 812 0 0 0 25037 3497 0 0 16 0 1 0 1843134313 7389184 783 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 783 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 628.36
Current children cumulated vsize (Kb) 9344

[startup+790.102 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 815 0 0 0 25918 3538 0 0 18 0 1 0 1843134313 7389184 786 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 786 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 637.58
Current children cumulated vsize (Kb) 9344

[startup+800.104 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 840 0 0 0 26808 3577 0 0 20 0 1 0 1843134313 7389184 811 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 811 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 646.87
Current children cumulated vsize (Kb) 9344

[startup+810.105 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 848 0 0 0 27263 3761 0 0 16 0 1 0 1843134313 7389184 819 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1804 819 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 653.26
Current children cumulated vsize (Kb) 9344

[startup+820.106 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 853 0 0 0 27897 3883 0 0 16 0 1 0 1843134313 7389184 824 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 824 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 660.82
Current children cumulated vsize (Kb) 9344

[startup+830.107 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 853 0 0 0 28765 3929 0 0 18 0 1 0 1843134313 7389184 824 4294967295 134512640 134702520 3221223712 3221222992 134553125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 824 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 669.96
Current children cumulated vsize (Kb) 9344

[startup+840.108 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 855 0 0 0 29572 3992 0 0 17 0 1 0 1843134313 7389184 826 4294967295 134512640 134702520 3221223712 3221222992 134557378 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 826 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 678.66
Current children cumulated vsize (Kb) 9344

[startup+850.11 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 857 0 0 0 30450 4034 0 0 18 0 1 0 1843134313 7389184 828 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 828 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 687.86
Current children cumulated vsize (Kb) 9344

[startup+860.111 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 857 0 0 0 30991 4184 0 0 16 0 1 0 1843134313 7389184 828 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1804 828 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 694.77
Current children cumulated vsize (Kb) 9344

[startup+870.112 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 859 0 0 0 31598 4318 0 0 17 0 1 0 1843134313 7389184 830 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 830 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (Kb) 9344

[startup+880.113 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 859 0 0 0 32402 4382 0 0 17 0 1 0 1843134313 7389184 830 4294967295 134512640 134702520 3221223712 3221222832 134572114 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 830 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 710.86
Current children cumulated vsize (Kb) 9344

[startup+890.115 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 896 0 0 0 33283 4425 0 0 17 0 1 0 1843134313 7389184 867 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 867 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 720.1
Current children cumulated vsize (Kb) 9344

[startup+900.116 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 994 0 0 0 34171 4463 0 0 20 0 1 0 1843134313 8052736 965 4294967295 134512640 134702520 3221223712 3221222992 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1966 965 413 48 0 1918 0
[pid=4457] vsize: 7864
Current children cumulated CPU time (s) 729.36
Current children cumulated vsize (Kb) 9992

[startup+910.117 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1083 0 0 0 35061 4502 0 0 20 0 1 0 1843134313 8179712 1054 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1997 1054 413 48 0 1949 0
[pid=4457] vsize: 7988
Current children cumulated CPU time (s) 738.65
Current children cumulated vsize (Kb) 10116

[startup+920.118 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1122 0 0 0 35696 4627 0 0 15 0 1 0 1843134313 7847936 983 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 983 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 746.25
Current children cumulated vsize (Kb) 9792

[startup+930.119 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1124 0 0 0 36224 4786 0 0 17 0 1 0 1843134313 7847936 985 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 985 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 753.12
Current children cumulated vsize (Kb) 9792

[startup+940.121 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1125 0 0 0 37099 4829 0 0 18 0 1 0 1843134313 7847936 986 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 986 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (Kb) 9792

[startup+950.121 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1132 0 0 0 37990 4865 0 0 19 0 1 0 1843134313 7847936 993 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 993 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 771.57
Current children cumulated vsize (Kb) 9792

[startup+960.122 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1204 0 0 0 38878 4903 0 0 20 0 1 0 1843134313 8179712 1065 4294967295 134512640 134702520 3221223712 3221222932 134549015 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1997 1065 413 48 0 1949 0
[pid=4457] vsize: 7988
Current children cumulated CPU time (s) 780.83
Current children cumulated vsize (Kb) 10116

[startup+970.124 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1279 0 0 0 39774 4935 0 0 19 0 1 0 1843134313 8646656 1140 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2111 1140 413 48 0 2063 0
[pid=4457] vsize: 8444
Current children cumulated CPU time (s) 790.11
Current children cumulated vsize (Kb) 10572

[startup+980.125 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1365 0 0 0 40666 4970 0 0 17 0 1 0 1843134313 8978432 1226 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2192 1226 413 48 0 2144 0
[pid=4457] vsize: 8768
Current children cumulated CPU time (s) 799.38
Current children cumulated vsize (Kb) 10896

[startup+990.126 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1433 0 0 0 41632 4984 0 0 17 0 1 0 1843134313 9113600 1294 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2225 1294 413 48 0 2177 0
[pid=4457] vsize: 8900
Current children cumulated CPU time (s) 809.18
Current children cumulated vsize (Kb) 11028

[startup+1000.13 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1441 0 0 0 42198 5121 0 0 16 0 1 0 1843134313 8450048 1138 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1138 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 816.21
Current children cumulated vsize (Kb) 10380

[startup+1010.13 s]
Raw data (loadavg): 1.10 1.05 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1444 0 0 0 42792 5261 0 0 18 0 1 0 1843134313 8450048 1141 4294967295 134512640 134702520 3221223712 3221222992 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1141 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 823.55
Current children cumulated vsize (Kb) 10380

[startup+1020.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1444 0 0 0 43679 5300 0 0 18 0 1 0 1843134313 8450048 1141 4294967295 134512640 134702520 3221223712 3221222980 134553184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1141 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 832.81
Current children cumulated vsize (Kb) 10380

[startup+1030.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1445 0 0 0 44568 5337 0 0 18 0 1 0 1843134313 8450048 1142 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1142 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 842.07
Current children cumulated vsize (Kb) 10380

[startup+1040.13 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1445 0 0 0 45460 5373 0 0 17 0 1 0 1843134313 8450048 1142 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1142 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 851.35
Current children cumulated vsize (Kb) 10380

[startup+1050.13 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1492 0 0 0 46425 5386 0 0 25 0 1 0 1843134313 8781824 1189 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2144 1189 413 48 0 2096 0
[pid=4457] vsize: 8576
Current children cumulated CPU time (s) 861.13
Current children cumulated vsize (Kb) 10704

[startup+1060.13 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1537 0 0 0 47321 5420 0 0 25 0 1 0 1843134313 8781824 1234 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2144 1234 413 48 0 2096 0
[pid=4457] vsize: 8576
Current children cumulated CPU time (s) 870.43
Current children cumulated vsize (Kb) 10704

[startup+1070.14 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1592 0 0 0 48224 5454 0 0 17 0 1 0 1843134313 9224192 1289 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2252 1289 413 48 0 2204 0
[pid=4457] vsize: 9008
Current children cumulated CPU time (s) 879.8
Current children cumulated vsize (Kb) 11136

[startup+1080.14 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1652 0 0 0 49189 5468 0 0 25 0 1 0 1843134313 9555968 1349 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2333 1349 413 48 0 2285 0
[pid=4457] vsize: 9332
Current children cumulated CPU time (s) 889.59
Current children cumulated vsize (Kb) 11460

[startup+1090.14 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1677 0 0 0 49876 5580 0 0 16 0 1 0 1843134313 8560640 1192 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2090 1192 413 48 0 2042 0
[pid=4457] vsize: 8360
Current children cumulated CPU time (s) 897.58
Current children cumulated vsize (Kb) 10488

[startup+1100.14 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1678 0 0 0 50395 5743 0 0 16 0 1 0 1843134313 8699904 1193 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2124 1193 413 48 0 2076 0
[pid=4457] vsize: 8496
Current children cumulated CPU time (s) 904.4
Current children cumulated vsize (Kb) 10624

[startup+1110.14 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1679 0 0 0 51309 5773 0 0 24 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 913.84
Current children cumulated vsize (Kb) 10592

[startup+1120.14 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1679 0 0 0 52204 5811 0 0 19 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 923.17
Current children cumulated vsize (Kb) 10592

[startup+1130.14 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1679 0 0 0 53099 5847 0 0 17 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 932.48
Current children cumulated vsize (Kb) 10592

[startup+1140.15 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1679 0 0 0 53993 5884 0 0 19 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (Kb) 10592

[startup+1150.15 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1679 0 0 0 54883 5920 0 0 18 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 951.05
Current children cumulated vsize (Kb) 10592

[startup+1160.15 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 55824 5940 0 0 16 0 1 0 1843134313 8667136 1200 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2116 1200 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 960.66
Current children cumulated vsize (Kb) 10592

[startup+1170.15 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 56739 5968 0 0 23 0 1 0 1843134313 8667136 1200 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1200 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 970.09
Current children cumulated vsize (Kb) 10592

[startup+1180.15 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 57232 6137 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 976.71
Current children cumulated vsize (Kb) 10268

[startup+1190.15 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 57896 6248 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 984.46
Current children cumulated vsize (Kb) 10268

[startup+1200.15 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 58698 6316 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 993.16
Current children cumulated vsize (Kb) 10268

[startup+1210.16 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 59567 6361 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (Kb) 10268

[startup+1220.16 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 60437 6407 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134550430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1011.46
Current children cumulated vsize (Kb) 10268

[startup+1230.16 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 61308 6449 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222832 134572114 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1020.59
Current children cumulated vsize (Kb) 10268

[startup+1240.16 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 61741 6638 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1026.81
Current children cumulated vsize (Kb) 10268

[startup+1250.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 62447 6735 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1034.84
Current children cumulated vsize (Kb) 10268

[startup+1260.16 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 63254 6802 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1043.58
Current children cumulated vsize (Kb) 10268

[startup+1270.17 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 64120 6846 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1052.68
Current children cumulated vsize (Kb) 10268

[startup+1280.18 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 64994 6889 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (Kb) 10268

[startup+1290.18 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 65862 6935 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1070.99
Current children cumulated vsize (Kb) 10268

[startup+1300.18 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 66341 7105 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1077.48
Current children cumulated vsize (Kb) 10268

[startup+1310.18 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 67005 7214 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1085.21
Current children cumulated vsize (Kb) 10268

[startup+1320.19 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 67828 7275 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1094.05
Current children cumulated vsize (Kb) 10268

[startup+1330.19 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 68669 7330 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1103.01
Current children cumulated vsize (Kb) 10268

[startup+1340.19 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 69540 7374 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1112.16
Current children cumulated vsize (Kb) 10268

[startup+1350.19 s]
Raw data (loadavg): 1.06 1.03 1.00 3/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 70419 7417 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557211 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1121.38
Current children cumulated vsize (Kb) 10268

[startup+1360.19 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 71133 7510 0 0 15 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1129.45
Current children cumulated vsize (Kb) 10268

[startup+1370.19 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 71580 7692 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134553950 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1135.74
Current children cumulated vsize (Kb) 10268

[startup+1380.19 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 72446 7738 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1144.86
Current children cumulated vsize (Kb) 10268

[startup+1390.2 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 73306 7785 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1153.93
Current children cumulated vsize (Kb) 10268

[startup+1400.2 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 74178 7831 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1163.11
Current children cumulated vsize (Kb) 10268

[startup+1410.2 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 75061 7875 0 0 19 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1172.38
Current children cumulated vsize (Kb) 10268

[startup+1420.2 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 75938 7917 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557255 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (Kb) 10268

[startup+1430.2 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1690 0 0 0 76673 8005 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1189.8
Current children cumulated vsize (Kb) 10268

[startup+1440.2 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1690 0 0 0 77110 8189 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1196.01
Current children cumulated vsize (Kb) 10268

[startup+1450.2 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1690 0 0 0 77963 8240 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1205.05
Current children cumulated vsize (Kb) 10268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1450.2 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1690 0 0 0 77963 8240 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1205.05
Current children cumulated vsize (Kb) 10268

Sending SIGTERM to -4452
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4459
New process pid=4460
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/32030/stat
open syscall for file /proc/32030/status
open syscall for file /proc/32030/cmdline
open syscall for file /proc/32030/environ
open syscall for file /proc/18880/stat
open syscall for file /proc/18880/status
open syscall for file /proc/18880/cmdline
open syscall for file /proc/18880/environ
open syscall for file /proc/18905/stat
open syscall for file /proc/18905/status
open syscall for file /proc/18905/cmdline
open syscall for file /proc/18905/environ
open syscall for file /proc/18931/stat
open syscall for file /proc/18931/status
open syscall for file /proc/18931/cmdline
open syscall for file /proc/18931/environ
open syscall for file /proc/27804/stat
open syscall for file /proc/27804/status
open syscall for file /proc/27804/cmdline
open syscall for file /proc/27804/environ
open syscall for file /proc/28297/stat
open syscall for file /proc/28297/status
open syscall for file /proc/28297/cmdline
open syscall for file /proc/28297/environ
open syscall for file /proc/13024/stat
open syscall for file /proc/13024/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/13024/cmdline
open syscall for file /proc/13024/environ
open syscall for file /proc/13060/stat
open syscall for file /proc/13060/status
open syscall for file /proc/13060/cmdline
open syscall for file /proc/13060/environ
open syscall for file /proc/31027/stat
open syscall for file /proc/31027/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/31027/cmdline
open syscall for file /proc/31027/environ
open syscall for file /proc/31028/stat
open syscall for file /proc/31028/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/31028/cmdline
open syscall for file /proc/31028/environ
open syscall for file /proc/31037/stat
open syscall for file /proc/31037/status
open syscall for file /proc/31037/cmdline
open syscall for file /proc/31037/environ
open syscall for file /proc/4415/stat
open syscall for file /proc/4415/status
open syscall for file /proc/4415/cmdline
open syscall for file /proc/4415/environ
open syscall for file /proc/4451/stat
open syscall for file /proc/4451/status
open syscall for file /proc/4451/cmdline
open syscall for file /proc/4451/environ
open syscall for file /proc/4452/stat
open syscall for file /proc/4452/status
open syscall for file /proc/4452/cmdline
open syscall for file /proc/4452/environ
open syscall for file /proc/4457/stat
open syscall for file /proc/4457/status
open syscall for file /proc/4457/cmdline
open syscall for file /proc/4457/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/4459/stat
open syscall for file /proc/4459/status
open syscall for file /proc/4459/cmdline
open syscall for file /proc/4459/environ
open syscall for file /proc/4460/stat
open syscall for file /proc/4460/status
open syscall for file /proc/4460/cmdline
open syscall for file /proc/4460/environ
One traced child (pid=4457) exited with status: 3
One traced child (pid=4459) exited with status: 0
One traced child (pid=4460) exited with status: 0
New process pid=4461
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=4461) exited with status: 0
New process pid=4462
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=4462) exited with status: 0
One traced child (pid=4452) 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): 1450.71
CPU time (s): 1205.29
CPU user time (s): 1080.85
CPU system time (s): 124.448
CPU usage (%): 83.0833
Max. virtual memory (cumulated for all children) (Kb): 11460

Verifier Data

ERROR: no interpretation found !