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/miplib/normalized-mps-v2-13-7-air06.opb
MD5SUMf85d0079133f298b06c25764b03ff228
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 70057
Optimality of the best value was proved NO
Number of terms in the objective function 8627
Biggest coefficient in the objective function 1859
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 4587852
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 1859
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4587852
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.06
Number of variables8627
Total number of constraints9452
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9452
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint461

Trace number 9203

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 11:20:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7915 boxname=wulflinc15 idbench=883 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-air06.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-air06.opb 0
IDLAUNCH: 7915
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        808300 kB
Buffers:          9724 kB
Cached:         199104 kB
SwapCached:          0 kB
Active:         172240 kB
Inactive:        39500 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        808020 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6968 kB
Slab:             9000 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:42:12 (client local time) WITH STATUS 0 IN 1204.25 SECONDS
stats: 7915 7 1204.25 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1880  (#equs: 1)
#decisions: 428105;  #end-nodes: 164533;
#proof improvement attempts: 0;  #restarts: 480
Current batch, end-nodes: 0 / 307 (199)
#axs: 1645, #non-axs: 6233
tight: meta-meta: start: 4, end: 5;  meta: start: 11, end (keep): 21
loose: meta-meta: start: 7, end: 10;  meta: start: 26, end (keep): 42
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: 2216  (#equs: 4)
Time taken: 5 min, 20 sec

2:
seed: 0
Nr of vars set: 2216  (#equs: 0)
Nr of vars set: 2228  (#equs: 0)
Interupt request received.
#decisions: 1590483;  #end-nodes: 636257;
#proof improvement attempts: 0;  #restarts: 1081
Current batch, end-nodes: 278 / 410 (390)
#axs: 1608, #non-axs: 3771
tight: meta-meta: start: 3, end: 3;  meta: start: 3, end (keep): 4
loose: meta-meta: start: 4, end: 5;  meta: start: 9, end (keep): 11
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6435  (#equs: 4)
Time taken: 14 min, 43 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/5308/stat): 5308 (vallstSAT2005PB) R 5307 5308 4057 0 -1 0 19 0 0 0 0 0 0 0 20 0 1 0 19780986 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5308/statm): 174 3 169 147 0 27 0
[pid=5308] 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=5309
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=5309) exited with status: 0
New process pid=5310
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=5310) exited with status: 0
New process pid=5311
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/wulflinc15/normalized-mps-v2-13-7-air06.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0035 s]
Raw data (loadavg): 0.90 0.92 0.90 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1164 0 0 0 895 37 0 0 25 0 1 0 19780993 6569984 1066 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 1604 1066 413 48 0 1556 0
[pid=5311] vsize: 6416
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 8544

[startup+20.0044 s]
Raw data (loadavg): 0.92 0.92 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1219 0 0 0 1745 89 0 0 23 0 1 0 19780993 12443648 1121 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3038 1121 413 48 0 2990 0
[pid=5311] vsize: 12152
Current children cumulated CPU time (s) 18.35
Current children cumulated vsize (Kb) 14280

[startup+30.0052 s]
Raw data (loadavg): 0.93 0.92 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 1314 0 0 0 2650 123 0 0 25 0 1 0 19780993 12447744 1216 4294967295 134512640 134702520 3221223952 3221110288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3039 1216 413 48 0 2991 0
[pid=5311] vsize: 12156
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (Kb) 14284

[startup+40.006 s]
Raw data (loadavg): 0.94 0.92 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 1350 0 0 0 3561 154 0 0 25 0 1 0 19780993 12587008 1252 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3073 1252 413 48 0 3025 0
[pid=5311] vsize: 12292
Current children cumulated CPU time (s) 37.16
Current children cumulated vsize (Kb) 14420

[startup+50.0068 s]
Raw data (loadavg): 0.95 0.93 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1502 0 0 0 4469 189 0 0 25 0 1 0 19780993 12591104 1404 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3074 1404 413 48 0 3026 0
[pid=5311] vsize: 12296
Current children cumulated CPU time (s) 46.59
Current children cumulated vsize (Kb) 14424

[startup+60.0076 s]
Raw data (loadavg): 0.96 0.93 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1520 0 0 0 5393 216 0 0 19 0 1 0 19780993 12750848 1422 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3113 1422 413 48 0 3065 0
[pid=5311] vsize: 12452
Current children cumulated CPU time (s) 56.1
Current children cumulated vsize (Kb) 14580

[startup+70.0095 s]
Raw data (loadavg): 0.96 0.93 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1523 0 0 0 6283 254 0 0 25 0 1 0 19780993 12750848 1425 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3113 1425 413 48 0 3065 0
[pid=5311] vsize: 12452
Current children cumulated CPU time (s) 65.38
Current children cumulated vsize (Kb) 14580

[startup+80.0103 s]
Raw data (loadavg): 0.97 0.93 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1527 0 0 0 7168 294 0 0 23 0 1 0 19780993 12750848 1429 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3113 1429 413 48 0 3065 0
[pid=5311] vsize: 12452
Current children cumulated CPU time (s) 74.63
Current children cumulated vsize (Kb) 14580

[startup+90.0111 s]
Raw data (loadavg): 0.97 0.93 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 1543 0 0 0 8092 320 0 0 25 0 1 0 19780993 12763136 1445 4294967295 134512640 134702520 3221223952 3221223232 134551072 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3116 1445 413 48 0 3068 0
[pid=5311] vsize: 12464
Current children cumulated CPU time (s) 84.13
Current children cumulated vsize (Kb) 14592

