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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUM4d1c8086316d85cb5ef2a3148b52a8a1
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 56373790104837136384
Optimality of the best value was proved NO
Number of terms in the objective function 85408
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 6807849934732110331904
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 6807849934732110331904
Number of bits of the biggest sum of numbers73
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1248.62
Number of variables85198
Total number of constraints37291
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)35639
Number of constraints which are nor clauses,nor cardinality constraints1652
Minimum length of a constraint1
Maximum length of a constraint35129

Trace number 9108

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 10:54:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7792 boxname=wulflinc1 idbench=760 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4d1c8086316d85cb5ef2a3148b52a8a1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dc1l.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dc1l.opb 0
IDLAUNCH: 7792
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        900484 kB
Buffers:         10404 kB
Cached:         105944 kB
SwapCached:          0 kB
Active:          78408 kB
Inactive:        40856 kB
HighTotal:      131008 kB
HighFree:        22736 kB
LowTotal:       903652 kB
LowFree:        877748 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             9304 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 11:14:45 (client local time) WITH STATUS 0 IN 150.372 SECONDS
stats: 7792 7 150.372 0

Solver Data

1:
seed: 0
Nr of vars set: 19863  (#equs: 0)
Nr of vars set: 19863  (#equs: 0)
#decisions: 17469;  #end-nodes: 8790;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 3287, #non-axs: 0
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 19863  (#equs: 0)
Time taken: 17 min, 37 sec

2:

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/5335/stat): 5335 (vallstSAT2005PB) R 5334 5335 4704 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19644985 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5335/statm): 174 3 169 147 0 27 0
[pid=5335] 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=5336
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=5336) exited with status: 0
New process pid=5337
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=5337) exited with status: 0
New process pid=5338
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/wulflinc1/normalized-mps-v2-20-10-dc1l.opb

[startup+10.0032 s]
Raw data (loadavg): 0.92 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 952 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 32144

[startup+20.004 s]
Raw data (loadavg): 0.93 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 1952 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 32144

[startup+30.0048 s]
Raw data (loadavg): 0.94 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 2952 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 32144

[startup+40.0056 s]
Raw data (loadavg): 0.95 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 4530 0 0 0 3953 27 0 0 25 0 1 0 19644992 30736384 4177 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7504 4177 413 48 0 7456 0
[pid=5338] vsize: 30016
Current children cumulated CPU time (s) 39.83
Current children cumulated vsize (Kb) 32144

[startup+50.0074 s]
Raw data (loadavg): 0.96 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 5717 0 0 0 4939 36 0 0 25 0 1 0 19644992 31686656 5364 4294967295 134512640 134702520 3221223952 3221223364 134550200 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7736 5364 413 48 0 7688 0
[pid=5338] vsize: 30944
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (Kb) 33072
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+60.0082 s]
Raw data (loadavg): 0.96 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6714 0 0 0 5926 44 0 0 25 0 1 0 19644992 32108544 6146 4294967295 134512640 134702520 3221223952 3221221568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7839 6146 413 48 0 7791 0
[pid=5338] vsize: 31356
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 33484

