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/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUMee388359e66788d310d5d5b34d6465c1
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 8904
Biggest coefficient in the objective function 2258
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 5135151
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 2258
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 5135151
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables8904
Total number of constraints9727
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)9727
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint368

Trace number 4301

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-19 06:15:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7589 boxname=wulflinc28 idbench=557 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air04.opb 0
IDLAUNCH: 7589
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        839672 kB
Buffers:         35512 kB
Cached:         130800 kB
SwapCached:        696 kB
Active:          78220 kB
Inactive:        90644 kB
HighTotal:      131008 kB
HighFree:        34244 kB
LowTotal:       903652 kB
LowFree:        805428 kB
SwapTotal:     2097640 kB
SwapFree:      2096372 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            20448 kB
Committed_AS:    64128 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 06:37:12 (client local time) WITH STATUS 0 IN 1206.41 SECONDS
stats: 7589 7 1206.41 0

Solver Data

1:
seed: 0
Nr of vars set: 0  (#equs: 0)
Nr of vars set: 1443  (#equs: 4)
#decisions: 531136;  #end-nodes: 246395;
#proof improvement attempts: 0;  #restarts: 384
Current batch, end-nodes: 0 / 1005 (175)
#axs: 1652, #non-axs: 7171
tight: meta-meta: start: 5, end: 7;  meta: start: 9, end (keep): 16
loose: meta-meta: start: 8, end: 12;  meta: start: 27, end (keep): 43
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: 1553  (#equs: 5)
Time taken: 6 min, 13 sec

2:
seed: 0
Nr of vars set: 1553  (#equs: 0)
Nr of vars set: 1553  (#equs: 0)
#decisions: 1367101;  #end-nodes: 643845;
#proof improvement attempts: 0;  #restarts: 672
Current batch, end-nodes: 0 / 306 (287)
#axs: 1629, #non-axs: 3133
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8;  meta: start: 14, end (keep): 20
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1575  (#equs: 1)
Time taken: 12 min, 49 sec

3:
seed: 0
Nr of vars set: 1575  (#equs: 0)
Nr of vars set: 1576  (#equs: 0)
Interupt request received.
#decisions: 116006;  #end-nodes: 47362;
#proof improvement attempts: 0;  #restarts: 87
Current batch, end-nodes: 1152 / 2099 (181)
#axs: 1628, #non-axs: 3264
tight: meta-meta: start: 3, end: 3;  meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8;  meta: start: 14, end (keep): 20
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6170  (#equs: 0)
Time taken in seconds: 62

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/10385/stat): 10385 (vallstSAT2005PB) R 10384 10385 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847672061 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10385/statm): 174 3 169 147 0 27 0
[pid=10385] 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=10386
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=10386) exited with status: 0
New process pid=10387
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=10387) exited with status: 0
New process pid=10388
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/wulflinc28/normalized-mps-v2-20-10-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0033 s]
Raw data (loadavg): 0.87 0.95 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1122 0 0 0 892 38 0 0 25 0 1 0 1847672069 6574080 1038 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 1605 1038 413 48 0 1557 0
[pid=10388] vsize: 6420
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (Kb) 8548

[startup+20.004 s]
Raw data (loadavg): 0.89 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1174 0 0 0 1759 85 0 0 23 0 1 0 1847672069 12619776 1090 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3081 1090 413 48 0 3033 0
[pid=10388] vsize: 12324
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (Kb) 14452

[startup+30.0047 s]
Raw data (loadavg): 0.90 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1255 0 0 0 2658 121 0 0 25 0 1 0 1847672069 12709888 1171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3103 1171 413 48 0 3055 0
[pid=10388] vsize: 12412
Current children cumulated CPU time (s) 27.8
Current children cumulated vsize (Kb) 14540

[startup+40.0053 s]
Raw data (loadavg): 0.92 0.96 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1302 0 0 0 3568 152 0 0 25 0 1 0 1847672069 12709888 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3103 1218 413 48 0 3055 0
[pid=10388] vsize: 12412
Current children cumulated CPU time (s) 37.21
Current children cumulated vsize (Kb) 14540

[startup+50.007 s]
Raw data (loadavg): 0.93 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1507 0 0 0 4470 189 0 0 24 0 1 0 1847672069 12845056 1423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3136 1423 413 48 0 3088 0
[pid=10388] vsize: 12544
Current children cumulated CPU time (s) 46.6
Current children cumulated vsize (Kb) 14672

[startup+60.0077 s]
Raw data (loadavg): 0.94 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1523 0 0 0 5378 220 0 0 25 0 1 0 1847672069 12980224 1439 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3169 1439 413 48 0 3121 0
[pid=10388] vsize: 12676
Current children cumulated CPU time (s) 55.99
Current children cumulated vsize (Kb) 14804

[startup+70.0084 s]
Raw data (loadavg): 0.95 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1524 0 0 0 6274 257 0 0 25 0 1 0 1847672069 12980224 1440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3169 1440 413 48 0 3121 0
[pid=10388] vsize: 12676
Current children cumulated CPU time (s) 65.32
Current children cumulated vsize (Kb) 14804

[startup+80.0091 s]
Raw data (loadavg): 0.96 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1541 0 0 0 7168 293 0 0 25 0 1 0 1847672069 12988416 1457 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3171 1457 413 48 0 3123 0
[pid=10388] vsize: 12684
Current children cumulated CPU time (s) 74.62
Current children cumulated vsize (Kb) 14812

[startup+90.0098 s]
Raw data (loadavg): 0.96 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2062 0 0 0 8079 325 0 0 25 0 1 0 1847672069 13123584 1978 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3204 1978 413 48 0 3156 0
[pid=10388] vsize: 12816
Current children cumulated CPU time (s) 84.05
Current children cumulated vsize (Kb) 14944

[startup+100.011 s]
Raw data (loadavg): 0.97 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2209 0 0 0 8997 353 0 0 25 0 1 0 1847672069 13258752 2125 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3237 2125 413 48 0 3189 0
[pid=10388] vsize: 12948
Current children cumulated CPU time (s) 93.51
Current children cumulated vsize (Kb) 15076

[startup+110.012 s]
Raw data (loadavg): 0.97 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2469 0 0 0 9909 381 0 0 25 0 1 0 1847672069 13258752 2385 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3237 2385 413 48 0 3189 0
[pid=10388] vsize: 12948
Current children cumulated CPU time (s) 102.91
Current children cumulated vsize (Kb) 15076

[startup+120.013 s]
Raw data (loadavg): 0.98 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2848 0 0 0 10829 410 0 0 25 0 1 0 1847672069 13393920 2764 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3270 2764 413 48 0 3222 0
[pid=10388] vsize: 13080
Current children cumulated CPU time (s) 112.4
Current children cumulated vsize (Kb) 15208

[startup+130.014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2850 0 0 0 11734 442 0 0 17 0 1 0 1847672069 13393920 2766 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3270 2766 413 48 0 3222 0
[pid=10388] vsize: 13080
Current children cumulated CPU time (s) 121.77
Current children cumulated vsize (Kb) 15208

[startup+140.014 s]
Raw data (loadavg): 0.98 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2854 0 0 0 12635 477 0 0 24 0 1 0 1847672069 13393920 2770 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3270 2770 413 48 0 3222 0
[pid=10388] vsize: 13080
Current children cumulated CPU time (s) 131.13
Current children cumulated vsize (Kb) 15208

[startup+150.015 s]
Raw data (loadavg): 0.98 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2863 0 0 0 13541 509 0 0 25 0 1 0 1847672069 13545472 2779 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3307 2779 413 48 0 3259 0
[pid=10388] vsize: 13228
Current children cumulated CPU time (s) 140.51
Current children cumulated vsize (Kb) 15356

[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2912 0 0 0 14452 539 0 0 25 0 1 0 1847672069 13680640 2828 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10388/statm): 3340 2828 413 48 0 3292 0
[pid=10388] vsize: 13360
Current children cumulated CPU time (s) 149.92
Current children cumulated vsize (Kb) 15488

[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2943 0 0 0 15387 563 0 0 25 0 1 0 1847672069 13815808 2859 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3373 2859 413 48 0 3325 0
[pid=10388] vsize: 13492
Current children cumulated CPU time (s) 159.51
Current children cumulated vsize (Kb) 15620

[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2957 0 0 0 16312 588 0 0 25 0 1 0 1847672069 13815808 2873 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/10388/statm): 3373 2873 413 48 0 3325 0
[pid=10388] vsize: 13492
Current children cumulated CPU time (s) 169.01
Current children cumulated vsize (Kb) 15620

[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2994 0 0 0 17227 619 0 0 25 0 1 0 1847672069 13950976 2910 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3406 2910 413 48 0 3358 0
[pid=10388] vsize: 13624
Current children cumulated CPU time (s) 178.47
Current children cumulated vsize (Kb) 15752

[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3000 0 0 0 18147 646 0 0 25 0 1 0 1847672069 13950976 2916 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3406 2916 413 48 0 3358 0
[pid=10388] vsize: 13624
Current children cumulated CPU time (s) 187.94
Current children cumulated vsize (Kb) 15752

[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3005 0 0 0 19050 680 0 0 25 0 1 0 1847672069 13950976 2921 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3406 2921 413 48 0 3358 0
[pid=10388] vsize: 13624
Current children cumulated CPU time (s) 197.31
Current children cumulated vsize (Kb) 15752

[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3019 0 0 0 19950 715 0 0 25 0 1 0 1847672069 14086144 2935 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3439 2935 413 48 0 3391 0
[pid=10388] vsize: 13756
Current children cumulated CPU time (s) 206.66
Current children cumulated vsize (Kb) 15884

[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 3030 0 0 0 20869 745 0 0 25 0 1 0 1847672069 14086144 2946 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3439 2946 413 48 0 3391 0
[pid=10388] vsize: 13756
Current children cumulated CPU time (s) 216.15
Current children cumulated vsize (Kb) 15884

[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3030 0 0 0 21776 778 0 0 22 0 1 0 1847672069 14086144 2946 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3439 2946 413 48 0 3391 0
[pid=10388] vsize: 13756
Current children cumulated CPU time (s) 225.55
Current children cumulated vsize (Kb) 15884

[startup+250.022 s]
Raw data (loadavg): 1.07 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3050 0 0 0 22697 805 0 0 25 0 1 0 1847672069 14221312 2966 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3472 2966 413 48 0 3424 0
[pid=10388] vsize: 13888
Current children cumulated CPU time (s) 235.03
Current children cumulated vsize (Kb) 16016

[startup+260.022 s]
Raw data (loadavg): 1.06 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3060 0 0 0 23614 833 0 0 25 0 1 0 1847672069 14221312 2976 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3472 2976 413 48 0 3424 0
[pid=10388] vsize: 13888
Current children cumulated CPU time (s) 244.48
Current children cumulated vsize (Kb) 16016

[startup+270.022 s]
Raw data (loadavg): 1.05 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3117 0 0 0 24527 862 0 0 23 0 1 0 1847672069 14221312 3033 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3472 3033 413 48 0 3424 0
[pid=10388] vsize: 13888
Current children cumulated CPU time (s) 253.9
Current children cumulated vsize (Kb) 16016

[startup+280.023 s]
Raw data (loadavg): 1.04 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3188 0 0 0 25443 894 0 0 25 0 1 0 1847672069 14356480 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3505 3104 413 48 0 3457 0
[pid=10388] vsize: 14020
Current children cumulated CPU time (s) 263.38
Current children cumulated vsize (Kb) 16148

[startup+290.024 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3270 0 0 0 26366 921 0 0 25 0 1 0 1847672069 15179776 3186 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3706 3186 413 48 0 3658 0
[pid=10388] vsize: 14824
Current children cumulated CPU time (s) 272.88
Current children cumulated vsize (Kb) 16952

[startup+300.024 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3355 0 0 0 27284 950 0 0 25 0 1 0 1847672069 15179776 3271 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3706 3271 413 48 0 3658 0
[pid=10388] vsize: 14824
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (Kb) 16952

[startup+310.025 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3424 0 0 0 28218 972 0 0 25 0 1 0 1847672069 15314944 3340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3739 3340 413 48 0 3691 0
[pid=10388] vsize: 14956
Current children cumulated CPU time (s) 291.91
Current children cumulated vsize (Kb) 17084

[startup+320.025 s]
Raw data (loadavg): 1.02 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3480 0 0 0 29151 994 0 0 25 0 1 0 1847672069 15450112 3396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3772 3396 413 48 0 3724 0
[pid=10388] vsize: 15088
Current children cumulated CPU time (s) 301.46
Current children cumulated vsize (Kb) 17216

[startup+330.025 s]
Raw data (loadavg): 1.02 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3579 0 0 0 30081 1020 0 0 25 0 1 0 1847672069 16408576 3495 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4006 3495 413 48 0 3958 0
[pid=10388] vsize: 16024
Current children cumulated CPU time (s) 311.02
Current children cumulated vsize (Kb) 18152

[startup+340.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3670 0 0 0 31022 1039 0 0 25 0 1 0 1847672069 16678912 3586 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4072 3586 413 48 0 4024 0
[pid=10388] vsize: 16288
Current children cumulated CPU time (s) 320.62
Current children cumulated vsize (Kb) 18416

[startup+350.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3746 0 0 0 31954 1063 0 0 25 0 1 0 1847672069 16678912 3662 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4072 3662 413 48 0 4024 0
[pid=10388] vsize: 16288
Current children cumulated CPU time (s) 330.18
Current children cumulated vsize (Kb) 18416

[startup+360.027 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3824 0 0 0 32887 1086 0 0 25 0 1 0 1847672069 16814080 3740 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4105 3740 413 48 0 4057 0
[pid=10388] vsize: 16420
Current children cumulated CPU time (s) 339.74
Current children cumulated vsize (Kb) 18548

[startup+370.028 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3861 0 0 0 33825 1106 0 0 25 0 1 0 1847672069 17784832 3777 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4342 3777 413 48 0 4294 0
[pid=10388] vsize: 17368
Current children cumulated CPU time (s) 349.32
Current children cumulated vsize (Kb) 19496

[startup+380.029 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3869 0 0 0 34760 1131 0 0 25 0 1 0 1847672069 17788928 3785 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4343 3785 413 48 0 4295 0
[pid=10388] vsize: 17372
Current children cumulated CPU time (s) 358.92
Current children cumulated vsize (Kb) 19500

[startup+390.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3872 0 0 0 35683 1161 0 0 25 0 1 0 1847672069 17788928 3788 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4343 3788 413 48 0 4295 0
[pid=10388] vsize: 17372
Current children cumulated CPU time (s) 368.45
Current children cumulated vsize (Kb) 19500
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=10388) exited with status: 2
New process pid=10389
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=10389) exited with status: 0
New process pid=10390
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf

[startup+400.031 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 1022 0 0 0 403 13 0 0 25 0 1 0 1847711632 6324224 992 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 1544 992 413 48 0 1496 0
[pid=10390] vsize: 6176
Current children cumulated CPU time (s) 377.98
Current children cumulated vsize (Kb) 8304

[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 1045 0 0 0 1335 36 0 0 25 0 1 0 1847711632 6488064 1015 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 1584 1015 413 48 0 1536 0
[pid=10390] vsize: 6336
Current children cumulated CPU time (s) 387.53
Current children cumulated vsize (Kb) 8464

[startup+420.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 1250 0 0 0 2251 67 0 0 20 0 1 0 1847711632 12083200 1220 4294967295 134512640 134702520 3221223712 3221222832 134573359 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 2950 1220 413 48 0 2902 0
[pid=10390] vsize: 11800
Current children cumulated CPU time (s) 397
Current children cumulated vsize (Kb) 13928

[startup+430.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 1280 0 0 0 3160 100 0 0 25 0 1 0 1847711632 12226560 1250 4294967295 134512640 134702520 3221223712 3221003808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 2985 1250 413 48 0 2937 0
[pid=10390] vsize: 11940
Current children cumulated CPU time (s) 406.42
Current children cumulated vsize (Kb) 14068

[startup+440.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 1522 0 0 0 4063 136 0 0 25 0 1 0 1847711632 12361728 1492 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3018 1492 413 48 0 2970 0
[pid=10390] vsize: 12072
Current children cumulated CPU time (s) 415.81
Current children cumulated vsize (Kb) 14200

[startup+450.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2305 0 0 0 4953 178 0 0 25 0 1 0 1847711632 12632064 2275 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3084 2275 413 48 0 3036 0
[pid=10390] vsize: 12336
Current children cumulated CPU time (s) 425.13
Current children cumulated vsize (Kb) 14464

[startup+460.037 s]
Raw data (loadavg): 1.07 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2632 0 0 0 5862 207 0 0 25 0 1 0 1847711632 12767232 2602 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3117 2602 413 48 0 3069 0
[pid=10390] vsize: 12468
Current children cumulated CPU time (s) 434.51
Current children cumulated vsize (Kb) 14596

[startup+470.038 s]
Raw data (loadavg): 1.06 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2683 0 0 0 6769 242 0 0 25 0 1 0 1847711632 13037568 2653 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2653 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 443.93
Current children cumulated vsize (Kb) 14860

[startup+480.04 s]
Raw data (loadavg): 1.05 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2693 0 0 0 7690 270 0 0 25 0 1 0 1847711632 13037568 2663 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2663 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 453.42
Current children cumulated vsize (Kb) 14860

[startup+490.04 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2693 0 0 0 8605 299 0 0 25 0 1 0 1847711632 13037568 2663 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2663 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 462.86
Current children cumulated vsize (Kb) 14860

[startup+500.042 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2696 0 0 0 9510 332 0 0 25 0 1 0 1847711632 13037568 2666 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2666 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 472.24
Current children cumulated vsize (Kb) 14860

[startup+510.043 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2701 0 0 0 10405 370 0 0 25 0 1 0 1847711632 13037568 2671 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3183 2671 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 481.57
Current children cumulated vsize (Kb) 14860

[startup+520.043 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2709 0 0 0 11302 408 0 0 25 0 1 0 1847711632 13148160 2679 4294967295 134512640 134702520 3221223712 3221111648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2679 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 490.92
Current children cumulated vsize (Kb) 14968

[startup+530.044 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2715 0 0 0 12202 445 0 0 25 0 1 0 1847711632 13148160 2685 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2685 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 500.29
Current children cumulated vsize (Kb) 14968

[startup+540.045 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2718 0 0 0 13121 473 0 0 25 0 1 0 1847711632 13148160 2688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2688 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 509.76
Current children cumulated vsize (Kb) 14968

[startup+550.045 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2718 0 0 0 14021 507 0 0 25 0 1 0 1847711632 13148160 2688 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2688 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 519.1
Current children cumulated vsize (Kb) 14968

[startup+560.046 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2721 0 0 0 14909 545 0 0 25 0 1 0 1847711632 13148160 2691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2691 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 528.36
Current children cumulated vsize (Kb) 14968

[startup+570.047 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2728 0 0 0 15802 582 0 0 25 0 1 0 1847711632 13148160 2698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2698 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 537.66
Current children cumulated vsize (Kb) 14968

[startup+580.048 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2743 0 0 0 16708 615 0 0 20 0 1 0 1847711632 13279232 2713 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3242 2713 413 48 0 3194 0
[pid=10390] vsize: 12968
Current children cumulated CPU time (s) 547.05
Current children cumulated vsize (Kb) 15096

[startup+590.048 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2760 0 0 0 17610 650 0 0 25 0 1 0 1847711632 13279232 2730 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3242 2730 413 48 0 3194 0
[pid=10390] vsize: 12968
Current children cumulated CPU time (s) 556.42
Current children cumulated vsize (Kb) 15096

[startup+600.05 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2767 0 0 0 18507 686 0 0 21 0 1 0 1847711632 13418496 2737 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3276 2737 413 48 0 3228 0
[pid=10390] vsize: 13104
Current children cumulated CPU time (s) 565.75
Current children cumulated vsize (Kb) 15232

[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2769 0 0 0 19423 715 0 0 25 0 1 0 1847711632 13418496 2739 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3276 2739 413 48 0 3228 0
[pid=10390] vsize: 13104
Current children cumulated CPU time (s) 575.2
Current children cumulated vsize (Kb) 15232

[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2786 0 0 0 20327 750 0 0 25 0 1 0 1847711632 13385728 2756 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3268 2756 413 48 0 3220 0
[pid=10390] vsize: 13072
Current children cumulated CPU time (s) 584.59
Current children cumulated vsize (Kb) 15200

[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2826 0 0 0 21251 777 0 0 25 0 1 0 1847711632 13520896 2796 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3301 2796 413 48 0 3253 0
[pid=10390] vsize: 13204
Current children cumulated CPU time (s) 594.1
Current children cumulated vsize (Kb) 15332

[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2876 0 0 0 22178 802 0 0 25 0 1 0 1847711632 13791232 2846 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3367 2846 413 48 0 3319 0
[pid=10390] vsize: 13468
Current children cumulated CPU time (s) 603.62
Current children cumulated vsize (Kb) 15596

[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2904 0 0 0 23099 829 0 0 25 0 1 0 1847711632 13926400 2874 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3400 2874 413 48 0 3352 0
[pid=10390] vsize: 13600
Current children cumulated CPU time (s) 613.1
Current children cumulated vsize (Kb) 15728

[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2920 0 0 0 24031 851 0 0 25 0 1 0 1847711632 13926400 2890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3400 2890 413 48 0 3352 0
[pid=10390] vsize: 13600
Current children cumulated CPU time (s) 622.64
Current children cumulated vsize (Kb) 15728

[startup+670.056 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2925 0 0 0 24924 889 0 0 25 0 1 0 1847711632 14073856 2895 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3436 2895 413 48 0 3388 0
[pid=10390] vsize: 13744
Current children cumulated CPU time (s) 631.95
Current children cumulated vsize (Kb) 15872

[startup+680.057 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3010 0 0 0 25805 930 0 0 25 0 1 0 1847711632 14045184 2980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3429 2980 413 48 0 3381 0
[pid=10390] vsize: 13716
Current children cumulated CPU time (s) 641.17
Current children cumulated vsize (Kb) 15844

[startup+690.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3078 0 0 0 26713 962 0 0 23 0 1 0 1847711632 14802944 3048 4294967295 134512640 134702520 3221223712 3221205568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3614 3048 413 48 0 3566 0
[pid=10390] vsize: 14456
Current children cumulated CPU time (s) 650.57
Current children cumulated vsize (Kb) 16584

[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3136 0 0 0 27630 993 0 0 25 0 1 0 1847711632 14938112 3106 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3647 3106 413 48 0 3599 0
[pid=10390] vsize: 14588
Current children cumulated CPU time (s) 660.05
Current children cumulated vsize (Kb) 16716

[startup+710.059 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3222 0 0 0 28554 1022 0 0 25 0 1 0 1847711632 15073280 3192 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3680 3192 413 48 0 3632 0
[pid=10390] vsize: 14720
Current children cumulated CPU time (s) 669.58
Current children cumulated vsize (Kb) 16848

[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3256 0 0 0 29472 1050 0 0 25 0 1 0 1847711632 15073280 3226 4294967295 134512640 134702520 3221223712 3221222992 134550704 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3680 3226 413 48 0 3632 0
[pid=10390] vsize: 14720
Current children cumulated CPU time (s) 679.04
Current children cumulated vsize (Kb) 16848

[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3323 0 0 0 30392 1079 0 0 25 0 1 0 1847711632 15831040 3293 4294967295 134512640 134702520 3221223712 3221156608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3865 3293 413 48 0 3817 0
[pid=10390] vsize: 15460
Current children cumulated CPU time (s) 688.53
Current children cumulated vsize (Kb) 17588

[startup+740.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3337 0 0 0 31324 1103 0 0 25 0 1 0 1847711632 15966208 3307 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3898 3307 413 48 0 3850 0
[pid=10390] vsize: 15592
Current children cumulated CPU time (s) 698.09
Current children cumulated vsize (Kb) 17720

[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3384 0 0 0 32256 1127 0 0 21 0 1 0 1847711632 15966208 3354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3898 3354 413 48 0 3850 0
[pid=10390] vsize: 15592
Current children cumulated CPU time (s) 707.65
Current children cumulated vsize (Kb) 17720

[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3457 0 0 0 33170 1157 0 0 25 0 1 0 1847711632 16101376 3427 4294967295 134512640 134702520 3221223712 3221093388 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3427 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 717.09
Current children cumulated vsize (Kb) 17852

[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3461 0 0 0 34090 1185 0 0 25 0 1 0 1847711632 16101376 3431 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3431 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 726.57
Current children cumulated vsize (Kb) 17852

[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3461 0 0 0 35006 1215 0 0 25 0 1 0 1847711632 16101376 3431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3431 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 736.03
Current children cumulated vsize (Kb) 17852

[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3473 0 0 0 35947 1237 0 0 25 0 1 0 1847711632 16101376 3443 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3443 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 745.66
Current children cumulated vsize (Kb) 17852

[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3476 0 0 0 36855 1268 0 0 25 0 1 0 1847711632 16101376 3446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3446 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 755.05
Current children cumulated vsize (Kb) 17852

[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3487 0 0 0 37765 1300 0 0 25 0 1 0 1847711632 16236544 3457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3457 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 764.47
Current children cumulated vsize (Kb) 17984

[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3506 0 0 0 38686 1329 0 0 25 0 1 0 1847711632 16236544 3476 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3476 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 773.97
Current children cumulated vsize (Kb) 17984

[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3509 0 0 0 39604 1358 0 0 25 0 1 0 1847711632 16236544 3479 4294967295 134512640 134702520 3221223712 3221222736 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3479 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 783.44
Current children cumulated vsize (Kb) 17984

[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3513 0 0 0 40513 1390 0 0 21 0 1 0 1847711632 16236544 3483 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3483 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 792.85
Current children cumulated vsize (Kb) 17984

[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3517 0 0 0 41432 1421 0 0 25 0 1 0 1847711632 16359424 3487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3487 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 802.35
Current children cumulated vsize (Kb) 18104

[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3525 0 0 0 42339 1453 0 0 25 0 1 0 1847711632 16359424 3495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3495 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 811.74
Current children cumulated vsize (Kb) 18104

[startup+870.074 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3533 0 0 0 43255 1482 0 0 21 0 1 0 1847711632 16359424 3503 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3503 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 821.19
Current children cumulated vsize (Kb) 18104

[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3541 0 0 0 44190 1506 0 0 25 0 1 0 1847711632 16359424 3511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3511 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 830.78
Current children cumulated vsize (Kb) 18104

[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3551 0 0 0 45106 1535 0 0 25 0 1 0 1847711632 16494592 3521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4027 3521 413 48 0 3979 0
[pid=10390] vsize: 16108
Current children cumulated CPU time (s) 840.23
Current children cumulated vsize (Kb) 18236

[startup+900.078 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3582 0 0 0 46036 1559 0 0 25 0 1 0 1847711632 16629760 3552 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4060 3552 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 849.77
Current children cumulated vsize (Kb) 18368

[startup+910.079 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3591 0 0 0 46959 1582 0 0 25 0 1 0 1847711632 16629760 3561 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4060 3561 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 859.23
Current children cumulated vsize (Kb) 18368

[startup+920.08 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3593 0 0 0 47873 1612 0 0 25 0 1 0 1847711632 16629760 3563 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4060 3563 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 868.67
Current children cumulated vsize (Kb) 18368

[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3602 0 0 0 48804 1637 0 0 25 0 1 0 1847711632 16629760 3572 4294967295 134512640 134702520 3221223712 3220978668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4060 3572 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 878.23
Current children cumulated vsize (Kb) 18368

[startup+940.082 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3607 0 0 0 49722 1665 0 0 25 0 1 0 1847711632 16777216 3577 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4096 3577 413 48 0 4048 0
[pid=10390] vsize: 16384
Current children cumulated CPU time (s) 887.69
Current children cumulated vsize (Kb) 18512

[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3607 0 0 0 50630 1696 0 0 25 0 1 0 1847711632 16715776 3577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4081 3577 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 897.08
Current children cumulated vsize (Kb) 18452

[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3609 0 0 0 51533 1732 0 0 25 0 1 0 1847711632 16715776 3579 4294967295 134512640 134702520 3221223712 3221222832 134573384 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4081 3579 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 906.47
Current children cumulated vsize (Kb) 18452

[startup+970.085 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3614 0 0 0 52443 1764 0 0 25 0 1 0 1847711632 16715776 3584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4081 3584 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 915.89
Current children cumulated vsize (Kb) 18452

[startup+980.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3615 0 0 0 53344 1796 0 0 18 0 1 0 1847711632 16715776 3585 4294967295 134512640 134702520 3221223712 3221192608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4081 3585 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 925.22
Current children cumulated vsize (Kb) 18452

[startup+990.087 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3617 0 0 0 54255 1826 0 0 25 0 1 0 1847711632 16715776 3587 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4081 3587 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 934.63
Current children cumulated vsize (Kb) 18452

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3640 0 0 0 55183 1853 0 0 25 0 1 0 1847711632 16850944 3610 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3610 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 944.18
Current children cumulated vsize (Kb) 18584

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3647 0 0 0 56095 1884 0 0 21 0 1 0 1847711632 16850944 3617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3617 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 953.61
Current children cumulated vsize (Kb) 18584

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3649 0 0 0 57010 1913 0 0 25 0 1 0 1847711632 16850944 3619 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3619 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 963.05
Current children cumulated vsize (Kb) 18584

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3657 0 0 0 57915 1947 0 0 25 0 1 0 1847711632 16850944 3627 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3627 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 972.44
Current children cumulated vsize (Kb) 18584

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3662 0 0 0 58824 1979 0 0 25 0 1 0 1847711632 16953344 3632 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3632 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 981.85
Current children cumulated vsize (Kb) 18684

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3670 0 0 0 59734 2014 0 0 25 0 1 0 1847711632 16953344 3640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3640 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 991.3
Current children cumulated vsize (Kb) 18684

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3678 0 0 0 60644 2046 0 0 25 0 1 0 1847711632 16953344 3648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3648 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 1000.72
Current children cumulated vsize (Kb) 18684

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3692 0 0 0 61564 2074 0 0 25 0 1 0 1847711632 16953344 3662 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3662 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 1010.2
Current children cumulated vsize (Kb) 18684

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3695 0 0 0 62443 2114 0 0 25 0 1 0 1847711632 17088512 3665 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4172 3665 413 48 0 4124 0
[pid=10390] vsize: 16688
Current children cumulated CPU time (s) 1019.39
Current children cumulated vsize (Kb) 18816

[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3702 0 0 0 63360 2142 0 0 25 0 1 0 1847711632 17088512 3672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4172 3672 413 48 0 4124 0
[pid=10390] vsize: 16688
Current children cumulated CPU time (s) 1028.84
Current children cumulated vsize (Kb) 18816

[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3702 0 0 0 64271 2172 0 0 25 0 1 0 1847711632 17088512 3672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4172 3672 413 48 0 4124 0
[pid=10390] vsize: 16688
Current children cumulated CPU time (s) 1038.25
Current children cumulated vsize (Kb) 18816

[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3703 0 0 0 65155 2214 0 0 25 0 1 0 1847711632 17092608 3673 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4173 3673 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1047.51
Current children cumulated vsize (Kb) 18820

[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3707 0 0 0 66042 2254 0 0 25 0 1 0 1847711632 17092608 3677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3677 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1056.78
Current children cumulated vsize (Kb) 18820

[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3714 0 0 0 66956 2286 0 0 25 0 1 0 1847711632 17092608 3684 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3684 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1066.24
Current children cumulated vsize (Kb) 18820

[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3716 0 0 0 67847 2324 0 0 25 0 1 0 1847711632 17092608 3686 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3686 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1075.53
Current children cumulated vsize (Kb) 18820

[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3721 0 0 0 68744 2358 0 0 25 0 1 0 1847711632 17092608 3691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3691 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1084.84
Current children cumulated vsize (Kb) 18820

[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3723 0 0 0 69620 2400 0 0 18 0 1 0 1847711632 17092608 3693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3693 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1094.02
Current children cumulated vsize (Kb) 18820

[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3726 0 0 0 70510 2440 0 0 25 0 1 0 1847711632 17211392 3696 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3696 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1103.32
Current children cumulated vsize (Kb) 18936

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3730 0 0 0 71405 2476 0 0 25 0 1 0 1847711632 17211392 3700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3700 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1112.63
Current children cumulated vsize (Kb) 18936

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3732 0 0 0 72306 2509 0 0 25 0 1 0 1847711632 17211392 3702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3702 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (Kb) 18936

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3732 0 0 0 73200 2546 0 0 25 0 1 0 1847711632 17211392 3702 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3702 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1131.28
Current children cumulated vsize (Kb) 18936

[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3736 0 0 0 74121 2573 0 0 25 0 1 0 1847711632 17211392 3706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3706 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1140.76
Current children cumulated vsize (Kb) 18936
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=10390) exited with status: 2
New process pid=10391
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=10391) exited with status: 0
New process pid=10392
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+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 998 0 0 0 631 24 0 0 25 0 1 0 1847793395 5967872 969 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 1457 969 413 48 0 1409 0
[pid=10392] vsize: 5828
Current children cumulated CPU time (s) 1150.19
Current children cumulated vsize (Kb) 7956

[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 999 0 0 0 1542 55 0 0 25 0 1 0 1847793395 5967872 970 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 1457 970 413 48 0 1409 0
[pid=10392] vsize: 5828
Current children cumulated CPU time (s) 1159.61
Current children cumulated vsize (Kb) 7956

[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 1235 0 0 0 2425 94 0 0 25 0 1 0 1847793395 10469376 1206 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2556 1206 413 48 0 2508 0
[pid=10392] vsize: 10224
Current children cumulated CPU time (s) 1168.83
Current children cumulated vsize (Kb) 12352

[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) R 10385 10385 20115 0 -1 0 1349 0 0 0 3311 136 0 0 25 0 1 0 1847793395 10588160 1320 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10392/statm): 2585 1320 413 48 0 2537 0
[pid=10392] vsize: 10340
Current children cumulated CPU time (s) 1178.11
Current children cumulated vsize (Kb) 12468

[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 1611 0 0 0 4191 175 0 0 19 0 1 0 1847793395 10723328 1582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2618 1582 413 48 0 2570 0
[pid=10392] vsize: 10472
Current children cumulated CPU time (s) 1187.3
Current children cumulated vsize (Kb) 12600

[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 2249 0 0 0 5092 212 0 0 25 0 1 0 1847793395 10964992 2220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2677 2220 413 48 0 2629 0
[pid=10392] vsize: 10708
Current children cumulated CPU time (s) 1196.68
Current children cumulated vsize (Kb) 12836

[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 2268 0 0 0 5980 249 0 0 24 0 1 0 1847793395 10964992 2239 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2677 2239 413 48 0 2629 0
[pid=10392] vsize: 10708
Current children cumulated CPU time (s) 1205.93
Current children cumulated vsize (Kb) 12836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 2268 0 0 0 5980 249 0 0 24 0 1 0 1847793395 10964992 2239 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2677 2239 413 48 0 2629 0
[pid=10392] vsize: 10708
Current children cumulated CPU time (s) 1205.93
Current children cumulated vsize (Kb) 12836

Sending SIGTERM to -10385
Sleeping 2 seconds
New process pid=10394
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=10395
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/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/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/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/10348/stat
open syscall for file /proc/10348/status
open syscall for file /proc/10348/cmdline
open syscall for file /proc/10348/environ
open syscall for file /proc/10384/stat
open syscall for file /proc/10384/status
open syscall for file /proc/10384/cmdline
open syscall for file /proc/10384/environ
open syscall for file /proc/10385/stat
open syscall for file /proc/10385/status
open syscall for file /proc/10385/cmdline
open syscall for file /proc/10385/environ
open syscall for file /proc/10392/stat
open syscall for file /proc/10392/status
open syscall for file /proc/10392/cmdline
open syscall for file /proc/10392/environ
open syscall for file /proc/10394/stat
open syscall for file /proc/10394/status
open syscall for file /proc/10394/cmdline
open syscall for file /proc/10394/environ
open syscall for file /proc/10395/stat
open syscall for file /proc/10395/status
open syscall for file /proc/10395/cmdline
open syscall for file /proc/10395/environ
One traced child (pid=10394) exited with status: 0
One traced child (pid=10395) exited with status: 0
New process pid=10396
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=10392) exited with status: 3
One traced child (pid=10396) exited with status: 0
New process pid=10397
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=10397) exited with status: 0
One traced child (pid=10385) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.62
CPU time (s): 1206.41
CPU user time (s): 1166.16
CPU system time (s): 40.2549
CPU usage (%): 94.2054
Max. virtual memory (cumulated for all children) (Kb): 19500

Verifier Data

ERROR: no interpretation found !