[startup+100.012 s]
Raw data (loadavg): 0.98 0.94 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1737 0 0 0 9009 351 0 0 25 0 1 0 19780993 12902400 1639 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3150 1639 413 48 0 3102 0
[pid=5311] vsize: 12600
Current children cumulated CPU time (s) 93.61
Current children cumulated vsize (Kb) 14728

[startup+110.013 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1762 0 0 0 9926 380 0 0 25 0 1 0 19780993 13037568 1664 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3183 1664 413 48 0 3135 0
[pid=5311] vsize: 12732
Current children cumulated CPU time (s) 103.07
Current children cumulated vsize (Kb) 14860

[startup+120.014 s]
Raw data (loadavg): 0.98 0.94 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1775 0 0 0 10840 411 0 0 25 0 1 0 19780993 13037568 1677 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3183 1677 413 48 0 3135 0
[pid=5311] vsize: 12732
Current children cumulated CPU time (s) 112.52
Current children cumulated vsize (Kb) 14860

[startup+130.013 s]
Raw data (loadavg): 0.98 0.94 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1789 0 0 0 11763 440 0 0 25 0 1 0 19780993 13037568 1691 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3183 1691 413 48 0 3135 0
[pid=5311] vsize: 12732
Current children cumulated CPU time (s) 122.04
Current children cumulated vsize (Kb) 14860

[startup+140.014 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1789 0 0 0 12651 480 0 0 25 0 1 0 19780993 13037568 1691 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3183 1691 413 48 0 3135 0
[pid=5311] vsize: 12732
Current children cumulated CPU time (s) 131.32
Current children cumulated vsize (Kb) 14860

[startup+150.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 1798 0 0 0 13558 514 0 0 25 0 1 0 19780993 13049856 1700 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3186 1700 413 48 0 3138 0
[pid=5311] vsize: 12744
Current children cumulated CPU time (s) 140.73
Current children cumulated vsize (Kb) 14872

[startup+160.016 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1805 0 0 0 14468 545 0 0 25 0 1 0 19780993 13205504 1707 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3224 1707 413 48 0 3176 0
[pid=5311] vsize: 12896
Current children cumulated CPU time (s) 150.14
Current children cumulated vsize (Kb) 15024

[startup+170.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 1811 0 0 0 15382 576 0 0 25 0 1 0 19780993 13205504 1713 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3224 1713 413 48 0 3176 0
[pid=5311] vsize: 12896
Current children cumulated CPU time (s) 159.59
Current children cumulated vsize (Kb) 15024

[startup+180.017 s]
Raw data (loadavg): 1.07 0.96 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 1819 0 0 0 16314 600 0 0 25 0 1 0 19780993 13205504 1721 4294967295 134512640 134702520 3221223952 3221222976 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3224 1721 413 48 0 3176 0
[pid=5311] vsize: 12896
Current children cumulated CPU time (s) 169.15
Current children cumulated vsize (Kb) 15024

[startup+190.018 s]
Raw data (loadavg): 1.06 0.96 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1826 0 0 0 17229 631 0 0 25 0 1 0 19780993 13205504 1728 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3224 1728 413 48 0 3176 0
[pid=5311] vsize: 12896
Current children cumulated CPU time (s) 178.61
Current children cumulated vsize (Kb) 15024

[startup+200.019 s]
Raw data (loadavg): 1.05 0.97 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1828 0 0 0 18131 666 0 0 25 0 1 0 19780993 13205504 1730 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3224 1730 413 48 0 3176 0
[pid=5311] vsize: 12896
Current children cumulated CPU time (s) 187.98
Current children cumulated vsize (Kb) 15024

[startup+210.02 s]
Raw data (loadavg): 1.04 0.97 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 1830 0 0 0 19038 699 0 0 25 0 1 0 19780993 13205504 1732 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3224 1732 413 48 0 3176 0
[pid=5311] vsize: 12896
Current children cumulated CPU time (s) 197.38
Current children cumulated vsize (Kb) 15024

[startup+220.021 s]
Raw data (loadavg): 1.04 0.97 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 2212 0 0 0 19953 729 0 0 25 0 1 0 19780993 13328384 2114 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3254 2114 413 48 0 3206 0
[pid=5311] vsize: 13016
Current children cumulated CPU time (s) 206.83
Current children cumulated vsize (Kb) 15144

[startup+230.021 s]
Raw data (loadavg): 1.03 0.97 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 2455 0 0 0 20867 759 0 0 25 0 1 0 19780993 13328384 2357 4294967295 134512640 134702520 3221223952 3221223232 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3254 2357 413 48 0 3206 0
[pid=5311] vsize: 13016
Current children cumulated CPU time (s) 216.27
Current children cumulated vsize (Kb) 15144

[startup+240.021 s]
Raw data (loadavg): 1.02 0.97 0.91 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 2473 0 0 0 21781 789 0 0 24 0 1 0 19780993 13328384 2375 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3254 2375 413 48 0 3206 0
[pid=5311] vsize: 13016
Current children cumulated CPU time (s) 225.71
Current children cumulated vsize (Kb) 15144

[startup+250.022 s]
Raw data (loadavg): 1.02 0.97 0.91 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 2577 0 0 0 22707 817 0 0 25 0 1 0 19780993 13328384 2479 4294967295 134512640 134702520 3221223952 3221093168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3254 2479 413 48 0 3206 0
[pid=5311] vsize: 13016
Current children cumulated CPU time (s) 235.25
Current children cumulated vsize (Kb) 15144

[startup+260.024 s]
Raw data (loadavg): 1.10 0.99 0.92 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 2580 0 0 0 23624 845 0 0 25 0 1 0 19780993 13328384 2482 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3254 2482 413 48 0 3206 0
[pid=5311] vsize: 13016
Current children cumulated CPU time (s) 244.7
Current children cumulated vsize (Kb) 15144

[startup+270.025 s]
Raw data (loadavg): 1.08 0.99 0.92 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 2580 0 0 0 24533 878 0 0 25 0 1 0 19780993 13328384 2482 4294967295 134512640 134702520 3221223952 3221223232 134552186 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3254 2482 413 48 0 3206 0
[pid=5311] vsize: 13016
Current children cumulated CPU time (s) 254.12
Current children cumulated vsize (Kb) 15144

[startup+280.025 s]
Raw data (loadavg): 1.07 0.99 0.92 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 2617 0 0 0 25451 905 0 0 25 0 1 0 19780993 13328384 2519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3254 2519 413 48 0 3206 0
[pid=5311] vsize: 13016
Current children cumulated CPU time (s) 263.57
Current children cumulated vsize (Kb) 15144

[startup+290.026 s]
Raw data (loadavg): 1.06 0.99 0.92 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 2673 0 0 0 26374 935 0 0 21 0 1 0 19780993 13471744 2575 4294967295 134512640 134702520 3221223952 3221199408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3289 2575 413 48 0 3241 0
[pid=5311] vsize: 13156
Current children cumulated CPU time (s) 273.1
Current children cumulated vsize (Kb) 15284

[startup+300.026 s]
Raw data (loadavg): 1.12 1.00 0.93 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 2711 0 0 0 27312 955 0 0 25 0 1 0 19780993 13471744 2613 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3289 2613 413 48 0 3241 0
[pid=5311] vsize: 13156
Current children cumulated CPU time (s) 282.68
Current children cumulated vsize (Kb) 15284

[startup+310.028 s]
Raw data (loadavg): 1.10 1.00 0.93 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 2827 0 0 0 28230 983 0 0 25 0 1 0 19780993 14270464 2729 4294967295 134512640 134702520 3221223952 3221223200 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3484 2729 413 48 0 3436 0
[pid=5311] vsize: 13936
Current children cumulated CPU time (s) 292.14
Current children cumulated vsize (Kb) 16064

[startup+320.029 s]
Raw data (loadavg): 1.09 1.00 0.93 2/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) R 5308 5308 4057 0 -1 0 2952 0 0 0 29164 1003 0 0 25 0 1 0 19780993 14409728 2854 4294967295 134512640 134702520 3221223952 3221223072 134573708 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5311/statm): 3518 2854 413 48 0 3470 0
[pid=5311] vsize: 14072
Current children cumulated CPU time (s) 301.68
Current children cumulated vsize (Kb) 16200

[startup+330.029 s]
Raw data (loadavg): 1.07 1.00 0.93 1/56 5311
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 330 232 0 0 0 1 0 0 20 0 1 0 19780986 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 242 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5311/stat): 5311 (vallst) T 5308 5308 4057 0 -1 0 2970 0 0 0 30091 1027 0 0 25 0 1 0 19780993 14409728 2872 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5311/statm): 3518 2872 413 48 0 3470 0
[pid=5311] vsize: 14072
Current children cumulated CPU time (s) 311.19
Current children cumulated vsize (Kb) 16200
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=5311) exited with status: 2
New process pid=5312
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=5312) exited with status: 0
New process pid=5313
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+340.03 s]
Raw data (loadavg): 1.14 1.02 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 147 0 0 0 0 0 0 0 20 0 1 0 19814990 1859584 118 4294967295 134512640 134702520 3221223712 3221223352 1074475018 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 454 118 413 48 0 406 0
[pid=5313] vsize: 1816
Current children cumulated CPU time (s) 320.6
Current children cumulated vsize (Kb) 3944