[startup+70.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6737 0 0 0 6926 44 0 0 25 0 1 0 19644992 32202752 6169 4294967295 134512640 134702520 3221223952 3221120448 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7862 6169 413 48 0 7814 0
[pid=5338] vsize: 31448
Current children cumulated CPU time (s) 69.73
Current children cumulated vsize (Kb) 33576

[startup+80.0098 s]
Raw data (loadavg): 0.97 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6768 0 0 0 7926 44 0 0 25 0 1 0 19644992 32329728 6200 4294967295 134512640 134702520 3221223952 3220994828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7893 6200 413 48 0 7845 0
[pid=5338] vsize: 31572
Current children cumulated CPU time (s) 79.73
Current children cumulated vsize (Kb) 33700

[startup+90.0096 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6800 0 0 0 8926 44 0 0 25 0 1 0 19644992 32460800 6232 4294967295 134512640 134702520 3221223952 3220863468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7925 6232 413 48 0 7877 0
[pid=5338] vsize: 31700
Current children cumulated CPU time (s) 89.73
Current children cumulated vsize (Kb) 33828

[startup+100.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6834 0 0 0 9926 45 0 0 25 0 1 0 19644992 32600064 6266 4294967295 134512640 134702520 3221223952 3220725248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7959 6266 413 48 0 7911 0
[pid=5338] vsize: 31836
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 33964

[startup+110.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6869 0 0 0 10927 45 0 0 25 0 1 0 19644992 32743424 6301 4294967295 134512640 134702520 3221223952 3220578848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 7994 6301 413 48 0 7946 0
[pid=5338] vsize: 31976
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 34104

[startup+120.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6907 0 0 0 11927 45 0 0 25 0 1 0 19644992 32899072 6339 4294967295 134512640 134702520 3221223952 3220423008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8032 6339 413 48 0 7984 0
[pid=5338] vsize: 32128
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 34256

[startup+130.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6948 0 0 0 12927 45 0 0 25 0 1 0 19644992 33067008 6380 4294967295 134512640 134702520 3221223952 3220255468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8073 6380 413 48 0 8025 0
[pid=5338] vsize: 32292
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (Kb) 34420

[startup+140.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 6993 0 0 0 13927 45 0 0 25 0 1 0 19644992 33251328 6425 4294967295 134512640 134702520 3221223952 3220072928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8118 6425 413 48 0 8070 0
[pid=5338] vsize: 32472
Current children cumulated CPU time (s) 139.75
Current children cumulated vsize (Kb) 34600

[startup+150.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7042 0 0 0 14927 45 0 0 25 0 1 0 19644992 33452032 6474 4294967295 134512640 134702520 3221223952 3219873248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8167 6474 413 48 0 8119 0
[pid=5338] vsize: 32668
Current children cumulated CPU time (s) 149.75
Current children cumulated vsize (Kb) 34796

[startup+160.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7097 0 0 0 15927 45 0 0 25 0 1 0 19644992 33677312 6529 4294967295 134512640 134702520 3221223952 3219645388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8222 6529 413 48 0 8174 0
[pid=5338] vsize: 32888
Current children cumulated CPU time (s) 159.75
Current children cumulated vsize (Kb) 35016

[startup+170.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7162 0 0 0 16927 45 0 0 25 0 1 0 19644992 33943552 6594 4294967295 134512640 134702520 3221223952 3219379328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8287 6594 413 48 0 8239 0
[pid=5338] vsize: 33148
Current children cumulated CPU time (s) 169.75
Current children cumulated vsize (Kb) 35276

[startup+180.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7243 0 0 0 17927 46 0 0 25 0 1 0 19644992 34275328 6675 4294967295 134512640 134702520 3221223952 3219046668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8368 6675 413 48 0 8320 0
[pid=5338] vsize: 33472
Current children cumulated CPU time (s) 179.76
Current children cumulated vsize (Kb) 35600

[startup+190.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7374 0 0 0 18927 46 0 0 25 0 1 0 19644992 34811904 6806 4294967295 134512640 134702520 3221223952 3218513728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 8499 6806 413 48 0 8451 0
[pid=5338] vsize: 33996
Current children cumulated CPU time (s) 189.76
Current children cumulated vsize (Kb) 36124

[startup+200.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 19914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3221159548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 199.67
Current children cumulated vsize (Kb) 71628

[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 20914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3221041468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 209.67
Current children cumulated vsize (Kb) 71628

[startup+220.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 21914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220918748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 219.67
Current children cumulated vsize (Kb) 71628

[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 22914 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220790588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 229.67
Current children cumulated vsize (Kb) 71628

[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 23915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220655868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 239.68
Current children cumulated vsize (Kb) 71628

[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 24915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220513808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 249.68
Current children cumulated vsize (Kb) 71628

[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 25915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220362908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 259.68
Current children cumulated vsize (Kb) 71628

[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 26915 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220201488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 269.68
Current children cumulated vsize (Kb) 71628

[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 27916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3220026928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (Kb) 71628

[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 28916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219835568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 289.69
Current children cumulated vsize (Kb) 71628

[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 29916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219622128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 299.69
Current children cumulated vsize (Kb) 71628

[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 30916 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219378108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 309.69
Current children cumulated vsize (Kb) 71628

[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 31917 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3219084828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 319.7
Current children cumulated vsize (Kb) 71628

[startup+330.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 5338
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7545 0 0 0 32917 50 0 0 25 0 1 0 19644992 71168000 6977 4294967295 134512640 134702520 3221223952 3218689168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6977 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 329.7
Current children cumulated vsize (Kb) 71628

[startup+340.026 s]
Raw data (loadavg): 1.07 0.99 0.91 2/60 5392
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 33907 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221198928 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (Kb) 71628

[startup+350.116 s]
Raw data (loadavg): 1.14 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 34908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221083548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 349.68
Current children cumulated vsize (Kb) 71628

[startup+360.117 s]
Raw data (loadavg): 1.11 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 35908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220963728 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 359.68
Current children cumulated vsize (Kb) 71628

[startup+370.117 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 36908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220838768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 369.68
Current children cumulated vsize (Kb) 71628

[startup+380.118 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 5393
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 37908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220708028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 379.68
Current children cumulated vsize (Kb) 71628

[startup+390.118 s]
Raw data (loadavg): 1.07 1.00 0.92 2/58 5395
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 38908 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220570268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 389.68
Current children cumulated vsize (Kb) 71628

[startup+400.119 s]
Raw data (loadavg): 1.13 1.02 0.93 2/56 5395
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 39909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220424528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 399.69
Current children cumulated vsize (Kb) 71628

[startup+410.12 s]
Raw data (loadavg): 1.11 1.02 0.93 2/56 5397
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 40909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220269168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 409.69
Current children cumulated vsize (Kb) 71628

[startup+420.12 s]
Raw data (loadavg): 1.09 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 41909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220101968 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 419.69
Current children cumulated vsize (Kb) 71628

[startup+430.12 s]
Raw data (loadavg): 1.08 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 42909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219920028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 429.69
Current children cumulated vsize (Kb) 71628

[startup+440.12 s]
Raw data (loadavg): 1.07 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 43909 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219718908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 439.69
Current children cumulated vsize (Kb) 71628

[startup+450.121 s]
Raw data (loadavg): 1.06 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 44910 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219492188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 449.7
Current children cumulated vsize (Kb) 71628

[startup+460.122 s]
Raw data (loadavg): 1.05 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 45910 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219227388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 459.7
Current children cumulated vsize (Kb) 71628

[startup+470.123 s]
Raw data (loadavg): 1.04 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 46910 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3218894288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 469.7
Current children cumulated vsize (Kb) 71628

[startup+480.123 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 47911 57 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3218362608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 479.71
Current children cumulated vsize (Kb) 71628

[startup+490.124 s]
Raw data (loadavg): 1.03 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 48898 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221146908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 489.62
Current children cumulated vsize (Kb) 71628

[startup+500.125 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 49899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3221028528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 499.63
Current children cumulated vsize (Kb) 71628

[startup+510.126 s]
Raw data (loadavg): 1.02 1.01 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 50899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220905148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 509.63
Current children cumulated vsize (Kb) 71628

[startup+520.126 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 51899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220776348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 519.63
Current children cumulated vsize (Kb) 71628

[startup+530.127 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 52899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220641008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 529.63
Current children cumulated vsize (Kb) 71628

[startup+540.128 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 53899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220498108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 539.63
Current children cumulated vsize (Kb) 71628

[startup+550.129 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 54899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220346268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 549.63
Current children cumulated vsize (Kb) 71628

[startup+560.13 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 55899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220183548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 559.63
Current children cumulated vsize (Kb) 71628

[startup+570.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 56899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3220007388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 569.63
Current children cumulated vsize (Kb) 71628

[startup+580.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 57899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219813968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 579.63
Current children cumulated vsize (Kb) 71628

[startup+590.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 58899 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219597968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 589.63
Current children cumulated vsize (Kb) 71628

[startup+600.133 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 59900 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219349948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 599.64
Current children cumulated vsize (Kb) 71628

[startup+610.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 60900 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3219049628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 609.64
Current children cumulated vsize (Kb) 71628

[startup+620.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7549 0 0 0 61900 61 0 0 25 0 1 0 19644992 71168000 6981 4294967295 134512640 134702520 3221223952 3218635248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6981 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 619.64
Current children cumulated vsize (Kb) 71628

[startup+630.134 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 62888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3221192048 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 629.57
Current children cumulated vsize (Kb) 71628

[startup+640.135 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 63888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3221075248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 639.57
Current children cumulated vsize (Kb) 71628

[startup+650.137 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 64888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220953948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 649.57
Current children cumulated vsize (Kb) 71628

[startup+660.138 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5399
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 65888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220827408 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 659.57
Current children cumulated vsize (Kb) 71628

[startup+670.138 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 66888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220694748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 669.57
Current children cumulated vsize (Kb) 71628

[startup+680.139 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 67888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220554928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 679.57
Current children cumulated vsize (Kb) 71628

[startup+690.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 68888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220406768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 689.57
Current children cumulated vsize (Kb) 71628

[startup+700.142 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 69888 66 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220248508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 699.57
Current children cumulated vsize (Kb) 71628

[startup+710.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 70888 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3220078128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 709.58
Current children cumulated vsize (Kb) 71628

[startup+720.142 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 71888 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219891888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 719.58
Current children cumulated vsize (Kb) 71628

[startup+730.143 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 72888 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219685468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 729.58
Current children cumulated vsize (Kb) 71628

[startup+740.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 73889 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219451568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 739.59
Current children cumulated vsize (Kb) 71628

[startup+750.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 74889 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3219175408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 749.59
Current children cumulated vsize (Kb) 71628

[startup+760.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7553 0 0 0 75889 67 0 0 25 0 1 0 19644992 71168000 6985 4294967295 134512640 134702520 3221223952 3218819708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6985 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 759.59
Current children cumulated vsize (Kb) 71628

[startup+770.146 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) T 5335 5335 4704 0 -1 0 7555 0 0 0 76882 69 0 0 25 0 1 0 19644992 71168000 6987 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6987 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 769.54
Current children cumulated vsize (Kb) 71628

[startup+780.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 77874 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3221117628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 779.49
Current children cumulated vsize (Kb) 71628

[startup+790.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 78874 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220999228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 789.49
Current children cumulated vsize (Kb) 71628

[startup+800.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 79875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220875868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 799.5
Current children cumulated vsize (Kb) 71628

[startup+810.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 80875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220746768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 809.5
Current children cumulated vsize (Kb) 71628

[startup+820.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 81875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220611248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 819.5
Current children cumulated vsize (Kb) 71628

[startup+830.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 82875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220467868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 829.5
Current children cumulated vsize (Kb) 71628

[startup+840.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 83875 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220315568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 839.5
Current children cumulated vsize (Kb) 71628

[startup+850.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 84876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3220152188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 849.51
Current children cumulated vsize (Kb) 71628

[startup+860.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 85876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219974928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 859.51
Current children cumulated vsize (Kb) 71628

[startup+870.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 86876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219779888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 869.51
Current children cumulated vsize (Kb) 71628

[startup+880.153 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 87876 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219561648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 879.51
Current children cumulated vsize (Kb) 71628

[startup+890.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 88877 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219309808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 889.52
Current children cumulated vsize (Kb) 71628

[startup+900.154 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 89877 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3219002128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 899.52
Current children cumulated vsize (Kb) 71628

[startup+910.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7556 0 0 0 90877 72 0 0 25 0 1 0 19644992 71168000 6988 4294967295 134512640 134702520 3221223952 3218563728 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5338/statm): 17375 6988 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 909.52
Current children cumulated vsize (Kb) 71628

[startup+920.155 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 91862 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3221178608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 919.43
Current children cumulated vsize (Kb) 71628

[startup+930.156 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 92862 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3221061308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 929.43
Current children cumulated vsize (Kb) 71628

[startup+940.157 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 93863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220939408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 939.44
Current children cumulated vsize (Kb) 71628

[startup+950.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 94863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220812208 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 949.44
Current children cumulated vsize (Kb) 71628

[startup+960.159 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 95863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220678608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 959.44
Current children cumulated vsize (Kb) 71628

[startup+970.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 96863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220537948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 969.44
Current children cumulated vsize (Kb) 71628

[startup+980.161 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 97863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220388668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 979.44
Current children cumulated vsize (Kb) 71628

[startup+990.162 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 98863 78 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220229168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 989.44
Current children cumulated vsize (Kb) 71628

[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 99863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3220057008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 999.45
Current children cumulated vsize (Kb) 71628

[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 100863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219868668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1009.45
Current children cumulated vsize (Kb) 71628

[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 101863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219659568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1019.45
Current children cumulated vsize (Kb) 71628

[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 102863 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219421648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1029.45
Current children cumulated vsize (Kb) 71628

[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 103864 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3219138768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1039.46
Current children cumulated vsize (Kb) 71628

[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7558 0 0 0 104864 79 0 0 25 0 1 0 19644992 71168000 6990 4294967295 134512640 134702520 3221223952 3218768048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17375 6990 413 48 0 17327 0
[pid=5338] vsize: 69500
Current children cumulated CPU time (s) 1049.46
Current children cumulated vsize (Kb) 71628
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5401
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19644985 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5335/statm): 532 242 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5338/stat): 5338 (vallst) R 5335 5335 4704 0 -1 0 7560 0 0 0 105845 92 0 0 25 0 1 0 19644992 71172096 6992 4294967295 134512640 134702520 3221223952 3221222040 1074332013 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5338/statm): 17376 6992 413 48 0 17328 0
[pid=5338] vsize: 69504
Current children cumulated CPU time (s) 1059.4
Current children cumulated vsize (Kb) 71632
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5338) exited with status: 2
New process pid=5402
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=5402) exited with status: 0
New process pid=5403
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+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5258 0 0 0 808 35 0 0 25 0 1 0 19751156 27156480 5228 4294967295 134512640 134702520 3221223712 3221208668 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6630 5228 413 48 0 6582 0
[pid=5403] vsize: 26520
Current children cumulated CPU time (s) 1069.17
Current children cumulated vsize (Kb) 28648

[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5280 0 0 0 1808 35 0 0 25 0 1 0 19751156 27246592 5250 4294967295 134512640 134702520 3221223712 3221115728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6652 5250 413 48 0 6604 0
[pid=5403] vsize: 26608
Current children cumulated CPU time (s) 1079.17
Current children cumulated vsize (Kb) 28736

[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5311 0 0 0 2808 35 0 0 25 0 1 0 19751156 27373568 5281 4294967295 134512640 134702520 3221223712 3220988368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6683 5281 413 48 0 6635 0
[pid=5403] vsize: 26732
Current children cumulated CPU time (s) 1089.17
Current children cumulated vsize (Kb) 28860

[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5344 0 0 0 3808 36 0 0 25 0 1 0 19751156 27508736 5314 4294967295 134512640 134702520 3221223712 3220855248 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6716 5314 413 48 0 6668 0
[pid=5403] vsize: 26864
Current children cumulated CPU time (s) 1099.18
Current children cumulated vsize (Kb) 28992

[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5378 0 0 0 4808 36 0 0 25 0 1 0 19751156 27648000 5348 4294967295 134512640 134702520 3221223712 3220715248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6750 5348 413 48 0 6702 0
[pid=5403] vsize: 27000
Current children cumulated CPU time (s) 1109.18
Current children cumulated vsize (Kb) 29128

[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5414 0 0 0 5808 36 0 0 25 0 1 0 19751156 27795456 5384 4294967295 134512640 134702520 3221223712 3220567388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6786 5384 413 48 0 6738 0
[pid=5403] vsize: 27144
Current children cumulated CPU time (s) 1119.18
Current children cumulated vsize (Kb) 29272

[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5453 0 0 0 6808 36 0 0 25 0 1 0 19751156 27955200 5423 4294967295 134512640 134702520 3221223712 3220409788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6825 5423 413 48 0 6777 0
[pid=5403] vsize: 27300
Current children cumulated CPU time (s) 1129.18
Current children cumulated vsize (Kb) 29428

[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5494 0 0 0 7808 36 0 0 25 0 1 0 19751156 28123136 5464 4294967295 134512640 134702520 3221223712 3220240208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6866 5464 413 48 0 6818 0
[pid=5403] vsize: 27464
Current children cumulated CPU time (s) 1139.18
Current children cumulated vsize (Kb) 29592

[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5539 0 0 0 8808 36 0 0 25 0 1 0 19751156 28307456 5509 4294967295 134512640 134702520 3221223712 3220055728 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6911 5509 413 48 0 6863 0
[pid=5403] vsize: 27644
Current children cumulated CPU time (s) 1149.18
Current children cumulated vsize (Kb) 29772

[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5589 0 0 0 9808 36 0 0 25 0 1 0 19751156 28512256 5559 4294967295 134512640 134702520 3221223712 3219853308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 6961 5559 413 48 0 6913 0
[pid=5403] vsize: 27844
Current children cumulated CPU time (s) 1159.18
Current children cumulated vsize (Kb) 29972

[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5645 0 0 0 10808 36 0 0 25 0 1 0 19751156 28741632 5615 4294967295 134512640 134702520 3221223712 3219621628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7017 5615 413 48 0 6969 0
[pid=5403] vsize: 28068
Current children cumulated CPU time (s) 1169.18
Current children cumulated vsize (Kb) 30196

[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5711 0 0 0 11808 36 0 0 25 0 1 0 19751156 29011968 5681 4294967295 134512640 134702520 3221223712 3219351888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7083 5681 413 48 0 7035 0
[pid=5403] vsize: 28332
Current children cumulated CPU time (s) 1179.18
Current children cumulated vsize (Kb) 30460

[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5796 0 0 0 12808 36 0 0 25 0 1 0 19751156 29360128 5766 4294967295 134512640 134702520 3221223712 3219005308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7168 5766 413 48 0 7120 0
[pid=5403] vsize: 28672
Current children cumulated CPU time (s) 1189.18
Current children cumulated vsize (Kb) 30800

[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 5940 0 0 0 13808 37 0 0 25 0 1 0 19751156 29949952 5910 4294967295 134512640 134702520 3221223712 3218414128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 7312 5910 413 48 0 7264 0
[pid=5403] vsize: 29248
Current children cumulated CPU time (s) 1199.19
Current children cumulated vsize (Kb) 31376

[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 6117 0 0 0 14793 42 0 0 25 0 1 0 19751156 61497344 6086 4294967295 134512640 134702520 3221223712 3221143328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 15014 6086 413 48 0 14966 0
[pid=5403] vsize: 60056
Current children cumulated CPU time (s) 1209.09
Current children cumulated vsize (Kb) 62184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5403
Raw data (/proc/5335/stat): 5335 (vallstSAT2005PB) S 5334 5335 4704 0 -1 0 378 7933 0 0 1 1 105964 108 19 0 1 0 19644985 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5335/statm): 532 248 485 147 0 385 0
[pid=5335] vsize: 2128
Raw data (/proc/5403/stat): 5403 (vallst) R 5335 5335 4704 0 -1 0 6117 0 0 0 14793 42 0 0 25 0 1 0 19751156 61497344 6086 4294967295 134512640 134702520 3221223712 3221143328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5403/statm): 15014 6086 413 48 0 14966 0
[pid=5403] vsize: 60056
Current children cumulated CPU time (s) 1209.09
Current children cumulated vsize (Kb) 62184

Sending SIGTERM to -5335
Sleeping 2 seconds
New process pid=5405
New process pid=5406
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4506/stat
open syscall for file /proc/4506/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/4506/cmdline
open syscall for file /proc/4506/environ
open syscall for file /proc/4712/stat
open syscall for file /proc/4712/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/4712/cmdline
open syscall for file /proc/4712/environ
open syscall for file /proc/5296/stat
open syscall for file /proc/5296/status
open syscall for file /proc/5296/cmdline
open syscall for file /proc/5296/environ
open syscall for file /proc/5334/stat
open syscall for file /proc/5334/status
open syscall for file /proc/5334/cmdline
open syscall for file /proc/5334/environ
open syscall for file /proc/5335/stat
open syscall for file /proc/5335/status
open syscall for file /proc/5335/cmdline
open syscall for file /proc/5335/environ
open syscall for file /proc/5403/stat
open syscall for file /proc/5403/status
open syscall for file /proc/5403/cmdline
open syscall for file /proc/5403/environ
open syscall for file /proc/5405/stat
open syscall for file /proc/5405/status
open syscall for file /proc/5405/cmdline
open syscall for file /proc/5405/environ
open syscall for file /proc/5406/stat
open syscall for file /proc/5406/status
open syscall for file /proc/5406/cmdline
open syscall for file /proc/5406/environ
One traced child (pid=5405) exited with status: 0
One traced child (pid=5406) exited with status: 0
New process pid=5407
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=5407) exited with status: 0
New process pid=5408
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=5408) exited with status: 0
One traced child (pid=5335) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5335
One traced child (pid=5403) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.2
CPU time (s): 150.372
CPU user time (s): 149.932
CPU system time (s): 0.439933
CPU usage (%): 12.4049
Max. virtual memory (cumulated for all children) (Kb): 71632

Verifier Data

ERROR: no interpretation found !