Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
MD5SUM7872170cf5be0e3f0e6be125266c16ee
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 1364
Biggest coefficient in the objective function 500
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 230637
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 12800
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 879673
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables19292
Total number of constraints4170
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1403
Number of constraints which are nor clauses,nor cardinality constraints2767
Minimum length of a constraint1
Maximum length of a constraint980

Trace number 9237

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        941332 kB
Buffers:         12820 kB
Cached:          61640 kB
SwapCached:          0 kB
Active:          44108 kB
Inactive:        33248 kB
HighTotal:      131008 kB
HighFree:        65352 kB
LowTotal:       903652 kB
LowFree:        875980 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:            10380 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 12:06:45 (client local time) WITH STATUS 0 IN 1207.58 SECONDS
stats: 7972 7 1207.58 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 22  (#equs: 18)
#decisions: 694791;  #end-nodes: 249887;
#proof improvement attempts: 0;  #restarts: 1056
Current batch, end-nodes: 0 / 365 (343)
#axs: 2903, #non-axs: 4467
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: 22  (#equs: 18)
Time taken: 16 min, 45 sec

2:
seed: 0
Nr of vars set: 22  (#equs: 0)
Nr of vars set: 22  (#equs: 0)
Interupt request received.
#decisions: 124237;  #end-nodes: 38201;
#proof improvement attempts: 0;  #restarts: 236
Current batch, end-nodes: 102 / 179 (179)
#axs: 2881, #non-axs: 4782
tight: meta-meta: start: 5, end: 7;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 16642  (#equs: 0)
Time taken: 3 min, 20 sec

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) R 5589 5590 4060 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19949485 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5590/statm): 174 3 169 147 0 27 0
[pid=5590] 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=5591
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=5591) exited with status: 0
New process pid=5592
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=5592) exited with status: 0
New process pid=5593
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/wulflinc5/normalized-mps-v2-13-7-aflow40b.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.94 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1324 0 0 0 960 14 0 0 25 0 1 0 19949494 6955008 1228 4294967295 134512640 134702520 3221223952 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 1698 1228 413 48 0 1650 0
[pid=5593] vsize: 6792
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (Kb) 8920

[startup+20.0039 s]
Raw data (loadavg): 0.95 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1406 0 0 0 1931 25 0 0 25 0 1 0 19949494 11911168 1310 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2908 1310 413 48 0 2860 0
[pid=5593] vsize: 11632
Current children cumulated CPU time (s) 19.58
Current children cumulated vsize (Kb) 13760

[startup+30.0057 s]
Raw data (loadavg): 0.95 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1444 0 0 0 2874 44 0 0 25 0 1 0 19949494 11919360 1348 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2910 1348 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 29.2
Current children cumulated vsize (Kb) 13768

[startup+40.0064 s]
Raw data (loadavg): 0.96 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1447 0 0 0 3819 61 0 0 25 0 1 0 19949494 11919360 1351 4294967295 134512640 134702520 3221223952 3221222976 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2910 1351 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 38.82
Current children cumulated vsize (Kb) 13768

[startup+50.0081 s]
Raw data (loadavg): 0.97 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1451 0 0 0 4754 84 0 0 25 0 1 0 19949494 11919360 1355 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1355 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 48.4
Current children cumulated vsize (Kb) 13768

[startup+60.0089 s]
Raw data (loadavg): 0.97 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1454 0 0 0 5698 103 0 0 25 0 1 0 19949494 11919360 1358 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1358 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 58.03
Current children cumulated vsize (Kb) 13768

[startup+70.0096 s]
Raw data (loadavg): 0.97 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1455 0 0 0 6625 129 0 0 25 0 1 0 19949494 11919360 1359 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1359 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 67.56
Current children cumulated vsize (Kb) 13768

[startup+80.0103 s]
Raw data (loadavg): 0.98 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1455 0 0 0 7518 166 0 0 25 0 1 0 19949494 11919360 1359 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1359 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 76.86
Current children cumulated vsize (Kb) 13768

[startup+90.0111 s]
Raw data (loadavg): 0.98 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1480 0 0 0 8464 185 0 0 25 0 1 0 19949494 11919360 1384 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2910 1384 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 86.51
Current children cumulated vsize (Kb) 13768

[startup+100.012 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1517 0 0 0 9407 207 0 0 25 0 1 0 19949494 11919360 1421 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1421 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 96.16
Current children cumulated vsize (Kb) 13768

[startup+110.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1517 0 0 0 10352 228 0 0 25 0 1 0 19949494 11919360 1421 4294967295 134512640 134702520 3221223952 3221222976 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1421 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 105.82
Current children cumulated vsize (Kb) 13768

[startup+120.012 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1520 0 0 0 11304 242 0 0 25 0 1 0 19949494 11919360 1424 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1424 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 115.48
Current children cumulated vsize (Kb) 13768

[startup+130.013 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1523 0 0 0 12237 266 0 0 25 0 1 0 19949494 11919360 1427 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1427 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 125.05
Current children cumulated vsize (Kb) 13768

[startup+140.014 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1524 0 0 0 13151 295 0 0 25 0 1 0 19949494 12070912 1428 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2947 1428 413 48 0 2899 0
[pid=5593] vsize: 11788
Current children cumulated CPU time (s) 134.48
Current children cumulated vsize (Kb) 13916

[startup+150.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1524 0 0 0 14086 317 0 0 25 0 1 0 19949494 11919360 1427 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1427 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 144.05
Current children cumulated vsize (Kb) 13768

[startup+160.015 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1524 0 0 0 15026 337 0 0 25 0 1 0 19949494 11919360 1427 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1427 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 153.65
Current children cumulated vsize (Kb) 13768

[startup+170.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1524 0 0 0 15966 356 0 0 25 0 1 0 19949494 11919360 1427 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2910 1427 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 163.24
Current children cumulated vsize (Kb) 13768

[startup+180.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1524 0 0 0 16910 376 0 0 25 0 1 0 19949494 11919360 1427 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1427 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 172.88
Current children cumulated vsize (Kb) 13768

[startup+190.017 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1524 0 0 0 17868 390 0 0 25 0 1 0 19949494 11919360 1427 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1427 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 182.6
Current children cumulated vsize (Kb) 13768

[startup+200.019 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1530 0 0 0 18812 409 0 0 25 0 1 0 19949494 11919360 1433 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1433 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 192.23
Current children cumulated vsize (Kb) 13768

[startup+210.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1531 0 0 0 19739 435 0 0 25 0 1 0 19949494 12070912 1434 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2947 1434 413 48 0 2899 0
[pid=5593] vsize: 11788
Current children cumulated CPU time (s) 201.76
Current children cumulated vsize (Kb) 13916

[startup+220.02 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1531 0 0 0 20653 466 0 0 25 0 1 0 19949494 11919360 1433 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1433 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 211.21
Current children cumulated vsize (Kb) 13768

[startup+230.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1531 0 0 0 21600 483 0 0 25 0 1 0 19949494 11919360 1433 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2910 1433 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 220.85
Current children cumulated vsize (Kb) 13768

[startup+240.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1532 0 0 0 22539 507 0 0 25 0 1 0 19949494 11919360 1434 4294967295 134512640 134702520 3221223952 3221223220 134554049 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2910 1434 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 230.48
Current children cumulated vsize (Kb) 13768

[startup+250.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1561 0 0 0 23490 523 0 0 25 0 1 0 19949494 11919360 1463 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2910 1463 413 48 0 2862 0
[pid=5593] vsize: 11640
Current children cumulated CPU time (s) 240.15
Current children cumulated vsize (Kb) 13768

[startup+260.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1601 0 0 0 24438 542 0 0 25 0 1 0 19949494 12013568 1503 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2933 1503 413 48 0 2885 0
[pid=5593] vsize: 11732
Current children cumulated CPU time (s) 249.82
Current children cumulated vsize (Kb) 13860

[startup+270.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1620 0 0 0 25399 554 0 0 25 0 1 0 19949494 12013568 1522 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2933 1522 413 48 0 2885 0
[pid=5593] vsize: 11732
Current children cumulated CPU time (s) 259.55
Current children cumulated vsize (Kb) 13860

[startup+280.025 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1630 0 0 0 26330 577 0 0 25 0 1 0 19949494 12013568 1532 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5593/statm): 2933 1532 413 48 0 2885 0
[pid=5593] vsize: 11732
Current children cumulated CPU time (s) 269.09
Current children cumulated vsize (Kb) 13860

[startup+290.053 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1631 0 0 0 27225 611 0 0 25 0 1 0 19949494 12013568 1532 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2933 1532 413 48 0 2885 0
[pid=5593] vsize: 11732
Current children cumulated CPU time (s) 278.38
Current children cumulated vsize (Kb) 13860

[startup+300.053 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1632 0 0 0 28170 630 0 0 25 0 1 0 19949494 12013568 1533 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2933 1533 413 48 0 2885 0
[pid=5593] vsize: 11732
Current children cumulated CPU time (s) 288.02
Current children cumulated vsize (Kb) 13860

[startup+310.054 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1633 0 0 0 29124 645 0 0 25 0 1 0 19949494 12013568 1534 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2933 1534 413 48 0 2885 0
[pid=5593] vsize: 11732
Current children cumulated CPU time (s) 297.71
Current children cumulated vsize (Kb) 13860

[startup+320.055 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1637 0 0 0 30073 662 0 0 25 0 1 0 19949494 12013568 1538 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2933 1538 413 48 0 2885 0
[pid=5593] vsize: 11732
Current children cumulated CPU time (s) 307.37
Current children cumulated vsize (Kb) 13860

[startup+330.057 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1674 0 0 0 31021 678 0 0 25 0 1 0 19949494 12103680 1575 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 2955 1575 413 48 0 2907 0
[pid=5593] vsize: 11820
Current children cumulated CPU time (s) 317.01
Current children cumulated vsize (Kb) 13948

[startup+340.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1754 0 0 0 31990 689 0 0 25 0 1 0 19949494 12718080 1655 4294967295 134512640 134702520 3221223952 3221223232 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3105 1655 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 326.81
Current children cumulated vsize (Kb) 14548

[startup+350.058 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1790 0 0 0 32936 707 0 0 25 0 1 0 19949494 12718080 1691 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3105 1691 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 336.45
Current children cumulated vsize (Kb) 14548

[startup+360.059 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1791 0 0 0 33868 729 0 0 25 0 1 0 19949494 12718080 1692 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3105 1692 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 345.99
Current children cumulated vsize (Kb) 14548

[startup+370.061 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1805 0 0 0 34783 759 0 0 25 0 1 0 19949494 12718080 1705 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3105 1705 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 355.44
Current children cumulated vsize (Kb) 14548

[startup+380.061 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1806 0 0 0 35729 778 0 0 25 0 1 0 19949494 12718080 1706 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3105 1706 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 365.09
Current children cumulated vsize (Kb) 14548

[startup+390.062 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1811 0 0 0 36682 795 0 0 25 0 1 0 19949494 12718080 1711 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3105 1711 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 374.79
Current children cumulated vsize (Kb) 14548

[startup+400.064 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1814 0 0 0 37634 811 0 0 25 0 1 0 19949494 12718080 1714 4294967295 134512640 134702520 3221223952 3221222916 134550217 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3105 1714 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 384.47
Current children cumulated vsize (Kb) 14548

[startup+410.065 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1816 0 0 0 38587 827 0 0 25 0 1 0 19949494 12718080 1716 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3105 1716 413 48 0 3057 0
[pid=5593] vsize: 12420
Current children cumulated CPU time (s) 394.16
Current children cumulated vsize (Kb) 14548

[startup+420.064 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1821 0 0 0 39529 846 0 0 25 0 1 0 19949494 12808192 1721 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3127 1721 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 403.77
Current children cumulated vsize (Kb) 14636

[startup+430.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1854 0 0 0 40496 859 0 0 25 0 1 0 19949494 12808192 1754 4294967295 134512640 134702520 3221223952 3221223232 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3127 1754 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 413.57
Current children cumulated vsize (Kb) 14636

[startup+440.067 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1878 0 0 0 41453 874 0 0 25 0 1 0 19949494 12808192 1778 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3127 1778 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 423.29
Current children cumulated vsize (Kb) 14636

[startup+450.067 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1879 0 0 0 42378 900 0 0 25 0 1 0 19949494 12959744 1779 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3164 1779 413 48 0 3116 0
[pid=5593] vsize: 12656
Current children cumulated CPU time (s) 432.8
Current children cumulated vsize (Kb) 14784

[startup+460.068 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1880 0 0 0 43287 931 0 0 25 0 1 0 19949494 12808192 1779 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3127 1779 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 442.2
Current children cumulated vsize (Kb) 14636

[startup+470.069 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1913 0 0 0 44241 947 0 0 25 0 1 0 19949494 12808192 1812 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3127 1812 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 451.9
Current children cumulated vsize (Kb) 14636

[startup+480.07 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1915 0 0 0 45197 961 0 0 25 0 1 0 19949494 12808192 1814 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3127 1814 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 461.6
Current children cumulated vsize (Kb) 14636

[startup+490.07 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1916 0 0 0 46158 975 0 0 25 0 1 0 19949494 12808192 1815 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3127 1815 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 471.35
Current children cumulated vsize (Kb) 14636

[startup+500.071 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1917 0 0 0 47119 988 0 0 25 0 1 0 19949494 12808192 1816 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3127 1816 413 48 0 3079 0
[pid=5593] vsize: 12508
Current children cumulated CPU time (s) 481.09
Current children cumulated vsize (Kb) 14636

[startup+510.072 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1921 0 0 0 48070 1003 0 0 25 0 1 0 19949494 12886016 1820 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1820 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 490.75
Current children cumulated vsize (Kb) 14712

[startup+520.073 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1924 0 0 0 49024 1019 0 0 25 0 1 0 19949494 12886016 1823 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1823 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 500.45
Current children cumulated vsize (Kb) 14712

[startup+530.074 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1944 0 0 0 49975 1035 0 0 25 0 1 0 19949494 12886016 1843 4294967295 134512640 134702520 3221223952 3221223468 1074652326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3146 1843 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 510.12
Current children cumulated vsize (Kb) 14712

[startup+540.075 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1964 0 0 0 50916 1054 0 0 25 0 1 0 19949494 12886016 1863 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3146 1863 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 519.72
Current children cumulated vsize (Kb) 14712

[startup+550.077 s]
Raw data (loadavg): 0.99 0.99 0.99 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1966 0 0 0 51814 1089 0 0 25 0 1 0 19949494 13041664 1865 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3184 1865 413 48 0 3136 0
[pid=5593] vsize: 12736
Current children cumulated CPU time (s) 529.05
Current children cumulated vsize (Kb) 14864

[startup+560.078 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1967 0 0 0 52765 1107 0 0 25 0 1 0 19949494 12886016 1865 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3146 1865 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 538.74
Current children cumulated vsize (Kb) 14712

[startup+570.078 s]
Raw data (loadavg): 1.07 1.01 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1969 0 0 0 53723 1122 0 0 25 0 1 0 19949494 12886016 1867 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3146 1867 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 548.47
Current children cumulated vsize (Kb) 14712

[startup+580.08 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1971 0 0 0 54674 1139 0 0 25 0 1 0 19949494 12886016 1869 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1869 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 558.15
Current children cumulated vsize (Kb) 14712

[startup+590.081 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1972 0 0 0 55635 1154 0 0 25 0 1 0 19949494 12886016 1870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1870 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 567.91
Current children cumulated vsize (Kb) 14712

[startup+600.082 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1972 0 0 0 56598 1166 0 0 25 0 1 0 19949494 12886016 1870 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1870 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 577.66
Current children cumulated vsize (Kb) 14712

[startup+610.082 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 1991 0 0 0 57553 1183 0 0 25 0 1 0 19949494 12886016 1889 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1889 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 587.38
Current children cumulated vsize (Kb) 14712

[startup+620.082 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 1991 0 0 0 58508 1197 0 0 25 0 1 0 19949494 12886016 1889 4294967295 134512640 134702520 3221223952 3221223536 134559059 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3146 1889 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 597.07
Current children cumulated vsize (Kb) 14712

[startup+630.084 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2035 0 0 0 59466 1210 0 0 25 0 1 0 19949494 12886016 1933 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1933 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 606.78
Current children cumulated vsize (Kb) 14712

[startup+640.084 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2039 0 0 0 60434 1220 0 0 25 0 1 0 19949494 12886016 1937 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1937 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 616.56
Current children cumulated vsize (Kb) 14712

[startup+650.085 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2041 0 0 0 61373 1242 0 0 25 0 1 0 19949494 12886016 1939 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3146 1939 413 48 0 3098 0
[pid=5593] vsize: 12584
Current children cumulated CPU time (s) 626.17
Current children cumulated vsize (Kb) 14712

[startup+660.086 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2042 0 0 0 62269 1277 0 0 25 0 1 0 19949494 13078528 1940 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3193 1940 413 48 0 3145 0
[pid=5593] vsize: 12772
Current children cumulated CPU time (s) 635.48
Current children cumulated vsize (Kb) 14900

[startup+670.087 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2042 0 0 0 63224 1292 0 0 25 0 1 0 19949494 12926976 1939 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1939 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 645.18
Current children cumulated vsize (Kb) 14752

[startup+680.087 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2043 0 0 0 64205 1299 0 0 25 0 1 0 19949494 12926976 1940 4294967295 134512640 134702520 3221223952 3221223232 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1940 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 655.06
Current children cumulated vsize (Kb) 14752

[startup+690.088 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2045 0 0 0 65150 1319 0 0 25 0 1 0 19949494 12926976 1942 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1942 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 664.71
Current children cumulated vsize (Kb) 14752

[startup+700.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2047 0 0 0 66099 1338 0 0 25 0 1 0 19949494 12926976 1944 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1944 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 674.39
Current children cumulated vsize (Kb) 14752

[startup+710.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2048 0 0 0 67059 1351 0 0 25 0 1 0 19949494 12926976 1945 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1945 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 684.12
Current children cumulated vsize (Kb) 14752

[startup+720.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2050 0 0 0 68009 1369 0 0 25 0 1 0 19949494 12926976 1947 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1947 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 693.8
Current children cumulated vsize (Kb) 14752

[startup+730.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2052 0 0 0 68964 1382 0 0 25 0 1 0 19949494 12926976 1949 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1949 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 703.48
Current children cumulated vsize (Kb) 14752

[startup+740.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2053 0 0 0 69923 1397 0 0 25 0 1 0 19949494 12926976 1950 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3156 1950 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 713.22
Current children cumulated vsize (Kb) 14752

[startup+750.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2055 0 0 0 70872 1414 0 0 25 0 1 0 19949494 12926976 1952 4294967295 134512640 134702520 3221223952 3221223232 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3156 1952 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 722.88
Current children cumulated vsize (Kb) 14752

[startup+760.094 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2056 0 0 0 71831 1428 0 0 25 0 1 0 19949494 12926976 1953 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3156 1953 413 48 0 3108 0
[pid=5593] vsize: 12624
Current children cumulated CPU time (s) 732.61
Current children cumulated vsize (Kb) 14752

[startup+770.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2057 0 0 0 72760 1449 0 0 25 0 1 0 19949494 13111296 1954 4294967295 134512640 134702520 3221223952 3221222976 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3201 1954 413 48 0 3153 0
[pid=5593] vsize: 12804
Current children cumulated CPU time (s) 742.11
Current children cumulated vsize (Kb) 14932

[startup+780.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2059 0 0 0 73664 1484 0 0 25 0 1 0 19949494 13037568 1955 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3183 1955 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 751.5
Current children cumulated vsize (Kb) 14860

[startup+790.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2060 0 0 0 74627 1496 0 0 25 0 1 0 19949494 13037568 1956 4294967295 134512640 134702520 3221223952 3221223072 134573359 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3183 1956 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 761.25
Current children cumulated vsize (Kb) 14860

[startup+800.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2060 0 0 0 75572 1514 0 0 25 0 1 0 19949494 13037568 1956 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 1956 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 770.88
Current children cumulated vsize (Kb) 14860

[startup+810.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2060 0 0 0 76538 1526 0 0 25 0 1 0 19949494 13037568 1956 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3183 1956 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 780.66
Current children cumulated vsize (Kb) 14860

[startup+820.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2060 0 0 0 77495 1539 0 0 25 0 1 0 19949494 13037568 1956 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 1956 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 790.36
Current children cumulated vsize (Kb) 14860

[startup+830.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2061 0 0 0 78460 1552 0 0 25 0 1 0 19949494 13037568 1957 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 1957 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 800.14
Current children cumulated vsize (Kb) 14860

[startup+840.101 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2062 0 0 0 79430 1562 0 0 25 0 1 0 19949494 13037568 1958 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 1958 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 809.94
Current children cumulated vsize (Kb) 14860

[startup+850.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2063 0 0 0 80383 1578 0 0 25 0 1 0 19949494 13037568 1959 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 1959 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 819.63
Current children cumulated vsize (Kb) 14860

[startup+860.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2064 0 0 0 81330 1598 0 0 25 0 1 0 19949494 13037568 1960 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 1960 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 829.3
Current children cumulated vsize (Kb) 14860

[startup+870.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2108 0 0 0 82292 1611 0 0 25 0 1 0 19949494 13037568 2004 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2004 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 839.05
Current children cumulated vsize (Kb) 14860

[startup+880.104 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2108 0 0 0 83275 1618 0 0 25 0 1 0 19949494 13037568 2004 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2004 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 848.95
Current children cumulated vsize (Kb) 14860

[startup+890.105 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2109 0 0 0 84230 1632 0 0 25 0 1 0 19949494 13037568 2005 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2005 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 858.64
Current children cumulated vsize (Kb) 14860

[startup+900.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5593
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2110 0 0 0 85198 1644 0 0 25 0 1 0 19949494 13037568 2006 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3183 2006 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 868.44
Current children cumulated vsize (Kb) 14860

[startup+910.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2110 0 0 0 86132 1666 0 0 25 0 1 0 19949494 13037568 2006 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2006 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 878
Current children cumulated vsize (Kb) 14860

[startup+920.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2111 0 0 0 87040 1699 0 0 25 0 1 0 19949494 13037568 2006 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2006 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 887.41
Current children cumulated vsize (Kb) 14860

[startup+930.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2111 0 0 0 88007 1710 0 0 25 0 1 0 19949494 13037568 2006 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2006 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 897.19
Current children cumulated vsize (Kb) 14860

[startup+940.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2112 0 0 0 88967 1724 0 0 25 0 1 0 19949494 13037568 2007 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2007 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 906.93
Current children cumulated vsize (Kb) 14860

[startup+950.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2112 0 0 0 89916 1740 0 0 25 0 1 0 19949494 13037568 2007 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3183 2007 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 916.58
Current children cumulated vsize (Kb) 14860

[startup+960.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2115 0 0 0 90875 1754 0 0 25 0 1 0 19949494 13037568 2010 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2010 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 926.31
Current children cumulated vsize (Kb) 14860

[startup+970.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2140 0 0 0 91840 1765 0 0 25 0 1 0 19949494 13037568 2035 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2035 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 936.07
Current children cumulated vsize (Kb) 14860

[startup+980.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2144 0 0 0 92789 1784 0 0 25 0 1 0 19949494 13037568 2039 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2039 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 945.75
Current children cumulated vsize (Kb) 14860

[startup+990.111 s]
Raw data (loadavg): 1.08 1.02 1.01 3/59 5636
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2146 0 0 0 93742 1801 0 0 18 0 1 0 19949494 13037568 2041 4294967295 134512640 134702520 3221223952 3221222976 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3183 2041 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 955.45
Current children cumulated vsize (Kb) 14860

[startup+1000.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5650
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2148 0 0 0 94697 1817 0 0 25 0 1 0 19949494 13037568 2043 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3183 2043 413 48 0 3135 0
[pid=5593] vsize: 12732
Current children cumulated CPU time (s) 965.16
Current children cumulated vsize (Kb) 14860

[startup+1010.11 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5650
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2157 0 0 0 95653 1832 0 0 25 0 1 0 19949494 13221888 2052 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3228 2052 413 48 0 3180 0
[pid=5593] vsize: 12912
Current children cumulated CPU time (s) 974.87
Current children cumulated vsize (Kb) 15040

[startup+1020.11 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5650
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2174 0 0 0 96606 1849 0 0 25 0 1 0 19949494 13144064 2069 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3209 2069 413 48 0 3161 0
[pid=5593] vsize: 12836
Current children cumulated CPU time (s) 984.57
Current children cumulated vsize (Kb) 14964

[startup+1030.11 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5650
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) T 5590 5590 4060 0 -1 0 2197 0 0 0 97549 1868 0 0 25 0 1 0 19949494 13758464 2092 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5593/statm): 3359 2092 413 48 0 3311 0
[pid=5593] vsize: 13436
Current children cumulated CPU time (s) 994.19
Current children cumulated vsize (Kb) 15564

[startup+1040.11 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5650
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 19949485 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 242 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5593/stat): 5593 (vallst) R 5590 5590 4060 0 -1 0 2199 0 0 0 98461 1899 0 0 25 0 1 0 19949494 13914112 2094 4294967295 134512640 134702520 3221223952 3221223152 134617883 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5593/statm): 3397 2094 413 48 0 3349 0
[pid=5593] vsize: 13588
Current children cumulated CPU time (s) 1003.62
Current children cumulated vsize (Kb) 15716
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=5593) exited with status: 2
New process pid=5651
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=5651) exited with status: 0
New process pid=5652
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+1050.11 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5652
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1219 0 0 0 673 9 0 0 25 0 1 0 20053817 6901760 1189 4294967295 134512640 134702520 3221223712 3221222976 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5652/statm): 1685 1189 413 48 0 1637 0
[pid=5652] vsize: 6740
Current children cumulated CPU time (s) 1013.12
Current children cumulated vsize (Kb) 8868

[startup+1060.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5654
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1220 0 0 0 1638 21 0 0 19 0 1 0 20053817 6901760 1190 4294967295 134512640 134702520 3221223712 3221222976 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5652/statm): 1685 1190 413 48 0 1637 0
[pid=5652] vsize: 6740
Current children cumulated CPU time (s) 1022.89
Current children cumulated vsize (Kb) 8868

[startup+1070.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1440 0 0 0 2595 35 0 0 25 0 1 0 20053817 12378112 1410 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3022 1410 413 48 0 2974 0
[pid=5652] vsize: 12088
Current children cumulated CPU time (s) 1032.6
Current children cumulated vsize (Kb) 14216

[startup+1080.12 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1451 0 0 0 3550 51 0 0 25 0 1 0 20053817 12300288 1421 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3003 1421 413 48 0 2955 0
[pid=5652] vsize: 12012
Current children cumulated CPU time (s) 1042.31
Current children cumulated vsize (Kb) 14140

[startup+1090.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1459 0 0 0 4510 63 0 0 25 0 1 0 20053817 12300288 1429 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3003 1429 413 48 0 2955 0
[pid=5652] vsize: 12012
Current children cumulated CPU time (s) 1052.03
Current children cumulated vsize (Kb) 14140

[startup+1100.12 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1465 0 0 0 5467 80 0 0 25 0 1 0 20053817 12300288 1435 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3003 1435 413 48 0 2955 0
[pid=5652] vsize: 12012
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (Kb) 14140

[startup+1110.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1474 0 0 0 6428 94 0 0 25 0 1 0 20053817 12394496 1444 4294967295 134512640 134702520 3221223712 3221222832 134573425 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5652/statm): 3026 1444 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1071.52
Current children cumulated vsize (Kb) 14232

[startup+1120.12 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1481 0 0 0 7382 110 0 0 25 0 1 0 20053817 12394496 1451 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3026 1451 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1081.22
Current children cumulated vsize (Kb) 14232

[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1482 0 0 0 8312 133 0 0 25 0 1 0 20053817 12546048 1452 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3063 1452 413 48 0 3015 0
[pid=5652] vsize: 12252
Current children cumulated CPU time (s) 1090.75
Current children cumulated vsize (Kb) 14380

[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1483 0 0 0 9266 148 0 0 25 0 1 0 20053817 12394496 1452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3026 1452 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1100.44
Current children cumulated vsize (Kb) 14232

[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1487 0 0 0 10213 167 0 0 25 0 1 0 20053817 12394496 1456 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3026 1456 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1110.1
Current children cumulated vsize (Kb) 14232

[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1489 0 0 0 11166 183 0 0 25 0 1 0 20053817 12394496 1458 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5652/statm): 3026 1458 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1119.79
Current children cumulated vsize (Kb) 14232

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1491 0 0 0 12112 203 0 0 25 0 1 0 20053817 12394496 1460 4294967295 134512640 134702520 3221223712 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3026 1460 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1129.45
Current children cumulated vsize (Kb) 14232

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1494 0 0 0 13071 219 0 0 25 0 1 0 20053817 12394496 1463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3026 1463 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1139.2
Current children cumulated vsize (Kb) 14232

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1517 0 0 0 14027 234 0 0 25 0 1 0 20053817 12394496 1486 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5652/statm): 3026 1486 413 48 0 2978 0
[pid=5652] vsize: 12104
Current children cumulated CPU time (s) 1148.91
Current children cumulated vsize (Kb) 14232

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1521 0 0 0 14981 249 0 0 25 0 1 0 20053817 12562432 1490 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3067 1490 413 48 0 3019 0
[pid=5652] vsize: 12268
Current children cumulated CPU time (s) 1158.6
Current children cumulated vsize (Kb) 14396

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1522 0 0 0 15909 274 0 0 25 0 1 0 20053817 12562432 1491 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5652/statm): 3067 1491 413 48 0 3019 0
[pid=5652] vsize: 12268
Current children cumulated CPU time (s) 1168.13
Current children cumulated vsize (Kb) 14396

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1523 0 0 0 16867 289 0 0 25 0 1 0 20053817 12488704 1491 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3049 1491 413 48 0 3001 0
[pid=5652] vsize: 12196
Current children cumulated CPU time (s) 1177.86
Current children cumulated vsize (Kb) 14324

[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) T 5590 5590 4060 0 -1 0 1524 0 0 0 17827 301 0 0 25 0 1 0 20053817 12488704 1492 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3049 1492 413 48 0 3001 0
[pid=5652] vsize: 12196
Current children cumulated CPU time (s) 1187.58
Current children cumulated vsize (Kb) 14324

[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1529 0 0 0 18792 312 0 0 25 0 1 0 20053817 12488704 1497 4294967295 134512640 134702520 3221223712 3221222736 134550611 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5652/statm): 3049 1497 413 48 0 3001 0
[pid=5652] vsize: 12196
Current children cumulated CPU time (s) 1197.34
Current children cumulated vsize (Kb) 14324

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1531 0 0 0 19750 326 0 0 25 0 1 0 20053817 12488704 1499 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3049 1499 413 48 0 3001 0
[pid=5652] vsize: 12196
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 14324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5656
Raw data (/proc/5590/stat): 5590 (vallstSAT2005PB) S 5589 5590 4060 0 -1 0 378 2574 0 0 1 1 98713 1915 18 0 1 0 19949485 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5590/statm): 532 248 485 147 0 385 0
[pid=5590] vsize: 2128
Raw data (/proc/5652/stat): 5652 (vallst) R 5590 5590 4060 0 -1 0 1531 0 0 0 19750 326 0 0 25 0 1 0 20053817 12488704 1499 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5652/statm): 3049 1499 413 48 0 3001 0
[pid=5652] vsize: 12196
Current children cumulated CPU time (s) 1207.06
Current children cumulated vsize (Kb) 14324

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

Verifier Data

ERROR: no interpretation found !