[startup+350.029 s]
Raw data (loadavg): 1.12 1.02 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 993 0 0 0 929 25 0 0 25 0 1 0 19814990 6176768 963 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 1508 963 413 48 0 1460 0
[pid=5313] vsize: 6032
Current children cumulated CPU time (s) 330.14
Current children cumulated vsize (Kb) 8160

[startup+360.031 s]
Raw data (loadavg): 1.10 1.01 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1084 0 0 0 1832 59 0 0 25 0 1 0 19814990 11337728 1054 4294967295 134512640 134702520 3221223712 3221222832 134573381 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2768 1054 413 48 0 2720 0
[pid=5313] vsize: 11072
Current children cumulated CPU time (s) 339.51
Current children cumulated vsize (Kb) 13200

[startup+370.032 s]
Raw data (loadavg): 1.08 1.01 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1183 0 0 0 2752 86 0 0 17 0 1 0 19814990 11472896 1153 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2801 1153 413 48 0 2753 0
[pid=5313] vsize: 11204
Current children cumulated CPU time (s) 348.98
Current children cumulated vsize (Kb) 13332

[startup+380.032 s]
Raw data (loadavg): 1.07 1.01 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1232 0 0 0 3672 116 0 0 19 0 1 0 19814990 11608064 1202 4294967295 134512640 134702520 3221223712 3221222832 134573381 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2834 1202 413 48 0 2786 0
[pid=5313] vsize: 11336
Current children cumulated CPU time (s) 358.48
Current children cumulated vsize (Kb) 13464

[startup+390.034 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1400 0 0 0 4584 149 0 0 25 0 1 0 19814990 11608064 1370 4294967295 134512640 134702520 3221223712 3221156608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2834 1370 413 48 0 2786 0
[pid=5313] vsize: 11336
Current children cumulated CPU time (s) 367.93
Current children cumulated vsize (Kb) 13464

[startup+400.034 s]
Raw data (loadavg): 1.05 1.01 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1403 0 0 0 5514 174 0 0 25 0 1 0 19814990 11755520 1373 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2870 1373 413 48 0 2822 0
[pid=5313] vsize: 11480
Current children cumulated CPU time (s) 377.48
Current children cumulated vsize (Kb) 13608

[startup+410.035 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1408 0 0 0 6407 214 0 0 24 0 1 0 19814990 11755520 1378 4294967295 134512640 134702520 3221223712 3221190048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2870 1378 413 48 0 2822 0
[pid=5313] vsize: 11480
Current children cumulated CPU time (s) 386.81
Current children cumulated vsize (Kb) 13608

[startup+420.036 s]
Raw data (loadavg): 1.04 1.01 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1416 0 0 0 7315 243 0 0 25 0 1 0 19814990 11755520 1386 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2870 1386 413 48 0 2822 0
[pid=5313] vsize: 11480
Current children cumulated CPU time (s) 396.18
Current children cumulated vsize (Kb) 13608

[startup+430.037 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1491 0 0 0 8227 270 0 0 18 0 1 0 19814990 11755520 1461 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2870 1461 413 48 0 2822 0
[pid=5313] vsize: 11480
Current children cumulated CPU time (s) 405.57
Current children cumulated vsize (Kb) 13608

[startup+440.038 s]
Raw data (loadavg): 1.02 1.01 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1500 0 0 0 9127 303 0 0 24 0 1 0 19814990 11755520 1470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2870 1470 413 48 0 2822 0
[pid=5313] vsize: 11480
Current children cumulated CPU time (s) 414.9
Current children cumulated vsize (Kb) 13608

[startup+450.039 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1504 0 0 0 10052 329 0 0 25 0 1 0 19814990 11890688 1474 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2903 1474 413 48 0 2855 0
[pid=5313] vsize: 11612
Current children cumulated CPU time (s) 424.41
Current children cumulated vsize (Kb) 13740

[startup+460.04 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1505 0 0 0 10947 366 0 0 23 0 1 0 19814990 11866112 1475 4294967295 134512640 134702520 3221223712 3221222832 134573406 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2897 1475 413 48 0 2849 0
[pid=5313] vsize: 11588
Current children cumulated CPU time (s) 433.73
Current children cumulated vsize (Kb) 13716

[startup+470.041 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1510 0 0 0 11853 397 0 0 25 0 1 0 19814990 11866112 1480 4294967295 134512640 134702520 3221223712 3221061868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2897 1480 413 48 0 2849 0
[pid=5313] vsize: 11588
Current children cumulated CPU time (s) 443.1
Current children cumulated vsize (Kb) 13716

[startup+480.041 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 1515 0 0 0 12753 434 0 0 25 0 1 0 19814990 11866112 1485 4294967295 134512640 134702520 3221223712 3221214848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2897 1485 413 48 0 2849 0
[pid=5313] vsize: 11588
Current children cumulated CPU time (s) 452.47
Current children cumulated vsize (Kb) 13716

[startup+490.042 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1521 0 0 0 13664 464 0 0 25 0 1 0 19814990 11866112 1491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2897 1491 413 48 0 2849 0
[pid=5313] vsize: 11588
Current children cumulated CPU time (s) 461.88
Current children cumulated vsize (Kb) 13716

[startup+500.043 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1524 0 0 0 14582 489 0 0 25 0 1 0 19814990 11866112 1494 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2897 1494 413 48 0 2849 0
[pid=5313] vsize: 11588
Current children cumulated CPU time (s) 471.31
Current children cumulated vsize (Kb) 13716

[startup+510.043 s]
Raw data (loadavg): 1.01 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1524 0 0 0 15483 525 0 0 19 0 1 0 19814990 11866112 1494 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2897 1494 413 48 0 2849 0
[pid=5313] vsize: 11588
Current children cumulated CPU time (s) 480.68
Current children cumulated vsize (Kb) 13716

[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 1840 0 0 0 16376 564 0 0 21 0 1 0 19814990 12001280 1810 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2930 1810 413 48 0 2882 0
[pid=5313] vsize: 11720
Current children cumulated CPU time (s) 490
Current children cumulated vsize (Kb) 13848

[startup+530.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2102 0 0 0 17265 603 0 0 24 0 1 0 19814990 12001280 2072 4294967295 134512640 134702520 3221223712 3221222988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2930 2072 413 48 0 2882 0
[pid=5313] vsize: 11720
Current children cumulated CPU time (s) 499.28
Current children cumulated vsize (Kb) 13848

[startup+540.046 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2106 0 0 0 18179 634 0 0 19 0 1 0 19814990 12001280 2076 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2930 2076 413 48 0 2882 0
[pid=5313] vsize: 11720
Current children cumulated CPU time (s) 508.73
Current children cumulated vsize (Kb) 13848

[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2108 0 0 0 19091 665 0 0 25 0 1 0 19814990 12001280 2078 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2930 2078 413 48 0 2882 0
[pid=5313] vsize: 11720
Current children cumulated CPU time (s) 518.16
Current children cumulated vsize (Kb) 13848

[startup+560.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2110 0 0 0 19996 700 0 0 25 0 1 0 19814990 12001280 2080 4294967295 134512640 134702520 3221223712 3221170668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2930 2080 413 48 0 2882 0
[pid=5313] vsize: 11720
Current children cumulated CPU time (s) 527.56
Current children cumulated vsize (Kb) 13848

[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2112 0 0 0 20911 731 0 0 23 0 1 0 19814990 12152832 2082 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2967 2082 413 48 0 2919 0
[pid=5313] vsize: 11868
Current children cumulated CPU time (s) 537.02
Current children cumulated vsize (Kb) 13996

[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2256 0 0 0 21784 776 0 0 25 0 1 0 19814990 12099584 2226 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2954 2226 413 48 0 2906 0
[pid=5313] vsize: 11816
Current children cumulated CPU time (s) 546.2
Current children cumulated vsize (Kb) 13944

[startup+590.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2420 0 0 0 22696 809 0 0 25 0 1 0 19814990 12099584 2390 4294967295 134512640 134702520 3221223712 3221108588 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 2954 2390 413 48 0 2906 0
[pid=5313] vsize: 11816
Current children cumulated CPU time (s) 555.65
Current children cumulated vsize (Kb) 13944

[startup+600.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2511 0 0 0 23595 845 0 0 25 0 1 0 19814990 12099584 2481 4294967295 134512640 134702520 3221223712 3221218688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 2954 2481 413 48 0 2906 0
[pid=5313] vsize: 11816
Current children cumulated CPU time (s) 565
Current children cumulated vsize (Kb) 13944

[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2564 0 0 0 24528 868 0 0 25 0 1 0 19814990 12918784 2534 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3154 2534 413 48 0 3106 0
[pid=5313] vsize: 12616
Current children cumulated CPU time (s) 574.56
Current children cumulated vsize (Kb) 14744

[startup+620.053 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2609 0 0 0 25442 897 0 0 25 0 1 0 19814990 12918784 2579 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3154 2579 413 48 0 3106 0
[pid=5313] vsize: 12616
Current children cumulated CPU time (s) 583.99
Current children cumulated vsize (Kb) 14744

[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2625 0 0 0 26373 922 0 0 25 0 1 0 19814990 13078528 2595 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3193 2595 413 48 0 3145 0
[pid=5313] vsize: 12772
Current children cumulated CPU time (s) 593.55
Current children cumulated vsize (Kb) 14900

[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2625 0 0 0 27282 954 0 0 25 0 1 0 19814990 13025280 2595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3180 2595 413 48 0 3132 0
[pid=5313] vsize: 12720
Current children cumulated CPU time (s) 602.96
Current children cumulated vsize (Kb) 14848

[startup+650.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2628 0 0 0 28186 988 0 0 25 0 1 0 19814990 13025280 2598 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3180 2598 413 48 0 3132 0
[pid=5313] vsize: 12720
Current children cumulated CPU time (s) 612.34
Current children cumulated vsize (Kb) 14848

[startup+660.054 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2631 0 0 0 29091 1019 0 0 25 0 1 0 19814990 13025280 2601 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3180 2601 413 48 0 3132 0
[pid=5313] vsize: 12720
Current children cumulated CPU time (s) 621.7
Current children cumulated vsize (Kb) 14848

[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2642 0 0 0 30014 1046 0 0 23 0 1 0 19814990 13025280 2612 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3180 2612 413 48 0 3132 0
[pid=5313] vsize: 12720
Current children cumulated CPU time (s) 631.2
Current children cumulated vsize (Kb) 14848

[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2734 0 0 0 30942 1069 0 0 25 0 1 0 19814990 13160448 2704 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3213 2704 413 48 0 3165 0
[pid=5313] vsize: 12852
Current children cumulated CPU time (s) 640.71
Current children cumulated vsize (Kb) 14980

[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2746 0 0 0 31856 1098 0 0 25 0 1 0 19814990 13160448 2716 4294967295 134512640 134702520 3221223712 3221201568 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3213 2716 413 48 0 3165 0
[pid=5313] vsize: 12852
Current children cumulated CPU time (s) 650.14
Current children cumulated vsize (Kb) 14980

[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2768 0 0 0 32778 1124 0 0 25 0 1 0 19814990 13160448 2738 4294967295 134512640 134702520 3221223712 3221205708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3213 2738 413 48 0 3165 0
[pid=5313] vsize: 12852
Current children cumulated CPU time (s) 659.62
Current children cumulated vsize (Kb) 14980

[startup+710.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2771 0 0 0 33700 1152 0 0 25 0 1 0 19814990 13312000 2741 4294967295 134512640 134702520 3221223712 3221222608 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3250 2741 413 48 0 3202 0
[pid=5313] vsize: 13000
Current children cumulated CPU time (s) 669.12
Current children cumulated vsize (Kb) 15128

[startup+720.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2771 0 0 0 34608 1186 0 0 25 0 1 0 19814990 13287424 2741 4294967295 134512640 134702520 3221223712 3221222932 134550184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3244 2741 413 48 0 3196 0
[pid=5313] vsize: 12976
Current children cumulated CPU time (s) 678.54
Current children cumulated vsize (Kb) 15104

[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2772 0 0 0 35512 1220 0 0 20 0 1 0 19814990 13287424 2742 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3244 2742 413 48 0 3196 0
[pid=5313] vsize: 12976
Current children cumulated CPU time (s) 687.92
Current children cumulated vsize (Kb) 15104

[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2783 0 0 0 36429 1248 0 0 25 0 1 0 19814990 13287424 2753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3244 2753 413 48 0 3196 0
[pid=5313] vsize: 12976
Current children cumulated CPU time (s) 697.37
Current children cumulated vsize (Kb) 15104

[startup+750.062 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2786 0 0 0 37348 1274 0 0 25 0 1 0 19814990 13287424 2756 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3244 2756 413 48 0 3196 0
[pid=5313] vsize: 12976
Current children cumulated CPU time (s) 706.82
Current children cumulated vsize (Kb) 15104

[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2790 0 0 0 38264 1303 0 0 25 0 1 0 19814990 13287424 2760 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3244 2760 413 48 0 3196 0
[pid=5313] vsize: 12976
Current children cumulated CPU time (s) 716.27
Current children cumulated vsize (Kb) 15104

[startup+770.064 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2793 0 0 0 39187 1328 0 0 25 0 1 0 19814990 13287424 2763 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3244 2763 413 48 0 3196 0
[pid=5313] vsize: 12976
Current children cumulated CPU time (s) 725.75
Current children cumulated vsize (Kb) 15104

[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2797 0 0 0 40103 1356 0 0 25 0 1 0 19814990 13443072 2767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3282 2767 413 48 0 3234 0
[pid=5313] vsize: 13128
Current children cumulated CPU time (s) 735.19
Current children cumulated vsize (Kb) 15256

[startup+790.065 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2797 0 0 0 41019 1384 0 0 25 0 1 0 19814990 13443072 2767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3282 2767 413 48 0 3234 0
[pid=5313] vsize: 13128
Current children cumulated CPU time (s) 744.63
Current children cumulated vsize (Kb) 15256

[startup+800.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2798 0 0 0 41901 1425 0 0 25 0 1 0 19814990 13389824 2768 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3269 2768 413 48 0 3221 0
[pid=5313] vsize: 13076
Current children cumulated CPU time (s) 753.86
Current children cumulated vsize (Kb) 15204

[startup+810.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2801 0 0 0 42814 1455 0 0 25 0 1 0 19814990 13389824 2771 4294967295 134512640 134702520 3221223712 3221139328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3269 2771 413 48 0 3221 0
[pid=5313] vsize: 13076
Current children cumulated CPU time (s) 763.29
Current children cumulated vsize (Kb) 15204

[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2804 0 0 0 43732 1483 0 0 25 0 1 0 19814990 13389824 2774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3269 2774 413 48 0 3221 0
[pid=5313] vsize: 13076
Current children cumulated CPU time (s) 772.75
Current children cumulated vsize (Kb) 15204

[startup+830.069 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2804 0 0 0 44635 1516 0 0 24 0 1 0 19814990 13389824 2774 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3269 2774 413 48 0 3221 0
[pid=5313] vsize: 13076
Current children cumulated CPU time (s) 782.11
Current children cumulated vsize (Kb) 15204

[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2823 0 0 0 45546 1546 0 0 25 0 1 0 19814990 13389824 2793 4294967295 134512640 134702520 3221223712 3221222992 134557245 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3269 2793 413 48 0 3221 0
[pid=5313] vsize: 13076
Current children cumulated CPU time (s) 791.52
Current children cumulated vsize (Kb) 15204

[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2849 0 0 0 46465 1574 0 0 25 0 1 0 19814990 13524992 2819 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3302 2819 413 48 0 3254 0
[pid=5313] vsize: 13208
Current children cumulated CPU time (s) 800.99
Current children cumulated vsize (Kb) 15336

[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2866 0 0 0 47390 1602 0 0 25 0 1 0 19814990 13660160 2836 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3335 2836 413 48 0 3287 0
[pid=5313] vsize: 13340
Current children cumulated CPU time (s) 810.52
Current children cumulated vsize (Kb) 15468

[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2875 0 0 0 48320 1626 0 0 24 0 1 0 19814990 13660160 2845 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3335 2845 413 48 0 3287 0
[pid=5313] vsize: 13340
Current children cumulated CPU time (s) 820.06
Current children cumulated vsize (Kb) 15468

[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2882 0 0 0 49241 1655 0 0 25 0 1 0 19814990 13660160 2852 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3335 2852 413 48 0 3287 0
[pid=5313] vsize: 13340
Current children cumulated CPU time (s) 829.56
Current children cumulated vsize (Kb) 15468

[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2888 0 0 0 50151 1686 0 0 25 0 1 0 19814990 13774848 2858 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3363 2858 413 48 0 3315 0
[pid=5313] vsize: 13452
Current children cumulated CPU time (s) 838.97
Current children cumulated vsize (Kb) 15580

[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2891 0 0 0 51060 1717 0 0 25 0 1 0 19814990 13774848 2861 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3363 2861 413 48 0 3315 0
[pid=5313] vsize: 13452
Current children cumulated CPU time (s) 848.37
Current children cumulated vsize (Kb) 15580

[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2891 0 0 0 51975 1746 0 0 25 0 1 0 19814990 13774848 2861 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3363 2861 413 48 0 3315 0
[pid=5313] vsize: 13452
Current children cumulated CPU time (s) 857.81
Current children cumulated vsize (Kb) 15580

[startup+920.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2899 0 0 0 52881 1779 0 0 25 0 1 0 19814990 13774848 2869 4294967295 134512640 134702520 3221223712 3221222832 134588301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3363 2869 413 48 0 3315 0
[pid=5313] vsize: 13452
Current children cumulated CPU time (s) 867.2
Current children cumulated vsize (Kb) 15580

[startup+930.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2921 0 0 0 53801 1808 0 0 25 0 1 0 19814990 13910016 2891 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3396 2891 413 48 0 3348 0
[pid=5313] vsize: 13584
Current children cumulated CPU time (s) 876.69
Current children cumulated vsize (Kb) 15712

[startup+940.078 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2924 0 0 0 54704 1842 0 0 25 0 1 0 19814990 13910016 2894 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3396 2894 413 48 0 3348 0
[pid=5313] vsize: 13584
Current children cumulated CPU time (s) 886.06
Current children cumulated vsize (Kb) 15712

[startup+950.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2927 0 0 0 55605 1875 0 0 25 0 1 0 19814990 13910016 2897 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3396 2897 413 48 0 3348 0
[pid=5313] vsize: 13584
Current children cumulated CPU time (s) 895.4
Current children cumulated vsize (Kb) 15712

[startup+960.079 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2932 0 0 0 56510 1907 0 0 25 0 1 0 19814990 13910016 2902 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3396 2902 413 48 0 3348 0
[pid=5313] vsize: 13584
Current children cumulated CPU time (s) 904.77
Current children cumulated vsize (Kb) 15712

[startup+970.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2943 0 0 0 57440 1932 0 0 25 0 1 0 19814990 13910016 2913 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3396 2913 413 48 0 3348 0
[pid=5313] vsize: 13584
Current children cumulated CPU time (s) 914.32
Current children cumulated vsize (Kb) 15712

[startup+980.081 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2948 0 0 0 58351 1963 0 0 25 0 1 0 19814990 13910016 2918 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3396 2918 413 48 0 3348 0
[pid=5313] vsize: 13584
Current children cumulated CPU time (s) 923.74
Current children cumulated vsize (Kb) 15712

[startup+990.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2956 0 0 0 59246 2002 0 0 25 0 1 0 19814990 14045184 2926 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3429 2926 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 933.08
Current children cumulated vsize (Kb) 15844

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2958 0 0 0 60149 2038 0 0 25 0 1 0 19814990 14045184 2928 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2928 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 942.47
Current children cumulated vsize (Kb) 15844

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2959 0 0 0 61055 2072 0 0 25 0 1 0 19814990 14045184 2929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3429 2929 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 951.87
Current children cumulated vsize (Kb) 15844

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2963 0 0 0 61948 2109 0 0 25 0 1 0 19814990 14045184 2933 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2933 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 961.17
Current children cumulated vsize (Kb) 15844

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2965 0 0 0 62820 2152 0 0 24 0 1 0 19814990 14045184 2935 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2935 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 970.32
Current children cumulated vsize (Kb) 15844

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2967 0 0 0 63738 2179 0 0 25 0 1 0 19814990 14045184 2937 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2937 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 979.77
Current children cumulated vsize (Kb) 15844

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2967 0 0 0 64641 2213 0 0 25 0 1 0 19814990 14045184 2937 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2937 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 989.14
Current children cumulated vsize (Kb) 15844

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2968 0 0 0 65517 2259 0 0 23 0 1 0 19814990 14045184 2938 4294967295 134512640 134702520 3221223712 3221223024 1073947954 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2938 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 998.36
Current children cumulated vsize (Kb) 15844

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2970 0 0 0 66414 2294 0 0 20 0 1 0 19814990 14045184 2940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2940 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 1007.68
Current children cumulated vsize (Kb) 15844

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2974 0 0 0 67328 2323 0 0 25 0 1 0 19814990 14045184 2944 4294967295 134512640 134702520 3221223712 3221222992 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3429 2944 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 1017.11
Current children cumulated vsize (Kb) 15844

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2975 0 0 0 68217 2362 0 0 25 0 1 0 19814990 14045184 2945 4294967295 134512640 134702520 3221223712 3221189228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3429 2945 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 1026.39
Current children cumulated vsize (Kb) 15844

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2976 0 0 0 69122 2395 0 0 25 0 1 0 19814990 14045184 2946 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2946 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 1035.77
Current children cumulated vsize (Kb) 15844

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 2979 0 0 0 70000 2438 0 0 25 0 1 0 19814990 14045184 2949 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3429 2949 413 48 0 3381 0
[pid=5313] vsize: 13716
Current children cumulated CPU time (s) 1044.98
Current children cumulated vsize (Kb) 15844

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2986 0 0 0 70910 2469 0 0 25 0 1 0 19814990 14180352 2956 4294967295 134512640 134702520 3221223712 3221222992 134557378 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3462 2956 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1054.39
Current children cumulated vsize (Kb) 15976

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2992 0 0 0 71823 2499 0 0 25 0 1 0 19814990 14180352 2962 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3462 2962 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1063.82
Current children cumulated vsize (Kb) 15976

[startup+1140.09 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 2996 0 0 0 72734 2531 0 0 25 0 1 0 19814990 14180352 2966 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3462 2966 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1073.25
Current children cumulated vsize (Kb) 15976

[startup+1150.09 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3001 0 0 0 73655 2559 0 0 25 0 1 0 19814990 14180352 2971 4294967295 134512640 134702520 3221223712 3220965248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3462 2971 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1082.74
Current children cumulated vsize (Kb) 15976

[startup+1160.1 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3005 0 0 0 74557 2593 0 0 18 0 1 0 19814990 14180352 2975 4294967295 134512640 134702520 3221223712 3221222608 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3462 2975 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1092.1
Current children cumulated vsize (Kb) 15976

[startup+1170.1 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3005 0 0 0 75440 2632 0 0 24 0 1 0 19814990 14180352 2975 4294967295 134512640 134702520 3221223712 3221222832 134573410 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3462 2975 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1101.32
Current children cumulated vsize (Kb) 15976

[startup+1180.1 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3005 0 0 0 76332 2671 0 0 24 0 1 0 19814990 14180352 2975 4294967295 134512640 134702520 3221223712 3221222992 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3462 2975 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1110.63
Current children cumulated vsize (Kb) 15976

[startup+1190.1 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3009 0 0 0 77224 2711 0 0 23 0 1 0 19814990 14180352 2979 4294967295 134512640 134702520 3221223712 3221222992 134553479 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3462 2979 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1119.95
Current children cumulated vsize (Kb) 15976

[startup+1200.1 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3013 0 0 0 78115 2747 0 0 23 0 1 0 19814990 14180352 2983 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3462 2983 413 48 0 3414 0
[pid=5313] vsize: 13848
Current children cumulated CPU time (s) 1129.22
Current children cumulated vsize (Kb) 15976

[startup+1210.1 s]
Raw data (loadavg): 1.02 1.01 0.94 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 3015 0 0 0 79025 2778 0 0 18 0 1 0 19814990 14295040 2985 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3490 2985 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1138.63
Current children cumulated vsize (Kb) 16088

[startup+1220.1 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3015 0 0 0 79914 2818 0 0 25 0 1 0 19814990 14295040 2985 4294967295 134512640 134702520 3221223712 3221060288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3490 2985 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1147.92
Current children cumulated vsize (Kb) 16088

[startup+1230.1 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3015 0 0 0 80806 2858 0 0 25 0 1 0 19814990 14295040 2985 4294967295 134512640 134702520 3221223712 3221032108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5313/statm): 3490 2985 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1157.24
Current children cumulated vsize (Kb) 16088

[startup+1240.1 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3017 0 0 0 81685 2897 0 0 22 0 1 0 19814990 14295040 2987 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3490 2987 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1166.42
Current children cumulated vsize (Kb) 16088

[startup+1250.1 s]
Raw data (loadavg): 1.01 1.01 0.94 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 3020 0 0 0 82598 2925 0 0 25 0 1 0 19814990 14295040 2990 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3490 2990 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1175.83
Current children cumulated vsize (Kb) 16088

[startup+1260.11 s]
Raw data (loadavg): 1.01 1.00 0.94 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 3020 0 0 0 83504 2957 0 0 25 0 1 0 19814990 14295040 2990 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3490 2990 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1185.21
Current children cumulated vsize (Kb) 16088

[startup+1270.11 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) R 5308 5308 4057 0 -1 0 3020 0 0 0 84397 2994 0 0 25 0 1 0 19814990 14295040 2990 4294967295 134512640 134702520 3221223712 3221080108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3490 2990 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1194.51
Current children cumulated vsize (Kb) 16088

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 3021 0 0 0 85288 3033 0 0 19 0 1 0 19814990 14295040 2991 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3490 2991 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1203.81
Current children cumulated vsize (Kb) 16088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.94 1/56 5313
Raw data (/proc/5308/stat): 5308 (vallstSAT2005PB) S 5307 5308 4057 0 -1 0 378 3345 0 0 1 2 30999 1058 19 0 1 0 19780986 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5308/statm): 532 248 485 147 0 385 0
[pid=5308] vsize: 2128
Raw data (/proc/5313/stat): 5313 (vallst) T 5308 5308 4057 0 -1 0 3021 0 0 0 85288 3033 0 0 19 0 1 0 19814990 14295040 2991 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5313/statm): 3490 2991 413 48 0 3442 0
[pid=5313] vsize: 13960
Current children cumulated CPU time (s) 1203.81
Current children cumulated vsize (Kb) 16088

Sending SIGTERM to -5308
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5315
New process pid=5316
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/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/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/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/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/4039/stat
open syscall for file /proc/4039/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/4039/cmdline
open syscall for file /proc/4039/environ
open syscall for file /proc/4065/stat
open syscall for file /proc/4065/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/4065/cmdline
open syscall for file /proc/4065/environ
open syscall for file /proc/5269/stat
open syscall for file /proc/5269/status
open syscall for file /proc/5269/cmdline
open syscall for file /proc/5269/environ
open syscall for file /proc/5307/stat
open syscall for file /proc/5307/status
open syscall for file /proc/5307/cmdline
open syscall for file /proc/5307/environ
open syscall for file /proc/5308/stat
open syscall for file /proc/5308/status
open syscall for file /proc/5308/cmdline
open syscall for file /proc/5308/environ
open syscall for file /proc/5313/stat
open syscall for file /proc/5313/status
open syscall for file /proc/5313/cmdline
open syscall for file /proc/5313/environ
open syscall for file /proc/5315/stat
open syscall for file /proc/5315/status
open syscall for file /proc/5315/cmdline
open syscall for file /proc/5315/environ
open syscall for file /proc/5316/stat
open syscall for file /proc/5316/status
open syscall for file /proc/5316/cmdline
open syscall for file /proc/5316/environ
One traced child (pid=5315) exited with status: 0
One traced child (pid=5316) exited with status: 0
New process pid=5317
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=5313) exited with status: 3
One traced child (pid=5317) exited with status: 0
New process pid=5318
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=5318) exited with status: 0
One traced child (pid=5308) 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): 1280.59
CPU time (s): 1204.25
CPU user time (s): 1163.22
CPU system time (s): 41.0328
CPU usage (%): 94.0388
Max. virtual memory (cumulated for all children) (Kb): 16200

Verifier Data

ERROR: no interpretation found !